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-3750104-1339181932/watcher-3750104-1339181932 -o /tmp/evaluation-result-3750104-1339181932/solver-3750104-1339181932 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750104-1339181932.opb 193792483 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.04 2.02 2.00 3/177 2181
/proc/meminfo: memFree=30453244/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[startup+0.0179041 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2181
/proc/meminfo: memFree=30453244/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/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.04 2.02 2.00 3/177 2181
/proc/meminfo: memFree=30453244/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300272 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2181
/proc/meminfo: memFree=30453244/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700304 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 2181
/proc/meminfo: memFree=30453244/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 2195
/proc/meminfo: memFree=30407996/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=0.56 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 5500 9397 0 0 14 7 32 3 20 0 1 0 384318702 23068672 4590 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4590 180 442 0 5186 0
[pid=2194] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2194/stat : 2194 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384318775 9367552 267 33554432000 4194304 5064252 140736449147888 140736449146800 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2194/statm: 2287 267 226 213 0 72 0
[pid=2195] ppid=2194 vsize=25796 CPUtime=0.76 cores=1,3,5,7
/proc/2195/stat : 2195 (glucose) R 2194 2181 982 0 -1 4202496 6292 0 0 0 75 1 0 0 20 0 1 0 384318775 26415104 5409 33554432000 4194304 5208918 140735388201504 140736449146824 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2195/statm: 6449 5409 96 248 0 6198 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 66620
[startup+3.10041 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 2195
/proc/meminfo: memFree=30416368/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=0.56 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 5500 9397 0 0 14 7 32 3 20 0 1 0 384318702 23068672 4590 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4590 180 442 0 5186 0
[pid=2194] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2194/stat : 2194 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384318775 9367552 267 33554432000 4194304 5064252 140736449147888 140736449146800 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2194/statm: 2287 267 226 213 0 72 0
[pid=2195] ppid=2194 vsize=25928 CPUtime=2.36 cores=1,3,5,7
/proc/2195/stat : 2195 (glucose) R 2194 2181 982 0 -1 4202496 6667 0 0 0 235 1 0 0 20 0 1 0 384318775 26550272 5779 33554432000 4194304 5208918 140735388201504 140735388199352 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2195/statm: 6482 5779 96 248 0 6231 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 66752
[startup+6.30041 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 2195
/proc/meminfo: memFree=30413516/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=0.56 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 5500 9397 0 0 14 7 32 3 20 0 1 0 384318702 23068672 4590 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4590 180 442 0 5186 0
[pid=2194] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2194/stat : 2194 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384318775 9367552 267 33554432000 4194304 5064252 140736449147888 140736449146800 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2194/statm: 2287 267 226 213 0 72 0
[pid=2195] ppid=2194 vsize=26256 CPUtime=5.56 cores=1,3,5,7
/proc/2195/stat : 2195 (glucose) R 2194 2181 982 0 -1 4202496 7488 0 0 0 554 2 0 0 20 0 1 0 384318775 26886144 6099 33554432000 4194304 5208918 140735388201504 140735388199464 4211572 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2195/statm: 6564 6099 96 248 0 6313 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 67080
[startup+12.7004 s]
/proc/loadavg: 2.10 2.04 2.01 3/181 2216
/proc/meminfo: memFree=30419664/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=11.49 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 12304 39336 0 0 39 10 1082 18 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2215] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2215/stat : 2215 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384319871 9367552 267 33554432000 4194304 5064252 140736065730496 140736065729408 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2215/statm: 2287 267 226 213 0 72 0
[pid=2216] ppid=2215 vsize=21196 CPUtime=1 cores=1,3,5,7
/proc/2216/stat : 2216 (glucose) R 2215 2181 982 0 -1 4202496 4696 0 0 0 99 1 0 0 20 0 1 0 384319872 21704704 4360 33554432000 4194304 5208918 140735527394432 140735527392184 4212869 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2216/statm: 5299 4360 104 248 0 5048 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 62020
[startup+25.5004 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 2216
/proc/meminfo: memFree=30402900/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=11.49 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 12304 39336 0 0 39 10 1082 18 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2215] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2215/stat : 2215 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384319871 9367552 267 33554432000 4194304 5064252 140736065730496 140736065729408 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2215/statm: 2287 267 226 213 0 72 0
[pid=2216] ppid=2215 vsize=33160 CPUtime=13.79 cores=1,3,5,7
/proc/2216/stat : 2216 (glucose) R 2215 2181 982 0 -1 4202496 6655 0 0 0 1378 1 0 0 20 0 1 0 384319872 33955840 7545 33554432000 4194304 5208918 140735527394432 140735527392296 4211390 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2216/statm: 8290 7545 105 248 0 8039 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 73984
[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 2216
/proc/meminfo: memFree=30358408/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=11.49 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 12304 39336 0 0 39 10 1082 18 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2215] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2215/stat : 2215 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384319871 9367552 267 33554432000 4194304 5064252 140736065730496 140736065729408 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2215/statm: 2287 267 226 213 0 72 0
[pid=2216] ppid=2215 vsize=40300 CPUtime=39.39 cores=1,3,5,7
/proc/2216/stat : 2216 (glucose) R 2215 2181 982 0 -1 4202496 7460 0 0 0 3938 1 0 0 20 0 1 0 384319872 41267200 9333 33554432000 4194304 5208918 140735527394432 140735527392296 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2216/statm: 10075 9333 105 248 0 9824 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 81124
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/182 2233
/proc/meminfo: memFree=30362224/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=95.57 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 16583 58797 0 0 52 11 9469 25 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2232] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2232/stat : 2232 (satsolver.sh) S 2182 2181 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384328281 9367552 266 33554432000 4194304 5064252 140736198533120 140736198532032 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2232/statm: 2287 266 226 213 0 72 0
[pid=2233] ppid=2232 vsize=19776 CPUtime=6.5 cores=1,3,5,7
/proc/2233/stat : 2233 (glucose) R 2232 2181 982 0 -1 4202496 5128 0 0 0 649 1 0 0 20 0 1 0 384328282 20250624 4183 33554432000 4194304 5208918 140735775551232 140735775549064 4212435 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2233/statm: 4944 4183 104 248 0 4693 0
Current children cumulated CPU time (s) 102.07
Current children cumulated vsize (KiB) 60600
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 2256
/proc/meminfo: memFree=30364112/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=95.57 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 16583 58797 0 0 52 11 9469 25 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2232] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 2301
/proc/meminfo: memFree=30251336/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1104.77 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 25292 107094 0 0 79 15 110337 46 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2296] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2296/stat : 2296 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384429219 9367552 267 33554432000 4194304 5064252 140734579532880 140734579531792 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2296/statm: 2287 267 226 213 0 72 0
[pid=2297] ppid=2296 vsize=59540 CPUtime=257.07 cores=1,3,5,7
/proc/2297/stat : 2297 (glucose) R 2296 2181 982 0 -1 4202496 10626 0 0 0 25704 3 0 0 20 0 1 0 384429219 60968960 13546 33554432000 4194304 5208918 140735698810848 140735698807224 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2297/statm: 14885 13546 105 248 0 14634 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 100364
[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 2301
/proc/meminfo: memFree=30280300/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1104.77 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 25292 107094 0 0 79 15 110337 46 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2296] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2296/stat : 2296 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384429219 9367552 267 33554432000 4194304 5064252 140734579532880 140734579531792 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2296/statm: 2287 267 226 213 0 72 0
[pid=2297] ppid=2296 vsize=89888 CPUtime=317.07 cores=1,3,5,7
/proc/2297/stat : 2297 (glucose) R 2296 2181 982 0 -1 4202496 11203 0 0 0 31703 4 0 0 20 0 1 0 384429219 92045312 15363 33554432000 4194304 5208918 140735698810848 140735698808792 4212601 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2297/statm: 22472 15363 105 248 0 22221 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 130712
[startup+1482.3 s]
/proc/loadavg: 1.40 1.85 1.94 2/172 2334
/proc/meminfo: memFree=30635660/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1450.25 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 27413 121433 0 0 85 15 144873 52 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2333] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2333/stat : 2333 (satsolver.sh) S 2182 2181 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384463774 9367552 266 33554432000 4194304 5064252 140736006241216 140736006240128 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2333/statm: 2287 266 226 213 0 72 0
[pid=2334] ppid=2333 vsize=33308 CPUtime=31.56 cores=1,3,5,7
/proc/2334/stat : 2334 (glucose) R 2333 2181 982 0 -1 4202496 6660 0 0 0 3155 1 0 0 20 0 1 0 384463774 34107392 7536 33554432000 4194304 5208918 140735503454832 140735503451208 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2334/statm: 8327 7536 105 248 0 8076 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 74132
[startup+1542.3 s]
/proc/loadavg: 1.13 1.68 1.87 2/172 2334
/proc/meminfo: memFree=30628024/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1450.25 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 27413 121433 0 0 85 15 144873 52 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2333] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2333/stat : 2333 (satsolver.sh) S 2182 2181 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384463774 9367552 266 33554432000 4194304 5064252 140736006241216 140736006240128 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2333/statm: 2287 266 226 213 0 72 0
[pid=2334] ppid=2333 vsize=40448 CPUtime=91.55 cores=1,3,5,7
/proc/2334/stat : 2334 (glucose) R 2333 2181 982 0 -1 4202496 8018 0 0 0 9153 2 0 0 20 0 1 0 384463774 41418752 9409 33554432000 4194304 5208918 140735503454832 140735503451144 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2334/statm: 10112 9409 105 248 0 9861 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 81272
[startup+1602.3 s]
/proc/loadavg: 1.05 1.56 1.82 2/172 2334
/proc/meminfo: memFree=30634660/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1450.25 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 27413 121433 0 0 85 15 144873 52 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2333] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2333/stat : 2333 (satsolver.sh) S 2182 2181 982 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 384463774 9367552 266 33554432000 4194304 5064252 140736006241216 140736006240128 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2333/statm: 2287 266 226 213 0 72 0
[pid=2334] ppid=2333 vsize=33516 CPUtime=151.54 cores=1,3,5,7
/proc/2334/stat : 2334 (glucose) R 2333 2181 982 0 -1 4202496 8280 0 0 0 15152 2 0 0 20 0 1 0 384463774 34320384 7689 33554432000 4194304 5208918 140735503454832 140735503452664 4229354 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2334/statm: 8379 7689 105 248 0 8128 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 74340
[startup+1662.3 s]
/proc/loadavg: 1.02 1.45 1.76 2/172 2341
/proc/meminfo: memFree=30628956/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1629.72 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 29534 133547 0 0 91 16 162809 56 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2340] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2340/stat : 2340 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384481725 9367552 267 33554432000 4194304 5064252 140734673197360 140734673196272 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2340/statm: 2287 267 226 213 0 72 0
[pid=2341] ppid=2340 vsize=37568 CPUtime=32.05 cores=1,3,5,7
/proc/2341/stat : 2341 (glucose) R 2340 2181 982 0 -1 4202496 6665 0 0 0 3203 2 0 0 20 0 1 0 384481726 38469632 8672 33554432000 4194304 5208918 140733757814576 140733757812440 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2341/statm: 9392 8672 105 248 0 9141 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 78392
[startup+1722.3 s]
/proc/loadavg: 1.05 1.39 1.72 2/172 2341
/proc/meminfo: memFree=30628328/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1629.72 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 29534 133547 0 0 91 16 162809 56 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2340] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2340/stat : 2340 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384481725 9367552 267 33554432000 4194304 5064252 140734673197360 140734673196272 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2340/statm: 2287 267 226 213 0 72 0
[pid=2341] ppid=2340 vsize=40288 CPUtime=92.04 cores=1,3,5,7
/proc/2341/stat : 2341 (glucose) R 2340 2181 982 0 -1 4202496 7370 0 0 0 9201 3 0 0 20 0 1 0 384481726 41254912 9368 33554432000 4194304 5208918 140733757814576 140733757812440 4213073 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2341/statm: 10072 9368 105 248 0 9821 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 81112
[startup+1782.3 s]
/proc/loadavg: 1.01 1.31 1.67 2/172 2342
/proc/meminfo: memFree=30628328/32873852 swapFree=7632/7632
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1629.72 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 29534 133547 0 0 91 16 162809 56 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2340] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2340/stat : 2340 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384481725 9367552 267 33554432000 4194304 5064252 140734673197360 140734673196272 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2340/statm: 2287 267 226 213 0 72 0
[pid=2341] ppid=2340 vsize=40288 CPUtime=152.03 cores=1,3,5,7
/proc/2341/stat : 2341 (glucose) R 2340 2181 982 0 -1 4202496 7370 0 0 0 15200 3 0 0 20 0 1 0 384481726 41254912 9368 33554432000 4194304 5208918 140733757814576 140733757812440 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2341/statm: 10072 9368 105 248 0 9821 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 81112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 1.01 1.29 1.66 2/172 2342
/proc/meminfo: memFree=30628328/32873852 swapFree=7636/7636
[pid=2181] ppid=2179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2181/stat : 2181 (npSolver-pbo.sh) S 2179 2181 982 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384318702 9367552 275 33554432000 4194304 5064252 140733304853168 140733304852080 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2181/statm: 2287 275 233 213 0 72 0
[pid=2182] ppid=2181 vsize=22528 CPUtime=1629.72 cores=1,3,5,7
/proc/2182/stat : 2182 (npSolver-pbo) S 2181 2181 982 0 -1 4202496 29534 133547 0 0 91 16 162809 56 20 0 1 0 384318702 23068672 4591 33554432000 4194304 6004724 140734635204016 140734635196368 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 13 0 0
/proc/2182/statm: 5632 4591 181 442 0 5186 0
[pid=2340] ppid=2182 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2340/stat : 2340 (satsolver.sh) S 2182 2181 982 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 384481725 9367552 267 33554432000 4194304 5064252 140734673197360 140734673196272 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/2340/statm: 2287 267 226 213 0 72 0
[pid=2341] ppid=2340 vsize=40288 CPUtime=170.34 cores=1,3,5,7
/proc/2341/stat : 2341 (glucose) R 2340 2181 982 0 -1 4202496 7370 0 0 0 17031 3 0 0 20 0 1 0 384481726 41254912 9368 33554432000 4194304 5208918 140733757814576 140733757812440 4228965 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2341/statm: 10072 9368 105 248 0 9821 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 81112
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.62
CPU time (s): 1800.11
CPU user time (s): 1799.34
CPU system time (s): 0.771882
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 130744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.771882
maximum resident set size= 78220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 124040
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 686
involuntary context switches= 1986
runsolver used 3.24651 second user time and 9.2296 second system time
The end