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-3754804-1339195835/watcher-3754804-1339195835 -o /tmp/evaluation-result-3754804-1339195835/solver-3754804-1339195835 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754804-1339195835.wbo 1753941606 HOME HOME
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: 2.00 2.02 2.00 2/180 22259
/proc/meminfo: memFree=29968324/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[startup+0.0276969 s]
/proc/loadavg: 2.00 2.02 2.00 2/180 22259
/proc/meminfo: memFree=29968324/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100269 s]
/proc/loadavg: 2.00 2.02 2.00 2/180 22259
/proc/meminfo: memFree=29968324/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300264 s]
/proc/loadavg: 2.00 2.02 2.00 2/180 22259
/proc/meminfo: memFree=29968324/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700165 s]
/proc/loadavg: 2.00 2.02 2.00 2/180 22259
/proc/meminfo: memFree=29968324/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 22263
/proc/meminfo: memFree=29909020/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=23664 CPUtime=0.41 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 6675 0 0 0 30 11 0 0 20 0 1 0 385709130 24231936 5450 33554432000 4194304 6006132 140735663079424 140735663072528 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 5916 5450 156 443 0 5469 0
[pid=22262] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22262/stat : 22262 (cp2_pre.sh) S 22260 22259 17372 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 385709172 9367552 277 33554432000 4194304 5064252 140735821879984 140735821878688 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22262/statm: 2287 277 234 213 0 72 0
[pid=22263] ppid=22262 vsize=40616 CPUtime=1.07 cores=0,2,4,6
/proc/22263/stat : 22263 (coprocessor) R 22262 22259 17372 0 -1 4202496 7497 0 0 0 106 1 0 0 20 0 1 0 385709172 41590784 9483 33554432000 4194304 6586260 140734237628976 140734237624520 5599202 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/22263/statm: 10154 9483 190 584 0 9566 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 82576
[startup+3.10028 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 22263
/proc/meminfo: memFree=29908648/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=111296 CPUtime=2.9 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) R 22259 22259 17372 0 -1 4202496 23179 16057 0 0 57 18 211 4 20 0 1 0 385709130 113967104 25094 33554432000 4194304 6006132 140735663079424 140735663072528 4537479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 27824 25094 177 443 0 27377 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 120444
[startup+6.30032 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 22271
/proc/meminfo: memFree=29700844/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=357056 CPUtime=6.1 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) R 22259 22259 17372 0 -1 4202496 25457 16057 0 0 370 25 211 4 20 0 1 0 385709130 365625344 83462 33554432000 4194304 6006132 140735663079424 140735663071784 4582397 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 89264 83462 177 443 0 88817 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 366204
[startup+12.7004 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 22273
/proc/meminfo: memFree=28670632/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=337500 CPUtime=1.24 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 43891 0 0 0 113 11 0 0 20 0 1 0 385710274 345600000 68244 33554432000 4194304 5208918 140733288873616 140733287823016 4221600 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 84375 68244 70 248 0 84124 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 1458176
[startup+25.5004 s]
/proc/loadavg: 2.07 2.03 2.00 3/184 22273
/proc/meminfo: memFree=27626360/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1369556 CPUtime=14.04 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 168391 0 0 0 1340 64 0 0 20 0 1 0 385710274 1402425344 295319 33554432000 4194304 5208918 140733288873616 140733288871288 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 342389 295319 102 248 0 342138 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 2490232
[startup+51.1004 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 22273
/proc/meminfo: memFree=27678984/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1369556 CPUtime=39.64 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 168427 0 0 0 3900 64 0 0 20 0 1 0 385710274 1402425344 295355 33554432000 4194304 5208918 140733288873616 140733288871288 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 342389 295355 102 248 0 342138 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 2490232
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 22274
/proc/meminfo: memFree=27678976/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1369556 CPUtime=90.84 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 168428 0 0 0 9020 64 0 0 20 0 1 0 385710274 1402425344 295356 33554432000 4194304 5208918 140733288873616 140733288871288 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 342389 295356 102 248 0 342138 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 2490232
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 22274
/proc/meminfo: memFree=27678356/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1369556 CPUtime=150.82 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 168429 0 0 0 15018 64 0 0 20 0 1 0 385710274 1402425344 295357 33554432000 4194304 5208918 140733288873616 140733288871288 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 342389 295357 102 248 0 342138 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 2490232
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22274
/proc/meminfo: memFree=27677464/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 170552 0 0 0 134998 66 0 0 20 0 1 0 385710274 1410945024 298990 33554432000 4194304 5208918 140733288873616 140733288871464 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 344469 298990 103 248 0 344218 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 2498552
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 22309
/proc/meminfo: memFree=27614612/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1377876 CPUtime=1410.63 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 170560 0 0 0 140997 66 0 0 20 0 1 0 385710274 1410945024 298998 33554432000 4194304 5208918 140733288873616 140733288871464 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 344469 298998 103 248 0 344218 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 2498552
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 22309
/proc/meminfo: memFree=27614136/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1377876 CPUtime=1470.62 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 170574 0 0 0 146996 66 0 0 20 0 1 0 385710274 1410945024 299010 33554432000 4194304 5208918 140733288873616 140733288871464 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 344469 299010 103 248 0 344218 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 2498552
[startup+1542.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 22361
/proc/meminfo: memFree=28305112/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1378404 CPUtime=1530.6 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 170677 0 0 0 152994 66 0 0 20 0 1 0 385710274 1411485696 299107 33554432000 4194304 5208918 140733288873616 140733288871464 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 344601 299107 103 248 0 344350 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 2499080
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 22362
/proc/meminfo: memFree=28289168/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1378404 CPUtime=1590.6 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 170678 0 0 0 158993 67 0 0 20 0 1 0 385710274 1411485696 299108 33554432000 4194304 5208918 140733288873616 140733288871464 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 344601 299108 103 248 0 344350 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 2499080
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 22362
/proc/meminfo: memFree=28288824/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1378404 CPUtime=1650.58 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 170685 0 0 0 164991 67 0 0 20 0 1 0 385710274 1411485696 299110 33554432000 4194304 5208918 140733288873616 140733288871464 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 344601 299110 103 248 0 344350 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 2499080
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 22362
/proc/meminfo: memFree=28285564/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1379620 CPUtime=1710.57 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 170965 0 0 0 170990 67 0 0 20 0 1 0 385710274 1412730880 299897 33554432000 4194304 5208918 140733288873616 140733288871576 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 344905 299897 103 248 0 344654 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 2500296
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 22365
/proc/meminfo: memFree=28282684/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1383256 CPUtime=1770.56 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 171577 0 0 0 176989 67 0 0 20 0 1 0 385710274 1416454144 300557 33554432000 4194304 5208918 140733288873616 140733288871288 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 345814 300557 103 248 0 345563 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 2503932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 22365
/proc/meminfo: memFree=28282816/32873844 swapFree=7632/7632
[pid=22259] ppid=22257 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22259/stat : 22259 (npSolver-wbo.sh) S 22257 22259 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 385709130 9367552 275 33554432000 4194304 5064252 140734434922080 140734434920992 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22259/statm: 2287 275 233 213 0 72 0
[pid=22260] ppid=22259 vsize=1102380 CPUtime=11.24 cores=0,2,4,6
/proc/22260/stat : 22260 (npSolver-wbo) S 22259 22259 17372 0 -1 4202496 27615 16057 0 0 789 120 211 4 20 0 1 0 385709130 1128837120 150530 33554432000 4194304 6006132 140735663079424 140735663070832 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22260/statm: 275595 150530 178 443 0 275148 0
[pid=22272] ppid=22260 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22272/stat : 22272 (satsolver.sh) S 22260 22259 17372 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385710274 9367552 267 33554432000 4194304 5064252 140736554411904 140736554410816 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/22272/statm: 2287 267 226 213 0 72 0
[pid=22273] ppid=22272 vsize=1383256 CPUtime=1788.87 cores=0,2,4,6
/proc/22273/stat : 22273 (glucose) R 22272 22259 17372 0 -1 4202496 171578 0 0 0 178820 67 0 0 20 0 1 0 385710274 1416454144 300558 33554432000 4194304 5208918 140733288873616 140733288871288 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22273/statm: 345814 300558 103 248 0 345563 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 2503932
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 22259 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=10478
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=257808
# CPU time returned by wait4() is 11.2683
# while last known CPU time is 1800.11
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1798.2
CPU system time (s): 1.91
CPU usage (%): 99.9714
Max. virtual memory (cumulated for all children) (KiB): 3032560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0105
system time used= 1.25781
maximum resident set size= 1152300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44651
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1108632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 141
involuntary context switches= 42
runsolver used 2.55061 second user time and 7.30889 second system time
The end