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-3750110-1339181794/watcher-3750110-1339181794 -o /tmp/evaluation-result-3750110-1339181794/solver-3750110-1339181794 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750110-1339181794.opb 389852039 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.00 2.00 2.00 3/179 18506
/proc/meminfo: memFree=30142208/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[startup+0.0547999 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18506
/proc/meminfo: memFree=30142208/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100326 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18506
/proc/meminfo: memFree=30142208/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18506
/proc/meminfo: memFree=30142208/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700284 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18506
/proc/meminfo: memFree=30142208/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18525
/proc/meminfo: memFree=30117300/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1.06 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 6535 18581 0 0 25 7 66 8 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
Current children cumulated CPU time (s) 1.06
Current children cumulated vsize (KiB) 31676
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18527
/proc/meminfo: memFree=30210160/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=2.59 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 8442 27900 0 0 35 8 203 13 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 31676
[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18546
/proc/meminfo: memFree=30225756/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=5.42 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 12170 44423 0 0 50 10 462 20 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
Current children cumulated CPU time (s) 5.42
Current children cumulated vsize (KiB) 31676
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18548
/proc/meminfo: memFree=30182860/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=5.42 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 12170 44423 0 0 50 10 462 20 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18547] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18547/stat : 18547 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384305518 9367552 267 33554432000 4194304 5064252 140737314784624 140737314783536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18547/statm: 2287 267 226 213 0 72 0
[pid=18548] ppid=18547 vsize=23964 CPUtime=7.24 cores=1,3,5,7
/proc/18548/stat : 18548 (glucose) R 18547 18506 17372 0 -1 4202496 5015 0 0 0 723 1 0 0 20 0 1 0 384305518 24539136 4696 33554432000 4194304 5208918 140734253553072 140734253551224 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 5991 4696 103 248 0 5740 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 64788
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18548
/proc/meminfo: memFree=30133780/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=5.42 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 12170 44423 0 0 50 10 462 20 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18547] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18547/stat : 18547 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384305518 9367552 267 33554432000 4194304 5064252 140737314784624 140737314783536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18547/statm: 2287 267 226 213 0 72 0
[pid=18548] ppid=18547 vsize=28596 CPUtime=20.04 cores=1,3,5,7
/proc/18548/stat : 18548 (glucose) R 18547 18506 17372 0 -1 4202496 6056 0 0 0 2002 2 0 0 20 0 1 0 384305518 29282304 6174 33554432000 4194304 5208918 140734253553072 140734253551016 4229311 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 7149 6174 103 248 0 6898 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 69420
[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18548
/proc/meminfo: memFree=30056704/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=5.42 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 12170 44423 0 0 50 10 462 20 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18547] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18547/stat : 18547 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384305518 9367552 267 33554432000 4194304 5064252 140737314784624 140737314783536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18547/statm: 2287 267 226 213 0 72 0
[pid=18548] ppid=18547 vsize=40088 CPUtime=45.63 cores=1,3,5,7
/proc/18548/stat : 18548 (glucose) R 18547 18506 17372 0 -1 4202496 7047 0 0 0 4561 2 0 0 20 0 1 0 384305518 41050112 9246 33554432000 4194304 5208918 140734253553072 140734253551016 4212601 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 10022 9246 103 248 0 9771 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 80912
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18549
/proc/meminfo: memFree=30051492/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=5.42 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 12170 44423 0 0 50 10 462 20 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18547] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18547/stat : 18547 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384305518 9367552 267 33554432000 4194304 5064252 140737314784624 140737314783536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18547/statm: 2287 267 226 213 0 72 0
[pid=18548] ppid=18547 vsize=40088 CPUtime=96.82 cores=1,3,5,7
/proc/18548/stat : 18548 (glucose) R 18547 18506 17372 0 -1 4202496 7082 0 0 0 9680 2 0 0 20 0 1 0 384305518 41050112 9279 33554432000 4194304 5208918 140734253553072 140734253551016 4228924 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 10022 9279 103 248 0 9771 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 80912
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18549
/proc/meminfo: memFree=30110700/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=5.42 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 12170 44423 0 0 50 10 462 20 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18547] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18547/stat : 18547 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384305518 9367552 267 33554432000 4194304 5064252 140737314784624 140737314783536 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18547/statm: 2287 267 226 213 0 72 0
[pid=18548] ppid=18547 vsize=40088 CPUtime=156.81 cores=1,3,5,7
/proc/18548/stat : 18548 (glucose) R 18547 18506 17372 0 -1 4202496 7690 0 0 0 15678 3 0 0 20 0 1 0 384305518 41050112 9263 33554432000 4194304 5208918 140734253553072 140734253551016 4212859 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18548/statm: 10022 9263 103 248 0 9771 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 80912
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 18552
/proc/meminfo: memFree=29984856/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=5.42 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 12170 44423 0 0 50 10 462 20 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18547] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 18663
/proc/meminfo: memFree=31050748/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1211.78 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 19445 91563 0 0 79 13 121041 45 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18661] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18661/stat : 18661 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384426174 9367552 267 33554432000 4194304 5064252 140736768720432 140736768719344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18661/statm: 2287 267 226 213 0 72 0
[pid=18662] ppid=18661 vsize=52036 CPUtime=150.25 cores=1,3,5,7
/proc/18662/stat : 18662 (glucose) R 18661 18506 17372 0 -1 4202496 8272 0 0 0 15022 3 0 0 20 0 1 0 384426174 53284864 11849 33554432000 4194304 5208918 140733351791376 140733351789320 4229299 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18662/statm: 13009 11849 104 248 0 12758 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 92860
[startup+1422.31 s]
/proc/loadavg: 2.05 2.05 2.01 3/184 18666
/proc/meminfo: memFree=31032428/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1211.78 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 19445 91563 0 0 79 13 121041 45 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18661] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18661/stat : 18661 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384426174 9367552 267 33554432000 4194304 5064252 140736768720432 140736768719344 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18661/statm: 2287 267 226 213 0 72 0
[pid=18662] ppid=18661 vsize=70768 CPUtime=210.24 cores=1,3,5,7
/proc/18662/stat : 18662 (glucose) R 18661 18506 17372 0 -1 4202496 8743 0 0 0 21021 3 0 0 20 0 1 0 384426174 72466432 13842 33554432000 4194304 5208918 140733351791376 140733351789320 4205163 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18662/statm: 17692 13842 104 248 0 17441 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 111592
[startup+1482.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 18673
/proc/meminfo: memFree=31049172/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1445.17 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 21212 103181 0 0 86 13 144368 50 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18672] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18672/stat : 18672 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384449517 9367552 267 33554432000 4194304 5064252 140737385189248 140737385188160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18672/statm: 2287 267 226 213 0 72 0
[pid=18673] ppid=18672 vsize=37752 CPUtime=36.83 cores=1,3,5,7
/proc/18673/stat : 18673 (glucose) R 18672 18506 17372 0 -1 4202496 6811 0 0 0 3682 1 0 0 20 0 1 0 384449518 38658048 8775 33554432000 4194304 5208918 140733813008240 140733813006104 4212816 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18673/statm: 9438 8775 104 248 0 9187 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 78576
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 18673
/proc/meminfo: memFree=31055516/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1445.17 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 21212 103181 0 0 86 13 144368 50 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18672] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18672/stat : 18672 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384449517 9367552 267 33554432000 4194304 5064252 140737385189248 140737385188160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18672/statm: 2287 267 226 213 0 72 0
[pid=18673] ppid=18672 vsize=28980 CPUtime=96.83 cores=1,3,5,7
/proc/18673/stat : 18673 (glucose) R 18672 18506 17372 0 -1 4202496 8542 0 0 0 9680 3 0 0 20 0 1 0 384449518 29675520 6603 33554432000 4194304 5208918 140733813008240 140733813006216 4211501 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18673/statm: 7245 6603 104 248 0 6994 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 69804
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 18674
/proc/meminfo: memFree=31050380/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1445.17 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 21212 103181 0 0 86 13 144368 50 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18672] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18672/stat : 18672 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384449517 9367552 267 33554432000 4194304 5064252 140737385189248 140737385188160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18672/statm: 2287 267 226 213 0 72 0
[pid=18673] ppid=18672 vsize=40472 CPUtime=156.82 cores=1,3,5,7
/proc/18673/stat : 18673 (glucose) R 18672 18506 17372 0 -1 4202496 8827 0 0 0 15678 4 0 0 20 0 1 0 384449518 41443328 9432 33554432000 4194304 5208918 140733813008240 140733813006184 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18673/statm: 10118 9432 104 248 0 9867 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 81296
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 18674
/proc/meminfo: memFree=31049724/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1445.17 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 21212 103181 0 0 86 13 144368 50 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18672] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18672/stat : 18672 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384449517 9367552 267 33554432000 4194304 5064252 140737385189248 140737385188160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18672/statm: 2287 267 226 213 0 72 0
[pid=18673] ppid=18672 vsize=45704 CPUtime=216.8 cores=1,3,5,7
/proc/18673/stat : 18673 (glucose) R 18672 18506 17372 0 -1 4202496 9468 0 0 0 21676 4 0 0 20 0 1 0 384449518 46800896 10580 33554432000 4194304 5208918 140733813008240 140733813006184 4213241 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18673/statm: 11426 10580 104 248 0 11175 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 86528
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 18674
/proc/meminfo: memFree=31027768/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1445.17 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 21212 103181 0 0 86 13 144368 50 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18672] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18672/stat : 18672 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384449517 9367552 267 33554432000 4194304 5064252 140737385189248 140737385188160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18672/statm: 2287 267 226 213 0 72 0
[pid=18673] ppid=18672 vsize=64380 CPUtime=276.79 cores=1,3,5,7
/proc/18673/stat : 18673 (glucose) R 18672 18506 17372 0 -1 4202496 9763 0 0 0 27674 5 0 0 20 0 1 0 384449518 65925120 12400 33554432000 4194304 5208918 140733813008240 140733813006184 4213234 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18673/statm: 16095 12400 104 248 0 15844 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 105204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18674
/proc/meminfo: memFree=31015364/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1445.17 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 21212 103181 0 0 86 13 144368 50 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18672] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18672/stat : 18672 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384449517 9367552 267 33554432000 4194304 5064252 140737385189248 140737385188160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18672/statm: 2287 267 226 213 0 72 0
[pid=18673] ppid=18672 vsize=64380 CPUtime=336.78 cores=1,3,5,7
/proc/18673/stat : 18673 (glucose) R 18672 18506 17372 0 -1 4202496 9765 0 0 0 33673 5 0 0 20 0 1 0 384449518 65925120 13424 33554432000 4194304 5208918 140733813008240 140733813006184 4229507 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18673/statm: 16095 13424 104 248 0 15844 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 105204
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 18674
/proc/meminfo: memFree=31030088/32873844 swapFree=7632/7632
[pid=18506] ppid=18504 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18506/stat : 18506 (npSolver-pbo.sh) S 18504 18506 17372 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 384304973 9367552 275 33554432000 4194304 5064252 140733581253120 140733581252032 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18506/statm: 2287 275 233 213 0 72 0
[pid=18507] ppid=18506 vsize=22528 CPUtime=1445.17 cores=1,3,5,7
/proc/18507/stat : 18507 (npSolver-pbo) S 18506 18506 17372 0 -1 4202496 21212 103181 0 0 86 13 144368 50 20 0 1 0 384304973 23068672 4722 33554432000 4194304 6004724 140735381243360 140735381235712 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/18507/statm: 5632 4722 181 442 0 5186 0
[pid=18672] ppid=18507 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18672/stat : 18672 (satsolver.sh) S 18507 18506 17372 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384449517 9367552 267 33554432000 4194304 5064252 140737385189248 140737385188160 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/18672/statm: 2287 267 226 213 0 72 0
[pid=18673] ppid=18672 vsize=64380 CPUtime=354.89 cores=1,3,5,7
/proc/18673/stat : 18673 (glucose) R 18672 18506 17372 0 -1 4202496 9765 0 0 0 35484 5 0 0 20 0 1 0 384449518 65925120 13424 33554432000 4194304 5208918 140733813008240 140733813006184 4212888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/18673/statm: 16095 13424 104 248 0 15844 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 105204
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.39
CPU system time (s): 0.706892
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 111592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.706892
maximum resident set size= 61800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135149
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 627
involuntary context switches= 1967
runsolver used 3.61045 second user time and 8.47671 second system time
The end