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-3490511-1307782338/watcher-3490511-1307782338 -o /tmp/evaluation-result-3490511-1307782338/solver-3490511-1307782338 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490511-1307782338.opb --verbosity=0 --format=opb --randomseed=124242456
running on 4 cores: 0,2,4,6
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.22 1.74 1.85 2/171 13398
/proc/meminfo: memFree=31845200/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=7444 CPUtime=0 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 401 0 0 0 0 0 0 0 23 0 1 0 889834178 7622656 354 33554432000 4194304 6720400 140733555533616 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 1861 354 255 617 0 1235 0
[startup+0.0814851 s]
/proc/loadavg: 1.22 1.74 1.85 2/171 13398
/proc/meminfo: memFree=31845200/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=7576 CPUtime=0.07 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 693 0 0 0 7 0 0 0 23 0 1 0 889834178 7757824 639 33554432000 4194304 6720400 140733555533616 18446744073709551615 4820016 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 1894 639 263 617 0 1268 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 7576
[startup+0.100497 s]
/proc/loadavg: 1.22 1.74 1.85 2/171 13398
/proc/meminfo: memFree=31845200/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=7708 CPUtime=0.09 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 753 0 0 0 9 0 0 0 23 0 1 0 889834178 7892992 699 33554432000 4194304 6720400 140733555533616 18446744073709551615 5722259 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 1927 699 263 617 0 1301 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7708
[startup+0.30046 s]
/proc/loadavg: 1.22 1.74 1.85 2/171 13398
/proc/meminfo: memFree=31845200/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=6360 CPUtime=0.29 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 1767 0 0 0 29 0 0 0 25 0 1 0 889834178 6512640 830 33554432000 4194304 6720400 140733555533616 18446744073709551615 4811656 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 1590 830 263 617 0 964 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6360
[startup+0.700414 s]
/proc/loadavg: 1.22 1.74 1.85 2/171 13398
/proc/meminfo: memFree=31845200/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=9684 CPUtime=0.69 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 2835 0 0 0 69 0 0 0 25 0 1 0 889834178 9916416 1888 33554432000 4194304 6720400 140733555533616 18446744073709551615 4805715 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 2421 1888 263 617 0 1795 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9684
[startup+1.50027 s]
/proc/loadavg: 1.22 1.74 1.85 3/175 13409
/proc/meminfo: memFree=31830676/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=12364 CPUtime=1.49 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 3638 0 0 0 149 0 0 0 25 0 1 0 889834178 12660736 2670 33554432000 4194304 6720400 140733555533616 18446744073709551615 4819093 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 3091 2670 263 617 0 2465 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12364
[startup+3.10098 s]
/proc/loadavg: 1.28 1.74 1.85 3/175 13409
/proc/meminfo: memFree=31826336/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=12888 CPUtime=3.1 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 4853 0 0 0 309 1 0 0 25 0 1 0 889834178 13197312 2517 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 3222 2517 263 617 0 2596 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 12888
[startup+6.30037 s]
/proc/loadavg: 1.28 1.74 1.85 3/175 13410
/proc/meminfo: memFree=31820816/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=15568 CPUtime=6.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 5662 0 0 0 629 1 0 0 25 0 1 0 889834178 15941632 3313 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 3892 3313 263 617 0 3266 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 15568
[startup+12.7002 s]
/proc/loadavg: 1.39 1.75 1.85 3/175 13410
/proc/meminfo: memFree=31811292/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=21396 CPUtime=12.69 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 6595 0 0 0 1268 1 0 0 25 0 1 0 889834178 21909504 4225 33554432000 4194304 6720400 140733555533616 18446744073709551615 4803270 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 5349 4225 263 617 0 4723 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21396
[startup+25.5009 s]
/proc/loadavg: 1.49 1.76 1.85 3/175 13410
/proc/meminfo: memFree=31802744/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=28700 CPUtime=25.49 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 10076 0 0 0 2548 1 0 0 25 0 1 0 889834178 29388800 6355 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616608 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 7175 6355 263 617 0 6549 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28700
[startup+51.1003 s]
/proc/loadavg: 1.66 1.77 1.85 3/175 13411
/proc/meminfo: memFree=31792888/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=33052 CPUtime=51.09 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 11306 0 0 0 5107 2 0 0 25 0 1 0 889834178 33845248 7572 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 8263 7572 263 617 0 7637 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 33052
[startup+102.306 s]
/proc/loadavg: 1.92 1.83 1.86 3/175 13412
/proc/meminfo: memFree=31778988/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=51052 CPUtime=102.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 15094 0 0 0 10228 2 0 0 25 0 1 0 889834178 52277248 9522 33554432000 4194304 6720400 140733555533616 18446744073709551615 4819168 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 12763 9522 263 617 0 12137 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 51052
[startup+162.301 s]
/proc/loadavg: 1.97 1.85 1.87 3/175 13414
/proc/meminfo: memFree=31768052/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=49328 CPUtime=162.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 20299 0 0 0 16226 4 0 0 25 0 1 0 889834178 50511872 10981 33554432000 4194304 6720400 140733555533616 18446744073709551615 4803116 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 12332 10981 263 617 0 11706 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 49328
[startup+222.301 s]
/proc/loadavg: 1.99 1.88 1.87 3/175 13415
/proc/meminfo: memFree=31760332/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=57748 CPUtime=222.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 21862 0 0 0 22226 4 0 0 25 0 1 0 889834178 59133952 12522 33554432000 4194304 6720400 140733555533616 18446744073709551615 4611629 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 14437 12522 263 617 0 13811 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 57748
[startup+282.3 s]
/proc/loadavg: 2.05 1.91 1.88 3/175 13417
/proc/meminfo: memFree=31755232/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=57748 CPUtime=282.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 22434 0 0 0 28226 4 0 0 25 0 1 0 889834178 59133952 13094 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616643 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 14437 13094 263 617 0 13811 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 57748
[startup+342.3 s]
/proc/loadavg: 2.01 1.93 1.89 3/175 13419
/proc/meminfo: memFree=31749876/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=62100 CPUtime=342.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 23803 0 0 0 34226 4 0 0 25 0 1 0 889834178 63590400 14449 33554432000 4194304 6720400 140733555533616 18446744073709551615 4805698 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 15525 14449 263 617 0 14899 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 62100
[startup+402.3 s]
/proc/loadavg: 2.00 1.94 1.89 3/175 13420
/proc/meminfo: memFree=31749364/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=62100 CPUtime=402.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 23834 0 0 0 40226 4 0 0 25 0 1 0 889834178 63590400 14480 33554432000 4194304 6720400 140733555533616 18446744073709551615 4805623 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 15525 14480 263 617 0 14899 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 62100
[startup+462.301 s]
/proc/loadavg: 2.00 1.95 1.90 3/175 13422
/proc/meminfo: memFree=31746732/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=62100 CPUtime=462.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 24195 0 0 0 46226 4 0 0 25 0 1 0 889834178 63590400 14833 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617084 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 15525 14833 263 617 0 14899 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 62100
[startup+522.301 s]
/proc/loadavg: 2.00 1.95 1.91 3/175 13423
/proc/meminfo: memFree=31744724/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=62100 CPUtime=522.3 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 24271 0 0 0 52226 4 0 0 25 0 1 0 889834178 63590400 14909 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616660 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 15525 14909 263 617 0 14899 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 62100
[startup+582.301 s]
/proc/loadavg: 2.00 1.96 1.91 3/175 13434
/proc/meminfo: memFree=31742444/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=62100 CPUtime=582.31 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 24306 0 0 0 58226 5 0 0 25 0 1 0 889834178 63590400 14944 33554432000 4194304 6720400 140733555533616 18446744073709551615 4610344 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 15525 14944 263 617 0 14899 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 62100
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13443
/proc/meminfo: memFree=31723620/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=822.31 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 30367 0 0 0 82226 5 0 0 25 0 1 0 889834178 93958144 18048 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616636 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 18048 263 617 0 22313 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 91756
[startup+882.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13445
/proc/meminfo: memFree=31723092/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=882.31 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 30425 0 0 0 88226 5 0 0 25 0 1 0 889834178 93958144 18106 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616620 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 18106 263 617 0 22313 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 91756
[startup+942.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13447
/proc/meminfo: memFree=31722940/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=942.31 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 30545 0 0 0 94226 5 0 0 25 0 1 0 889834178 93958144 18222 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 18222 263 617 0 22313 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 91756
[startup+1002.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13448
/proc/meminfo: memFree=31722160/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1002.32 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 30548 0 0 0 100227 5 0 0 25 0 1 0 889834178 93958144 18225 33554432000 4194304 6720400 140733555533616 18446744073709551615 4815968 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 18225 263 617 0 22313 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 91756
[startup+1062.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13450
/proc/meminfo: memFree=31721768/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1062.32 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 30554 0 0 0 106227 5 0 0 25 0 1 0 889834178 93958144 18231 33554432000 4194304 6720400 140733555533616 18446744073709551615 4803288 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 18231 263 617 0 22313 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 91756
[startup+1122.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13451
/proc/meminfo: memFree=31718144/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1122.32 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 30823 0 0 0 112227 5 0 0 25 0 1 0 889834178 93958144 18495 33554432000 4194304 6720400 140733555533616 18446744073709551615 4803159 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 18495 263 617 0 22313 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 91756
[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13453
/proc/meminfo: memFree=31710432/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1182.33 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 32721 0 0 0 118227 6 0 0 25 0 1 0 889834178 93958144 20369 33554432000 4194304 6720400 140733555533616 18446744073709551615 4610399 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20369 263 617 0 22313 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 91756
[startup+1242.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13455
/proc/meminfo: memFree=31710036/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1242.33 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 32721 0 0 0 124227 6 0 0 25 0 1 0 889834178 93958144 20369 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20369 263 617 0 22313 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 91756
[startup+1302.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13456
/proc/meminfo: memFree=31710132/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1302.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 32721 0 0 0 130228 6 0 0 25 0 1 0 889834178 93958144 20369 33554432000 4194304 6720400 140733555533616 18446744073709551615 4819040 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20369 263 617 0 22313 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 91756
[startup+1362.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13458
/proc/meminfo: memFree=31710104/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1362.33 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 32721 0 0 0 136227 6 0 0 25 0 1 0 889834178 93958144 20369 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20369 263 617 0 22313 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 91756
[startup+1422.31 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13459
/proc/meminfo: memFree=31710328/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1422.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 32722 0 0 0 142228 6 0 0 25 0 1 0 889834178 93958144 20370 33554432000 4194304 6720400 140733555533616 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20370 263 617 0 22313 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 91756
[startup+1482.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13461
/proc/meminfo: memFree=31710424/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1482.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 32722 0 0 0 148228 6 0 0 25 0 1 0 889834178 93958144 20370 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617003 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20370 263 617 0 22313 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 91756
[startup+1542.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13463
/proc/meminfo: memFree=31709044/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1542.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 33047 0 0 0 154228 6 0 0 25 0 1 0 889834178 93958144 20690 33554432000 4194304 6720400 140733555533616 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20690 263 617 0 22313 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 91756
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13464
/proc/meminfo: memFree=31708644/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=91756 CPUtime=1602.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 33072 0 0 0 160228 6 0 0 25 0 1 0 889834178 93958144 20714 33554432000 4194304 6720400 140733555533616 18446744073709551615 4807326 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 22939 20714 263 617 0 22313 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 91756
[startup+1662.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13466
/proc/meminfo: memFree=31699808/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=100860 CPUtime=1662.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 35209 0 0 0 166228 6 0 0 25 0 1 0 889834178 103280640 22839 33554432000 4194304 6720400 140733555533616 18446744073709551615 4583104 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 25215 22839 263 617 0 24589 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 100860
[startup+1722.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13467
/proc/meminfo: memFree=31698796/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=100860 CPUtime=1722.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 35550 0 0 0 172228 6 0 0 25 0 1 0 889834178 103280640 23169 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616685 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 25215 23169 263 617 0 24589 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 100860
[startup+1782.3 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13469
/proc/meminfo: memFree=31698152/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=100860 CPUtime=1782.34 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 35584 0 0 0 178228 6 0 0 25 0 1 0 889834178 103280640 23203 33554432000 4194304 6720400 140733555533616 18446744073709551615 4616771 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 25215 23203 263 617 0 24589 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 100860
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 1.98 1.91 3/175 13469
/proc/meminfo: memFree=31698140/32951124 swapFree=67060628/67111528
[pid=13398] ppid=13395 vsize=100860 CPUtime=1800.05 cores=0,2,4,6
/proc/13398/stat : 13398 (minisatid) R 13395 13398 8673 0 -1 4202496 35584 0 0 0 179999 6 0 0 25 0 1 0 889834178 103280640 23203 33554432000 4194304 6720400 140733555533616 18446744073709551615 4803329 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/13398/statm: 25215 23203 263 617 0 24589 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 100860
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.01
CPU time (s): 1800.06
CPU user time (s): 1799.99
CPU system time (s): 0.068989
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 100860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35591
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= 6
involuntary context switches= 2738
runsolver used 2.58161 second user time and 5.62214 second system time
The end