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-3702330-1338073955/watcher-3702330-1338073955 -o /tmp/evaluation-result-3702330-1338073955/solver-3702330-1338073955 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702330-1338073955.opb 1832081816 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.02 2.03 2.00 3/179 5144
/proc/meminfo: memFree=31902072/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[startup+0.0889001 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 5144
/proc/meminfo: memFree=31902072/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100355 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 5144
/proc/meminfo: memFree=31902072/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300242 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 5144
/proc/meminfo: memFree=31902072/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700234 s]
/proc/loadavg: 2.02 2.03 2.00 3/179 5144
/proc/meminfo: memFree=31902072/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50044 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 5153
/proc/meminfo: memFree=31890228/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=3476 CPUtime=0.03 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 1061 2272 0 0 2 0 1 0 20 0 1 0 273462550 3559424 513 33554432000 4194304 5992684 140733285979808 140733285972096 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 869 513 189 440 0 425 0
[pid=5150] ppid=5145 vsize=7348 CPUtime=0 cores=1,3,5,7
/proc/5150/stat : 5150 (glucosInc) S 5145 5144 8327 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 273462553 7524352 261 33554432000 4194304 5654031 140736639853488 140736639851800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5150/statm: 1837 261 146 357 0 1477 0
[pid=5152] ppid=5145 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5152/stat : 5152 (satsolver.sh) S 5145 5144 8327 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273462555 9367552 267 33554432000 4194304 5064252 140736751141968 140736751140880 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5152/statm: 2287 267 226 213 0 72 0
[pid=5153] ppid=5152 vsize=11680 CPUtime=1.44 cores=1,3,5,7
/proc/5153/stat : 5153 (glucose) R 5152 5144 8327 0 -1 4202496 3010 0 0 0 144 0 0 0 20 0 1 0 273462555 11960320 2112 33554432000 4194304 5208918 140735015701568 140735015699528 4205220 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5153/statm: 2920 2112 102 248 0 2669 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 40800
[startup+3.10039 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 5153
/proc/meminfo: memFree=31889484/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=3476 CPUtime=0.03 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 1061 2272 0 0 2 0 1 0 20 0 1 0 273462550 3559424 513 33554432000 4194304 5992684 140733285979808 140733285972096 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 869 513 189 440 0 425 0
[pid=5150] ppid=5145 vsize=7348 CPUtime=0 cores=1,3,5,7
/proc/5150/stat : 5150 (glucosInc) S 5145 5144 8327 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 273462553 7524352 261 33554432000 4194304 5654031 140736639853488 140736639851800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5150/statm: 1837 261 146 357 0 1477 0
[pid=5152] ppid=5145 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5152/stat : 5152 (satsolver.sh) S 5145 5144 8327 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273462555 9367552 267 33554432000 4194304 5064252 140736751141968 140736751140880 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5152/statm: 2287 267 226 213 0 72 0
[pid=5153] ppid=5152 vsize=12580 CPUtime=3.03 cores=1,3,5,7
/proc/5153/stat : 5153 (glucose) R 5152 5144 8327 0 -1 4202496 3637 0 0 0 303 0 0 0 20 0 1 0 273462555 12881920 2688 33554432000 4194304 5208918 140735015701568 140735015699512 4213878 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5153/statm: 3145 2688 103 248 0 2894 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 41700
[startup+6.30041 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 5153
/proc/meminfo: memFree=31881056/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=3476 CPUtime=0.03 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 1061 2272 0 0 2 0 1 0 20 0 1 0 273462550 3559424 513 33554432000 4194304 5992684 140733285979808 140733285972096 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 869 513 189 440 0 425 0
[pid=5150] ppid=5145 vsize=7348 CPUtime=0 cores=1,3,5,7
/proc/5150/stat : 5150 (glucosInc) S 5145 5144 8327 0 -1 4202496 280 0 0 0 0 0 0 0 20 0 1 0 273462553 7524352 261 33554432000 4194304 5654031 140736639853488 140736639851800 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/5150/statm: 1837 261 146 357 0 1477 0
[pid=5152] ppid=5145 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5152/stat : 5152 (satsolver.sh) S 5145 5144 8327 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273462555 9367552 267 33554432000 4194304 5064252 140736751141968 140736751140880 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5152/statm: 2287 267 226 213 0 72 0
[pid=5153] ppid=5152 vsize=15260 CPUtime=6.24 cores=1,3,5,7
/proc/5153/stat : 5153 (glucose) R 5152 5144 8327 0 -1 4202496 4277 0 0 0 623 1 0 0 20 0 1 0 273462555 15626240 3253 33554432000 4194304 5208918 140735015701568 140735015699512 4229338 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5153/statm: 3815 3253 103 248 0 3564 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 44380
[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 5160
/proc/meminfo: memFree=31867556/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=2848 CPUtime=6.67 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 2997 10362 0 0 7 1 657 2 20 0 1 0 273462550 2916352 433 33554432000 4194304 5992684 140733285979808 140733285965640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 712 433 199 440 0 268 0
[pid=5160] ppid=5145 vsize=26560 CPUtime=5.99 cores=1,3,5,7
/proc/5160/stat : 5160 (glucosInc) R 5145 5144 8327 0 -1 4202496 6129 0 0 0 598 1 0 0 20 0 1 0 273463220 27197440 6218 33554432000 4194304 5654031 140733424115248 140733424103064 4215014 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5160/statm: 6640 6218 142 357 0 6280 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 38556
[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 5160
/proc/meminfo: memFree=31841656/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=2848 CPUtime=6.67 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 2997 10362 0 0 7 1 657 2 20 0 1 0 273462550 2916352 433 33554432000 4194304 5992684 140733285979808 140733285965640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 712 433 199 440 0 268 0
[pid=5160] ppid=5145 vsize=52696 CPUtime=18.78 cores=1,3,5,7
/proc/5160/stat : 5160 (glucosInc) R 5145 5144 8327 0 -1 4202496 8403 0 0 0 1876 2 0 0 20 0 1 0 273463220 53960704 12729 33554432000 4194304 5654031 140733424115248 140733424103064 4215200 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5160/statm: 13174 12729 142 357 0 12814 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 64692
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.00 3/182 5162
/proc/meminfo: memFree=31845132/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=2964 CPUtime=27.31 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 4320 19293 0 0 13 2 2711 5 20 0 1 0 273462550 3035136 462 33554432000 4194304 5992684 140733285979808 140733285965640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 741 462 199 440 0 297 0
[pid=5162] ppid=5145 vsize=59844 CPUtime=23.74 cores=1,3,5,7
/proc/5162/stat : 5162 (glucosInc) R 5145 5144 8327 0 -1 4202496 8554 0 0 0 2372 2 0 0 20 0 1 0 273465285 61280256 10453 33554432000 4194304 5654031 140733934107648 140733934095464 4214632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5162/statm: 14961 10453 142 357 0 14601 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 71956
Solver just ended. Dumping a history of the last processes samples
[startup+57.5004 s]
/proc/loadavg: 2.09 2.04 2.01 3/182 5162
/proc/meminfo: memFree=31841348/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=2964 CPUtime=27.31 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 4320 19293 0 0 13 2 2711 5 20 0 1 0 273462550 3035136 462 33554432000 4194304 5992684 140733285979808 140733285965640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 741 462 199 440 0 297 0
[pid=5162] ppid=5145 vsize=59844 CPUtime=30.13 cores=1,3,5,7
/proc/5162/stat : 5162 (glucosInc) R 5145 5144 8327 0 -1 4202496 8927 0 0 0 3011 2 0 0 20 0 1 0 273465285 61280256 10816 33554432000 4194304 5654031 140733934107648 140733934095464 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5162/statm: 14961 10816 142 357 0 14601 0
Current children cumulated CPU time (s) 57.44
Current children cumulated vsize (KiB) 71956
[startup+60.7004 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 5162
/proc/meminfo: memFree=31837136/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=2964 CPUtime=27.31 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 4320 19293 0 0 13 2 2711 5 20 0 1 0 273462550 3035136 462 33554432000 4194304 5992684 140733285979808 140733285965640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 741 462 199 440 0 297 0
[pid=5162] ppid=5145 vsize=59844 CPUtime=33.33 cores=1,3,5,7
/proc/5162/stat : 5162 (glucosInc) R 5145 5144 8327 0 -1 4202496 8978 0 0 0 3331 2 0 0 20 0 1 0 273465285 61280256 11888 33554432000 4194304 5654031 140733934107648 140733934095464 4214993 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5162/statm: 14961 11888 142 357 0 14601 0
Current children cumulated CPU time (s) 60.64
Current children cumulated vsize (KiB) 71956
[startup+61.5004 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 5162
/proc/meminfo: memFree=31835088/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=2964 CPUtime=27.31 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 4320 19293 0 0 13 2 2711 5 20 0 1 0 273462550 3035136 462 33554432000 4194304 5992684 140733285979808 140733285965640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 741 462 199 440 0 297 0
[pid=5162] ppid=5145 vsize=59844 CPUtime=34.14 cores=1,3,5,7
/proc/5162/stat : 5162 (glucosInc) R 5145 5144 8327 0 -1 4202496 8978 0 0 0 3412 2 0 0 20 0 1 0 273465285 61280256 11888 33554432000 4194304 5654031 140733934107648 140733934095464 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5162/statm: 14961 11888 142 357 0 14601 0
Current children cumulated CPU time (s) 61.45
Current children cumulated vsize (KiB) 71956
[startup+61.9004 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 5162
/proc/meminfo: memFree=31835088/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=2964 CPUtime=27.31 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) S 5144 5144 8327 0 -1 4202496 4320 19293 0 0 13 2 2711 5 20 0 1 0 273462550 3035136 462 33554432000 4194304 5992684 140733285979808 140733285965640 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 741 462 199 440 0 297 0
[pid=5162] ppid=5145 vsize=59844 CPUtime=34.53 cores=1,3,5,7
/proc/5162/stat : 5162 (glucosInc) R 5145 5144 8327 0 -1 4202496 8978 0 0 0 3451 2 0 0 20 0 1 0 273465285 61280256 11888 33554432000 4194304 5654031 140733934107648 140733934095464 4243753 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5162/statm: 14961 11888 142 357 0 14601 0
Current children cumulated CPU time (s) 61.84
Current children cumulated vsize (KiB) 71956
[startup+62.1004 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 5162
/proc/meminfo: memFree=31835088/32873844 swapFree=6872/6872
[pid=5144] ppid=5142 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5144/stat : 5144 (npSolver-pbo-It) S 5142 5144 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273462550 9367552 275 33554432000 4194304 5064252 140734818809776 140734818808688 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5144/statm: 2287 275 233 213 0 72 0
[pid=5145] ppid=5144 vsize=3224 CPUtime=27.32 cores=1,3,5,7
/proc/5145/stat : 5145 (npSolver-pbo) R 5144 5144 8327 0 -1 4204032 4551 19293 0 0 14 2 2711 5 20 0 1 0 273462550 3301376 473 33554432000 4194304 5992684 140733285979808 140733285973912 5240597 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5145/statm: 806 473 204 440 0 362 0
[pid=5162] ppid=5145 vsize=59852 CPUtime=34.62 cores=1,3,5,7
/proc/5162/stat : 5162 (glucosInc) S 5145 5144 8327 0 -1 4202496 8989 0 0 0 3460 2 0 0 20 0 1 0 273465285 61288448 13943 33554432000 4194304 5654031 140733934107648 140733934105960 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5162/statm: 14963 13943 148 357 0 14603 0
Current children cumulated CPU time (s) 61.94
Current children cumulated vsize (KiB) 72224
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5144 and gives
# childrusage.ru_utime.tv_sec=27
# childrusage.ru_utime.tv_usec=259855
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=75988
# CPU time returned by wait4() is 27.3358
# while last known CPU time is 61.94
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 62.101
CPU time (s): 61.94
CPU user time (s): 61.85
CPU system time (s): 0.09
CPU usage (%): 99.7407
Max. virtual memory (cumulated for all children) (KiB): 72224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.2599
system time used= 0.075988
maximum resident set size= 50972
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24219
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 399
involuntary context switches= 147
runsolver used 0.096985 second user time and 0.303953 second system time
The end