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-3751238-1339158542/watcher-3751238-1339158542 -o /tmp/evaluation-result-3751238-1339158542/solver-3751238-1339158542 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751238-1339158542.opb 17537387 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.00 2.00 2.00 4/178 3531
/proc/meminfo: memFree=26369316/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[startup+0.0897911 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 3531
/proc/meminfo: memFree=26369316/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 3531
/proc/meminfo: memFree=26369316/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300302 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 3531
/proc/meminfo: memFree=26369316/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700233 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 3531
/proc/meminfo: memFree=26369316/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3535
/proc/meminfo: memFree=26162376/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=0.65 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9092 0 0 0 61 4 0 0 20 0 1 0 381978721 81756160 15840 33554432000 4194304 6004724 140735389662832 140735389657296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3532/statm: 19960 15840 162 442 0 19514 0
[pid=3534] ppid=3532 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (cp2_pre.sh) S 3532 3531 27075 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 381978788 9367552 277 33554432000 4194304 5064252 140736191239872 140736191238576 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3534/statm: 2287 277 234 213 0 72 0
[pid=3535] ppid=3534 vsize=187244 CPUtime=0.82 cores=1,3,5,7
/proc/3535/stat : 3535 (coprocessor) R 3534 3531 27075 0 -1 4202496 31814 0 0 0 76 6 0 0 20 0 1 0 381978788 191737856 42058 33554432000 4194304 6586260 140733861898192 140733861894456 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/3535/statm: 46811 42058 165 584 0 46223 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 285380
[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 3535
/proc/meminfo: memFree=26100220/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=0.65 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9092 0 0 0 61 4 0 0 20 0 1 0 381978721 81756160 15840 33554432000 4194304 6004724 140735389662832 140735389657296 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3532/statm: 19960 15840 162 442 0 19514 0
[pid=3534] ppid=3532 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3534/stat : 3534 (cp2_pre.sh) S 3532 3531 27075 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 381978788 9367552 277 33554432000 4194304 5064252 140736191239872 140736191238576 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/3534/statm: 2287 277 234 213 0 72 0
[pid=3535] ppid=3534 vsize=212136 CPUtime=2.42 cores=1,3,5,7
/proc/3535/stat : 3535 (coprocessor) R 3534 3531 27075 0 -1 4202496 34787 0 0 0 235 7 0 0 20 0 1 0 381978788 217227264 51672 33554432000 4194304 6586260 140733861898192 140733861893512 4583277 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/3535/statm: 53034 51672 194 584 0 52446 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 310272
[startup+6.30039 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 3537
/proc/meminfo: memFree=26245436/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=57316 CPUtime=2.12 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 12800 0 0 0 211 1 0 0 20 0 1 0 381979137 58691584 12761 33554432000 4194304 5654031 140735519231280 140735519228888 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 14329 12761 131 357 0 13969 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 146304
[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 3537
/proc/meminfo: memFree=26240016/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=60580 CPUtime=8.52 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 13303 0 0 0 850 2 0 0 20 0 1 0 381979137 62033920 13248 33554432000 4194304 5654031 140735519231280 140735519229064 4216577 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 15145 13248 140 357 0 14785 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 149568
[startup+25.5004 s]
/proc/loadavg: 2.13 2.03 2.01 3/181 3537
/proc/meminfo: memFree=26234472/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=61420 CPUtime=21.31 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 13849 0 0 0 2129 2 0 0 20 0 1 0 381979137 62894080 13753 33554432000 4194304 5654031 140735519231280 140735519229064 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 15355 13753 141 357 0 14995 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 150408
[startup+51.1004 s]
/proc/loadavg: 2.15 2.04 2.01 3/181 3537
/proc/meminfo: memFree=26248760/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=69412 CPUtime=46.91 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 15109 0 0 0 4688 3 0 0 20 0 1 0 381979137 71077888 15659 33554432000 4194304 5654031 140735519231280 140735519229080 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 17353 15659 141 357 0 16993 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 158400
[startup+102.307 s]
/proc/loadavg: 2.09 2.05 2.01 3/182 3584
/proc/meminfo: memFree=26517536/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=80904 CPUtime=98.11 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 15504 0 0 0 9807 4 0 0 20 0 1 0 381979137 82845696 18682 33554432000 4194304 5654031 140735519231280 140735519219096 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20226 18682 142 357 0 19866 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 169892
Solver just ended. Dumping a history of the last processes samples
[startup+127.9 s]
/proc/loadavg: 2.06 2.04 2.01 3/181 3584
/proc/meminfo: memFree=26498292/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=80904 CPUtime=123.7 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 15518 0 0 0 12366 4 0 0 20 0 1 0 381979137 82845696 18863 33554432000 4194304 5654031 140735519231280 140735519219096 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20226 18863 142 357 0 19866 0
Current children cumulated CPU time (s) 127.84
Current children cumulated vsize (KiB) 169892
[startup+134.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/181 3584
/proc/meminfo: memFree=26496492/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=80904 CPUtime=130.09 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 15518 0 0 0 13005 4 0 0 20 0 1 0 381979137 82845696 18863 33554432000 4194304 5654031 140735519231280 140735519219096 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20226 18863 142 357 0 19866 0
Current children cumulated CPU time (s) 134.23
Current children cumulated vsize (KiB) 169892
[startup+140.7 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 3584
/proc/meminfo: memFree=26496592/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=80904 CPUtime=136.5 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 15518 0 0 0 13646 4 0 0 20 0 1 0 381979137 82845696 18863 33554432000 4194304 5654031 140735519231280 140735519219096 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20226 18863 142 357 0 19866 0
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (KiB) 169892
[startup+142.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 3584
/proc/meminfo: memFree=26496220/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79840 CPUtime=4.14 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4202496 9109 38708 0 0 61 4 300 49 20 0 1 0 381978721 81756160 15844 33554432000 4194304 6004724 140735389662832 140735389649112 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19960 15844 166 442 0 19514 0
[pid=3537] ppid=3532 vsize=80904 CPUtime=138.09 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) R 3532 3531 27075 0 -1 4202496 15518 0 0 0 13805 4 0 0 20 0 1 0 381979137 82845696 18863 33554432000 4194304 5654031 140735519231280 140735519219096 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20226 18863 142 357 0 19866 0
Current children cumulated CPU time (s) 142.23
Current children cumulated vsize (KiB) 169892
[startup+143.1 s]
/proc/loadavg: 2.05 2.04 2.01 2/182 3585
/proc/meminfo: memFree=26396508/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79844 CPUtime=4.3 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4204032 10952 38708 0 0 73 8 300 49 20 0 1 0 381978721 81760256 15868 33554432000 4194304 6004724 140735389662832 140735389657384 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19961 15868 188 442 0 19515 0
[pid=3537] ppid=3532 vsize=80912 CPUtime=138.3 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) S 3532 3531 27075 0 -1 4202496 15707 0 0 0 13826 4 0 0 20 0 1 0 381979137 82853888 19052 33554432000 4194304 5654031 140735519231280 140735519229592 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20228 19052 148 357 0 19868 0
Current children cumulated CPU time (s) 142.6
Current children cumulated vsize (KiB) 169904
[startup+143.5 s]
/proc/loadavg: 2.05 2.04 2.01 2/182 3585
/proc/meminfo: memFree=26396508/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79844 CPUtime=4.3 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4204032 10952 38708 0 0 73 8 300 49 20 0 1 0 381978721 81760256 15868 33554432000 4194304 6004724 140735389662832 140735389657384 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19961 15868 188 442 0 19515 0
[pid=3537] ppid=3532 vsize=80912 CPUtime=138.3 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) S 3532 3531 27075 0 -1 4202496 15707 0 0 0 13826 4 0 0 20 0 1 0 381979137 82853888 19052 33554432000 4194304 5654031 140735519231280 140735519229592 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20228 19052 148 357 0 19868 0
Current children cumulated CPU time (s) 142.6
Current children cumulated vsize (KiB) 169904
[startup+143.7 s]
/proc/loadavg: 2.05 2.04 2.01 2/182 3585
/proc/meminfo: memFree=26396508/32873648 swapFree=7388/7388
[pid=3531] ppid=3529 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3531/stat : 3531 (npSolver-pbo-It) S 3529 3531 27075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 381978721 9367552 275 33554432000 4194304 5064252 140733293434016 140733293432928 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/3531/statm: 2287 275 233 213 0 72 0
[pid=3532] ppid=3531 vsize=79844 CPUtime=4.3 cores=1,3,5,7
/proc/3532/stat : 3532 (npSolver-pbo) S 3531 3531 27075 0 -1 4204032 10952 38708 0 0 73 8 300 49 20 0 1 0 381978721 81760256 15868 33554432000 4194304 6004724 140735389662832 140735389657384 5251733 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3532/statm: 19961 15868 188 442 0 19515 0
[pid=3537] ppid=3532 vsize=80912 CPUtime=138.3 cores=1,3,5,7
/proc/3537/stat : 3537 (glucosInc) S 3532 3531 27075 0 -1 4202496 15707 0 0 0 13826 4 0 0 20 0 1 0 381979137 82853888 19052 33554432000 4194304 5654031 140735519231280 140735519229592 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/3537/statm: 20228 19052 148 357 0 19868 0
Current children cumulated CPU time (s) 142.6
Current children cumulated vsize (KiB) 169904
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3531 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=743430
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=580911
# CPU time returned by wait4() is 4.32434
# while last known CPU time is 142.6
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 143.706
CPU time (s): 142.6
CPU user time (s): 141.99
CPU system time (s): 0.61
CPU usage (%): 99.2307
Max. virtual memory (cumulated for all children) (KiB): 335084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.74343
system time used= 0.580911
maximum resident set size= 230472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50035
page faults= 0
swaps= 0
block input operations= 0
block output operations= 50688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19229
involuntary context switches= 11
runsolver used 0.218966 second user time and 0.569913 second system time
The end