c #BEGIN: [Sun Mar 20 02:52:58 2022]
c #HOST: mini11.local
c #TIMELIMIT: 18000
c #MEMLIMIT: 0
c #FREQ: 10
c #SOLVER: isr-bug-finder
c #CSP: benchmark/graph-instance/core-challenge-2022/queen/queen100x100.col benchmark/graph-instance/core-challenge-2022/queen/queen100x100_02_1699.dat
c #COMMAND: /Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/queen/queen100x100.col benchmark/graph-instance/core-challenge-2022/queen/queen100x100_02_1699.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical
c (3) step 1 UNSAT 60000 3433394
c (6) step 2 UNSAT 109999 5210089
c (8) step 3 UNSAT 159998 6986784
c (10) step 4 UNSAT 209997 8763479
c (12) step 5 UNSAT 259996 10540174
c (20) step 6 SAT 309995 12316869
a YES
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7346 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7298 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7398 7473 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7597 7682 7767 7871 7941 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7871 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1349 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958
a 79 176 278 375 477 548 652 724 864 938 1065 1143 1262 1459 1568 1621 1735 1872 1940 2050 2134 2245 2342 2444 2536 2696 2739 2832 2916 3018 3133 3280 3330 3412 3514 3694 3747 3854 3990 4074 4193 4286 4400 4483 4592 4687 4785 4888 4991 5081 5184 5289 5360 5437 5570 5626 5728 5866 5957 6063 6156 6253 6323 6499 6561 6655 6751 6820 6969 7017 7195 7273 7398 7446 7597 7682 7767 7841 7971 8031 8129 8227 8325 8410 8522 8607 8719 8808 8906 9015 9113 9211 9309 9405 9503 9601 9704 9802 9958
	Command being timed: "/Users/soh/app/scala-2.12.4/bin/scala -J-Xms16g -J-Xmx16g -cp /Users/soh/app/IsrForCompetition220315-22h16m/scop.jar:/Users/soh/app/IsrForCompetition220315-22h16m/isr4competition_2.12-1.3.5.jar fun.scop.app.isr.IsrSolverTj03 benchmark/graph-instance/core-challenge-2022/queen/queen100x100.col benchmark/graph-instance/core-challenge-2022/queen/queen100x100_02_1699.dat cadical /Users/soh/app/IsrForCompetition220315-22h16m/cadical"
	User time (seconds): 34.72
	System time (seconds): 2.43
	Percent of CPU this job got: 125%
	Elapsed (wall clock) time (h:mm:ss or m:ss): 0:29.49
	Average shared text size (kbytes): 0
	Average unshared data size (kbytes): 0
	Average stack size (kbytes): 0
	Average total size (kbytes): 0
	Maximum resident set size (kbytes): 25396723712
	Average resident set size (kbytes): 0
	Major (requiring I/O) page faults: 0
	Minor (reclaiming a frame) page faults: 1638389
	Voluntary context switches: 174
	Involuntary context switches: 13435
	Swaps: 0
	File system inputs: 0
	File system outputs: 0
	Socket messages sent: 210
	Socket messages received: 0
	Signals delivered: 15
	Page size (bytes): 4096
	Exit status: 0
c FINISHED CPU 37.15 MEM 0 MAXMEM 0 STALE 1
c #RESULT: UNK
c #FIN: FIN
c #CPU: 37.15
c #MAXMEM: 0
c 
c #END: [Sun Mar 20 02:53:27 2022]