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-3490673-1307771349/watcher-3490673-1307771349 -o /tmp/evaluation-result-3490673-1307771349/solver-3490673-1307771349 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3490673-1307771349.opb --verbosity=0 --format=opb --randomseed=2137182488
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.86 1.97 1.99 2/177 5329
/proc/meminfo: memFree=31345024/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=7700 CPUtime=0 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 436 0 0 0 0 0 0 0 25 0 1 0 869551151 7884800 389 33554432000 4194304 6720400 140734564467504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 1925 390 231 617 0 1299 0
[startup+0.0107979 s]
/proc/loadavg: 1.86 1.97 1.99 2/177 5329
/proc/meminfo: memFree=31345024/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=8084 CPUtime=0 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 553 0 0 0 0 0 0 0 25 0 1 0 869551151 8278016 506 33554432000 4194304 6720400 140734564467504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 2021 506 231 617 0 1395 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8084
[startup+0.100825 s]
/proc/loadavg: 1.86 1.97 1.99 2/177 5329
/proc/meminfo: memFree=31345024/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=16020 CPUtime=0.09 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 2520 0 0 0 9 0 0 0 25 0 1 0 869551151 16404480 2473 33554432000 4194304 6720400 140734564467504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 4005 2474 231 617 0 3379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16020
[startup+0.300793 s]
/proc/loadavg: 1.86 1.97 1.99 2/177 5329
/proc/meminfo: memFree=31345024/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=43784 CPUtime=0.29 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 9541 0 0 0 27 2 0 0 25 0 1 0 869551151 44834816 9267 33554432000 4194304 6720400 140734564467504 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 10946 9269 245 617 0 10320 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 43784
[startup+0.700729 s]
/proc/loadavg: 1.86 1.97 1.99 2/177 5329
/proc/meminfo: memFree=31345024/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=64152 CPUtime=0.69 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 15417 0 0 0 67 2 0 0 25 0 1 0 869551151 65691648 15141 33554432000 4194304 6720400 140734564467504 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 16038 15141 265 617 0 15412 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64152
[startup+1.50055 s]
/proc/loadavg: 1.86 1.97 1.99 3/178 5330
/proc/meminfo: memFree=31282788/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=71428 CPUtime=1.49 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 21379 0 0 0 146 3 0 0 25 0 1 0 869551151 73142272 16863 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 17857 16863 265 617 0 17231 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 71428
[startup+3.10029 s]
/proc/loadavg: 1.86 1.97 1.99 3/178 5330
/proc/meminfo: memFree=31292088/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=132576 CPUtime=3.09 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 38016 0 0 0 304 5 0 0 25 0 1 0 869551151 135757824 29842 33554432000 4194304 6720400 140734564467504 18446744073709551615 4591639 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 33144 29842 265 617 0 32518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 132576
[startup+6.3007 s]
/proc/loadavg: 1.87 1.97 1.99 3/178 5330
/proc/meminfo: memFree=31272884/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=121080 CPUtime=6.29 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 44434 0 0 0 623 6 0 0 25 0 1 0 869551151 123985920 29707 33554432000 4194304 6720400 140734564467504 18446744073709551615 4819985 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 30270 29707 266 617 0 29644 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 121080
[startup+12.7006 s]
/proc/loadavg: 1.88 1.97 1.99 3/178 5330
/proc/meminfo: memFree=31229436/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=170400 CPUtime=12.69 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 76802 0 0 0 1260 9 0 0 25 0 1 0 869551151 174489600 37540 33554432000 4194304 6720400 140734564467504 18446744073709551615 4807628 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 42600 37540 266 617 0 41974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 170400
[startup+25.5003 s]
/proc/loadavg: 1.90 1.97 1.99 3/178 5331
/proc/meminfo: memFree=31182060/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=134624 CPUtime=25.49 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 138050 0 0 0 2532 17 0 0 25 0 1 0 869551151 137854976 33137 33554432000 4194304 6720400 140734564467504 18446744073709551615 4610132 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 33656 33137 266 617 0 33030 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 134624
[startup+51.1007 s]
/proc/loadavg: 2.02 1.99 1.99 3/178 5331
/proc/meminfo: memFree=31134036/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=134624 CPUtime=51.09 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 285262 0 0 0 5072 37 0 0 25 0 1 0 869551151 137854976 33137 33554432000 4194304 6720400 140734564467504 18446744073709551615 4610344 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 33656 33137 266 617 0 33030 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 134624
[startup+102.307 s]
/proc/loadavg: 2.01 1.99 1.99 3/178 5333
/proc/meminfo: memFree=31105724/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=202620 CPUtime=102.29 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 591097 0 0 0 10154 75 0 0 25 0 1 0 869551151 207482880 48939 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 50655 48939 266 617 0 50029 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 202620
[startup+162.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5334
/proc/meminfo: memFree=31088568/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=255456 CPUtime=162.3 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 960272 0 0 0 16101 129 0 0 25 0 1 0 869551151 261586944 55884 33554432000 4194304 6720400 140734564467504 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 63864 55884 266 617 0 63238 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 255456
[startup+222.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5336
/proc/meminfo: memFree=31053820/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=255456 CPUtime=222.29 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 1265106 0 0 0 22054 175 0 0 25 0 1 0 869551151 261586944 58078 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 63864 58078 266 617 0 63238 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 255456
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5338
/proc/meminfo: memFree=31028984/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=265928 CPUtime=282.29 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 1647452 0 0 0 28001 228 0 0 25 0 1 0 869551151 272310272 62156 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617076 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 66482 62156 266 617 0 65856 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 265928
[startup+342.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5339
/proc/meminfo: memFree=30989404/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=267636 CPUtime=342.3 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 1939063 0 0 0 33957 273 0 0 25 0 1 0 869551151 274059264 62022 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 66909 62022 266 617 0 66283 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 267636
[startup+402.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5341
/proc/meminfo: memFree=30994328/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=276676 CPUtime=402.29 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 2253791 0 0 0 39910 319 0 0 25 0 1 0 869551151 283316224 62726 33554432000 4194304 6720400 140734564467504 18446744073709551615 4812230 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 69169 62728 266 617 0 68543 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 276676
[startup+462.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5342
/proc/meminfo: memFree=30993044/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=282680 CPUtime=462.3 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 2561250 0 0 0 45865 365 0 0 25 0 1 0 869551151 289464320 66614 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 70670 66614 266 617 0 70044 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 282680
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5344
/proc/meminfo: memFree=30988916/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=253400 CPUtime=522.3 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 3005880 0 0 0 51794 436 0 0 25 0 1 0 869551151 259481600 62060 33554432000 4194304 6720400 140734564467504 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 63350 62060 266 617 0 62724 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 253400
[startup+582.301 s]
/proc/loadavg: 2.00 1.99 1.99 3/178 5346
/proc/meminfo: memFree=30962960/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=288300 CPUtime=582.3 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 3296722 0 0 0 57746 484 0 0 25 0 1 0 869551151 295219200 66236 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617048 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 72075 66236 266 617 0 71449 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 288300
[startup+642.301 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5361
/proc/meminfo: memFree=31069260/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=209208 CPUtime=822.31 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 4254000 0 0 0 81617 614 0 0 25 0 1 0 869551151 214228992 51783 33554432000 4194304 6720400 140734564467504 18446744073709551615 4805640 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 52302 51783 266 617 0 51676 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 209208
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5363
/proc/meminfo: memFree=30966524/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=289348 CPUtime=882.31 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 4528590 0 0 0 87580 651 0 0 25 0 1 0 869551151 296292352 65651 33554432000 4194304 6720400 140734564467504 18446744073709551615 4805779 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 72337 65651 266 617 0 71711 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 289348
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5364
/proc/meminfo: memFree=30963640/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=228068 CPUtime=942.31 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 4776803 0 0 0 93542 689 0 0 25 0 1 0 869551151 233541632 52020 33554432000 4194304 6720400 140734564467504 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 57017 52020 266 617 0 56391 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 228068
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5366
/proc/meminfo: memFree=30937680/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1002.31 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 5140310 0 0 0 99487 744 0 0 25 0 1 0 869551151 315604992 66141 33554432000 4194304 6720400 140734564467504 18446744073709551615 4816987 0 0 4096 17571 0 0 0 17 0 0 0 0
/proc/5329/statm: 77052 66142 266 617 0 76426 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 308208
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5367
/proc/meminfo: memFree=30986616/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=277388 CPUtime=1062.31 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 5380941 0 0 0 105453 778 0 0 25 0 1 0 869551151 284045312 62924 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 69347 62924 266 617 0 68721 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 277388
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5369
/proc/meminfo: memFree=31016584/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=277388 CPUtime=1122.32 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 5660647 0 0 0 111414 818 0 0 25 0 1 0 869551151 284045312 62311 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 69347 62311 266 617 0 68721 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 277388
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 5371
/proc/meminfo: memFree=30980220/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1182.32 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 5973101 0 0 0 117370 862 0 0 25 0 1 0 869551151 315604992 66853 33554432000 4194304 6720400 140734564467504 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 77052 66853 266 617 0 76426 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 308208
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5372
/proc/meminfo: memFree=30911112/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1242.31 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 6236699 0 0 0 123336 895 0 0 25 0 1 0 869551151 315604992 70051 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617090 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 77052 70051 266 617 0 76426 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 308208
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5374
/proc/meminfo: memFree=30924448/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1302.32 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 6501710 0 0 0 129300 932 0 0 25 0 1 0 869551151 315604992 66898 33554432000 4194304 6720400 140734564467504 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 77052 66898 266 617 0 76426 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 308208
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5375
/proc/meminfo: memFree=30912364/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1362.32 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 6782549 0 0 0 135263 969 0 0 25 0 1 0 869551151 315604992 70800 33554432000 4194304 6720400 140734564467504 18446744073709551615 4622227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 77052 70800 266 617 0 76426 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 308208
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5377
/proc/meminfo: memFree=31002472/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=228068 CPUtime=1422.32 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 7172413 0 0 0 141207 1025 0 0 25 0 1 0 869551151 233541632 54722 33554432000 4194304 6720400 140734564467504 18446744073709551615 4816956 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 57017 54722 266 617 0 56391 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 228068
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5379
/proc/meminfo: memFree=30916372/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1482.32 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 7470983 0 0 0 147166 1066 0 0 25 0 1 0 869551151 315604992 70155 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 77052 70155 266 617 0 76426 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 308208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5380
/proc/meminfo: memFree=30977592/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=228068 CPUtime=1542.32 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 7715208 0 0 0 153132 1100 0 0 25 0 1 0 869551151 233541632 55409 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617051 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 57017 55409 266 617 0 56391 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 228068
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5382
/proc/meminfo: memFree=30912700/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=228068 CPUtime=1602.33 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 7968752 0 0 0 159095 1138 0 0 25 0 1 0 869551151 233541632 55836 33554432000 4194304 6720400 140734564467504 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 57017 55836 266 617 0 56391 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 228068
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5383
/proc/meminfo: memFree=30966108/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1662.33 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 8250503 0 0 0 165057 1176 0 0 25 0 1 0 869551151 315604992 71878 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 77052 71878 266 617 0 76426 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 308208
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5385
/proc/meminfo: memFree=30925884/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=308208 CPUtime=1722.33 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 8491546 0 0 0 171021 1212 0 0 25 0 1 0 869551151 315604992 71367 33554432000 4194304 6720400 140734564467504 18446744073709551615 4617068 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 77052 71367 266 617 0 76426 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 308208
[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 5387
/proc/meminfo: memFree=30950276/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=247316 CPUtime=1782.33 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 8712727 0 0 0 176990 1243 0 0 25 0 1 0 869551151 253251584 56927 33554432000 4194304 6720400 140734564467504 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 61829 56927 266 617 0 61203 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 247316
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 5426
/proc/meminfo: memFree=31037096/32951124 swapFree=67050916/67111528
[pid=5329] ppid=5327 vsize=247316 CPUtime=1800.03 cores=0,2,4,6
/proc/5329/stat : 5329 (minisatid) R 5327 5329 4338 0 -1 4202496 8788596 0 0 0 178749 1254 0 0 25 0 1 0 869551151 253251584 56975 33554432000 4194304 6720400 140734564467504 18446744073709551615 5511232 0 0 4096 17571 0 0 0 17 2 0 0 0
/proc/5329/statm: 61829 56975 266 617 0 61203 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 247316
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.06
CPU user time (s): 1787.5
CPU system time (s): 12.5571
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 337440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1787.5
system time used= 12.5571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8788601
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= 4248
runsolver used 2.75658 second user time and 5.48217 second system time
The end