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-3491213-1307770338/watcher-3491213-1307770338 -o /tmp/evaluation-result-3491213-1307770338/solver-3491213-1307770338 -C 1800 -W 1900 -M 15500 HOME/minisatid HOME/instance-3491213-1307770338.opb --verbosity=0 --format=opb --randomseed=267106200
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.91 1.97 1.90 2/177 30526
/proc/meminfo: memFree=31583644/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=7572 CPUtime=0 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 398 0 0 0 0 0 0 0 24 0 1 0 888634724 7753728 350 33554432000 4194304 6720400 140735706952416 18446744073709551615 5725645 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 1893 350 232 617 0 1267 0
[startup+0.069123 s]
/proc/loadavg: 1.91 1.97 1.90 2/177 30526
/proc/meminfo: memFree=31583644/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=8704 CPUtime=0.06 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 960 0 0 0 6 0 0 0 24 0 1 0 888634724 8912896 911 33554432000 4194304 6720400 140735706952416 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 2176 911 265 617 0 1550 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8704
[startup+0.101117 s]
/proc/loadavg: 1.91 1.97 1.90 2/177 30526
/proc/meminfo: memFree=31583644/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=8704 CPUtime=0.09 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 1134 0 0 0 9 0 0 0 24 0 1 0 888634724 8912896 1084 33554432000 4194304 6720400 140735706952416 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 2176 1084 265 617 0 1550 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8704
[startup+0.301083 s]
/proc/loadavg: 1.91 1.97 1.90 2/177 30526
/proc/meminfo: memFree=31583644/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=11424 CPUtime=0.29 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 2228 0 0 0 29 0 0 0 25 0 1 0 888634724 11698176 2173 33554432000 4194304 6720400 140735706952416 18446744073709551615 4803159 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 2856 2173 265 617 0 2230 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11424
[startup+0.701012 s]
/proc/loadavg: 1.91 1.97 1.90 2/177 30526
/proc/meminfo: memFree=31583644/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=23160 CPUtime=0.69 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 4304 0 0 0 69 0 0 0 25 0 1 0 888634724 23715840 4240 33554432000 4194304 6720400 140735706952416 18446744073709551615 4817456 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 5790 4241 265 617 0 5164 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23160
[startup+1.50087 s]
/proc/loadavg: 1.91 1.97 1.90 3/178 30527
/proc/meminfo: memFree=31597796/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=27544 CPUtime=1.49 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 12302 0 0 0 148 1 0 0 25 0 1 0 888634724 28205056 3609 33554432000 4194304 6720400 140735706952416 18446744073709551615 4811672 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 6886 3609 266 617 0 6260 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27544
[startup+3.10059 s]
/proc/loadavg: 1.91 1.97 1.90 3/178 30527
/proc/meminfo: memFree=31592244/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=58000 CPUtime=3.09 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 19216 0 0 0 308 1 0 0 25 0 1 0 888634724 59392000 10511 33554432000 4194304 6720400 140735706952416 18446744073709551615 4610872 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 14500 10511 266 617 0 13874 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58000
[startup+6.30103 s]
/proc/loadavg: 1.92 1.97 1.90 3/178 30527
/proc/meminfo: memFree=31564464/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=58000 CPUtime=6.29 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 22702 0 0 0 627 2 0 0 25 0 1 0 888634724 59392000 13985 33554432000 4194304 6720400 140735706952416 18446744073709551615 4820131 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 14500 13985 266 617 0 13874 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 58000
[startup+12.7009 s]
/proc/loadavg: 1.93 1.97 1.90 3/178 30527
/proc/meminfo: memFree=31522124/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=58000 CPUtime=12.69 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 22794 0 0 0 1267 2 0 0 25 0 1 0 888634724 59392000 14076 33554432000 4194304 6720400 140735706952416 18446744073709551615 4805760 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 14500 14076 266 617 0 13874 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 58000
[startup+25.5006 s]
/proc/loadavg: 1.94 1.97 1.91 3/178 30527
/proc/meminfo: memFree=31563280/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=58000 CPUtime=25.49 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 31691 0 0 0 2546 3 0 0 25 0 1 0 888634724 59392000 14076 33554432000 4194304 6720400 140735706952416 18446744073709551615 4717613 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 14500 14076 266 617 0 13874 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58000
[startup+51.1011 s]
/proc/loadavg: 1.96 1.97 1.91 3/178 30528
/proc/meminfo: memFree=31532296/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=51.09 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 59978 0 0 0 5102 7 0 0 25 0 1 0 888634724 90476544 16997 33554432000 4194304 6720400 140735706952416 18446744073709551615 4805670 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 16997 266 617 0 21463 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 88356
[startup+102.306 s]
/proc/loadavg: 1.98 1.97 1.91 3/178 30529
/proc/meminfo: memFree=31435776/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=102.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 202100 0 0 0 10206 24 0 0 25 0 1 0 888634724 90476544 16997 33554432000 4194304 6720400 140735706952416 18446744073709551615 4816960 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 16997 266 617 0 21463 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 88356
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30531
/proc/meminfo: memFree=31490156/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=162.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 335767 0 0 0 16188 42 0 0 25 0 1 0 888634724 90476544 16997 33554432000 4194304 6720400 140735706952416 18446744073709551615 4616624 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 16997 266 617 0 21463 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 88356
[startup+222.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30533
/proc/meminfo: memFree=31436036/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=168496 CPUtime=222.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 660429 0 0 0 22146 84 0 0 25 0 1 0 888634724 172539904 33993 33554432000 4194304 6720400 140735706952416 18446744073709551615 4820061 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 42124 33994 266 617 0 41498 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 168496
[startup+282.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30534
/proc/meminfo: memFree=31494876/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=282.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 882170 0 0 0 28115 115 0 0 25 0 1 0 888634724 90476544 16997 33554432000 4194304 6720400 140735706952416 18446744073709551615 4617059 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 16997 266 617 0 21463 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 88356
[startup+342.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30536
/proc/meminfo: memFree=31526316/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=137676 CPUtime=342.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 1074199 0 0 0 34092 138 0 0 25 0 1 0 888634724 140980224 24931 33554432000 4194304 6720400 140735706952416 18446744073709551615 4816948 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 34419 24931 266 617 0 33793 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 137676
[startup+402.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30537
/proc/meminfo: memFree=31386264/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=168496 CPUtime=402.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 1405218 0 0 0 40049 181 0 0 25 0 1 0 888634724 172539904 36466 33554432000 4194304 6720400 140735706952416 18446744073709551615 4812144 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 42124 36466 266 617 0 41498 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 168496
[startup+462.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30539
/proc/meminfo: memFree=31433068/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=137676 CPUtime=462.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 1736959 0 0 0 46000 230 0 0 25 0 1 0 888634724 140980224 27634 33554432000 4194304 6720400 140735706952416 18446744073709551615 4802227 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 34419 27634 266 617 0 33793 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 137676
[startup+522.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30541
/proc/meminfo: memFree=31456320/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=168496 CPUtime=522.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 2074083 0 0 0 51955 275 0 0 25 0 1 0 888634724 172539904 33013 33554432000 4194304 6720400 140735706952416 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 42124 33013 266 617 0 41498 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 168496
[startup+582.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30542
/proc/meminfo: memFree=31434700/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=137676 CPUtime=582.3 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 2394843 0 0 0 57913 317 0 0 25 0 1 0 888634724 140980224 27476 33554432000 4194304 6720400 140735706952416 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 34419 27476 266 617 0 33793 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 137676
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30549
/proc/meminfo: memFree=31333416/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=218584 CPUtime=822.31 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 3705956 0 0 0 81724 507 0 0 25 0 1 0 888634724 223830016 48930 33554432000 4194304 6720400 140735706952416 18446744073709551615 4820914 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 54646 48930 266 617 0 54020 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 218584
[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30550
/proc/meminfo: memFree=31485020/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=882.32 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 4025323 0 0 0 87682 550 0 0 25 0 1 0 888634724 90476544 20933 33554432000 4194304 6720400 140735706952416 18446744073709551615 4820113 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 20933 266 617 0 21463 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 88356
[startup+942.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30552
/proc/meminfo: memFree=31408352/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=168496 CPUtime=942.31 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 4337751 0 0 0 93636 595 0 0 25 0 1 0 888634724 172539904 35286 33554432000 4194304 6720400 140735706952416 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 42124 35286 266 617 0 41498 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 168496
[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30553
/proc/meminfo: memFree=31442896/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=1002.31 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 4612609 0 0 0 99595 636 0 0 25 0 1 0 888634724 90476544 20933 33554432000 4194304 6720400 140735706952416 18446744073709551615 4816956 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 20933 266 617 0 21463 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 88356
[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30555
/proc/meminfo: memFree=31429316/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=1062.32 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 4875279 0 0 0 105558 674 0 0 25 0 1 0 888634724 90476544 20933 33554432000 4194304 6720400 140735706952416 18446744073709551615 4610374 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 20933 266 617 0 21463 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 88356
[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30557
/proc/meminfo: memFree=31388328/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=218584 CPUtime=1122.32 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 5219561 0 0 0 111511 721 0 0 25 0 1 0 888634724 223830016 47142 33554432000 4194304 6720400 140735706952416 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 54646 47142 266 617 0 54020 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 218584
[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30558
/proc/meminfo: memFree=31342152/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=88356 CPUtime=1182.32 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 5542200 0 0 0 117467 765 0 0 25 0 1 0 888634724 90476544 20933 33554432000 4194304 6720400 140735706952416 18446744073709551615 4617079 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 22089 20933 266 617 0 21463 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 88356
[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30560
/proc/meminfo: memFree=31441052/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=94688 CPUtime=1242.32 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 5743782 0 0 0 123436 796 0 0 25 0 1 0 888634724 96960512 23093 33554432000 4194304 6720400 140735706952416 18446744073709551615 4816956 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 23672 23093 266 617 0 23046 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 94688
[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30561
/proc/meminfo: memFree=31468040/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=101868 CPUtime=1302.33 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 6014722 0 0 0 129400 833 0 0 25 0 1 0 888634724 104312832 25043 33554432000 4194304 6720400 140735706952416 18446744073709551615 4816966 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 25467 25043 266 617 0 24841 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 101868
[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30563
/proc/meminfo: memFree=31421252/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=182008 CPUtime=1362.32 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 6320335 0 0 0 135361 871 0 0 25 0 1 0 888634724 186376192 39499 33554432000 4194304 6720400 140735706952416 18446744073709551615 4815483 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 45502 39499 266 617 0 44876 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 182008
[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30565
/proc/meminfo: memFree=31438436/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=151188 CPUtime=1422.33 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 6603123 0 0 0 141323 910 0 0 25 0 1 0 888634724 154816512 33161 33554432000 4194304 6720400 140735706952416 18446744073709551615 4437315 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 37797 33161 266 617 0 37171 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 151188
[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30566
/proc/meminfo: memFree=31468268/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=101868 CPUtime=1482.32 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 6907580 0 0 0 147280 952 0 0 25 0 1 0 888634724 104312832 25043 33554432000 4194304 6720400 140735706952416 18446744073709551615 4820080 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 25467 25043 266 617 0 24841 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 101868
[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30568
/proc/meminfo: memFree=31426680/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=151188 CPUtime=1542.33 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 7222567 0 0 0 153238 995 0 0 25 0 1 0 888634724 154816512 25472 33554432000 4194304 6720400 140735706952416 18446744073709551615 5806741 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 37797 25490 266 617 0 37171 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 151188
[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.91 2/176 30570
/proc/meminfo: memFree=31546556/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=151188 CPUtime=1602.33 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 7590319 0 0 0 159190 1043 0 0 25 0 1 0 888634724 154816512 32848 33554432000 4194304 6720400 140735706952416 18446744073709551615 4610344 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 37797 32848 266 617 0 37171 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 151188
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30610
/proc/meminfo: memFree=31335000/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=151188 CPUtime=1662.34 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 7951313 0 0 0 165139 1095 0 0 25 0 1 0 888634724 154816512 36894 33554432000 4194304 6720400 140735706952416 18446744073709551615 4610378 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 37797 36895 266 617 0 37171 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 151188
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30612
/proc/meminfo: memFree=31332980/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=101868 CPUtime=1722.34 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 8262319 0 0 0 171094 1140 0 0 25 0 1 0 888634724 104312832 25043 33554432000 4194304 6720400 140735706952416 18446744073709551615 4811624 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 25467 25043 266 617 0 24841 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 101868
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30622
/proc/meminfo: memFree=31324200/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=151188 CPUtime=1782.33 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 8543090 0 0 0 177054 1179 0 0 25 0 1 0 888634724 154816512 36330 33554432000 4194304 6720400 140735706952416 18446744073709551615 4820704 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 37797 36330 266 617 0 37171 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 151188
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 1.99 1.97 1.91 3/178 30623
/proc/meminfo: memFree=31360632/32951124 swapFree=67052292/67111528
[pid=30526] ppid=30524 vsize=101868 CPUtime=1800.04 cores=1,3,5,7
/proc/30526/stat : 30526 (minisatid) R 30524 30526 26964 0 -1 4202496 8614251 0 0 0 178815 1189 0 0 25 0 1 0 888634724 104312832 25043 33554432000 4194304 6720400 140735706952416 18446744073709551615 4433922 0 0 4096 17571 0 0 0 17 1 0 0 0
/proc/30526/statm: 25467 25043 266 617 0 24841 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 101868
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.01
CPU time (s): 1800.06
CPU user time (s): 1788.16
CPU system time (s): 11.9002
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 313484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.16
system time used= 11.9002
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8614256
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= 4
involuntary context switches= 1503
runsolver used 2.40363 second user time and 5.84511 second system time
The end