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-3751160-1339113116/watcher-3751160-1339113116 -o /tmp/evaluation-result-3751160-1339113116/solver-3751160-1339113116 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751160-1339113116.opb 507637511 HOME HOME
running on 4 cores: 0,2,4,6
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.13 2.10 2.02 2/176 15545
/proc/meminfo: memFree=25382312/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[startup+0.105331 s]
/proc/loadavg: 2.13 2.10 2.02 2/176 15545
/proc/meminfo: memFree=25382312/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.200328 s]
/proc/loadavg: 2.13 2.10 2.02 2/176 15545
/proc/meminfo: memFree=25382312/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300233 s]
/proc/loadavg: 2.13 2.10 2.02 2/176 15545
/proc/meminfo: memFree=25382312/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700174 s]
/proc/loadavg: 2.13 2.10 2.02 2/176 15545
/proc/meminfo: memFree=25382312/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.13 2.10 2.02 3/179 15551
/proc/meminfo: memFree=25338608/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=22740 CPUtime=0.73 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 3855 0 0 0 73 0 0 0 20 0 1 0 377437108 23285760 4739 33554432000 4194304 5654031 140736172523712 140736172511528 4232462 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 5685 4739 140 357 0 5325 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 57064
[startup+3.10031 s]
/proc/loadavg: 2.13 2.10 2.02 3/179 15551
/proc/meminfo: memFree=25338484/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=26172 CPUtime=2.33 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 5255 0 0 0 232 1 0 0 20 0 1 0 377437108 26800128 4968 33554432000 4194304 5654031 140736172523712 140736172521608 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 6543 4968 141 357 0 6183 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60496
[startup+6.30026 s]
/proc/loadavg: 2.12 2.09 2.02 3/179 15551
/proc/meminfo: memFree=25327048/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=35132 CPUtime=5.53 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 6443 0 0 0 552 1 0 0 20 0 1 0 377437108 35975168 7550 33554432000 4194304 5654031 140736172523712 140736172511528 4232462 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 8783 7550 141 357 0 8423 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 69456
[startup+12.7002 s]
/proc/loadavg: 2.11 2.09 2.02 3/179 15551
/proc/meminfo: memFree=25326548/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=35132 CPUtime=11.93 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 6451 0 0 0 1192 1 0 0 20 0 1 0 377437108 35975168 7558 33554432000 4194304 5654031 140736172523712 140736172511528 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 8783 7558 141 357 0 8423 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 69456
[startup+25.5004 s]
/proc/loadavg: 2.08 2.09 2.01 3/179 15551
/proc/meminfo: memFree=25317656/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=39552 CPUtime=24.72 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 7410 0 0 0 2471 1 0 0 20 0 1 0 377437108 40501248 8958 33554432000 4194304 5654031 140736172523712 140736172511528 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 9888 8958 141 357 0 9528 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 73876
[startup+51.1003 s]
/proc/loadavg: 2.06 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25306364/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=49664 CPUtime=50.32 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 9385 0 0 0 5029 3 0 0 20 0 1 0 377437108 50855936 11245 33554432000 4194304 5654031 140736172523712 140736172511528 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 12416 11245 141 357 0 12056 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 83988
Solver just ended. Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 2.06 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25306364/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=49664 CPUtime=50.42 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 9385 0 0 0 5039 3 0 0 20 0 1 0 377437108 50855936 11245 33554432000 4194304 5654031 140736172523712 140736172511528 4232662 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 12416 11245 141 357 0 12056 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 83988
[startup+57.6003 s]
/proc/loadavg: 2.05 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25304316/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=49664 CPUtime=56.82 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 9385 0 0 0 5679 3 0 0 20 0 1 0 377437108 50855936 11245 33554432000 4194304 5654031 140736172523712 140736172511528 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 12416 11245 141 357 0 12056 0
Current children cumulated CPU time (s) 57.55
Current children cumulated vsize (KiB) 83988
[startup+60.8003 s]
/proc/loadavg: 2.05 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25304316/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=49664 CPUtime=60.02 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 9385 0 0 0 5999 3 0 0 20 0 1 0 377437108 50855936 11245 33554432000 4194304 5654031 140736172523712 140736172511528 4232581 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 12416 11245 141 357 0 12056 0
Current children cumulated CPU time (s) 60.75
Current children cumulated vsize (KiB) 83988
[startup+62.4003 s]
/proc/loadavg: 2.05 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25304316/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=49664 CPUtime=61.62 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 9385 0 0 0 6159 3 0 0 20 0 1 0 377437108 50855936 11245 33554432000 4194304 5654031 140736172523712 140736172511528 4232528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 12416 11245 141 357 0 12056 0
Current children cumulated CPU time (s) 62.35
Current children cumulated vsize (KiB) 83988
[startup+62.8065 s]
/proc/loadavg: 2.05 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25304316/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=49664 CPUtime=62.03 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 9385 0 0 0 6200 3 0 0 20 0 1 0 377437108 50855936 11245 33554432000 4194304 5654031 140736172523712 140736172511528 4232752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 12416 11245 141 357 0 12056 0
Current children cumulated CPU time (s) 62.76
Current children cumulated vsize (KiB) 83988
[startup+63.0003 s]
/proc/loadavg: 2.05 2.08 2.01 3/179 15551
/proc/meminfo: memFree=25304316/32873624 swapFree=7112/7112
[pid=15545] ppid=15543 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15545/stat : 15545 (npSolver-pbo-It) S 15543 15545 12376 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 377437032 9367552 274 33554432000 4194304 5064252 140734823567104 140734823566016 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/15545/statm: 2287 274 233 213 0 72 0
[pid=15546] ppid=15545 vsize=25176 CPUtime=0.73 cores=0,2,4,6
/proc/15546/stat : 15546 (npSolver-pbo) S 15545 15545 12376 0 -1 4202496 7556 10892 0 0 20 2 47 4 20 0 1 0 377437032 25780224 5960 33554432000 4194304 6004724 140734217759568 140734217745848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/15546/statm: 6294 5960 152 442 0 5848 0
[pid=15551] ppid=15546 vsize=49664 CPUtime=62.22 cores=0,2,4,6
/proc/15551/stat : 15551 (glucosInc) R 15546 15545 12376 0 -1 4202496 9385 0 0 0 6219 3 0 0 20 0 1 0 377437108 50855936 11245 33554432000 4194304 5654031 140736172523712 140736172511528 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15551/statm: 12416 11245 141 357 0 12056 0
Current children cumulated CPU time (s) 62.95
Current children cumulated vsize (KiB) 83988
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15545 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=692894
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=73988
# CPU time returned by wait4() is 0.766882
# while last known CPU time is 62.95
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 63.074
CPU time (s): 62.95
CPU user time (s): 62.86
CPU system time (s): 0.09
CPU usage (%): 99.8033
Max. virtual memory (cumulated for all children) (KiB): 88092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.692894
system time used= 0.073988
maximum resident set size= 51132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21612
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11
involuntary context switches= 14
runsolver used 0.096985 second user time and 0.274958 second system time
The end