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-3491212-1307770266/watcher-3491212-1307770266 -o /tmp/evaluation-result-3491212-1307770266/solver-3491212-1307770266 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491212-1307770266.opb --verbosity=0 --format=opb --randomseed=1416836774
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.92 1.98 1.99 2/177 16792
/proc/meminfo: memFree=31853012/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=7704 CPUtime=0 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 442 0 0 0 0 0 0 0 25 0 1 0 869442100 7888896 394 33554432000 4194304 6720400 140734605154752 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 1926 395 232 617 0 1300 0
[startup+0.0438339 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16792
/proc/meminfo: memFree=31853012/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=9440 CPUtime=0.04 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 967 0 0 0 4 0 0 0 25 0 1 0 869442100 9666560 919 33554432000 4194304 6720400 140734605154752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 2360 919 265 617 0 1734 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9440
[startup+0.100825 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16792
/proc/meminfo: memFree=31853012/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=9440 CPUtime=0.1 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 1213 0 0 0 10 0 0 0 25 0 1 0 869442100 9666560 1164 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 2360 1164 265 617 0 1734 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9440
[startup+0.300788 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16792
/proc/meminfo: memFree=31853012/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=12400 CPUtime=0.29 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 2164 0 0 0 29 0 0 0 25 0 1 0 869442100 12697600 2113 33554432000 4194304 6720400 140734605154752 18446744073709551615 4813168 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 3100 2113 265 617 0 2474 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12400
[startup+0.700719 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 16792
/proc/meminfo: memFree=31853012/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=24104 CPUtime=0.69 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 4300 0 0 0 69 0 0 0 25 0 1 0 869442100 24682496 4246 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 6026 4246 265 617 0 5400 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24104
[startup+1.50058 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 16793
/proc/meminfo: memFree=31815720/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=17236 CPUtime=1.49 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 10530 0 0 0 148 1 0 0 25 0 1 0 869442100 17649664 2736 33554432000 4194304 6720400 140734605154752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 4309 2736 265 617 0 3683 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17236
[startup+3.10027 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 16793
/proc/meminfo: memFree=31787448/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=61940 CPUtime=3.09 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 26146 0 0 0 306 3 0 0 25 0 1 0 869442100 63426560 10389 33554432000 4194304 6720400 140734605154752 18446744073709551615 4819166 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 15485 10389 266 617 0 14859 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61940
[startup+6.30069 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 16793
/proc/meminfo: memFree=31715696/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=61940 CPUtime=6.29 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 51300 0 0 0 623 6 0 0 25 0 1 0 869442100 63426560 10389 33554432000 4194304 6720400 140734605154752 18446744073709551615 4817255 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 15485 10389 266 617 0 14859 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61940
[startup+12.7005 s]
/proc/loadavg: 1.94 1.98 1.99 3/178 16794
/proc/meminfo: memFree=31677652/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=61940 CPUtime=12.69 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 92431 0 0 0 1258 11 0 0 25 0 1 0 869442100 63426560 10389 33554432000 4194304 6720400 140734605154752 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 15485 10389 266 617 0 14859 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61940
[startup+25.5002 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 16794
/proc/meminfo: memFree=31661876/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=111260 CPUtime=25.49 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 184146 0 0 0 2526 23 0 0 25 0 1 0 869442100 113930240 22085 33554432000 4194304 6720400 140734605154752 18446744073709551615 4431773 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 27815 22085 266 617 0 27189 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111260
[startup+51.1005 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 16795
/proc/meminfo: memFree=31748740/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=111260 CPUtime=51.09 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 350947 0 0 0 5064 45 0 0 25 0 1 0 869442100 113930240 21494 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 27815 21494 266 617 0 27189 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 111260
[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 16796
/proc/meminfo: memFree=31569040/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=153856 CPUtime=102.3 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 692234 0 0 0 10136 94 0 0 25 0 1 0 869442100 157548544 34134 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 38464 34134 266 617 0 37838 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 153856
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16798
/proc/meminfo: memFree=31527600/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=73716 CPUtime=162.29 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 1064722 0 0 0 16085 144 0 0 25 0 1 0 869442100 75485184 18001 33554432000 4194304 6720400 140734605154752 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 18429 18001 266 617 0 17803 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 73716
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16799
/proc/meminfo: memFree=31509224/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=123036 CPUtime=222.3 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 1428592 0 0 0 22038 192 0 0 25 0 1 0 869442100 125988864 25686 33554432000 4194304 6720400 140734605154752 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 30759 25686 266 617 0 30133 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 123036
[startup+282.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16801
/proc/meminfo: memFree=31453640/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=73716 CPUtime=282.3 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 1829150 0 0 0 27980 250 0 0 25 0 1 0 869442100 75485184 18015 33554432000 4194304 6720400 140734605154752 18446744073709551615 4813203 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 18429 18015 266 617 0 17803 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 73716
[startup+342.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16802
/proc/meminfo: memFree=31603532/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=203944 CPUtime=342.3 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 2220193 0 0 0 33924 306 0 0 25 0 1 0 869442100 208838656 38214 33554432000 4194304 6720400 140734605154752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 50986 38214 266 617 0 50360 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 203944
[startup+402.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16804
/proc/meminfo: memFree=31589380/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=203944 CPUtime=402.3 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 2619049 0 0 0 39864 366 0 0 25 0 1 0 869442100 208838656 39873 33554432000 4194304 6720400 140734605154752 18446744073709551615 4803098 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 50986 39873 266 617 0 50360 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 203944
[startup+462.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16806
/proc/meminfo: memFree=31523008/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=134588 CPUtime=462.3 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 2983359 0 0 0 45813 417 0 0 25 0 1 0 869442100 137818112 32182 33554432000 4194304 6720400 140734605154752 18446744073709551615 4431762 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 33647 32183 266 617 0 33021 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 134588
[startup+522.3 s]
/proc/loadavg: 2.05 2.00 2.00 3/178 16807
/proc/meminfo: memFree=31608176/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=165408 CPUtime=522.31 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 3368659 0 0 0 51757 474 0 0 25 0 1 0 869442100 169377792 38528 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 41352 38528 266 617 0 40726 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 165408
[startup+582.301 s]
/proc/loadavg: 2.02 2.00 2.00 3/178 16809
/proc/meminfo: memFree=31350600/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=215496 CPUtime=582.31 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 3751919 0 0 0 57705 526 0 0 25 0 1 0 869442100 220667904 41031 33554432000 4194304 6720400 140734605154752 18446744073709551615 4803156 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 53874 41031 266 617 0 53248 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 215496
[startup+642.301 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16815
/proc/meminfo: memFree=31567520/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=184472 CPUtime=822.31 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 5253820 0 0 0 81483 748 0 0 25 0 1 0 869442100 188899328 44664 33554432000 4194304 6720400 140734605154752 18446744073709551615 4612408 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 46118 44664 266 617 0 45492 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 184472
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16817
/proc/meminfo: memFree=31520736/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=153652 CPUtime=882.32 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 5626883 0 0 0 87426 806 0 0 25 0 1 0 869442100 157339648 33427 33554432000 4194304 6720400 140734605154752 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 38413 33428 266 617 0 37787 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 153652
[startup+942.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 16818
/proc/meminfo: memFree=31448432/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=153652 CPUtime=942.32 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 5982648 0 0 0 93381 851 0 0 25 0 1 0 869442100 157339648 36090 33554432000 4194304 6720400 140734605154752 18446744073709551615 5722411 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 38413 36090 266 617 0 37787 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 153652
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16820
/proc/meminfo: memFree=31441096/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=153652 CPUtime=1002.32 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 6370689 0 0 0 99325 907 0 0 25 0 1 0 869442100 157339648 34778 33554432000 4194304 6720400 140734605154752 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 38413 34778 266 617 0 37787 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 153652
[startup+1062.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 16822
/proc/meminfo: memFree=31330088/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=184472 CPUtime=1062.32 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 6746390 0 0 0 105269 963 0 0 25 0 1 0 869442100 188899328 38189 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 46118 38189 266 617 0 45492 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 184472
[startup+1122.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16823
/proc/meminfo: memFree=31202588/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=234560 CPUtime=1122.32 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 7116859 0 0 0 111217 1015 0 0 25 0 1 0 869442100 240189440 49437 33554432000 4194304 6720400 140734605154752 18446744073709551615 4811624 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 58640 49437 266 617 0 58014 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 234560
[startup+1182.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16825
/proc/meminfo: memFree=31269900/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=234560 CPUtime=1182.33 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 7498086 0 0 0 117156 1077 0 0 25 0 1 0 869442100 240189440 52507 33554432000 4194304 6720400 140734605154752 18446744073709551615 4812163 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 58640 52508 266 617 0 58014 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 234560
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16826
/proc/meminfo: memFree=31418564/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=184472 CPUtime=1242.33 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 7875246 0 0 0 123100 1133 0 0 25 0 1 0 869442100 188899328 44606 33554432000 4194304 6720400 140734605154752 18446744073709551615 4432274 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 46118 44606 266 617 0 45492 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 184472
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16828
/proc/meminfo: memFree=31494308/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=153652 CPUtime=1302.34 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 8235210 0 0 0 129044 1190 0 0 25 0 1 0 869442100 157339648 36433 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 38413 36433 266 617 0 37787 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 153652
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16830
/proc/meminfo: memFree=31532852/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=184472 CPUtime=1362.33 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 8576977 0 0 0 134993 1240 0 0 25 0 1 0 869442100 188899328 41697 33554432000 4194304 6720400 140734605154752 18446744073709551615 4616656 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 46118 41697 266 617 0 45492 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 184472
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16831
/proc/meminfo: memFree=31117184/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=184472 CPUtime=1422.34 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 8939682 0 0 0 140936 1298 0 0 25 0 1 0 869442100 188899328 42453 33554432000 4194304 6720400 140734605154752 18446744073709551615 5722670 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 46118 42453 266 617 0 45492 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 184472
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16833
/proc/meminfo: memFree=31322120/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=153652 CPUtime=1482.34 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 9312559 0 0 0 146882 1352 0 0 25 0 1 0 869442100 157339648 36720 33554432000 4194304 6720400 140734605154752 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 38413 36720 266 617 0 37787 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 153652
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16834
/proc/meminfo: memFree=31482304/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=104332 CPUtime=1542.34 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 9677796 0 0 0 152830 1404 0 0 25 0 1 0 869442100 106835968 25655 33554432000 4194304 6720400 140734605154752 18446744073709551615 5734095 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 26083 25655 266 617 0 25457 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 104332
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16836
/proc/meminfo: memFree=31521456/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=184472 CPUtime=1602.34 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 10062612 0 0 0 158774 1460 0 0 25 0 1 0 869442100 188899328 42441 33554432000 4194304 6720400 140734605154752 18446744073709551615 4817243 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 46118 42442 266 617 0 45492 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 184472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16838
/proc/meminfo: memFree=31231768/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=104332 CPUtime=1662.35 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 10445188 0 0 0 164715 1520 0 0 25 0 1 0 869442100 106835968 25655 33554432000 4194304 6720400 140734605154752 18446744073709551615 4819872 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 26083 25655 266 617 0 25457 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 104332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16839
/proc/meminfo: memFree=31291276/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=153652 CPUtime=1722.35 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 10820204 0 0 0 170660 1575 0 0 25 0 1 0 869442100 157339648 37944 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 38413 37944 266 617 0 37787 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 153652
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16841
/proc/meminfo: memFree=31330796/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=184472 CPUtime=1782.34 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 11189358 0 0 0 176604 1630 0 0 25 0 1 0 869442100 188899328 45648 33554432000 4194304 6720400 140734605154752 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 46118 45648 266 617 0 45492 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 184472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 2/176 16851
/proc/meminfo: memFree=31674780/32951124 swapFree=67053960/67111528
[pid=16792] ppid=16790 vsize=234960 CPUtime=1800.06 cores=1,3,5,7
/proc/16792/stat : 16792 (minisatid) R 16790 16792 15536 0 -1 4202496 11300208 0 0 0 178360 1646 0 0 25 0 1 0 869442100 240599040 48810 33554432000 4194304 6720400 140734605154752 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/16792/statm: 58740 48810 266 617 0 58114 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 234960
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.07
CPU user time (s): 1783.6
CPU system time (s): 16.4695
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 315948
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.6
system time used= 16.4695
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11300214
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= 3
involuntary context switches= 19024
runsolver used 2.47662 second user time and 6.00109 second system time
The end