runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3490532-1307760519/watcher-3490532-1307760519 -o /tmp/evaluation-result-3490532-1307760519/solver-3490532-1307760519 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490532-1307760519.opb --verbosity=0 --format=opb --randomseed=1229406800
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 1.56 2.53 2.92 2/176 4383
/proc/meminfo: memFree=31509852/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=7448 CPUtime=0 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 375 0 0 0 0 0 0 0 20 0 1 0 868468202 7626752 328 33554432000 4194304 6720400 140733995512336 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 1862 328 232 617 0 1236 0
[startup+0.0289199 s]
/proc/loadavg: 1.56 2.53 2.92 2/176 4383
/proc/meminfo: memFree=31509852/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=8656 CPUtime=0.02 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 786 0 0 0 2 0 0 0 20 0 1 0 868468202 8863744 739 33554432000 4194304 6720400 140733995512336 18446744073709551615 4812788 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 2164 739 257 617 0 1538 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 8656
[startup+0.10091 s]
/proc/loadavg: 1.56 2.53 2.92 2/176 4383
/proc/meminfo: memFree=31509852/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=8656 CPUtime=0.09 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 1212 0 0 0 9 0 0 0 20 0 1 0 868468202 8863744 1161 33554432000 4194304 6720400 140733995512336 18446744073709551615 4608579 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 2164 1161 265 617 0 1538 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8656
[startup+0.300873 s]
/proc/loadavg: 1.56 2.53 2.92 2/176 4383
/proc/meminfo: memFree=31509852/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=11376 CPUtime=0.29 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 2308 0 0 0 29 0 0 0 21 0 1 0 868468202 11649024 2256 33554432000 4194304 6720400 140733995512336 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 2844 2257 265 617 0 2218 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11376
[startup+0.700811 s]
/proc/loadavg: 1.56 2.53 2.92 2/176 4383
/proc/meminfo: memFree=31509852/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=23232 CPUtime=0.69 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 4516 0 0 0 69 0 0 0 22 0 1 0 868468202 23789568 4451 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 5808 4451 265 617 0 5182 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23232
[startup+1.50066 s]
/proc/loadavg: 1.56 2.53 2.92 3/178 4385
/proc/meminfo: memFree=31466608/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=54020 CPUtime=1.49 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 8859 0 0 0 148 1 0 0 25 0 1 0 868468202 55316480 8770 33554432000 4194304 6720400 140733995512336 18446744073709551615 4805804 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 13505 8770 265 617 0 12879 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54020
[startup+3.10037 s]
/proc/loadavg: 1.56 2.53 2.92 4/178 4385
/proc/meminfo: memFree=31480620/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=23888 CPUtime=3.09 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 19941 0 0 0 307 2 0 0 25 0 1 0 868468202 24461312 4859 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 5972 4859 265 617 0 5346 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23888
[startup+6.3008 s]
/proc/loadavg: 1.59 2.52 2.91 3/178 4386
/proc/meminfo: memFree=31427312/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=61484 CPUtime=6.3 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 43407 0 0 0 624 6 0 0 25 0 1 0 868468202 62959616 14224 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 15371 14224 265 617 0 14745 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 61484
[startup+12.7007 s]
/proc/loadavg: 1.62 2.51 2.91 3/178 4386
/proc/meminfo: memFree=31405856/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=61484 CPUtime=12.69 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 87576 0 0 0 1258 11 0 0 25 0 1 0 868468202 62959616 14944 33554432000 4194304 6720400 140733995512336 18446744073709551615 4610852 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 15371 14944 265 617 0 14745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61484
[startup+25.5004 s]
/proc/loadavg: 1.71 2.48 2.89 3/178 4386
/proc/meminfo: memFree=31338548/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=61484 CPUtime=25.49 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 171496 0 0 0 2527 22 0 0 25 0 1 0 868468202 62959616 14944 33554432000 4194304 6720400 140733995512336 18446744073709551615 5722244 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 15371 14944 265 617 0 14745 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 61484
[startup+51.1008 s]
/proc/loadavg: 1.81 2.44 2.87 3/178 4387
/proc/meminfo: memFree=31310372/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=73188 CPUtime=51.09 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 329905 0 0 0 5067 42 0 0 25 0 1 0 868468202 74944512 17870 33554432000 4194304 6720400 140733995512336 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 18297 17870 265 617 0 17671 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 73188
[startup+102.307 s]
/proc/loadavg: 1.91 2.37 2.82 3/178 4388
/proc/meminfo: memFree=31279712/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=73188 CPUtime=102.3 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 627056 0 0 0 10145 85 0 0 25 0 1 0 868468202 74944512 17873 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617328 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 18297 17873 265 617 0 17671 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 73188
[startup+162.301 s]
/proc/loadavg: 1.97 2.30 2.77 3/178 4390
/proc/meminfo: memFree=31270740/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=73188 CPUtime=162.3 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 981016 0 0 0 16094 136 0 0 25 0 1 0 868468202 74944512 17878 33554432000 4194304 6720400 140733995512336 18446744073709551615 4820024 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 18297 17878 265 617 0 17671 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 73188
[startup+222.3 s]
/proc/loadavg: 1.99 2.24 2.72 4/178 4391
/proc/meminfo: memFree=31237468/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=73188 CPUtime=222.29 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 1308563 0 0 0 22042 187 0 0 25 0 1 0 868468202 74944512 17883 33554432000 4194304 6720400 140733995512336 18446744073709551615 4819162 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 18297 17883 265 617 0 17671 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 73188
[startup+282.301 s]
/proc/loadavg: 1.99 2.20 2.67 3/178 4393
/proc/meminfo: memFree=31224284/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=73188 CPUtime=282.29 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 1638150 0 0 0 27991 238 0 0 25 0 1 0 868468202 74944512 17884 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 18297 17884 265 617 0 17671 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 73188
[startup+342.301 s]
/proc/loadavg: 1.99 2.16 2.62 3/178 4394
/proc/meminfo: memFree=31227104/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=153328 CPUtime=342.3 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 1981312 0 0 0 33938 292 0 0 25 0 1 0 868468202 157007872 33822 33554432000 4194304 6720400 140733995512336 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 38332 33822 265 617 0 37706 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 153328
[startup+402.3 s]
/proc/loadavg: 1.99 2.13 2.58 3/178 4396
/proc/meminfo: memFree=31248128/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=153328 CPUtime=402.3 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 2249675 0 0 0 39895 335 0 0 25 0 1 0 868468202 157007872 34131 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 38332 34131 265 617 0 37706 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 153328
[startup+462.3 s]
/proc/loadavg: 1.99 2.10 2.54 4/178 4398
/proc/meminfo: memFree=31307844/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=153328 CPUtime=462.31 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 2566462 0 0 0 45848 383 0 0 25 0 1 0 868468202 157007872 34163 33554432000 4194304 6720400 140733995512336 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 38332 34163 265 617 0 37706 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 153328
[startup+522.301 s]
/proc/loadavg: 1.99 2.08 2.51 4/178 4399
/proc/meminfo: memFree=31235020/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=73188 CPUtime=522.31 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 2883006 0 0 0 51796 435 0 0 25 0 1 0 868468202 74944512 17884 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 18297 17884 265 617 0 17671 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 73188
[startup+582.301 s]
/proc/loadavg: 1.99 2.06 2.47 3/178 4401
/proc/meminfo: memFree=31298588/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=122508 CPUtime=582.31 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 3201554 0 0 0 57747 484 0 0 25 0 1 0 868468202 125448192 26564 33554432000 4194304 6720400 140733995512336 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 30627 26564 265 617 0 30001 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 122508
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 2.02 2.35 3/178 4416
/proc/meminfo: memFree=31203440/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=142688 CPUtime=822.31 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 4428371 0 0 0 81545 686 0 0 25 0 1 0 868468202 146112512 34341 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 35672 34341 265 617 0 35046 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 142688
[startup+882.3 s]
/proc/loadavg: 1.99 2.02 2.33 4/178 4418
/proc/meminfo: memFree=31276560/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=93368 CPUtime=882.31 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 4705769 0 0 0 87501 730 0 0 25 0 1 0 868468202 95608832 22919 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 23342 22919 265 617 0 22716 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 93368
[startup+942.301 s]
/proc/loadavg: 1.99 2.01 2.31 4/178 4419
/proc/meminfo: memFree=31173476/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=142688 CPUtime=942.31 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 4959608 0 0 0 93461 770 0 0 25 0 1 0 868468202 146112512 34788 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 35672 34788 265 617 0 35046 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 142688
[startup+1002.3 s]
/proc/loadavg: 1.99 2.00 2.28 3/178 4421
/proc/meminfo: memFree=31270280/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=93368 CPUtime=1002.32 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 5279083 0 0 0 99409 823 0 0 25 0 1 0 868468202 95608832 22919 33554432000 4194304 6720400 140733995512336 18446744073709551615 4803111 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 23342 22919 265 617 0 22716 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 93368
[startup+1062.3 s]
/proc/loadavg: 1.99 2.00 2.26 3/178 4423
/proc/meminfo: memFree=31141156/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=93368 CPUtime=1062.32 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 5576595 0 0 0 105364 868 0 0 25 0 1 0 868468202 95608832 22919 33554432000 4194304 6720400 140733995512336 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 23342 22919 265 617 0 22716 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 93368
[startup+1122.3 s]
/proc/loadavg: 1.99 2.00 2.25 4/178 4424
/proc/meminfo: memFree=31236844/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=173508 CPUtime=1122.32 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 5867510 0 0 0 111318 914 0 0 25 0 1 0 868468202 177672192 42506 33554432000 4194304 6720400 140733995512336 18446744073709551615 4608642 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 43377 42506 265 617 0 42751 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 173508
[startup+1182.3 s]
/proc/loadavg: 1.99 2.00 2.23 3/178 4426
/proc/meminfo: memFree=31312084/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=142688 CPUtime=1182.32 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 6162569 0 0 0 117272 960 0 0 25 0 1 0 868468202 146112512 34268 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 35672 34268 265 617 0 35046 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 142688
[startup+1242.3 s]
/proc/loadavg: 1.99 2.00 2.21 3/178 4427
/proc/meminfo: memFree=31260832/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=192468 CPUtime=1242.33 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 6471795 0 0 0 123220 1013 0 0 25 0 1 0 868468202 197087232 38471 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 48117 38471 265 617 0 47491 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 192468
[startup+1302.3 s]
/proc/loadavg: 1.99 2.00 2.19 4/178 4429
/proc/meminfo: memFree=31197064/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=242556 CPUtime=1302.34 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 6787434 0 0 0 129168 1066 0 0 25 0 1 0 868468202 248377344 51690 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 60639 51690 265 617 0 60013 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 242556
[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.18 4/178 4431
/proc/meminfo: memFree=31176440/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=192468 CPUtime=1362.33 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 7031414 0 0 0 135126 1107 0 0 25 0 1 0 868468202 197087232 47441 33554432000 4194304 6720400 140733995512336 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 48117 47441 265 617 0 47491 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 192468
[startup+1422.31 s]
/proc/loadavg: 1.99 2.00 2.16 3/178 4432
/proc/meminfo: memFree=31108444/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=192468 CPUtime=1422.34 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 7324538 0 0 0 141081 1153 0 0 25 0 1 0 868468202 197087232 42279 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 48117 42279 265 617 0 47491 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 192468
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.15 3/178 4434
/proc/meminfo: memFree=31142616/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=242556 CPUtime=1482.33 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 7619331 0 0 0 147033 1200 0 0 25 0 1 0 868468202 248377344 54277 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 60639 54277 265 617 0 60013 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 242556
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.14 3/178 4435
/proc/meminfo: memFree=31131532/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=192468 CPUtime=1542.33 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 7933527 0 0 0 152982 1251 0 0 25 0 1 0 868468202 197087232 41059 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 48117 41059 265 617 0 47491 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 192468
[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.13 3/178 4437
/proc/meminfo: memFree=31123928/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=242556 CPUtime=1602.34 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 8202147 0 0 0 158935 1299 0 0 25 0 1 0 868468202 248377344 50530 33554432000 4194304 6720400 140733995512336 18446744073709551615 4804275 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 60639 50530 265 617 0 60013 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 242556
[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.12 3/178 4439
/proc/meminfo: memFree=31088908/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=242556 CPUtime=1662.34 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 8506626 0 0 0 164888 1346 0 0 25 0 1 0 868468202 248377344 57964 33554432000 4194304 6720400 140733995512336 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 60639 57964 265 617 0 60013 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 242556
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.11 4/178 4440
/proc/meminfo: memFree=31197740/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=192468 CPUtime=1722.34 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 8823231 0 0 0 170840 1394 0 0 25 0 1 0 868468202 197087232 41032 33554432000 4194304 6720400 140733995512336 18446744073709551615 5718334 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 48117 41032 265 617 0 47491 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 192468
[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.09 4/178 4442
/proc/meminfo: memFree=31184680/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=192468 CPUtime=1782.34 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 9105124 0 0 0 176798 1436 0 0 25 0 1 0 868468202 197087232 46976 33554432000 4194304 6720400 140733995512336 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 48117 46976 265 617 0 47491 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 192468
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 2.00 2.09 4/178 4442
/proc/meminfo: memFree=31157380/32951124 swapFree=67050916/67111528
[pid=4381] ppid=4379 vsize=161648 CPUtime=1800.04 cores=1,3,5,7
/proc/4381/stat : 4381 (minisatid) R 4379 4381 4338 0 -1 4202496 9153407 0 0 0 178559 1445 0 0 25 0 1 0 868468202 165527552 37746 33554432000 4194304 6720400 140733995512336 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/4381/statm: 40412 37746 265 617 0 39786 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 161648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1785.6
CPU system time (s): 14.4658
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 323944
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1785.6
system time used= 14.4658
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9153413
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= 5
involuntary context switches= 19076
runsolver used 2.6266 second user time and 7.17891 second system time
The end