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-3750783-1339167409/watcher-3750783-1339167409 -o /tmp/evaluation-result-3750783-1339167409/solver-3750783-1339167409 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750783-1339167409.opb 1815098681 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: 2.03 2.02 2.00 3/179 23393
/proc/meminfo: memFree=14589288/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[startup+0.105651 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 23393
/proc/meminfo: memFree=14589288/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200282 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 23393
/proc/meminfo: memFree=14589288/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300253 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 23393
/proc/meminfo: memFree=14589288/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700287 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 23393
/proc/meminfo: memFree=14589288/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23407
/proc/meminfo: memFree=14424080/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=85548 CPUtime=0.74 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 18811 0 0 0 69 5 0 0 20 0 1 0 382869519 87601152 18812 33554432000 4194304 5208918 140734087171648 140734087169752 4210737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 21387 18812 96 248 0 21136 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 163460
[startup+3.10042 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23407
/proc/meminfo: memFree=14426724/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=86720 CPUtime=2.34 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 18991 0 0 0 229 5 0 0 20 0 1 0 382869519 88801280 18992 33554432000 4194304 5208918 140734087171648 140734087169752 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 21680 18992 103 248 0 21429 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 164632
[startup+6.30042 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23407
/proc/meminfo: memFree=14426228/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=86720 CPUtime=5.54 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 19048 0 0 0 549 5 0 0 20 0 1 0 382869519 88801280 19560 33554432000 4194304 5208918 140734087171648 140734087169480 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 21680 19560 103 248 0 21429 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 164632
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 23407
/proc/meminfo: memFree=14423616/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=86720 CPUtime=11.94 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 19099 0 0 0 1189 5 0 0 20 0 1 0 382869519 88801280 19611 33554432000 4194304 5208918 140734087171648 140734087169480 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 21680 19611 104 248 0 21429 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 164632
[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 23407
/proc/meminfo: memFree=14423616/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=87200 CPUtime=24.74 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 19226 0 0 0 2469 5 0 0 20 0 1 0 382869519 89292800 19738 33554432000 4194304 5208918 140734087171648 140734087169608 4211147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 21800 19738 104 248 0 21549 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 165112
[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 23407
/proc/meminfo: memFree=14416876/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=100772 CPUtime=50.33 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 20293 0 0 0 5028 5 0 0 20 0 1 0 382869519 103190528 21263 33554432000 4194304 5208918 140734087171648 140734087169496 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 25193 21263 104 248 0 24942 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 178684
[startup+102.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23407
/proc/meminfo: memFree=14385604/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=123108 CPUtime=101.53 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 21941 0 0 0 10146 7 0 0 20 0 1 0 382869519 126062592 27706 33554432000 4194304 5208918 140734087171648 140734087167416 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 30777 27706 104 248 0 30526 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 201020
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23408
/proc/meminfo: memFree=14318168/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 41962 0 0 0 142081 49 0 0 20 0 1 0 382869519 239226880 50693 33554432000 4194304 5208918 140734087171648 140734087169736 4211888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 58405 50693 104 248 0 58154 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 311532
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 23489
/proc/meminfo: memFree=28688472/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=233620 CPUtime=1481.29 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 41974 0 0 0 148079 50 0 0 20 0 1 0 382869519 239226880 56837 33554432000 4194304 5208918 140734087171648 140734087167416 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 58405 56837 104 248 0 58154 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 311532
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 23489
/proc/meminfo: memFree=28702712/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=233620 CPUtime=1541.29 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 42758 0 0 0 154076 53 0 0 20 0 1 0 382869519 239226880 51717 33554432000 4194304 5208918 140734087171648 140734087169736 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 58405 51717 104 248 0 58154 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 311532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 23489
/proc/meminfo: memFree=28690516/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=233620 CPUtime=1601.28 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 42768 0 0 0 160074 54 0 0 20 0 1 0 382869519 239226880 56837 33554432000 4194304 5208918 140734087171648 140734087167960 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 58405 56837 104 248 0 58154 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 311532
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23490
/proc/meminfo: memFree=28716600/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=283708 CPUtime=1661.26 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 43100 0 0 0 166071 55 0 0 20 0 1 0 382869519 290516992 61746 33554432000 4194304 5208918 140734087171648 140734087168024 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 70927 61746 104 248 0 70676 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 361620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23490
/proc/meminfo: memFree=28679444/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=233620 CPUtime=1721.24 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 43580 0 0 0 172068 56 0 0 20 0 1 0 382869519 239226880 56325 33554432000 4194304 5208918 140734087171648 140734087168024 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 58405 56325 104 248 0 58154 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 311532
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23490
/proc/meminfo: memFree=28669048/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=283708 CPUtime=1781.23 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 43896 0 0 0 178066 57 0 0 20 0 1 0 382869519 290516992 61746 33554432000 4194304 5208918 140734087171648 140734087168024 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 70927 61746 104 248 0 70676 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 361620
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23490
/proc/meminfo: memFree=28710272/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=283708 CPUtime=1799.34 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 43899 0 0 0 179877 57 0 0 20 0 1 0 382869519 290516992 63282 33554432000 4194304 5208918 140734087171648 140734087168024 4205761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 70927 63282 104 248 0 70676 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 361620
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 23490
/proc/meminfo: memFree=28710272/32873844 swapFree=7372/7372
[pid=23393] ppid=23391 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23393/stat : 23393 (npSolver-pbo.sh) S 23391 23393 17323 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 382869444 9367552 275 33554432000 4194304 5064252 140737337059216 140737337058128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/23393/statm: 2287 275 233 213 0 72 0
[pid=23394] ppid=23393 vsize=59616 CPUtime=0.73 cores=1,3,5,7
/proc/23394/stat : 23394 (npSolver-pbo) S 23393 23393 17323 0 -1 4202496 8336 6692 0 0 52 11 9 1 20 0 1 0 382869444 61046784 14140 33554432000 4194304 6004724 140736674878624 140736674870976 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23394/statm: 14904 14140 175 442 0 14458 0
[pid=23406] ppid=23394 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23406/stat : 23406 (satsolver.sh) S 23394 23393 17323 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 382869519 9367552 266 33554432000 4194304 5064252 140736873410496 140736873409408 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23406/statm: 2287 266 226 213 0 72 0
[pid=23407] ppid=23406 vsize=283708 CPUtime=1799.34 cores=1,3,5,7
/proc/23407/stat : 23407 (glucose) R 23406 23393 17323 0 -1 4202496 43899 0 0 0 179877 57 0 0 20 0 1 0 382869519 290516992 63282 33554432000 4194304 5208918 140734087171648 140734087168024 4205761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23407/statm: 70927 63282 104 248 0 70676 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 361620
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23393 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=618905
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=131979
# CPU time returned by wait4() is 0.750884
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1799.38
CPU system time (s): 0.69
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 441760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.618905
system time used= 0.131979
maximum resident set size= 85680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16004
page faults= 0
swaps= 0
block input operations= 0
block output operations= 60536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28
involuntary context switches= 21
runsolver used 3.10253 second user time and 8.45771 second system time
The end