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-3490645-1307766593/watcher-3490645-1307766593 -o /tmp/evaluation-result-3490645-1307766593/solver-3490645-1307766593 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490645-1307766593.opb --verbosity=0 --format=opb --randomseed=1145249607
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.92 1.99 1.99 2/178 20940
/proc/meminfo: memFree=31564876/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=7720 CPUtime=0 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 446 0 0 0 0 0 0 0 25 0 1 0 888257527 7905280 399 33554432000 4194304 6720400 140734137694096 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/20940/statm: 1930 399 231 617 0 1304 0
[startup+0.0714509 s]
/proc/loadavg: 1.92 1.99 1.99 2/178 20940
/proc/meminfo: memFree=31564876/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=11844 CPUtime=0.06 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 1526 0 0 0 6 0 0 0 25 0 1 0 888257527 12128256 1474 33554432000 4194304 6720400 140734137694096 18446744073709551615 4591639 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/20940/statm: 2961 1474 262 617 0 2335 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11844
[startup+0.100444 s]
/proc/loadavg: 1.92 1.99 1.99 2/178 20940
/proc/meminfo: memFree=31564876/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=11848 CPUtime=0.09 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 1537 0 0 0 9 0 0 0 25 0 1 0 888257527 12132352 1484 33554432000 4194304 6720400 140734137694096 18446744073709551615 4814336 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/20940/statm: 2962 1484 265 617 0 2336 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11848
[startup+0.300426 s]
/proc/loadavg: 1.92 1.99 1.99 2/178 20940
/proc/meminfo: memFree=31564876/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=12236 CPUtime=0.29 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 2203 0 0 0 29 0 0 0 25 0 1 0 888257527 12529664 2148 33554432000 4194304 6720400 140734137694096 18446744073709551615 4803189 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/20940/statm: 3059 2148 265 617 0 2433 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12236
[startup+0.700354 s]
/proc/loadavg: 1.92 1.99 1.99 2/178 20940
/proc/meminfo: memFree=31564876/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=19460 CPUtime=0.69 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 3727 0 0 0 69 0 0 0 25 0 1 0 888257527 19927040 3668 33554432000 4194304 6720400 140734137694096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/20940/statm: 4865 3668 265 617 0 4239 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19460
[startup+1.50021 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 20941
/proc/meminfo: memFree=31536124/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=38404 CPUtime=1.49 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 6714 0 0 0 148 1 0 0 25 0 1 0 888257527 39325696 6652 33554432000 4194304 6720400 140734137694096 18446744073709551615 4816954 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 9601 6653 265 617 0 8975 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38404
[startup+3.10089 s]
/proc/loadavg: 1.92 1.99 1.99 3/179 20941
/proc/meminfo: memFree=31558936/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=57548 CPUtime=3.09 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 12450 0 0 0 307 2 0 0 25 0 1 0 888257527 58929152 12376 33554432000 4194304 6720400 140734137694096 18446744073709551615 4592816 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 14387 12376 266 617 0 13761 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57548
[startup+6.30033 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 20941
/proc/meminfo: memFree=31532216/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=20228 CPUtime=6.29 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 27126 0 0 0 625 4 0 0 25 0 1 0 888257527 20713472 3659 33554432000 4194304 6720400 140734137694096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 5057 3659 266 617 0 4431 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20228
[startup+12.7002 s]
/proc/loadavg: 1.93 1.99 1.99 3/179 20941
/proc/meminfo: memFree=31484516/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=145220 CPUtime=12.69 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 60024 0 0 0 1259 10 0 0 25 0 1 0 888257527 148705280 29531 33554432000 4194304 6720400 140734137694096 18446744073709551615 4820039 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 36305 29531 266 617 0 35679 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 145220
[startup+25.5008 s]
/proc/loadavg: 1.95 1.99 1.99 3/179 20942
/proc/meminfo: memFree=31580988/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=65080 CPUtime=25.5 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 93605 0 0 0 2534 16 0 0 25 0 1 0 888257527 66641920 11175 33554432000 4194304 6720400 140734137694096 18446744073709551615 4811672 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 16270 11175 266 617 0 15644 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 65080
[startup+51.1002 s]
/proc/loadavg: 1.96 1.99 1.99 3/179 20942
/proc/meminfo: memFree=31462108/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=114400 CPUtime=51.09 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 178327 0 0 0 5081 28 0 0 25 0 1 0 888257527 117145600 26918 33554432000 4194304 6720400 140734137694096 18446744073709551615 4805811 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 28600 26918 266 617 0 27974 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 114400
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/179 20944
/proc/meminfo: memFree=31445464/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=145220 CPUtime=102.3 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 344584 0 0 0 10172 58 0 0 25 0 1 0 888257527 148705280 30120 33554432000 4194304 6720400 140734137694096 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 36305 30120 266 617 0 35679 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 145220
[startup+162.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 20945
/proc/meminfo: memFree=31447672/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=195308 CPUtime=162.29 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 568113 0 0 0 16133 96 0 0 25 0 1 0 888257527 199995392 37461 33554432000 4194304 6720400 140734137694096 18446744073709551615 4812128 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 48827 37462 266 617 0 48201 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 195308
[startup+222.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 20947
/proc/meminfo: memFree=31510264/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=122224 CPUtime=222.29 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 786634 0 0 0 22094 135 0 0 25 0 1 0 888257527 125157376 25938 33554432000 4194304 6720400 140734137694096 18446744073709551615 4816974 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 30556 25938 266 617 0 29930 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 122224
[startup+282.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/179 20949
/proc/meminfo: memFree=31520404/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=122224 CPUtime=282.3 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 990118 0 0 0 28058 172 0 0 25 0 1 0 888257527 125157376 26975 33554432000 4194304 6720400 140734137694096 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 30556 26975 266 617 0 29930 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 122224
[startup+342.301 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 20950
/proc/meminfo: memFree=31339212/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=203132 CPUtime=342.3 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 1187639 0 0 0 34019 211 0 0 25 0 1 0 888257527 208007168 42670 33554432000 4194304 6720400 140734137694096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 50783 42670 266 617 0 50157 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 203132
[startup+402.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/179 20952
/proc/meminfo: memFree=31441612/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=72904 CPUtime=402.3 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 1357376 0 0 0 39988 242 0 0 25 0 1 0 888257527 74653696 17799 33554432000 4194304 6720400 140734137694096 18446744073709551615 4812584 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 18226 17799 266 617 0 17600 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 72904
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 20953
/proc/meminfo: memFree=31436744/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=72904 CPUtime=462.3 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 1552818 0 0 0 45958 272 0 0 25 0 1 0 888257527 74653696 17799 33554432000 4194304 6720400 140734137694096 18446744073709551615 4812464 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 18226 17799 266 617 0 17600 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 72904
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 20955
/proc/meminfo: memFree=31490292/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=122224 CPUtime=522.31 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 1758749 0 0 0 51925 306 0 0 25 0 1 0 888257527 125157376 25564 33554432000 4194304 6720400 140734137694096 18446744073709551615 4811645 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 30556 25565 266 617 0 29930 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 122224
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20957
/proc/meminfo: memFree=31378904/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=153044 CPUtime=582.3 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 1962503 0 0 0 57888 342 0 0 25 0 1 0 888257527 156717056 37090 33554432000 4194304 6720400 140734137694096 18446744073709551615 4816976 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 38261 37090 266 617 0 37635 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 153044
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 20963
/proc/meminfo: memFree=31487772/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=104964 CPUtime=822.31 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 2793849 0 0 0 81733 498 0 0 25 0 1 0 888257527 107483136 25814 33554432000 4194304 6720400 140734137694096 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 26241 25814 266 617 0 25615 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 104964
[startup+882.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 20965
/proc/meminfo: memFree=31368320/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=185104 CPUtime=882.32 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 3001981 0 0 0 87694 538 0 0 25 0 1 0 888257527 189546496 42317 33554432000 4194304 6720400 140734137694096 18446744073709551615 4802233 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 46276 42317 266 617 0 45650 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 185104
[startup+942.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/179 20966
/proc/meminfo: memFree=31208212/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=316580 CPUtime=942.32 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 3197480 0 0 0 93661 571 0 0 25 0 1 0 888257527 324177920 70247 33554432000 4194304 6720400 140734137694096 18446744073709551615 4595163 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 79145 70247 266 617 0 78519 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 316580
[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/179 20968
/proc/meminfo: memFree=31306632/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=185104 CPUtime=1002.32 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 3391050 0 0 0 99622 610 0 0 25 0 1 0 888257527 189546496 41458 33554432000 4194304 6720400 140734137694096 18446744073709551615 4812001 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 46276 41458 266 617 0 45650 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 185104
[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 21084
/proc/meminfo: memFree=31466112/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=316580 CPUtime=1062.32 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 3579207 0 0 0 105586 646 0 0 25 0 1 0 888257527 324177920 64432 33554432000 4194304 6720400 140734137694096 18446744073709551615 4820719 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 79145 64432 266 617 0 78519 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 316580
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21086
/proc/meminfo: memFree=31331428/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=448840 CPUtime=1122.32 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 3776378 0 0 0 111551 681 0 0 25 0 1 0 888257527 459612160 82652 33554432000 4194304 6720400 140734137694096 18446744073709551615 4616696 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 112210 82652 266 617 0 111584 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 448840
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 21088
/proc/meminfo: memFree=31348636/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=448840 CPUtime=1182.32 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 3965329 0 0 0 117518 714 0 0 25 0 1 0 888257527 459612160 88957 33554432000 4194304 6720400 140734137694096 18446744073709551615 4715097 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 112210 88957 266 617 0 111584 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 448840
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 21089
/proc/meminfo: memFree=31460208/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=215304 CPUtime=1242.33 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 4147544 0 0 0 123488 745 0 0 25 0 1 0 888257527 220471296 45781 33554432000 4194304 6720400 140734137694096 18446744073709551615 4802224 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 53826 45781 266 617 0 53200 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 215304
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21129
/proc/meminfo: memFree=31614592/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=123668 CPUtime=1302.33 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 4354341 0 0 0 129455 778 0 0 25 0 1 0 888257527 126636032 25815 33554432000 4194304 6720400 140734137694096 18446744073709551615 4811648 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 30917 25815 266 617 0 30291 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 123668
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21130
/proc/meminfo: memFree=31510616/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=203808 CPUtime=1362.33 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 4578453 0 0 0 135418 815 0 0 25 0 1 0 888257527 208699392 39110 33554432000 4194304 6720400 140734137694096 18446744073709551615 4595136 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 50952 39110 266 617 0 50326 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 203808
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21132
/proc/meminfo: memFree=31389444/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=253896 CPUtime=1422.34 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 4785185 0 0 0 141380 854 0 0 25 0 1 0 888257527 259989504 60042 33554432000 4194304 6720400 140734137694096 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 63474 60042 266 617 0 62848 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 253896
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21134
/proc/meminfo: memFree=31240244/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=205848 CPUtime=1482.33 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 4981685 0 0 0 147341 892 0 0 25 0 1 0 888257527 210788352 45207 33554432000 4194304 6720400 140734137694096 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 51462 45207 266 617 0 50836 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 205848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21135
/proc/meminfo: memFree=31277536/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=337324 CPUtime=1542.33 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 5179726 0 0 0 153307 926 0 0 25 0 1 0 888257527 345419776 69094 33554432000 4194304 6720400 140734137694096 18446744073709551615 4803177 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 84331 69094 266 617 0 83705 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 337324
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 21137
/proc/meminfo: memFree=31299836/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=175028 CPUtime=1602.34 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 5378475 0 0 0 159269 965 0 0 25 0 1 0 888257527 179228672 39257 33554432000 4194304 6720400 140734137694096 18446744073709551615 5718203 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 43757 39257 266 617 0 43131 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 175028
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 21138
/proc/meminfo: memFree=31529576/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=205848 CPUtime=1662.34 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 5581172 0 0 0 165231 1003 0 0 25 0 1 0 888257527 210788352 45687 33554432000 4194304 6720400 140734137694096 18446744073709551615 4806018 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 51462 45687 266 617 0 50836 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 205848
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 21140
/proc/meminfo: memFree=31198096/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=337324 CPUtime=1722.34 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 5771603 0 0 0 171199 1035 0 0 25 0 1 0 888257527 345419776 73547 33554432000 4194304 6720400 140734137694096 18446744073709551615 4804268 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 84331 73547 266 617 0 83705 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 337324
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21142
/proc/meminfo: memFree=31204144/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=337324 CPUtime=1782.35 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 5955898 0 0 0 177167 1068 0 0 25 0 1 0 888257527 345419776 83333 33554432000 4194304 6720400 140734137694096 18446744073709551615 4819066 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 84331 83333 266 617 0 83705 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 337324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21142
/proc/meminfo: memFree=31076784/32951124 swapFree=67063556/67111528
[pid=20940] ppid=20938 vsize=205848 CPUtime=1800.04 cores=0,2,4,6
/proc/20940/stat : 20940 (minisatid) R 20938 20940 20281 0 -1 4202496 6015086 0 0 0 178927 1077 0 0 25 0 1 0 888257527 210788352 45876 33554432000 4194304 6720400 140734137694096 18446744073709551615 4718479 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/20940/statm: 51462 45876 266 617 0 50836 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 205848
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): 1789.28
CPU system time (s): 10.7874
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 469584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.28
system time used= 10.7874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6015092
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= 6230
runsolver used 2.82757 second user time and 5.58615 second system time
The end