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-3751514-1339155999/watcher-3751514-1339155999 -o /tmp/evaluation-result-3751514-1339155999/solver-3751514-1339155999 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751514-1339155999.opb 1002760183 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.99 1.97 1.98 3/180 32496
/proc/meminfo: memFree=26693988/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (runsolver) D 32494 32496 27075 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 381724367 12095488 51 33554432000 4194304 5436572 140736540586992 140736540583288 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/32496/statm: 2953 51 31 304 0 2645 0
[startup+0.047835 s]
/proc/loadavg: 1.99 1.97 1.98 3/180 32496
/proc/meminfo: memFree=26693988/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 1.99 1.97 1.98 3/180 32496
/proc/meminfo: memFree=26693988/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 1.99 1.97 1.98 3/180 32496
/proc/meminfo: memFree=26693988/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700275 s]
/proc/loadavg: 1.99 1.97 1.98 3/180 32496
/proc/meminfo: memFree=26693988/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/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.99 1.97 1.98 3/182 32501
/proc/meminfo: memFree=26662768/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=171516 CPUtime=1.48 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) R 32496 32496 27075 0 -1 4202496 8202 0 0 0 144 4 0 0 20 0 1 0 381724367 175632384 31957 33554432000 4194304 6004724 140737466096384 140737466090984 4582708 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 42879 31957 154 442 0 42433 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 180664
[startup+3.10039 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 32507
/proc/meminfo: memFree=26451352/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=2.05 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9067 0 0 0 180 25 0 0 20 0 1 0 381724367 147628032 30761 33554432000 4194304 6004724 140737466096384 140737466090848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30761 163 442 0 35596 0
[pid=32506] ppid=32498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32506/stat : 32506 (cp2_pre.sh) S 32498 32496 27075 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 381724574 9367552 277 33554432000 4194304 5064252 140735203292176 140735203290880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32506/statm: 2287 277 234 213 0 72 0
[pid=32507] ppid=32506 vsize=134380 CPUtime=1.01 cores=0,2,4,6
/proc/32507/stat : 32507 (coprocessor) R 32506 32496 27075 0 -1 4202496 10959 0 0 0 97 4 0 0 20 0 1 0 381724574 137605120 32059 33554432000 4194304 6586260 140736126623392 140736126620152 5732400 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/32507/statm: 33595 32059 138 584 0 33007 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 296844
[startup+6.30039 s]
/proc/loadavg: 2.07 1.99 1.98 3/184 32514
/proc/meminfo: memFree=25886520/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=2.05 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9067 0 0 0 180 25 0 0 20 0 1 0 381724367 147628032 30761 33554432000 4194304 6004724 140737466096384 140737466090848 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30761 163 442 0 35596 0
[pid=32506] ppid=32498 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32506/stat : 32506 (cp2_pre.sh) S 32498 32496 27075 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 381724574 9367552 277 33554432000 4194304 5064252 140735203292176 140735203290880 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32506/statm: 2287 277 234 213 0 72 0
[pid=32507] ppid=32506 vsize=585320 CPUtime=4.21 cores=0,2,4,6
/proc/32507/stat : 32507 (coprocessor) R 32506 32496 27075 0 -1 4202496 64269 0 0 0 406 15 0 0 20 0 1 0 381724574 599367680 143112 33554432000 4194304 6586260 140736126623392 140736126619416 4771620 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/32507/statm: 146330 143112 180 584 0 145742 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 747784
[startup+12.7004 s]
/proc/loadavg: 2.07 1.99 1.98 3/182 32530
/proc/meminfo: memFree=26266096/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=271580 CPUtime=1.95 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 46526 0 0 0 186 9 0 0 20 0 1 0 381725440 278097920 62835 33554432000 4194304 5654031 140735854751840 140735854749624 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 67895 62835 141 357 0 67535 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 424896
[startup+25.5004 s]
/proc/loadavg: 2.06 1.99 1.98 3/183 32559
/proc/meminfo: memFree=26261248/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=274976 CPUtime=14.75 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 47308 0 0 0 1465 10 0 0 20 0 1 0 381725440 281575424 64639 33554432000 4194304 5654031 140735854751840 140735854739656 4232659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 68744 64639 141 357 0 68384 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 428292
[startup+51.1066 s]
/proc/loadavg: 2.03 1.99 1.98 3/183 32615
/proc/meminfo: memFree=26251728/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=280568 CPUtime=40.35 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 48664 0 0 0 4024 11 0 0 20 0 1 0 381725440 287301632 67004 33554432000 4194304 5654031 140735854751840 140735854739656 4232466 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 70142 67004 141 357 0 69782 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 433884
[startup+102.3 s]
/proc/loadavg: 1.97 1.97 1.98 3/183 32734
/proc/meminfo: memFree=26230604/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=322484 CPUtime=91.54 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 51258 0 0 0 9142 12 0 0 20 0 1 0 381725440 330223616 72141 33554432000 4194304 5654031 140735854751840 140735854739656 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 80621 72141 141 357 0 80261 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 475800
[startup+162.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/183 405
/proc/meminfo: memFree=26226820/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=328240 CPUtime=151.51 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 53457 0 0 0 15137 14 0 0 20 0 1 0 381725440 336117760 72831 33554432000 4194304 5654031 140735854751840 140735854739656 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 82060 72831 142 357 0 81700 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 481556
[startup+222.3 s]
/proc/loadavg: 1.99 1.97 1.98 3/184 544
/proc/meminfo: memFree=26214624/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=333580 CPUtime=211.48 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 54034 0 0 0 21133 15 0 0 20 0 1 0 381725440 341585920 75931 33554432000 4194304 5654031 140735854751840 140735854739656 4214483 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 83395 75931 142 357 0 83035 0
Current children cumulated CPU time (s) 222.18
################
# More data... #
################
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 61232 0 0 0 69108 32 0 0 20 0 1 0 381725440 363302912 81539 33554432000 4194304 5654031 140735854751840 140735854739656 4208694 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 88697 81539 142 357 0 88337 0
Current children cumulated CPU time (s) 702.1
Current children cumulated vsize (KiB) 508104
[startup+762.3 s]
/proc/loadavg: 1.98 1.97 1.98 3/182 3413
/proc/meminfo: memFree=26151196/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=356920 CPUtime=751.38 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 61995 0 0 0 75105 33 0 0 20 0 1 0 381725440 365486080 83835 33554432000 4194304 5654031 140735854751840 140735854739656 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 89230 83835 142 357 0 88870 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 510236
Solver just ended. Dumping a history of the last processes samples
[startup+768.4 s]
/proc/loadavg: 2.06 1.99 1.98 3/182 3413
/proc/meminfo: memFree=26148768/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=356920 CPUtime=757.48 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 61996 0 0 0 75715 33 0 0 20 0 1 0 381725440 365486080 84347 33554432000 4194304 5654031 140735854751840 140735854739656 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 89230 84347 142 357 0 88870 0
Current children cumulated CPU time (s) 768.18
Current children cumulated vsize (KiB) 510236
[startup+781.2 s]
/proc/loadavg: 2.05 1.99 1.98 3/182 3413
/proc/meminfo: memFree=26123760/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=356920 CPUtime=770.28 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 62045 0 0 0 76995 33 0 0 20 0 1 0 381725440 365486080 84396 33554432000 4194304 5654031 140735854751840 140735854739656 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 89230 84396 142 357 0 88870 0
Current children cumulated CPU time (s) 780.98
Current children cumulated vsize (KiB) 510236
[startup+794 s]
/proc/loadavg: 2.04 1.99 1.98 3/182 3413
/proc/meminfo: memFree=26120968/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=359480 CPUtime=783.08 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 62137 0 0 0 78275 33 0 0 20 0 1 0 381725440 368107520 85510 33554432000 4194304 5654031 140735854751840 140735854739656 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 89870 85510 142 357 0 89510 0
Current children cumulated CPU time (s) 793.78
Current children cumulated vsize (KiB) 512796
[startup+797.2 s]
/proc/loadavg: 2.04 1.99 1.98 3/182 3413
/proc/meminfo: memFree=26116872/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=144168 CPUtime=10.7 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4202496 9085 74539 0 0 180 25 823 42 20 0 1 0 381724367 147628032 30765 33554432000 4194304 6004724 140737466096384 140737466082664 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 36042 30765 167 442 0 35596 0
[pid=32530] ppid=32498 vsize=359480 CPUtime=786.28 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) R 32498 32496 27075 0 -1 4202496 62156 0 0 0 78595 33 0 0 20 0 1 0 381725440 368107520 85529 33554432000 4194304 5654031 140735854751840 140735854739656 4214616 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32530/statm: 89870 85529 142 357 0 89510 0
Current children cumulated CPU time (s) 796.98
Current children cumulated vsize (KiB) 512796
[startup+800.4 s]
/proc/loadavg: 2.11 2.00 1.99 2/183 3414
/proc/meminfo: memFree=25790420/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=168356 CPUtime=11 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4204032 12195 74539 0 0 193 42 823 42 20 0 1 0 381724367 172396544 36816 33554432000 4194304 6004724 140737466096384 140737466090936 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 42089 36816 189 442 0 41643 0
[pid=32530] ppid=32498 vsize=359488 CPUtime=787.51 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) S 32498 32496 27075 0 -1 4202496 62171 0 0 0 78717 34 0 0 20 0 1 0 381725440 368115712 85544 33554432000 4194304 5654031 140735854751840 140735854750152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32530/statm: 89872 85544 148 357 0 89512 0
Current children cumulated CPU time (s) 798.51
Current children cumulated vsize (KiB) 536992
[startup+802 s]
/proc/loadavg: 2.11 2.00 1.99 2/183 3414
/proc/meminfo: memFree=25790544/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=168356 CPUtime=11 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4204032 12195 74539 0 0 193 42 823 42 20 0 1 0 381724367 172396544 36816 33554432000 4194304 6004724 140737466096384 140737466090936 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 42089 36816 189 442 0 41643 0
[pid=32530] ppid=32498 vsize=359488 CPUtime=787.51 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) S 32498 32496 27075 0 -1 4202496 62171 0 0 0 78717 34 0 0 20 0 1 0 381725440 368115712 85544 33554432000 4194304 5654031 140735854751840 140735854750152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32530/statm: 89872 85544 148 357 0 89512 0
Current children cumulated CPU time (s) 798.51
Current children cumulated vsize (KiB) 536992
[startup+802.8 s]
/proc/loadavg: 2.11 2.00 1.99 2/185 3416
/proc/meminfo: memFree=25790496/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=168356 CPUtime=11 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4204032 12195 74539 0 0 193 42 823 42 20 0 1 0 381724367 172396544 36816 33554432000 4194304 6004724 140737466096384 140737466090936 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 42089 36816 189 442 0 41643 0
[pid=32530] ppid=32498 vsize=359488 CPUtime=787.51 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) S 32498 32496 27075 0 -1 4202496 62171 0 0 0 78717 34 0 0 20 0 1 0 381725440 368115712 85544 33554432000 4194304 5654031 140735854751840 140735854750152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32530/statm: 89872 85544 148 357 0 89512 0
Current children cumulated CPU time (s) 798.51
Current children cumulated vsize (KiB) 536992
[startup+803 s]
/proc/loadavg: 2.11 2.00 1.99 2/185 3416
/proc/meminfo: memFree=25790496/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=168356 CPUtime=11 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4204032 12195 74539 0 0 193 42 823 42 20 0 1 0 381724367 172396544 36816 33554432000 4194304 6004724 140737466096384 140737466090936 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 42089 36816 189 442 0 41643 0
[pid=32530] ppid=32498 vsize=359488 CPUtime=787.51 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) S 32498 32496 27075 0 -1 4202496 62171 0 0 0 78717 34 0 0 20 0 1 0 381725440 368115712 85544 33554432000 4194304 5654031 140735854751840 140735854750152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32530/statm: 89872 85544 148 357 0 89512 0
Current children cumulated CPU time (s) 798.51
Current children cumulated vsize (KiB) 536992
[startup+803.1 s]
/proc/loadavg: 2.11 2.00 1.99 2/185 3416
/proc/meminfo: memFree=25790496/32873648 swapFree=7388/7388
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32496/stat : 32496 (npSolver-pbo-It) S 32494 32496 27075 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 381724367 9367552 274 33554432000 4194304 5064252 140734866334224 140734866333136 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32496/statm: 2287 274 233 213 0 72 0
[pid=32498] ppid=32496 vsize=168356 CPUtime=11 cores=0,2,4,6
/proc/32498/stat : 32498 (npSolver-pbo) S 32496 32496 27075 0 -1 4204032 12195 74539 0 0 193 42 823 42 20 0 1 0 381724367 172396544 36816 33554432000 4194304 6004724 140737466096384 140737466090936 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32498/statm: 42089 36816 189 442 0 41643 0
[pid=32530] ppid=32498 vsize=359488 CPUtime=787.51 cores=0,2,4,6
/proc/32530/stat : 32530 (glucosInc) S 32498 32496 27075 0 -1 4202496 62171 0 0 0 78717 34 0 0 20 0 1 0 381725440 368115712 85544 33554432000 4194304 5654031 140735854751840 140735854750152 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32530/statm: 89872 85544 148 357 0 89512 0
Current children cumulated CPU time (s) 798.51
Current children cumulated vsize (KiB) 536992
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32496 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=177452
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=853870
# CPU time returned by wait4() is 11.0313
# while last known CPU time is 798.51
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 803.154
CPU time (s): 798.51
CPU user time (s): 797.33
CPU system time (s): 1.18
CPU usage (%): 99.4218
Max. virtual memory (cumulated for all children) (KiB): 821644
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1775
system time used= 0.85387
maximum resident set size= 671224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87108
page faults= 0
swaps= 0
block input operations= 0
block output operations= 318648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39035
involuntary context switches= 22
runsolver used 1.23081 second user time and 3.15252 second system time
The end