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-3702457-1338121470/watcher-3702457-1338121470 -o /tmp/evaluation-result-3702457-1338121470/solver-3702457-1338121470 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702457-1338121470.opb 1050085872 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.00 2.00 2.00 2/178 3781
/proc/meminfo: memFree=31224444/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[startup+0.0531819 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 3781
/proc/meminfo: memFree=31224444/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 3781
/proc/meminfo: memFree=31224444/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30019 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 3781
/proc/meminfo: memFree=31224444/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700266 s]
/proc/loadavg: 2.00 2.00 2.00 2/178 3781
/proc/meminfo: memFree=31224444/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 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.00 2.00 2.00 3/180 3783
/proc/meminfo: memFree=31132188/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=183908 CPUtime=1.49 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) R 3781 3781 15712 0 -1 4202496 16942 0 0 0 144 5 0 0 20 0 1 0 278271382 188321792 31669 33554432000 4194304 5992684 140736083134688 140736083129656 4524790 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 45977 31669 167 440 0 45533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193056
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3783
/proc/meminfo: memFree=31051820/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=2.57 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18256 0 0 0 225 32 0 0 20 0 1 0 278271382 322539520 46012 33554432000 4194304 5992684 140736083134688 140736083129136 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46012 174 440 0 78301 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 324128
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3785
/proc/meminfo: memFree=30445652/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=2.57 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18256 0 0 0 225 32 0 0 20 0 1 0 278271382 322539520 46012 33554432000 4194304 5992684 140736083134688 140736083129136 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46012 174 440 0 78301 0
[pid=3784] ppid=3782 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3784/stat : 3784 (cp2_pre.sh) S 3782 3781 15712 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278271640 9367552 277 33554432000 4194304 5064252 140735979833360 140735979832064 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3784/statm: 2287 277 234 213 0 72 0
[pid=3785] ppid=3784 vsize=568356 CPUtime=3.7 cores=0,2,4,6
/proc/3785/stat : 3785 (coprocessor) R 3784 3781 15712 0 -1 4202496 57510 0 0 0 353 17 0 0 20 0 1 0 278271640 581996544 127949 33554432000 4194304 6586260 140733359623440 140733359619704 4496291 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/3785/statm: 142089 127949 168 584 0 141501 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 901632
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 2/182 3786
/proc/meminfo: memFree=30851360/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
Current children cumulated CPU time (s) 11.64
Current children cumulated vsize (KiB) 324128
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3787
/proc/meminfo: memFree=30746280/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=268428 CPUtime=13.42 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 45969 0 0 0 1334 8 0 0 20 0 1 0 278272588 274870272 59764 33554432000 4194304 5654031 140733619556448 140733619554280 4233344 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 67107 59764 140 357 0 66747 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 592556
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 3787
/proc/meminfo: memFree=30740140/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=277496 CPUtime=39.02 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 47097 0 0 0 3894 8 0 0 20 0 1 0 278272588 284155904 61403 33554432000 4194304 5654031 140733619556448 140733619544264 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 69374 61403 141 357 0 69014 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 601624
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 3788
/proc/meminfo: memFree=30735716/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=277496 CPUtime=90.21 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 47098 0 0 0 9013 8 0 0 20 0 1 0 278272588 284155904 61915 33554432000 4194304 5654031 140733619556448 140733619544264 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 69374 61915 141 357 0 69014 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 601624
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 3788
/proc/meminfo: memFree=30732956/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=277496 CPUtime=150.19 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 47283 0 0 0 15011 8 0 0 20 0 1 0 278272588 284155904 62094 33554432000 4194304 5654031 140733619556448 140733619544264 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3787/statm: 69374 62094 141 357 0 69014 0
Current children cumulated CPU time (s) 161.83
Current children cumulated vsize (KiB) 601624
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3788
/proc/meminfo: memFree=30725452/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=313164 CPUtime=210.19 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 48581 0 0 0 21010 9 0 0 20 0 1 0 278272588 320679936 63379 33554432000 4194304 5654031 140733619556448 140733619544264 4209217 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 78291 63379 141 357 0 77931 0
Current children cumulated CPU time (s) 221.83
Current children cumulated vsize (KiB) 637292
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3788
/proc/meminfo: memFree=30717076/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
################
# More data... #
################
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 53396 0 0 0 128986 13 0 0 20 0 1 0 278272588 331206656 73173 33554432000 4194304 5654031 140733619556448 140733619544264 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 80861 73173 142 357 0 80501 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 647572
[startup+1362.3 s]
/proc/loadavg: 1.04 1.06 1.35 2/173 3824
/proc/meminfo: memFree=31082884/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=323444 CPUtime=1349.98 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 53826 0 0 0 134984 14 0 0 20 0 1 0 278272588 331206656 68123 33554432000 4194304 5654031 140733619556448 140733619544264 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 80861 68123 142 357 0 80501 0
Current children cumulated CPU time (s) 1361.62
Current children cumulated vsize (KiB) 647572
Solver just ended. Dumping a history of the last processes samples
[startup+1382.3 s]
/proc/loadavg: 1.10 1.07 1.35 2/173 3824
/proc/meminfo: memFree=31082884/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=323444 CPUtime=1369.98 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 53866 0 0 0 136984 14 0 0 20 0 1 0 278272588 331206656 68163 33554432000 4194304 5654031 140733619556448 140733619544264 4215017 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 80861 68163 142 357 0 80501 0
Current children cumulated CPU time (s) 1381.62
Current children cumulated vsize (KiB) 647572
[startup+1395.1 s]
/proc/loadavg: 1.08 1.07 1.34 2/173 3824
/proc/meminfo: memFree=31080836/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=323444 CPUtime=1382.78 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 53877 0 0 0 138264 14 0 0 20 0 1 0 278272588 331206656 68685 33554432000 4194304 5654031 140733619556448 140733619544264 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 80861 68685 142 357 0 80501 0
Current children cumulated CPU time (s) 1394.42
Current children cumulated vsize (KiB) 647572
[startup+1401.5 s]
/proc/loadavg: 1.07 1.06 1.34 2/173 3824
/proc/meminfo: memFree=31080836/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=324032 CPUtime=1389.17 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 53977 0 0 0 138903 14 0 0 20 0 1 0 278272588 331808768 68785 33554432000 4194304 5654031 140733619556448 140733619544264 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 81008 68785 142 357 0 80648 0
Current children cumulated CPU time (s) 1400.81
Current children cumulated vsize (KiB) 648160
[startup+1407.9 s]
/proc/loadavg: 1.06 1.06 1.34 2/173 3824
/proc/meminfo: memFree=31080712/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=314980 CPUtime=11.64 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4202496 18273 73709 0 0 225 32 868 39 20 0 1 0 278271382 322539520 46014 33554432000 4194304 5992684 140736083134688 140736083120952 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 78745 46014 176 440 0 78301 0
[pid=3787] ppid=3782 vsize=324032 CPUtime=1395.58 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) R 3782 3781 15712 0 -1 4202496 53980 0 0 0 139544 14 0 0 20 0 1 0 278272588 331808768 68788 33554432000 4194304 5654031 140733619556448 140733619544264 4214616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 81008 68788 142 357 0 80648 0
Current children cumulated CPU time (s) 1407.22
Current children cumulated vsize (KiB) 648160
[startup+1409.5 s]
/proc/loadavg: 1.14 1.08 1.34 2/173 3824
/proc/meminfo: memFree=31079844/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=316520 CPUtime=11.83 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4204032 23937 73709 0 0 241 35 868 39 20 0 1 0 278271382 324116480 46447 33554432000 4194304 5992684 140736083134688 140736083129224 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 79130 46447 193 440 0 78686 0
[pid=3787] ppid=3782 vsize=324808 CPUtime=1396.85 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) S 3782 3781 15712 0 -1 4202496 54208 0 0 0 139670 15 0 0 20 0 1 0 278272588 332603392 69016 33554432000 4194304 5654031 140733619556448 140733619554760 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 81202 69016 148 357 0 80842 0
Current children cumulated CPU time (s) 1408.68
Current children cumulated vsize (KiB) 650476
[startup+1411.1 s]
/proc/loadavg: 1.14 1.08 1.34 3/174 3825
/proc/meminfo: memFree=30709944/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=316520 CPUtime=12.08 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4204032 23938 73709 0 0 241 60 868 39 20 0 1 0 278271382 324116480 46448 33554432000 4194304 5992684 140736083134688 140736083129224 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 79130 46448 194 440 0 78686 0
[pid=3787] ppid=3782 vsize=324808 CPUtime=1396.85 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) S 3782 3781 15712 0 -1 4202496 54208 0 0 0 139670 15 0 0 20 0 1 0 278272588 332603392 69016 33554432000 4194304 5654031 140733619556448 140733619554760 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 81202 69016 148 357 0 80842 0
Current children cumulated CPU time (s) 1408.93
Current children cumulated vsize (KiB) 650476
[startup+1411.9 s]
/proc/loadavg: 1.14 1.08 1.34 1/174 3825
/proc/meminfo: memFree=30697296/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=316520 CPUtime=12.08 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4204032 23938 73709 0 0 241 60 868 39 20 0 1 0 278271382 324116480 46448 33554432000 4194304 5992684 140736083134688 140736083129224 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 79130 46448 194 440 0 78686 0
[pid=3787] ppid=3782 vsize=324808 CPUtime=1396.85 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) S 3782 3781 15712 0 -1 4202496 54208 0 0 0 139670 15 0 0 20 0 1 0 278272588 332603392 69016 33554432000 4194304 5654031 140733619556448 140733619554760 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 81202 69016 148 357 0 80842 0
Current children cumulated CPU time (s) 1408.93
Current children cumulated vsize (KiB) 650476
[startup+1412.3 s]
/proc/loadavg: 1.14 1.08 1.34 1/174 3825
/proc/meminfo: memFree=30700024/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=316520 CPUtime=12.08 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4204032 23938 73709 0 0 241 60 868 39 20 0 1 0 278271382 324116480 46448 33554432000 4194304 5992684 140736083134688 140736083129224 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 79130 46448 194 440 0 78686 0
[pid=3787] ppid=3782 vsize=324808 CPUtime=1396.85 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) S 3782 3781 15712 0 -1 4202496 54208 0 0 0 139670 15 0 0 20 0 1 0 278272588 332603392 69016 33554432000 4194304 5654031 140733619556448 140733619554760 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 81202 69016 148 357 0 80842 0
Current children cumulated CPU time (s) 1408.93
Current children cumulated vsize (KiB) 650476
[startup+1412.41 s]
/proc/loadavg: 1.14 1.08 1.34 1/174 3825
/proc/meminfo: memFree=30700024/32873844 swapFree=7632/7632
[pid=3781] ppid=3779 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3781/stat : 3781 (npSolver-pbo-It) S 3779 3781 15712 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278271381 9367552 275 33554432000 4194304 5064252 140733476624112 140733476623024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3781/statm: 2287 275 233 213 0 72 0
[pid=3782] ppid=3781 vsize=316520 CPUtime=12.08 cores=0,2,4,6
/proc/3782/stat : 3782 (npSolver-pbo) S 3781 3781 15712 0 -1 4204032 23938 73709 0 0 241 60 868 39 20 0 1 0 278271382 324116480 46448 33554432000 4194304 5992684 140736083134688 140736083129224 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/3782/statm: 79130 46448 194 440 0 78686 0
[pid=3787] ppid=3782 vsize=324808 CPUtime=1396.85 cores=0,2,4,6
/proc/3787/stat : 3787 (glucosInc) S 3782 3781 15712 0 -1 4202496 54208 0 0 0 139670 15 0 0 20 0 1 0 278272588 332603392 69016 33554432000 4194304 5654031 140733619556448 140733619554760 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 81202 69016 148 357 0 80842 0
Current children cumulated CPU time (s) 1408.93
Current children cumulated vsize (KiB) 650476
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3781 and gives
# childrusage.ru_utime.tv_sec=11
# childrusage.ru_utime.tv_usec=107311
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=5847
# CPU time returned by wait4() is 12.1132
# while last known CPU time is 1408.93
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1412.43
CPU time (s): 1408.93
CPU user time (s): 1407.79
CPU system time (s): 1.14
CPU usage (%): 99.7519
Max. virtual memory (cumulated for all children) (KiB): 1018612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.1073
system time used= 1.00585
maximum resident set size= 662904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98022
page faults= 0
swaps= 0
block input operations= 0
block output operations= 367152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72168
involuntary context switches= 31
runsolver used 2.11468 second user time and 5.69413 second system time
The end