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-3698112-1338067148/watcher-3698112-1338067148 -o /tmp/evaluation-result-3698112-1338067148/solver-3698112-1338067148 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698112-1338067148.opb 1971442354 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: 1.97 2.02 2.25 3/177 28306
/proc/meminfo: memFree=23239148/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[startup+0.0229689 s]
/proc/loadavg: 1.97 2.02 2.25 3/177 28306
/proc/meminfo: memFree=23239148/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100271 s]
/proc/loadavg: 1.97 2.02 2.25 3/177 28306
/proc/meminfo: memFree=23239148/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300277 s]
/proc/loadavg: 1.97 2.02 2.25 3/177 28306
/proc/meminfo: memFree=23239148/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700284 s]
/proc/loadavg: 1.97 2.02 2.25 3/177 28306
/proc/meminfo: memFree=23239148/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 1.97 2.02 2.25 3/179 28308
/proc/meminfo: memFree=23150028/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=139376 CPUtime=1.48 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) R 28306 28306 25792 0 -1 4202496 21529 0 0 0 144 4 0 0 20 0 1 0 272839659 142721024 34077 33554432000 4194304 5992684 140734132532528 140734132525336 4227664 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28307/statm: 34844 34077 157 440 0 34400 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 148524
[startup+3.10037 s]
/proc/loadavg: 1.97 2.02 2.25 3/179 28308
/proc/meminfo: memFree=23049168/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=407904 CPUtime=3.08 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) R 28306 28306 25792 0 -1 4202496 40705 0 0 0 297 11 0 0 20 0 1 0 272839659 417693696 70020 33554432000 4194304 5992684 140734132532528 140734132525400 4568626 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28307/statm: 101976 70020 157 440 0 101532 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 417052
[startup+6.30033 s]
/proc/loadavg: 1.97 2.02 2.25 3/179 28308
/proc/meminfo: memFree=22728584/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=816660 CPUtime=6.29 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) R 28306 28306 25792 0 -1 4202496 78036 0 0 0 606 23 0 0 20 0 1 0 272839659 836259840 144015 33554432000 4194304 5992684 140734132532528 140734132524888 4523497 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28307/statm: 204165 144015 157 440 0 203721 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 825808
[startup+12.7003 s]
/proc/loadavg: 1.98 2.02 2.25 3/179 28308
/proc/meminfo: memFree=22135332/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=1629336 CPUtime=12.68 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) R 28306 28306 25792 0 -1 4202496 151043 0 0 0 1221 47 0 0 20 0 1 0 272839659 1668440064 289839 33554432000 4194304 5992684 140734132532528 140734132525080 5044393 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28307/statm: 407334 289839 157 440 0 406890 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1638484
[startup+25.5004 s]
/proc/loadavg: 1.98 2.02 2.24 3/181 28310
/proc/meminfo: memFree=19979288/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=1952616 CPUtime=20.97 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4202496 233094 0 0 0 1899 198 0 0 20 0 1 0 272839659 1999478784 453666 33554432000 4194304 5992684 140734132532528 140734132526976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 488154 453666 164 440 0 487710 0
[pid=28309] ppid=28307 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/28309/stat : 28309 (cp2_pre.sh) S 28307 28306 25792 0 -1 4202496 610 0 0 0 0 1 0 0 20 0 1 0 272841761 9367552 277 33554432000 4194304 5064252 140735127874160 140735127872864 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28309/statm: 2287 277 234 213 0 72 0
[pid=28310] ppid=28309 vsize=629164 CPUtime=4.44 cores=0,2,4,6
/proc/28310/stat : 28310 (coprocessor) R 28309 28306 25792 0 -1 4202496 18789 0 0 0 425 19 0 0 20 0 1 0 272841764 644263936 150448 33554432000 4194304 6586260 140736360012928 140736360009688 5732400 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/28310/statm: 157291 150448 137 584 0 156703 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 2600076
[startup+51.1004 s]
/proc/loadavg: 2.16 2.06 2.25 3/181 28310
/proc/meminfo: memFree=17772516/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=1952616 CPUtime=20.97 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4202496 233094 0 0 0 1899 198 0 0 20 0 1 0 272839659 1999478784 453666 33554432000 4194304 5992684 140734132532528 140734132526976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 488154 453666 164 440 0 487710 0
[pid=28309] ppid=28307 vsize=9148 CPUtime=0.01 cores=0,2,4,6
/proc/28309/stat : 28309 (cp2_pre.sh) S 28307 28306 25792 0 -1 4202496 610 0 0 0 0 1 0 0 20 0 1 0 272841761 9367552 277 33554432000 4194304 5064252 140735127874160 140735127872864 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28309/statm: 2287 277 234 213 0 72 0
[pid=28310] ppid=28309 vsize=3075116 CPUtime=29.87 cores=0,2,4,6
/proc/28310/stat : 28310 (coprocessor) R 28309 28306 25792 0 -1 4202496 26916 0 0 0 2847 140 0 0 20 0 1 0 272841764 3148918784 591918 33554432000 4194304 6586260 140736360012928 140736360008680 5122192 0 0 4096 8404994 0 0 0 17 4 0 0 15 0 0
/proc/28310/statm: 768779 591918 158 584 0 768191 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 5046028
[startup+102.3 s]
/proc/loadavg: 2.11 2.06 2.24 3/182 28316
/proc/meminfo: memFree=13203192/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.72 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242815 27820 0 0 2020 293 5096 263 20 0 1 0 272839659 2296934400 526299 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526299 183 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.15
Current children cumulated vsize (KiB) 6630484
Solver just ended. Dumping a history of the last processes samples
[startup+102.407 s]
/proc/loadavg: 2.11 2.06 2.24 3/182 28316
/proc/meminfo: memFree=13203192/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.74 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) R 28306 28306 25792 0 -1 4204032 242815 27820 0 0 2020 295 5096 263 20 0 1 0 272839659 2296934400 526299 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526299 183 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.17
Current children cumulated vsize (KiB) 6630484
[startup+128 s]
/proc/loadavg: 3.17 2.31 2.32 2/181 28316
/proc/meminfo: memFree=12396548/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+140.8 s]
/proc/loadavg: 3.65 2.46 2.37 2/181 28316
/proc/meminfo: memFree=12459540/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+153.6 s]
/proc/loadavg: 3.85 2.54 2.40 2/181 28316
/proc/meminfo: memFree=12459912/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+156.8 s]
/proc/loadavg: 3.95 2.58 2.41 2/181 28316
/proc/meminfo: memFree=12459788/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+158.4 s]
/proc/loadavg: 3.95 2.58 2.41 2/181 28316
/proc/meminfo: memFree=12459292/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+159.2 s]
/proc/loadavg: 3.95 2.58 2.41 2/181 28316
/proc/meminfo: memFree=12459292/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+159.607 s]
/proc/loadavg: 4.11 2.64 2.43 2/181 28316
/proc/meminfo: memFree=12461152/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+159.8 s]
/proc/loadavg: 4.11 2.64 2.43 2/181 28316
/proc/meminfo: memFree=12461152/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
[startup+159.9 s]
/proc/loadavg: 4.11 2.64 2.43 2/181 28316
/proc/meminfo: memFree=12461152/32873844 swapFree=7112/7112
[pid=28306] ppid=28304 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28306/stat : 28306 (npSolver-pbo-It) S 28304 28306 25792 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272839659 9367552 274 33554432000 4194304 5064252 140734997998320 140734997997232 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28306/statm: 2287 274 233 213 0 72 0
[pid=28307] ppid=28306 vsize=2243100 CPUtime=76.99 cores=0,2,4,6
/proc/28307/stat : 28307 (npSolver-pbo) S 28306 28306 25792 0 -1 4204032 242816 27820 0 0 2020 320 5096 263 20 0 1 0 272839659 2296934400 526300 33554432000 4194304 5992684 140734132532528 140734132527064 5240597 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/28307/statm: 560775 526300 184 440 0 560331 0
[pid=28315] ppid=28307 vsize=4378236 CPUtime=19.43 cores=0,2,4,6
/proc/28315/stat : 28315 (glucosInc) S 28307 28306 25792 0 -1 4202496 413897 0 0 0 1800 143 0 0 20 0 1 0 272847151 4483313664 898919 33554432000 4194304 5654031 140737296016080 140737296014392 4976656 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/28315/statm: 1094559 898919 147 357 0 1094199 0
Current children cumulated CPU time (s) 96.42
Current children cumulated vsize (KiB) 6630484
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28306 and gives
# childrusage.ru_utime.tv_sec=71
# childrusage.ru_utime.tv_usec=166181
# childrusage.ru_stime.tv_sec=5
# childrusage.ru_stime.tv_usec=904102
# CPU time returned by wait4() is 77.0703
# while last known CPU time is 96.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 159.995
CPU time (s): 96.42
CPU user time (s): 89.16
CPU system time (s): 7.26
CPU usage (%): 60.2643
Max. virtual memory (cumulated for all children) (KiB): 6630484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.1662
system time used= 5.9041
maximum resident set size= 2726192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271009
page faults= 0
swaps= 0
block input operations= 56
block output operations= 3591720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 584341
involuntary context switches= 123
runsolver used 0.312952 second user time and 0.932858 second system time
The end