runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3219980-1303270972/watcher-3219980-1303270972 -o /tmp/evaluation-result-3219980-1303270972/solver-3219980-1303270972 -C 5000 -W 5000 -M 15500 MPhaseSAT_M HOME/instance-3219980-1303270972.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.01 2.00 2/181 23362
/proc/meminfo: memFree=15530672/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=4868 CPUtime=0 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 438695035 4984832 272 33554432000 134512640 134829744 4292604624 18446744073709551615 134531753 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 1217 272 225 78 0 503 0
[startup+0.017831 s]
/proc/loadavg: 2.00 2.01 2.00 2/181 23362
/proc/meminfo: memFree=15530672/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=4868 CPUtime=0.01 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 391 0 0 0 1 0 0 0 25 0 1 0 438695035 4984832 332 33554432000 134512640 134829744 4292604624 18446744073709551615 134531753 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 1217 332 225 78 0 503 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4868
[startup+0.100818 s]
/proc/loadavg: 2.00 2.01 2.00 2/181 23362
/proc/meminfo: memFree=15530672/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=7328 CPUtime=0.09 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 2524 0 0 0 9 0 0 0 25 0 1 0 438695035 7503872 1339 33554432000 134512640 134829744 4292604624 18446744073709551615 10278396 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 1832 1341 258 78 0 1118 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7328
[startup+0.300784 s]
/proc/loadavg: 2.00 2.01 2.00 2/181 23362
/proc/meminfo: memFree=15530672/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=14208 CPUtime=0.29 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 4443 0 0 0 29 0 0 0 25 0 1 0 438695035 14548992 3084 33554432000 134512640 134829744 4292604624 18446744073709551615 10018656 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 3552 3084 284 78 0 2838 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14208
[startup+0.700708 s]
/proc/loadavg: 2.00 2.01 2.00 2/181 23362
/proc/meminfo: memFree=15530672/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=14208 CPUtime=0.69 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 4443 0 0 0 69 0 0 0 25 0 1 0 438695035 14548992 3084 33554432000 134512640 134829744 4292604624 18446744073709551615 134722615 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 3552 3084 284 78 0 2838 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14208
[startup+1.50056 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 23363
/proc/meminfo: memFree=15519204/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=15924 CPUtime=1.49 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 4873 0 0 0 149 0 0 0 25 0 1 0 438695035 16306176 3514 33554432000 134512640 134829744 4292604624 18446744073709551615 134658125 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 3981 3514 284 78 0 3267 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15924
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 23363
/proc/meminfo: memFree=15515732/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=19356 CPUtime=3.09 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 5703 0 0 0 309 0 0 0 25 0 1 0 438695035 19820544 4344 33554432000 134512640 134829744 4292604624 18446744073709551615 134723595 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 4839 4344 284 78 0 4125 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19356
[startup+6.30066 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23363
/proc/meminfo: memFree=15512632/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=20940 CPUtime=6.29 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 6103 0 0 0 629 0 0 0 25 0 1 0 438695035 21442560 4744 33554432000 134512640 134829744 4292604624 18446744073709551615 134614876 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 5235 4744 284 78 0 4521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20940
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23363
/proc/meminfo: memFree=15511556/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=22264 CPUtime=12.69 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 6448 0 0 0 1269 0 0 0 25 0 1 0 438695035 22798336 5089 33554432000 134512640 134829744 4292604624 18446744073709551615 10018673 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 5566 5089 284 78 0 4852 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22264
[startup+25.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23364
/proc/meminfo: memFree=15508232/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=24776 CPUtime=25.5 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 15330 0 0 0 2548 2 0 0 25 0 1 0 438695035 25370624 5708 33554432000 134512640 134829744 4292604624 18446744073709551615 10019146 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 6194 5708 289 78 0 5480 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 24776
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23364
/proc/meminfo: memFree=15506228/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=26872 CPUtime=51.09 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 15869 0 0 0 5107 2 0 0 25 0 1 0 438695035 27516928 6247 33554432000 134512640 134829744 4292604624 18446744073709551615 134723565 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 6718 6247 289 78 0 6004 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 26872
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23366
/proc/meminfo: memFree=15505580/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=27164 CPUtime=102.3 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 15942 0 0 0 10228 2 0 0 25 0 1 0 438695035 27815936 6320 33554432000 134512640 134829744 4292604624 18446744073709551615 134661446 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 6791 6320 289 78 0 6077 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 27164
[startup+162.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 23367
/proc/meminfo: memFree=15498732/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=34492 CPUtime=162.3 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 18019 0 0 0 16228 2 0 0 25 0 1 0 438695035 35319808 8126 33554432000 134512640 134829744 4292604624 18446744073709551615 134725275 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 8623 8126 289 78 0 7909 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 34492
[startup+222.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/182 23369
/proc/meminfo: memFree=15492504/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=40224 CPUtime=222.3 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 19643 0 0 0 22227 3 0 0 25 0 1 0 438695035 41189376 9557 33554432000 134512640 134829744 4292604624 18446744073709551615 134657870 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 10056 9557 289 78 0 9342 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 40224
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 23371
/proc/meminfo: memFree=15485032/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=47784 CPUtime=282.3 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 21542 0 0 0 28227 3 0 0 25 0 1 0 438695035 48930816 11456 33554432000 134512640 134829744 4292604624 18446744073709551615 134722641 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 11946 11456 289 78 0 11232 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 47784
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 23372
/proc/meminfo: memFree=15484888/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=47784 CPUtime=342.3 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 21552 0 0 0 34227 3 0 0 25 0 1 0 438695035 48930816 11466 33554432000 134512640 134829744 4292604624 18446744073709551615 134712929 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 11946 11466 289 78 0 11232 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 47784
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 23374
/proc/meminfo: memFree=15483136/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=49632 CPUtime=402.3 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 22018 0 0 0 40226 4 0 0 25 0 1 0 438695035 50823168 11932 33554432000 134512640 134829744 4292604624 18446744073709551615 134657968 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 12408 11932 289 78 0 11694 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 49632
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 23375
/proc/meminfo: memFree=15483108/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=49632 CPUtime=462.31 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 22018 0 0 0 46227 4 0 0 25 0 1 0 438695035 50823168 11932 33554432000 134512640 134829744 4292604624 18446744073709551615 134661405 0 0 4096 1026 0 0 0 17 1 0 0 0
/proc/23362/statm: 12408 11932 289 78 0 11694 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 49632
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 23377
/proc/meminfo: memFree=15465724/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=67404 CPUtime=522.3 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 26466 0 0 0 52226 4 0 0 25 0 1 0 438695035 69021696 16380 33554432000 134512640 134829744 4292604624 18446744073709551615 134661449 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 16851 16380 289 78 0 16137 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 67404
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 23379
/proc/meminfo: memFree=15465820/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=67404 CPUtime=582.31 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 26466 0 0 0 58227 4 0 0 25 0 1 0 438695035 69021696 16380 33554432000 134512640 134829744 4292604624 18446744073709551615 134661680 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 16851 16380 289 78 0 16137 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 67404
[startup+642.301 s]
################
# More data... #
################
[startup+4062.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 23511
/proc/meminfo: memFree=15616132/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4062.43 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32719 0 0 0 406236 7 0 0 25 0 1 0 438695035 89923584 21481 33554432000 134512640 134829744 4292604624 18446744073709551615 134661814 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21481 289 78 0 21240 0
Current children cumulated CPU time (s) 4062.43
Current children cumulated vsize (KiB) 87816
[startup+4122.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23513
/proc/meminfo: memFree=15612148/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4122.43 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 412236 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134661620 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4122.43
Current children cumulated vsize (KiB) 87816
[startup+4182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 23515
/proc/meminfo: memFree=15610520/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4182.43 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 418236 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134722439 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4182.43
Current children cumulated vsize (KiB) 87816
[startup+4242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 23516
/proc/meminfo: memFree=15608888/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4242.43 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 424236 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134661446 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4242.43
Current children cumulated vsize (KiB) 87816
[startup+4302.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 23518
/proc/meminfo: memFree=15607248/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4302.43 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 430236 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 10307550 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4302.43
Current children cumulated vsize (KiB) 87816
[startup+4362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 23519
/proc/meminfo: memFree=15606232/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4362.44 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 436237 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134669649 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4362.44
Current children cumulated vsize (KiB) 87816
[startup+4422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 23521
/proc/meminfo: memFree=15604108/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4422.44 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 442237 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134658112 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4422.44
Current children cumulated vsize (KiB) 87816
[startup+4482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 23523
/proc/meminfo: memFree=15601624/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4482.44 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 448237 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 10018524 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4482.44
Current children cumulated vsize (KiB) 87816
[startup+4542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23524
/proc/meminfo: memFree=15600228/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4542.44 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 454237 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134722439 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4542.44
Current children cumulated vsize (KiB) 87816
[startup+4602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 23526
/proc/meminfo: memFree=15598720/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4602.45 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 460238 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134661446 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4602.45
Current children cumulated vsize (KiB) 87816
[startup+4662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 23527
/proc/meminfo: memFree=15596352/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4662.45 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 466238 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134657556 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4662.45
Current children cumulated vsize (KiB) 87816
[startup+4722.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 23538
/proc/meminfo: memFree=15593756/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4722.45 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 472238 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134725750 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4722.45
Current children cumulated vsize (KiB) 87816
[startup+4782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23540
/proc/meminfo: memFree=15592012/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4782.45 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 478238 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134661632 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4782.45
Current children cumulated vsize (KiB) 87816
[startup+4842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23541
/proc/meminfo: memFree=15590880/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4842.45 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 484238 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134723353 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4842.45
Current children cumulated vsize (KiB) 87816
[startup+4902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23546
/proc/meminfo: memFree=15588720/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4902.45 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 490238 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134722623 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4902.45
Current children cumulated vsize (KiB) 87816
[startup+4962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23547
/proc/meminfo: memFree=15587000/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=4962.46 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 496239 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134678581 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 4962.46
Current children cumulated vsize (KiB) 87816
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23548
/proc/meminfo: memFree=15586004/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=5000.06 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 499999 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134661632 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 87816
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4999.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 23548
/proc/meminfo: memFree=15586004/32951124 swapFree=67111528/67111528
[pid=23362] ppid=23360 vsize=87816 CPUtime=5000.06 cores=1,3,5,7
/proc/23362/stat : 23362 (MPhaseSAT_M) R 23360 23362 22340 0 -1 4202496 32721 0 0 0 499999 7 0 0 25 0 1 0 438695035 89923584 21483 33554432000 134512640 134829744 4292604624 18446744073709551615 134661632 0 0 4096 1026 0 0 0 17 5 0 0 0
/proc/23362/statm: 21954 21483 289 78 0 21240 0
Current children cumulated CPU time (s) 5000.06
Current children cumulated vsize (KiB) 87816
Child ended because it received signal 15 (SIGTERM)
Real time (s): 4999.91
CPU time (s): 5000.07
CPU user time (s): 5000
CPU system time (s): 0.075988
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 87816
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5000
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32721
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 8145
runsolver used 7.50586 second user time and 19.774 second system time
The end