runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3752630-1339184648/watcher-3752630-1339184648 -o /tmp/evaluation-result-3752630-1339184648/solver-3752630-1339184648 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752630-1339184648.wbo 1834517789 HOME HOME
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.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[startup+0.0489069 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100296 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 1.84 1.97 1.99 3/177 15293
/proc/meminfo: memFree=29789084/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 1.84 1.97 1.99 3/181 15297
/proc/meminfo: memFree=29630392/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=131644 CPUtime=1.49 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) R 15293 15293 14220 0 -1 4202496 20271 0 0 0 144 5 0 0 20 0 1 0 384590748 134803456 31898 33554432000 4194304 6006132 140736071160128 140736071153960 4535954 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 32911 31898 151 443 0 32464 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140792
[startup+3.10029 s]
/proc/loadavg: 1.85 1.97 1.99 3/182 15303
/proc/meminfo: memFree=29674196/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=131644 CPUtime=2.48 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 20279 0 0 0 219 29 0 0 20 0 1 0 384590748 134803456 31905 33554432000 4194304 6006132 140736071160128 140736071153232 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 32911 31905 158 443 0 32464 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 140792
heavy processes:
[startup+6.30029 s]
/proc/loadavg: 1.85 1.97 1.99 3/181 15316
/proc/meminfo: memFree=29584168/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=6.19 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 24832 50501 0 0 243 82 280 14 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 169468
[startup+12.7004 s]
/proc/loadavg: 1.87 1.97 1.99 3/183 15319
/proc/meminfo: memFree=29444228/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=6.19 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 24832 50501 0 0 243 82 280 14 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15318] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15318/stat : 15318 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384591369 9367552 267 33554432000 4194304 5064252 140734116977040 140734116975952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15318/statm: 2287 267 226 213 0 72 0
[pid=15319] ppid=15318 vsize=128012 CPUtime=6.47 cores=1,3,5,7
/proc/15319/stat : 15319 (glucose) R 15318 15293 14220 0 -1 4202496 23555 0 0 0 642 5 0 0 20 0 1 0 384591370 131084288 26215 33554432000 4194304 5208918 140734924180704 140734924178376 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15319/statm: 32003 26215 95 248 0 31752 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 306628
[startup+25.5004 s]
/proc/loadavg: 1.89 1.97 1.99 3/183 15319
/proc/meminfo: memFree=29445984/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=6.19 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 24832 50501 0 0 243 82 280 14 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15318] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15318/stat : 15318 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384591369 9367552 267 33554432000 4194304 5064252 140734116977040 140734116975952 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15318/statm: 2287 267 226 213 0 72 0
[pid=15319] ppid=15318 vsize=128012 CPUtime=19.27 cores=1,3,5,7
/proc/15319/stat : 15319 (glucose) R 15318 15293 14220 0 -1 4202496 23555 0 0 0 1922 5 0 0 20 0 1 0 384591370 131084288 26215 33554432000 4194304 5208918 140734924180704 140734924178376 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15319/statm: 32003 26215 95 248 0 31752 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 306628
[startup+51.1004 s]
/proc/loadavg: 1.93 1.97 1.99 3/183 15326
/proc/meminfo: memFree=29447768/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=45.63 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 28720 80974 0 0 257 84 4186 36 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15325] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15325/stat : 15325 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384595314 9367552 266 33554432000 4194304 5064252 140734430829840 140734430828752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15325/statm: 2287 266 226 213 0 72 0
[pid=15326] ppid=15325 vsize=128008 CPUtime=5.43 cores=1,3,5,7
/proc/15326/stat : 15326 (glucose) R 15325 15293 14220 0 -1 4202496 23107 0 0 0 539 4 0 0 20 0 1 0 384595314 131080192 25771 33554432000 4194304 5208918 140734911661024 140734911658696 4211901 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15326/statm: 32002 25771 95 248 0 31751 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 306624
[startup+102.3 s]
/proc/loadavg: 1.97 1.97 1.99 3/183 15333
/proc/meminfo: memFree=29444064/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=85.09 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 32608 110997 0 0 272 86 8097 54 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15332] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15332/stat : 15332 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384599260 9367552 267 33554432000 4194304 5064252 140734513261840 140734513260752 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15332/statm: 2287 267 226 213 0 72 0
[pid=15333] ppid=15332 vsize=128012 CPUtime=17.17 cores=1,3,5,7
/proc/15333/stat : 15333 (glucose) R 15332 15293 14220 0 -1 4202496 23636 0 0 0 1713 4 0 0 20 0 1 0 384599260 131084288 26307 33554432000 4194304 5208918 140737410556560 140737410554232 4211580 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15333/statm: 32003 26307 95 248 0 31752 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 306628
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 15340
/proc/meminfo: memFree=29443744/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=124.59 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 36496 141550 0 0 287 88 12010 74 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15339] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15339/stat : 15339 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384603210 9367552 267 33554432000 4194304 5064252 140736623404448 140736623403360 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15339/statm: 2287 267 226 213 0 72 0
[pid=15340] ppid=15339 vsize=128012 CPUtime=37.65 cores=1,3,5,7
/proc/15340/stat : 15340 (glucose) R 15339 15293 14220 0 -1 4202496 23059 0 0 0 3761 4 0 0 20 0 1 0 384603210 131084288 26228 33554432000 4194304 5208918 140735381168224 140735381165896 4211561 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15340/statm: 32003 26228 95 248 0 31752 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 306628
[startup+222.307 s]
/proc/loadavg: 1.99 1.97 1.99 3/183 15354
/proc/meminfo: memFree=29442668/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=203.42 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 44272 201945 0 0 316 91 19821 114 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
################
# More data... #
################
/proc/15604/stat : 15604 (glucose) R 15603 15293 14220 0 -1 4202496 23127 0 0 0 1170 4 0 0 20 0 1 0 384725802 131084288 26407 33554432000 4194304 5208918 140736908926448 140736908924120 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15604/statm: 32003 26407 95 248 0 31752 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 306628
[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 15611
/proc/meminfo: memFree=29442764/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1389.76 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 160912 1103085 0 0 753 146 137364 713 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15610] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15610/stat : 15610 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384729752 9367552 267 33554432000 4194304 5064252 140733650593600 140733650592512 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15610/statm: 2287 267 226 213 0 72 0
[pid=15611] ppid=15610 vsize=128008 CPUtime=32.25 cores=1,3,5,7
/proc/15611/stat : 15611 (glucose) R 15610 15293 14220 0 -1 4202496 22391 0 0 0 3221 4 0 0 20 0 1 0 384729752 131080192 26597 33554432000 4194304 5208918 140737217949376 140737217947048 4211668 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15611/statm: 32002 26597 95 248 0 31751 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 306624
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 15625
/proc/meminfo: memFree=29441984/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1468.42 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 168688 1161522 0 0 782 150 145157 753 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15624] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15624/stat : 15624 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 384737619 9367552 267 33554432000 4194304 5064252 140734117620320 140734117619232 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15624/statm: 2287 267 226 213 0 72 0
[pid=15625] ppid=15624 vsize=128008 CPUtime=13.56 cores=1,3,5,7
/proc/15625/stat : 15625 (glucose) R 15624 15293 14220 0 -1 4202496 22914 0 0 0 1352 4 0 0 20 0 1 0 384737620 131080192 26202 33554432000 4194304 5208918 140734700836928 140734700834600 4211652 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15625/statm: 32002 26202 95 248 0 31751 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 306624
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15633
/proc/meminfo: memFree=29441952/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1507.79 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 172576 1192373 0 0 797 151 149059 772 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15632] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15632/stat : 15632 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384741558 9367552 266 33554432000 4194304 5064252 140734620634624 140734620633536 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15632/statm: 2287 266 226 213 0 72 0
[pid=15633] ppid=15632 vsize=128012 CPUtime=34.19 cores=1,3,5,7
/proc/15633/stat : 15633 (glucose) R 15632 15293 14220 0 -1 4202496 22369 0 0 0 3414 5 0 0 20 0 1 0 384741558 131084288 26204 33554432000 4194304 5208918 140734899122192 140734899119864 4211652 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15633/statm: 32003 26204 95 248 0 31752 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 306628
[startup+1602.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/184 15650
/proc/meminfo: memFree=29441932/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1586.63 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 180352 1252224 0 0 826 155 156869 813 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15649] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15649/stat : 15649 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384749451 9367552 267 33554432000 4194304 5064252 140736452657696 140736452656608 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15649/statm: 2287 267 226 213 0 72 0
[pid=15650] ppid=15649 vsize=128016 CPUtime=15.25 cores=1,3,5,7
/proc/15650/stat : 15650 (glucose) R 15649 15293 14220 0 -1 4202496 23076 0 0 0 1522 3 0 0 20 0 1 0 384749452 131088384 26241 33554432000 4194304 5208918 140736628864576 140736628862248 4211851 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15650/statm: 32004 26241 95 248 0 31753 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 306632
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 15664
/proc/meminfo: memFree=29447556/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1626.03 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 184240 1282216 0 0 840 157 160773 833 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15656] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15656/stat : 15656 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384753393 9367552 266 33554432000 4194304 5064252 140736481803760 140736481802672 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15656/statm: 2287 266 226 213 0 72 0
[pid=15657] ppid=15656 vsize=128008 CPUtime=35.83 cores=1,3,5,7
/proc/15657/stat : 15657 (glucose) R 15656 15293 14220 0 -1 4202496 22098 0 0 0 3579 4 0 0 20 0 1 0 384753393 131080192 26403 33554432000 4194304 5208918 140733395620752 140733395618424 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15657/statm: 32002 26403 95 248 0 31751 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 306624
[startup+1722.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 15678
/proc/meminfo: memFree=29445364/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1704.88 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 192016 1340657 0 0 870 160 168586 872 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15677] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15677/stat : 15677 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384761278 9367552 267 33554432000 4194304 5064252 140733517689216 140733517688128 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15677/statm: 2287 267 226 213 0 72 0
[pid=15678] ppid=15677 vsize=128008 CPUtime=16.98 cores=1,3,5,7
/proc/15678/stat : 15678 (glucose) R 15677 15293 14220 0 -1 4202496 21638 0 0 0 1694 4 0 0 20 0 1 0 384761279 131080192 26447 33554432000 4194304 5208918 140737265852016 140737265849688 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15678/statm: 32002 26447 95 248 0 31751 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 306624
[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 15685
/proc/meminfo: memFree=29444244/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1744.23 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 195904 1369209 0 0 884 162 172485 892 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15684] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15684/stat : 15684 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384765215 9367552 267 33554432000 4194304 5064252 140737257445200 140737257444112 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15684/statm: 2287 267 226 213 0 72 0
[pid=15685] ppid=15684 vsize=128008 CPUtime=37.61 cores=1,3,5,7
/proc/15685/stat : 15685 (glucose) R 15684 15293 14220 0 -1 4202496 22869 0 0 0 3756 5 0 0 20 0 1 0 384765216 131080192 26563 33554432000 4194304 5208918 140734950001600 140734949999272 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15685/statm: 32002 26563 95 248 0 31751 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 306624
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.03 2.00 2.00 3/181 15733
/proc/meminfo: memFree=29553968/32873648 swapFree=7112/7112
[pid=15293] ppid=15291 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15293/stat : 15293 (npSolver-wbo-It) S 15291 15293 14220 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384590748 9367552 274 33554432000 4194304 5064252 140734100577920 140734100576832 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15293/statm: 2287 274 233 213 0 72 0
[pid=15294] ppid=15293 vsize=160320 CPUtime=1783.59 cores=1,3,5,7
/proc/15294/stat : 15294 (npSolver-wbo) S 15293 15293 14220 0 -1 4202496 199792 1398996 0 0 899 164 176383 913 20 0 1 0 384590748 164167680 37417 33554432000 4194304 6006132 140736071160128 140736071151488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15294/statm: 40080 37417 177 443 0 39633 0
[pid=15691] ppid=15294 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15691/stat : 15691 (satsolver.sh) S 15294 15293 14220 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384769150 9367552 267 33554432000 4194304 5064252 140735229548928 140735229547840 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/15691/statm: 2287 267 226 213 0 72 0
[pid=15692] ppid=15691 vsize=128012 CPUtime=16.47 cores=1,3,5,7
/proc/15692/stat : 15692 (glucose) R 15691 15293 14220 0 -1 4202496 22210 0 0 0 1643 4 0 0 20 0 1 0 384769150 131084288 26504 33554432000 4194304 5208918 140736340784784 140736340782456 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15692/statm: 32003 26504 95 248 0 31752 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 306628
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15293 and gives
# childrusage.ru_utime.tv_sec=1772
# childrusage.ru_utime.tv_usec=832488
# childrusage.ru_stime.tv_sec=10
# childrusage.ru_stime.tv_usec=784360
# CPU time returned by wait4() is 1783.62
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.52
CPU time (s): 1800.06
CPU user time (s): 1789.25
CPU system time (s): 10.81
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 330112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1772.83
system time used= 10.7844
maximum resident set size= 183120
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1599764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2009760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 41240
involuntary context switches= 2483
runsolver used 3.70144 second user time and 9.62154 second system time
The end