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-3490672-1307771333/watcher-3490672-1307771333 -o /tmp/evaluation-result-3490672-1307771333/solver-3490672-1307771333 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490672-1307771333.opb --verbosity=0 --format=opb --randomseed=1255769779
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 5290
/proc/meminfo: memFree=31390332/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=7700 CPUtime=0 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 442 0 0 0 0 0 0 0 25 0 1 0 869549608 7884800 394 33554432000 4194304 6720400 140733592263216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 1925 395 231 617 0 1299 0
[startup+0.0812431 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 5290
/proc/meminfo: memFree=31390332/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=14228 CPUtime=0.07 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 2085 0 0 0 7 0 0 0 25 0 1 0 869549608 14569472 2037 33554432000 4194304 6720400 140733592263216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 3557 2038 231 617 0 2931 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 14228
[startup+0.10024 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 5290
/proc/meminfo: memFree=31390332/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=15892 CPUtime=0.09 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 2494 0 0 0 9 0 0 0 25 0 1 0 869549608 16273408 2446 33554432000 4194304 6720400 140733592263216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 3973 2446 231 617 0 3347 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15892
[startup+0.300208 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 5290
/proc/meminfo: memFree=31390332/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=43368 CPUtime=0.29 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 9434 0 0 0 28 1 0 0 25 0 1 0 869549608 44408832 9161 33554432000 4194304 6720400 140733592263216 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 10842 9162 245 617 0 10216 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43368
[startup+0.700132 s]
/proc/loadavg: 1.92 1.98 1.99 2/177 5290
/proc/meminfo: memFree=31390332/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=64048 CPUtime=0.69 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 14589 0 0 0 67 2 0 0 25 0 1 0 869549608 65585152 14316 33554432000 4194304 6720400 140733592263216 18446744073709551615 4805835 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 16012 14316 257 617 0 15386 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64048
[startup+1.50099 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 5291
/proc/meminfo: memFree=31292016/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=64048 CPUtime=1.49 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 15591 0 0 0 147 2 0 0 25 0 1 0 869549608 65585152 15315 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 16012 15315 265 617 0 15386 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64048
[startup+3.1007 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 5291
/proc/meminfo: memFree=31254940/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=80100 CPUtime=3.09 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 25488 0 0 0 305 4 0 0 25 0 1 0 869549608 82022400 19414 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 20025 19414 266 617 0 19399 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 80100
[startup+6.30113 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 5291
/proc/meminfo: memFree=31222236/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=162344 CPUtime=6.29 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 58310 0 0 0 622 7 0 0 25 0 1 0 869549608 166240256 36095 33554432000 4194304 6720400 140733592263216 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 40586 36095 266 617 0 39960 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 162344
[startup+12.701 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 5291
/proc/meminfo: memFree=31189364/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=113024 CPUtime=12.69 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 99745 0 0 0 1257 12 0 0 25 0 1 0 869549608 115736576 27725 33554432000 4194304 6720400 140733592263216 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 28256 27725 266 617 0 27630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 113024
[startup+25.5007 s]
/proc/loadavg: 1.88 1.97 1.99 3/178 5330
/proc/meminfo: memFree=31229808/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=162344 CPUtime=25.49 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 193856 0 0 0 2525 24 0 0 25 0 1 0 869549608 166240256 39427 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 40586 39427 266 617 0 39960 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 162344
[startup+51.1011 s]
/proc/loadavg: 1.92 1.97 1.99 3/178 5331
/proc/meminfo: memFree=31129468/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=193968 CPUtime=51.09 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 377523 0 0 0 5062 47 0 0 25 0 1 0 869549608 198623232 43913 33554432000 4194304 6720400 140733592263216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 48492 43913 266 617 0 47866 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 193968
[startup+102.307 s]
/proc/loadavg: 2.01 1.99 1.99 3/178 5332
/proc/meminfo: memFree=31138732/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=233828 CPUtime=102.3 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 686010 0 0 0 10142 88 0 0 25 0 1 0 869549608 239439872 53458 33554432000 4194304 6720400 140733592263216 18446744073709551615 4820710 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 58457 53458 266 617 0 57831 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 233828
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5334
/proc/meminfo: memFree=31054728/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=243120 CPUtime=162.29 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 1052074 0 0 0 16084 145 0 0 25 0 1 0 869549608 248954880 57356 33554432000 4194304 6720400 140733592263216 18446744073709551615 4820724 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 60780 57357 266 617 0 60154 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 243120
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5336
/proc/meminfo: memFree=31082096/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=214260 CPUtime=222.29 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 1473754 0 0 0 22019 210 0 0 25 0 1 0 869549608 219402240 50390 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 53565 50390 266 617 0 52939 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 214260
[startup+282.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5337
/proc/meminfo: memFree=31039536/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=265120 CPUtime=282.3 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 1788111 0 0 0 27972 258 0 0 25 0 1 0 869549608 271482880 60903 33554432000 4194304 6720400 140733592263216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 66280 60903 266 617 0 65654 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 265120
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5339
/proc/meminfo: memFree=31014952/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=273148 CPUtime=342.3 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 2130619 0 0 0 33920 310 0 0 25 0 1 0 869549608 279703552 65027 33554432000 4194304 6720400 140733592263216 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 68287 65027 266 617 0 67661 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 273148
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5340
/proc/meminfo: memFree=30985540/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=245172 CPUtime=402.3 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 2538070 0 0 0 39857 373 0 0 25 0 1 0 869549608 251056128 60324 33554432000 4194304 6720400 140733592263216 18446744073709551615 4820724 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 61293 60324 266 617 0 60667 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 245172
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5342
/proc/meminfo: memFree=30991316/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=278764 CPUtime=462.3 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 2946866 0 0 0 45797 433 0 0 25 0 1 0 869549608 285454336 64768 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 69691 64768 266 617 0 69065 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 278764
[startup+522.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5344
/proc/meminfo: memFree=30976152/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=284264 CPUtime=522.3 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 3259111 0 0 0 51753 477 0 0 25 0 1 0 869549608 291086336 68114 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 71066 68114 266 617 0 70440 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 284264
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5345
/proc/meminfo: memFree=30970156/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=291280 CPUtime=582.3 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 3536442 0 0 0 57710 520 0 0 25 0 1 0 869549608 298270720 66205 33554432000 4194304 6720400 140733592263216 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 72820 66205 266 617 0 72194 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 291280
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5361
/proc/meminfo: memFree=31033192/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=225364 CPUtime=822.31 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 4621979 0 0 0 81544 687 0 0 25 0 1 0 869549608 230772736 55777 33554432000 4194304 6720400 140733592263216 18446744073709551615 4816976 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 56341 55777 266 617 0 55715 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 225364
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5362
/proc/meminfo: memFree=31001640/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=306640 CPUtime=882.32 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 4976725 0 0 0 87493 739 0 0 25 0 1 0 869549608 313999360 74354 33554432000 4194304 6720400 140733592263216 18446744073709551615 4812058 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 76660 74355 266 617 0 76034 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 306640
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5364
/proc/meminfo: memFree=30953608/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=356728 CPUtime=942.31 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 5464965 0 0 0 93416 815 0 0 25 0 1 0 869549608 365289472 78175 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 89182 78175 266 617 0 88556 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 356728
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5365
/proc/meminfo: memFree=31031932/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=280848 CPUtime=1002.32 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 5718187 0 0 0 99375 857 0 0 25 0 1 0 869549608 287588352 66488 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617082 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 70212 66488 266 617 0 69586 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 280848
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5367
/proc/meminfo: memFree=30977700/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=235416 CPUtime=1062.32 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 5968242 0 0 0 105337 895 0 0 25 0 1 0 869549608 241065984 58266 33554432000 4194304 6720400 140733592263216 18446744073709551615 4819968 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 58854 58266 266 617 0 58228 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 235416
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5369
/proc/meminfo: memFree=30930044/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=336696 CPUtime=1122.32 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 6220004 0 0 0 111301 931 0 0 25 0 1 0 869549608 344776704 77748 33554432000 4194304 6720400 140733592263216 18446744073709551615 4805680 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 84174 77749 266 617 0 83548 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 336696
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5370
/proc/meminfo: memFree=31005152/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=305876 CPUtime=1182.32 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 6499023 0 0 0 117262 970 0 0 25 0 1 0 869549608 313217024 68637 33554432000 4194304 6720400 140733592263216 18446744073709551615 4806544 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 76469 68637 266 617 0 75843 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 305876
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5372
/proc/meminfo: memFree=30984036/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=305876 CPUtime=1242.32 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 6739497 0 0 0 123224 1008 0 0 25 0 1 0 869549608 313217024 68432 33554432000 4194304 6720400 140733592263216 18446744073709551615 4718494 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 76469 68432 266 617 0 75843 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 305876
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 5373
/proc/meminfo: memFree=30996888/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=305876 CPUtime=1302.33 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 6999436 0 0 0 129188 1045 0 0 25 0 1 0 869549608 313217024 71697 33554432000 4194304 6720400 140733592263216 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 76469 71697 266 617 0 75843 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 305876
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5375
/proc/meminfo: memFree=30895884/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=305876 CPUtime=1362.33 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 7269211 0 0 0 135147 1086 0 0 25 0 1 0 869549608 313217024 68310 33554432000 4194304 6720400 140733592263216 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 76469 68310 266 617 0 75843 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 305876
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5377
/proc/meminfo: memFree=30938376/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=336696 CPUtime=1422.33 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 7609397 0 0 0 141094 1139 0 0 25 0 1 0 869549608 344776704 75889 33554432000 4194304 6720400 140733592263216 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 84174 75889 266 617 0 83548 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 336696
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5378
/proc/meminfo: memFree=31003684/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=256556 CPUtime=1482.33 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 7832727 0 0 0 147057 1176 0 0 25 0 1 0 869549608 262713344 60873 33554432000 4194304 6720400 140733592263216 18446744073709551615 4805705 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 64139 60873 266 617 0 63513 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 256556
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5380
/proc/meminfo: memFree=30993104/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=256556 CPUtime=1542.33 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 8089806 0 0 0 153019 1214 0 0 25 0 1 0 869549608 262713344 61418 33554432000 4194304 6720400 140733592263216 18446744073709551615 4819093 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 64139 61418 266 617 0 63513 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 256556
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5381
/proc/meminfo: memFree=30962072/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=256556 CPUtime=1602.34 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 8340556 0 0 0 158983 1251 0 0 25 0 1 0 869549608 262713344 61656 33554432000 4194304 6720400 140733592263216 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 64139 61656 266 617 0 63513 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 256556
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5383
/proc/meminfo: memFree=30994632/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=305876 CPUtime=1662.34 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 8576122 0 0 0 164950 1284 0 0 25 0 1 0 869549608 313217024 71513 33554432000 4194304 6720400 140733592263216 18446744073709551615 4617073 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 76469 71513 266 617 0 75843 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 305876
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5385
/proc/meminfo: memFree=30910152/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=256556 CPUtime=1722.34 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 8809259 0 0 0 170917 1317 0 0 25 0 1 0 869549608 262713344 62438 33554432000 4194304 6720400 140733592263216 18446744073709551615 4613442 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 64139 62438 266 617 0 63513 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 256556
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 5386
/proc/meminfo: memFree=30893248/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=256556 CPUtime=1782.34 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 9025709 0 0 0 176883 1351 0 0 25 0 1 0 869549608 262713344 62770 33554432000 4194304 6720400 140733592263216 18446744073709551615 4819884 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 64139 62770 266 617 0 63513 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 256556
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5387
/proc/meminfo: memFree=30914936/32951124 swapFree=67050916/67111528
[pid=5290] ppid=5288 vsize=336696 CPUtime=1800.05 cores=1,3,5,7
/proc/5290/stat : 5290 (minisatid) R 5288 5290 4338 0 -1 4202496 9097547 0 0 0 178642 1363 0 0 25 0 1 0 869549608 344776704 76293 33554432000 4194304 6720400 140733592263216 18446744073709551615 4616723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/5290/statm: 84174 76293 266 617 0 83548 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 336696
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): 1786.42
CPU system time (s): 13.6439
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 386784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.42
system time used= 13.6439
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9097552
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= 19358
runsolver used 2.77058 second user time and 6.17706 second system time
The end