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-3699893-1338073101/watcher-3699893-1338073101 -o /tmp/evaluation-result-3699893-1338073101/solver-3699893-1338073101 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699893-1338073101.opb 1767533497 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.23 2.05 2.02 3/179 10923
/proc/meminfo: memFree=31227224/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[startup+0.0838691 s]
/proc/loadavg: 2.23 2.05 2.02 3/179 10923
/proc/meminfo: memFree=31227224/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100194 s]
/proc/loadavg: 2.23 2.05 2.02 3/179 10923
/proc/meminfo: memFree=31227224/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300114 s]
/proc/loadavg: 2.23 2.05 2.02 3/179 10923
/proc/meminfo: memFree=31227224/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700109 s]
/proc/loadavg: 2.23 2.05 2.02 3/179 10923
/proc/meminfo: memFree=31227224/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50017 s]
/proc/loadavg: 2.23 2.05 2.02 3/182 10934
/proc/meminfo: memFree=31221504/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=1.27 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 1917 6040 0 0 3 0 123 1 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 11380
[startup+3.10026 s]
/proc/loadavg: 2.37 2.08 2.03 3/182 10983
/proc/meminfo: memFree=31285836/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=1.27 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 1917 6040 0 0 3 0 123 1 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=10936] ppid=10924 vsize=11632 CPUtime=1.79 cores=1,3,5,7
/proc/10936/stat : 10936 (glucosInc) R 10924 10923 10532 0 -1 4202496 2884 0 0 0 179 0 0 0 20 0 1 0 273436121 11911168 2593 33554432000 4194304 5654031 140735712187184 140735712175000 4214531 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10936/statm: 2908 2593 141 357 0 2548 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 23012
[startup+6.30026 s]
/proc/loadavg: 2.37 2.08 2.03 3/182 10987
/proc/meminfo: memFree=31279268/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=1.27 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 1917 6040 0 0 3 0 123 1 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=10936] ppid=10924 vsize=13308 CPUtime=4.99 cores=1,3,5,7
/proc/10936/stat : 10936 (glucosInc) R 10924 10923 10532 0 -1 4202496 3414 0 0 0 499 0 0 0 20 0 1 0 273436121 13627392 3012 33554432000 4194304 5654031 140735712187184 140735712185208 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10936/statm: 3327 3012 142 357 0 2967 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 24688
[startup+12.7002 s]
/proc/loadavg: 2.32 2.08 2.02 3/182 10993
/proc/meminfo: memFree=31277792/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=12.01 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 3507 13846 0 0 6 1 1191 3 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
Current children cumulated CPU time (s) 12.01
Current children cumulated vsize (KiB) 11380
[startup+25.5002 s]
/proc/loadavg: 2.27 2.08 2.02 3/182 11007
/proc/meminfo: memFree=31272536/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=18.44 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 4312 18173 0 0 8 1 1831 4 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11003] ppid=10924 vsize=18752 CPUtime=7.01 cores=1,3,5,7
/proc/11003/stat : 11003 (glucosInc) R 10924 10923 10532 0 -1 4202496 4127 0 0 0 701 0 0 0 20 0 1 0 273437838 19202048 4169 33554432000 4194304 5654031 140734809160784 140734809158712 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11003/statm: 4688 4169 142 357 0 4328 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 30132
[startup+51.1002 s]
/proc/loadavg: 2.25 2.09 2.03 3/181 11116
/proc/meminfo: memFree=31239772/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2272 CPUtime=50.47 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 7568 37448 0 0 14 2 5023 8 20 0 1 0 273435991 2326528 275 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 568 275 182 440 0 124 0
Current children cumulated CPU time (s) 50.47
Current children cumulated vsize (KiB) 11420
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.20 2.08 2.03 3/182 11123
/proc/meminfo: memFree=31240872/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=57.16 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 8373 42258 0 0 16 2 5689 9 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11121] ppid=10924 vsize=15496 CPUtime=6.65 cores=1,3,5,7
/proc/11121/stat : 11121 (glucosInc) R 10924 10923 10532 0 -1 4202496 4691 0 0 0 665 0 0 0 20 0 1 0 273441714 15867904 3568 33554432000 4194304 5654031 140735525908848 140735525896664 4232859 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11121/statm: 3874 3568 142 357 0 3514 0
Current children cumulated CPU time (s) 63.81
Current children cumulated vsize (KiB) 26876
[startup+70.3003 s]
/proc/loadavg: 2.18 2.08 2.02 3/182 11125
/proc/meminfo: memFree=31238768/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=64.71 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 9178 47516 0 0 18 2 6441 10 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11125] ppid=10924 vsize=18220 CPUtime=5.52 cores=1,3,5,7
/proc/11125/stat : 11125 (glucosInc) R 10924 10923 10532 0 -1 4202496 4032 0 0 0 552 0 0 0 20 0 1 0 273442469 18657280 3711 33554432000 4194304 5654031 140737205128592 140737205116408 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11125/statm: 4555 3711 142 357 0 4195 0
Current children cumulated CPU time (s) 70.23
Current children cumulated vsize (KiB) 29600
[startup+73.5003 s]
/proc/loadavg: 2.17 2.08 2.02 3/182 11127
/proc/meminfo: memFree=31239940/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=70.98 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 9983 52064 0 0 19 3 7065 11 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11127] ppid=10924 vsize=10932 CPUtime=2.44 cores=1,3,5,7
/proc/11127/stat : 11127 (glucosInc) R 10924 10923 10532 0 -1 4202496 2747 0 0 0 244 0 0 0 20 0 1 0 273443095 11194368 2440 33554432000 4194304 5654031 140734612950672 140734612938488 4232988 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11127/statm: 2733 2440 142 357 0 2373 0
Current children cumulated CPU time (s) 73.42
Current children cumulated vsize (KiB) 22312
[startup+76.7003 s]
/proc/loadavg: 2.17 2.08 2.02 3/182 11127
/proc/meminfo: memFree=31234172/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=70.98 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 9983 52064 0 0 19 3 7065 11 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11127] ppid=10924 vsize=18180 CPUtime=5.64 cores=1,3,5,7
/proc/11127/stat : 11127 (glucosInc) R 10924 10923 10532 0 -1 4202496 3696 0 0 0 564 0 0 0 20 0 1 0 273443095 18616320 3854 33554432000 4194304 5654031 140734612950672 140734612938488 4215014 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11127/statm: 4545 3854 142 357 0 4185 0
Current children cumulated CPU time (s) 76.62
Current children cumulated vsize (KiB) 29560
[startup+78.3003 s]
/proc/loadavg: 2.23 2.09 2.03 3/182 11127
/proc/meminfo: memFree=31234172/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=70.98 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 9983 52064 0 0 19 3 7065 11 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11127] ppid=10924 vsize=18180 CPUtime=7.24 cores=1,3,5,7
/proc/11127/stat : 11127 (glucosInc) R 10924 10923 10532 0 -1 4202496 3696 0 0 0 724 0 0 0 20 0 1 0 273443095 18616320 3854 33554432000 4194304 5654031 140734612950672 140734612938488 4215353 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11127/statm: 4545 3854 142 357 0 4185 0
Current children cumulated CPU time (s) 78.22
Current children cumulated vsize (KiB) 29560
[startup+79.1003 s]
/proc/loadavg: 2.23 2.09 2.03 3/177 11135
/proc/meminfo: memFree=31284748/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=70.98 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 9983 52064 0 0 19 3 7065 11 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11127] ppid=10924 vsize=18180 CPUtime=8.05 cores=1,3,5,7
/proc/11127/stat : 11127 (glucosInc) R 10924 10923 10532 0 -1 4202496 3702 0 0 0 805 0 0 0 20 0 1 0 273443095 18616320 3860 33554432000 4194304 5654031 140734612950672 140734612938488 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11127/statm: 4545 3860 142 357 0 4185 0
Current children cumulated CPU time (s) 79.03
Current children cumulated vsize (KiB) 29560
[startup+79.3003 s]
/proc/loadavg: 2.23 2.09 2.03 3/177 11135
/proc/meminfo: memFree=31284748/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=70.98 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 9983 52064 0 0 19 3 7065 11 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11127] ppid=10924 vsize=18180 CPUtime=8.24 cores=1,3,5,7
/proc/11127/stat : 11127 (glucosInc) R 10924 10923 10532 0 -1 4202496 3786 0 0 0 824 0 0 0 20 0 1 0 273443095 18616320 3942 33554432000 4194304 5654031 140734612950672 140734612938488 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11127/statm: 4545 3942 142 357 0 4185 0
Current children cumulated CPU time (s) 79.22
Current children cumulated vsize (KiB) 29560
[startup+79.4002 s]
/proc/loadavg: 2.23 2.09 2.03 3/177 11135
/proc/meminfo: memFree=31284748/32873648 swapFree=7112/7112
[pid=10923] ppid=10921 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10923/stat : 10923 (npSolver-pbo-I.) S 10921 10923 10532 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273435991 9367552 275 33554432000 4194304 5064252 140734083107104 140734083106016 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10923/statm: 2287 275 233 213 0 72 0
[pid=10924] ppid=10923 vsize=2232 CPUtime=70.98 cores=1,3,5,7
/proc/10924/stat : 10924 (npSolver-pbo) S 10923 10923 10532 0 -1 4202496 9983 52064 0 0 19 3 7065 11 20 0 1 0 273435991 2285568 265 33554432000 4194304 5992684 140737063977968 140737063962872 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/10924/statm: 558 265 182 440 0 114 0
[pid=11127] ppid=10924 vsize=18180 CPUtime=8.34 cores=1,3,5,7
/proc/11127/stat : 11127 (glucosInc) R 10924 10923 10532 0 -1 4202496 3803 0 0 0 834 0 0 0 20 0 1 0 273443095 18616320 3958 33554432000 4194304 5654031 140734612950672 140734612938488 4232994 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11127/statm: 4545 3958 142 357 0 4185 0
Current children cumulated CPU time (s) 79.32
Current children cumulated vsize (KiB) 29560
Child status: 0
Real time (s): 79.4098
CPU time (s): 79.3619
CPU user time (s): 79.202
CPU system time (s): 0.159975
CPU usage (%): 99.9398
Max. virtual memory (cumulated for all children) (KiB): 37204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 79.202
system time used= 0.159975
maximum resident set size= 23108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 22768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111
involuntary context switches= 267
runsolver used 0.134979 second user time and 0.387941 second system time
The end