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-3491146-1307766658/watcher-3491146-1307766658 -o /tmp/evaluation-result-3491146-1307766658/solver-3491146-1307766658 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491146-1307766658.opb --verbosity=0 --format=opb --randomseed=909400974
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/175 16262
/proc/meminfo: memFree=31875388/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=7316 CPUtime=0 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 360 0 0 0 0 0 0 0 24 0 1 0 869081318 7491584 313 33554432000 4194304 6720400 140737061991440 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 1829 313 231 617 0 1203 0
[startup+0.015512 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16262
/proc/meminfo: memFree=31875388/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=8096 CPUtime=0.01 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 573 0 0 0 1 0 0 0 24 0 1 0 869081318 8290304 525 33554432000 4194304 6720400 140737061991440 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 2024 528 246 617 0 1398 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 8096
[startup+0.100499 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16262
/proc/meminfo: memFree=31875388/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=8352 CPUtime=0.09 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 970 0 0 0 9 0 0 0 24 0 1 0 869081318 8552448 921 33554432000 4194304 6720400 140737061991440 18446744073709551615 4816974 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 2088 921 264 617 0 1462 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8352
[startup+0.30046 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16262
/proc/meminfo: memFree=31875388/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=11200 CPUtime=0.29 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 1914 0 0 0 29 0 0 0 25 0 1 0 869081318 11468800 1856 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 2800 1856 264 617 0 2174 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11200
[startup+0.700399 s]
/proc/loadavg: 1.92 1.98 1.99 2/175 16262
/proc/meminfo: memFree=31875388/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=6012 CPUtime=0.69 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 4135 0 0 0 69 0 0 0 25 0 1 0 869081318 6156288 937 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 1503 937 265 617 0 877 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6012
[startup+1.50024 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 16301
/proc/meminfo: memFree=31855176/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=23168 CPUtime=1.49 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 8024 0 0 0 149 0 0 0 25 0 1 0 869081318 23724032 4797 33554432000 4194304 6720400 140737061991440 18446744073709551615 4803156 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 5792 4797 265 617 0 5166 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23168
[startup+3.10095 s]
/proc/loadavg: 1.92 1.98 1.99 4/178 16301
/proc/meminfo: memFree=31845104/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=37540 CPUtime=3.09 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 18950 0 0 0 308 1 0 0 25 0 1 0 869081318 38440960 6089 33554432000 4194304 6720400 140737061991440 18446744073709551615 4812001 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 9385 6089 265 617 0 8759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37540
[startup+6.30036 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 16301
/proc/meminfo: memFree=31823060/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=56392 CPUtime=6.29 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 24334 0 0 0 627 2 0 0 25 0 1 0 869081318 57745408 11440 33554432000 4194304 6720400 140737061991440 18446744073709551615 5718106 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 14098 11440 266 617 0 13472 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56392
[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 16301
/proc/meminfo: memFree=31785292/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=56392 CPUtime=12.69 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 34267 0 0 0 1266 3 0 0 25 0 1 0 869081318 57745408 13676 33554432000 4194304 6720400 140737061991440 18446744073709551615 4815487 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 14098 13676 266 617 0 13472 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 56392
[startup+25.5008 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 16302
/proc/meminfo: memFree=31686724/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=68148 CPUtime=25.49 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 78233 0 0 0 2540 9 0 0 25 0 1 0 869081318 69783552 16615 33554432000 4194304 6720400 140737061991440 18446744073709551615 5722381 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 17037 16615 266 617 0 16411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 68148
[startup+51.1001 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 16302
/proc/meminfo: memFree=31702044/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=68148 CPUtime=51.09 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 95043 0 0 0 5098 11 0 0 25 0 1 0 869081318 69783552 16615 33554432000 4194304 6720400 140737061991440 18446744073709551615 4813772 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 17037 16615 266 617 0 16411 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 68148
[startup+102.307 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 16304
/proc/meminfo: memFree=31729032/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=68148 CPUtime=102.29 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 348951 0 0 0 10187 42 0 0 25 0 1 0 869081318 69783552 16615 33554432000 4194304 6720400 140737061991440 18446744073709551615 4816230 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 17037 16615 266 617 0 16411 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 68148
[startup+162.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16305
/proc/meminfo: memFree=31673324/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=68148 CPUtime=162.29 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 639920 0 0 0 16150 79 0 0 25 0 1 0 869081318 69783552 16615 33554432000 4194304 6720400 140737061991440 18446744073709551615 4624217 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 17037 16615 266 617 0 16411 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 68148
[startup+222.301 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 16307
/proc/meminfo: memFree=31697096/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=117468 CPUtime=222.3 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 899519 0 0 0 22118 112 0 0 25 0 1 0 869081318 120287232 25702 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 29367 25702 266 617 0 28741 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 117468
[startup+282.301 s]
/proc/loadavg: 2.03 2.00 2.00 3/178 16309
/proc/meminfo: memFree=31594504/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=148288 CPUtime=282.3 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 1202317 0 0 0 28079 151 0 0 25 0 1 0 869081318 151846912 29775 33554432000 4194304 6720400 140737061991440 18446744073709551615 4819985 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 37072 29775 266 617 0 36446 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 148288
[startup+342.301 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16310
/proc/meminfo: memFree=31607244/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=117468 CPUtime=342.3 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 1453432 0 0 0 34047 183 0 0 25 0 1 0 869081318 120287232 24683 33554432000 4194304 6720400 140737061991440 18446744073709551615 4592960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 29367 24683 266 617 0 28741 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 117468
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16312
/proc/meminfo: memFree=31539376/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=87056 CPUtime=402.31 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 1766467 0 0 0 40006 225 0 0 25 0 1 0 869081318 89145344 16674 33554432000 4194304 6720400 140737061991440 18446744073709551615 4820730 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 21764 16674 266 617 0 21138 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 87056
[startup+462.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16313
/proc/meminfo: memFree=31590188/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=87656 CPUtime=462.31 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 2071037 0 0 0 45961 270 0 0 25 0 1 0 869081318 89759744 21492 33554432000 4194304 6720400 140737061991440 18446744073709551615 5722259 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 21914 21492 266 617 0 21288 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 87656
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16315
/proc/meminfo: memFree=31573528/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=87656 CPUtime=522.3 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 2365681 0 0 0 51920 310 0 0 25 0 1 0 869081318 89759744 21492 33554432000 4194304 6720400 140737061991440 18446744073709551615 4617093 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 21914 21492 266 617 0 21288 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 87656
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16317
/proc/meminfo: memFree=31573256/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=167796 CPUtime=582.31 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 2670554 0 0 0 57880 351 0 0 25 0 1 0 869081318 171823104 35800 33554432000 4194304 6720400 140737061991440 18446744073709551615 4813206 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 41949 35800 266 617 0 41323 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 167796
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16323
/proc/meminfo: memFree=31428768/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=217884 CPUtime=822.32 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 3794486 0 0 0 81719 513 0 0 25 0 1 0 869081318 223113216 45057 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 54471 45057 266 617 0 53845 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 217884
[startup+882.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16325
/proc/meminfo: memFree=31519996/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=167796 CPUtime=882.31 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 4096156 0 0 0 87674 557 0 0 25 0 1 0 869081318 171823104 39033 33554432000 4194304 6720400 140737061991440 18446744073709551615 5722431 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 41949 39033 266 617 0 41323 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 167796
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16326
/proc/meminfo: memFree=31530512/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=136976 CPUtime=942.32 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 4385025 0 0 0 93632 600 0 0 25 0 1 0 869081318 140263424 32809 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 34244 32809 266 617 0 33618 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 136976
[startup+1002.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 16328
/proc/meminfo: memFree=31459420/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=200328 CPUtime=1002.33 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 4676769 0 0 0 99587 646 0 0 25 0 1 0 869081318 205135872 45384 33554432000 4194304 6720400 140737061991440 18446744073709551615 4811736 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 50082 45385 266 617 0 49456 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 200328
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16329
/proc/meminfo: memFree=31496704/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=120188 CPUtime=1062.32 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 4935691 0 0 0 105547 685 0 0 25 0 1 0 869081318 123072512 29622 33554432000 4194304 6720400 140737061991440 18446744073709551615 4719612 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 30047 29622 266 617 0 29421 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 120188
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16331
/proc/meminfo: memFree=31476700/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=120188 CPUtime=1122.32 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 5155427 0 0 0 111518 714 0 0 25 0 1 0 869081318 123072512 29622 33554432000 4194304 6720400 140737061991440 18446744073709551615 4813180 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 30047 29622 266 617 0 29421 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 120188
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16333
/proc/meminfo: memFree=31532336/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=120188 CPUtime=1182.32 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 5453332 0 0 0 117477 755 0 0 25 0 1 0 869081318 123072512 29622 33554432000 4194304 6720400 140737061991440 18446744073709551615 5734190 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 30047 29622 266 617 0 29421 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 120188
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16334
/proc/meminfo: memFree=31467580/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=169508 CPUtime=1242.33 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 5741251 0 0 0 123438 795 0 0 25 0 1 0 869081318 173576192 40781 33554432000 4194304 6720400 140737061991440 18446744073709551615 4617032 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 42377 40781 266 617 0 41751 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 169508
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16336
/proc/meminfo: memFree=31378752/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=169508 CPUtime=1302.34 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 6020989 0 0 0 129396 838 0 0 25 0 1 0 869081318 173576192 38259 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 42377 38259 266 617 0 41751 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 169508
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16337
/proc/meminfo: memFree=31447048/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=120188 CPUtime=1362.33 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 6311039 0 0 0 135355 878 0 0 25 0 1 0 869081318 123072512 29622 33554432000 4194304 6720400 140737061991440 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 30047 29622 266 617 0 29421 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 120188
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16339
/proc/meminfo: memFree=31416256/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=120188 CPUtime=1422.34 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 6602688 0 0 0 141313 921 0 0 25 0 1 0 869081318 123072512 29622 33554432000 4194304 6720400 140737061991440 18446744073709551615 4813186 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 30047 29622 266 617 0 29421 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 120188
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16341
/proc/meminfo: memFree=31459508/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=120188 CPUtime=1482.34 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 6864322 0 0 0 147275 959 0 0 25 0 1 0 869081318 123072512 29622 33554432000 4194304 6720400 140737061991440 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 30047 29622 266 617 0 29421 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 120188
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16342
/proc/meminfo: memFree=31342912/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=120188 CPUtime=1542.34 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 7128250 0 0 0 153237 997 0 0 25 0 1 0 869081318 123072512 29648 33554432000 4194304 6720400 140737061991440 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 30047 29648 266 617 0 29421 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 120188
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16344
/proc/meminfo: memFree=31568924/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=169508 CPUtime=1602.34 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 7424811 0 0 0 159197 1037 0 0 25 0 1 0 869081318 173576192 37791 33554432000 4194304 6720400 140737061991440 18446744073709551615 4811652 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 42377 37791 266 617 0 41751 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 169508
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 16345
/proc/meminfo: memFree=31344568/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=250416 CPUtime=1662.34 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 7722059 0 0 0 165155 1079 0 0 25 0 1 0 869081318 256425984 56669 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 62604 56669 266 617 0 61978 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 250416
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16347
/proc/meminfo: memFree=31453148/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=250416 CPUtime=1722.35 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 8035729 0 0 0 171109 1126 0 0 25 0 1 0 869081318 256425984 56398 33554432000 4194304 6720400 140737061991440 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 62604 56399 266 617 0 61978 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 250416
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16349
/proc/meminfo: memFree=31390860/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=200328 CPUtime=1782.35 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 8325434 0 0 0 177064 1171 0 0 25 0 1 0 869081318 205135872 43172 33554432000 4194304 6720400 140737061991440 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 50082 43172 266 617 0 49456 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 200328
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16349
/proc/meminfo: memFree=31478380/32951124 swapFree=67053960/67111528
[pid=16262] ppid=16260 vsize=250416 CPUtime=1800.05 cores=1,3,5,7
/proc/16262/stat : 16262 (minisatid) R 16260 16262 15536 0 -1 4202496 8407191 0 0 0 178822 1183 0 0 25 0 1 0 869081318 256425984 50292 33554432000 4194304 6720400 140737061991440 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/16262/statm: 62604 50292 266 617 0 61978 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 250416
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): 1788.23
CPU system time (s): 11.8412
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 331804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.23
system time used= 11.8412
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8407198
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= 1448
runsolver used 2.6146 second user time and 5.75113 second system time
The end