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-3754766-1339196913/watcher-3754766-1339196913 -o /tmp/evaluation-result-3754766-1339196913/solver-3754766-1339196913 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754766-1339196913.wbo 662107690 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/180 7511
/proc/meminfo: memFree=29354492/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[startup+0.064982 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7511
/proc/meminfo: memFree=29354492/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100315 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7511
/proc/meminfo: memFree=29354492/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7511
/proc/meminfo: memFree=29354492/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700295 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 7511
/proc/meminfo: memFree=29354492/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7523
/proc/meminfo: memFree=29279760/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=1.48 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) R 7511 7511 4273 0 -1 4202496 10685 8592 0 0 115 10 21 2 20 0 1 0 29658327 171663360 27094 33554432000 4194304 6006132 140734402324080 140734402316440 4535977 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 27094 176 443 0 41463 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 176788
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 7524
/proc/meminfo: memFree=29067648/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=2.18 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 11093 8592 0 0 167 28 21 2 20 0 1 0 29658327 171663360 35799 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 35799 177 443 0 41463 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 176788
heavy processes:
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7526
/proc/meminfo: memFree=28832356/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=2.18 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 11093 8592 0 0 167 28 21 2 20 0 1 0 29658327 171663360 35799 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 35799 177 443 0 41463 0
[pid=7525] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 29658547 9367552 267 33554432000 4194304 5064252 140734896948640 140734896947552 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7525/statm: 2287 267 226 213 0 72 0
[pid=7526] ppid=7525 vsize=290676 CPUtime=4.08 cores=1,3,5,7
/proc/7526/stat : 7526 (glucose) R 7525 7511 4273 0 -1 4202496 49309 0 0 0 394 14 0 0 20 0 1 0 29658548 297652224 67026 33554432000 4194304 5208918 140735538319456 140735538317416 4211147 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7526/statm: 72669 67026 105 248 0 72418 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 476612
[startup+12.7072 s]
/proc/loadavg: 2.07 2.02 2.00 3/185 7526
/proc/meminfo: memFree=28828920/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=2.18 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 11093 8592 0 0 167 28 21 2 20 0 1 0 29658327 171663360 35799 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 35799 177 443 0 41463 0
[pid=7525] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 29658547 9367552 267 33554432000 4194304 5064252 140734896948640 140734896947552 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7525/statm: 2287 267 226 213 0 72 0
[pid=7526] ppid=7525 vsize=292348 CPUtime=10.49 cores=1,3,5,7
/proc/7526/stat : 7526 (glucose) R 7525 7511 4273 0 -1 4202496 49732 0 0 0 1035 14 0 0 20 0 1 0 29658548 299364352 67960 33554432000 4194304 5208918 140735538319456 140735538317208 4211160 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7526/statm: 73087 67960 105 248 0 72836 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 478284
[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/185 7526
/proc/meminfo: memFree=28823460/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=2.18 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 11093 8592 0 0 167 28 21 2 20 0 1 0 29658327 171663360 35799 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 35799 177 443 0 41463 0
[pid=7525] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 29658547 9367552 267 33554432000 4194304 5064252 140734896948640 140734896947552 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7525/statm: 2287 267 226 213 0 72 0
[pid=7526] ppid=7525 vsize=294244 CPUtime=23.28 cores=1,3,5,7
/proc/7526/stat : 7526 (glucose) R 7525 7511 4273 0 -1 4202496 50210 0 0 0 2314 14 0 0 20 0 1 0 29658548 301305856 69460 33554432000 4194304 5208918 140735538319456 140735538317128 4211792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7526/statm: 73561 69460 105 248 0 73310 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 480180
[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 7526
/proc/meminfo: memFree=28816956/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=2.18 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 11093 8592 0 0 167 28 21 2 20 0 1 0 29658327 171663360 35799 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 35799 177 443 0 41463 0
[pid=7525] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 29658547 9367552 267 33554432000 4194304 5064252 140734896948640 140734896947552 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7525/statm: 2287 267 226 213 0 72 0
[pid=7526] ppid=7525 vsize=297540 CPUtime=48.88 cores=1,3,5,7
/proc/7526/stat : 7526 (glucose) R 7525 7511 4273 0 -1 4202496 51344 0 0 0 4874 14 0 0 20 0 1 0 29658548 304680960 71098 33554432000 4194304 5208918 140735538319456 140735538317304 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7526/statm: 74385 71098 105 248 0 74134 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 483476
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/186 7530
/proc/meminfo: memFree=28806832/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=2.18 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 11093 8592 0 0 167 28 21 2 20 0 1 0 29658327 171663360 35799 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 35799 177 443 0 41463 0
[pid=7525] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 29658547 9367552 267 33554432000 4194304 5064252 140734896948640 140734896947552 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7525/statm: 2287 267 226 213 0 72 0
[pid=7526] ppid=7525 vsize=351908 CPUtime=100.06 cores=1,3,5,7
/proc/7526/stat : 7526 (glucose) R 7525 7511 4273 0 -1 4202496 53051 0 0 0 9991 15 0 0 20 0 1 0 29658548 360353792 73306 33554432000 4194304 5208918 140735538319456 140735538317304 4210724 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7526/statm: 87977 73306 105 248 0 87726 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 537844
[startup+162.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7530
/proc/meminfo: memFree=28803304/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=167640 CPUtime=2.18 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 11093 8592 0 0 167 28 21 2 20 0 1 0 29658327 171663360 35799 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 41910 35799 177 443 0 41463 0
[pid=7525] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7525/stat : 7525 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 29658547 9367552 267 33554432000 4194304 5064252 140734896948640 140734896947552 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7525/statm: 2287 267 226 213 0 72 0
[pid=7526] ppid=7525 vsize=353544 CPUtime=160.07 cores=1,3,5,7
/proc/7526/stat : 7526 (glucose) R 7525 7511 4273 0 -1 4202496 53437 0 0 0 15991 16 0 0 20 0 1 0 29658548 362029056 74203 33554432000 4194304 5208918 140735538319456 140735538317208 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7526/statm: 88386 74203 105 248 0 88135 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 539480
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7530
/proc/meminfo: memFree=28793504/32873844 swapFree=7124/7124
################
# More data... #
################
/proc/7848/stat : 7848 (glucose) R 7847 7511 4273 0 -1 4202496 56761 0 0 0 50376 21 0 0 20 0 1 0 29744152 321241088 71483 33554432000 4194304 5208918 140733435704992 140733435702664 4229888 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7848/statm: 78428 71483 104 248 0 78177 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 483268
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 7853
/proc/meminfo: memFree=28349716/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=151260 CPUtime=858.09 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 19181 75334 0 0 317 49 85380 63 20 0 1 0 29658327 154890240 29689 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37815 29689 178 443 0 37368 0
[pid=7847] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7847/stat : 7847 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 29744152 9367552 266 33554432000 4194304 5064252 140734931644672 140734931643584 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7847/statm: 2287 266 226 213 0 72 0
[pid=7848] ppid=7847 vsize=313712 CPUtime=563.95 cores=1,3,5,7
/proc/7848/stat : 7848 (glucose) R 7847 7511 4273 0 -1 4202496 56762 0 0 0 56374 21 0 0 20 0 1 0 29744152 321241088 71484 33554432000 4194304 5208918 140733435704992 140733435702664 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7848/statm: 78428 71484 104 248 0 78177 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 483268
[startup+1482.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7853
/proc/meminfo: memFree=28345960/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=151260 CPUtime=858.09 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 19181 75334 0 0 317 49 85380 63 20 0 1 0 29658327 154890240 29689 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37815 29689 178 443 0 37368 0
[pid=7847] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7847/stat : 7847 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 29744152 9367552 266 33554432000 4194304 5064252 140734931644672 140734931643584 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7847/statm: 2287 266 226 213 0 72 0
[pid=7848] ppid=7847 vsize=314908 CPUtime=623.95 cores=1,3,5,7
/proc/7848/stat : 7848 (glucose) R 7847 7511 4273 0 -1 4202496 57071 0 0 0 62374 21 0 0 20 0 1 0 29744152 322465792 72304 33554432000 4194304 5208918 140733435704992 140733435702664 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7848/statm: 78727 72304 104 248 0 78476 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 484464
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/186 7856
/proc/meminfo: memFree=28625548/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=151260 CPUtime=1541.28 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 19188 133151 0 0 317 49 153675 87 20 0 1 0 29658327 154890240 29689 33554432000 4194304 6006132 140734402324080 140734402314976 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37815 29689 178 443 0 37368 0
[pid=7854] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7854/stat : 7854 (cp2_post.sh) S 7512 7511 4273 0 -1 4202496 613 226 0 0 0 0 0 0 20 0 1 0 29812481 9367552 266 33554432000 4194304 5064252 140735579498304 140735579496592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7854/statm: 2287 266 225 213 0 72 0
[pid=7856] ppid=7854 vsize=22600 CPUtime=0.74 cores=1,3,5,7
/proc/7856/stat : 7856 (coprocessor) R 7854 7511 4273 0 -1 4202496 4004 0 0 0 46 28 0 0 20 0 1 0 29812482 23142400 3908 33554432000 4194304 6586260 140733605947392 140733605944264 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 0 0 0
/proc/7856/statm: 5650 3908 148 584 0 5062 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 192156
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7861
/proc/meminfo: memFree=28418252/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=150012 CPUtime=1543.77 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 26577 139157 0 0 456 68 153729 124 20 0 1 0 29658327 153612288 27841 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37503 27841 178 443 0 37056 0
[pid=7859] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7859/stat : 7859 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29812731 9367552 267 33554432000 4194304 5064252 140734647712240 140734647711152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7859/statm: 2287 267 226 213 0 72 0
[pid=7860] ppid=7859 vsize=271496 CPUtime=58.23 cores=1,3,5,7
/proc/7860/stat : 7860 (glucose) R 7859 7511 4273 0 -1 4202496 43822 0 0 0 5811 12 0 0 20 0 1 0 29812732 278011904 57918 33554432000 4194304 5208918 140734350535216 140734350533064 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7860/statm: 67874 57918 95 248 0 67623 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 439804
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7861
/proc/meminfo: memFree=28418004/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=150012 CPUtime=1543.77 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 26577 139157 0 0 456 68 153729 124 20 0 1 0 29658327 153612288 27841 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37503 27841 178 443 0 37056 0
[pid=7859] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7859/stat : 7859 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29812731 9367552 267 33554432000 4194304 5064252 140734647712240 140734647711152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7859/statm: 2287 267 226 213 0 72 0
[pid=7860] ppid=7859 vsize=271916 CPUtime=118.22 cores=1,3,5,7
/proc/7860/stat : 7860 (glucose) R 7859 7511 4273 0 -1 4202496 43918 0 0 0 11810 12 0 0 20 0 1 0 29812732 278441984 58014 33554432000 4194304 5208918 140734350535216 140734350533064 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7860/statm: 67979 58014 95 248 0 67728 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 440224
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7861
/proc/meminfo: memFree=28408880/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=150012 CPUtime=1543.77 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 26577 139157 0 0 456 68 153729 124 20 0 1 0 29658327 153612288 27841 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37503 27841 178 443 0 37056 0
[pid=7859] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7859/stat : 7859 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29812731 9367552 267 33554432000 4194304 5064252 140734647712240 140734647711152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7859/statm: 2287 267 226 213 0 72 0
[pid=7860] ppid=7859 vsize=279868 CPUtime=178.21 cores=1,3,5,7
/proc/7860/stat : 7860 (glucose) R 7859 7511 4273 0 -1 4202496 46198 0 0 0 17808 13 0 0 20 0 1 0 29812732 286584832 60293 33554432000 4194304 5208918 140734350535216 140734350532888 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7860/statm: 69967 60293 103 248 0 69716 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 448176
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7861
/proc/meminfo: memFree=28407216/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=150012 CPUtime=1543.77 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 26577 139157 0 0 456 68 153729 124 20 0 1 0 29658327 153612288 27841 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37503 27841 178 443 0 37056 0
[pid=7859] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7859/stat : 7859 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29812731 9367552 267 33554432000 4194304 5064252 140734647712240 140734647711152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7859/statm: 2287 267 226 213 0 72 0
[pid=7860] ppid=7859 vsize=281144 CPUtime=238.2 cores=1,3,5,7
/proc/7860/stat : 7860 (glucose) R 7859 7511 4273 0 -1 4202496 46524 0 0 0 23807 13 0 0 20 0 1 0 29812732 287891456 60619 33554432000 4194304 5208918 140734350535216 140734350533064 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7860/statm: 70286 60619 103 248 0 70035 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 449452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/185 7861
/proc/meminfo: memFree=28406764/32873844 swapFree=7124/7124
[pid=7511] ppid=7509 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7511/stat : 7511 (npSolver-wbo.sh) S 7509 7511 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 29658327 9367552 275 33554432000 4194304 5064252 140734698541648 140734698540560 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7511/statm: 2287 275 233 213 0 72 0
[pid=7512] ppid=7511 vsize=150012 CPUtime=1543.77 cores=1,3,5,7
/proc/7512/stat : 7512 (npSolver-wbo) S 7511 7511 4273 0 -1 4202496 26577 139157 0 0 456 68 153729 124 20 0 1 0 29658327 153612288 27841 33554432000 4194304 6006132 140734402324080 140734402315488 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7512/statm: 37503 27841 178 443 0 37056 0
[pid=7859] ppid=7512 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7859/stat : 7859 (satsolver.sh) S 7512 7511 4273 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 29812731 9367552 267 33554432000 4194304 5064252 140734647712240 140734647711152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7859/statm: 2287 267 226 213 0 72 0
[pid=7860] ppid=7859 vsize=281540 CPUtime=256.31 cores=1,3,5,7
/proc/7860/stat : 7860 (glucose) R 7859 7511 4273 0 -1 4202496 46607 0 0 0 25617 14 0 0 20 0 1 0 29812732 288296960 60702 33554432000 4194304 5208918 140734350535216 140734350533064 4210737 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7860/statm: 70385 60702 103 248 0 70134 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 449848
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7511 and gives
# childrusage.ru_utime.tv_sec=1541
# childrusage.ru_utime.tv_usec=859601
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=937705
# CPU time returned by wait4() is 1543.8
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.08
CPU user time (s): 1798.02
CPU system time (s): 2.06
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 628660
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1541.86
system time used= 1.93771
maximum resident set size= 382712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166713
page faults= 0
swaps= 0
block input operations= 0
block output operations= 622176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2277
involuntary context switches= 1630
runsolver used 3.3045 second user time and 8.94264 second system time
The end