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-3751037-1339112786/watcher-3751037-1339112786 -o /tmp/evaluation-result-3751037-1339112786/solver-3751037-1339112786 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751037-1339112786.opb 289145267 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.01 2.01 1.97 3/178 31987
/proc/meminfo: memFree=26499976/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0

[startup+0.026826 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 31987
/proc/meminfo: memFree=26499976/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100166 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 31987
/proc/meminfo: memFree=26499976/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300232 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 31987
/proc/meminfo: memFree=26499976/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700259 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 31987
/proc/meminfo: memFree=26499976/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.01 2.01 1.97 3/181 31993
/proc/meminfo: memFree=26455588/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=15920 CPUtime=1.39 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 3612 0 0 0 139 0 0 0 20 0 1 0 377402966 16302080 3220 33554432000 4194304 5654031 140735596594000 140735596591784 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 3980 3220 141 357 0 3620 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 29676

[startup+3.10034 s]
/proc/loadavg: 2.01 2.01 1.97 3/181 31993
/proc/meminfo: memFree=26478860/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=41976 CPUtime=2.99 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 5584 0 0 0 298 1 0 0 20 0 1 0 377402966 42983424 6717 33554432000 4194304 5654031 140735596594000 140735596591880 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 10494 6717 141 357 0 10134 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 55732

[startup+6.30035 s]
/proc/loadavg: 2.01 2.01 1.97 3/181 31993
/proc/meminfo: memFree=26436856/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=60832 CPUtime=6.19 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 5882 0 0 0 617 2 0 0 20 0 1 0 377402966 62291968 7232 33554432000 4194304 5654031 140735596594000 140735596592024 4215028 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 15208 7232 141 357 0 14848 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 74588

[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 1.97 3/181 31993
/proc/meminfo: memFree=26403148/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=110152 CPUtime=12.59 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 7189 0 0 0 1256 3 0 0 20 0 1 0 377402966 112795648 24376 33554432000 4194304 5654031 140735596594000 140735596591928 4215913 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 27538 24376 141 357 0 27178 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 123908

[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 1.97 3/181 31993
/proc/meminfo: memFree=26394860/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=110152 CPUtime=25.39 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 8068 0 0 0 2534 5 0 0 20 0 1 0 377402966 112795648 25912 33554432000 4194304 5654031 140735596594000 140735596591928 4215014 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 27538 25912 141 357 0 27178 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 123908

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 31993
/proc/meminfo: memFree=26337576/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=110152 CPUtime=50.98 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 10082 0 0 0 5091 7 0 0 20 0 1 0 377402966 112795648 27031 33554432000 4194304 5654031 140735596594000 140735596591928 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 27538 27031 141 357 0 27178 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 123908

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 31993
/proc/meminfo: memFree=26332736/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=122840 CPUtime=102.18 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 15387 0 0 0 10205 13 0 0 20 0 1 0 377402966 125788160 29087 33554432000 4194304 5654031 140735596594000 140735596591928 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 30710 29087 141 357 0 30350 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 136596

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 31994
/proc/meminfo: memFree=26359060/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=153660 CPUtime=162.16 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 18799 0 0 0 16199 17 0 0 20 0 1 0 377402966 157347840 31648 33554432000 4194304 5654031 140735596594000 140735596592088 4232994 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 38415 31648 141 357 0 38055 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 167416

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26278840/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=153660 CPUtime=222.15 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 21260 0 0 0 22194 21 0 0 20 0 1 0 377402966 157347840 36768 33554432000 4194304 5654031 140735596594000 140735596592088 4215061 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 38415 36768 141 357 0 38055 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 167416

Solver just ended. Dumping a history of the last processes samples

[startup+230.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26322012/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=203748 CPUtime=230.15 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 21779 0 0 0 22994 21 0 0 20 0 1 0 377402966 208637952 40352 33554432000 4194304 5654031 140735596594000 140735596592088 4233184 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 50937 40352 141 357 0 50577 0
Current children cumulated CPU time (s) 230.22
Current children cumulated vsize (KiB) 217504

[startup+243.107 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26268452/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=153660 CPUtime=242.96 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 22790 0 0 0 24273 23 0 0 20 0 1 0 377402966 157347840 34762 33554432000 4194304 5654031 140735596594000 140735596592088 4218701 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 38415 34762 141 357 0 38055 0
Current children cumulated CPU time (s) 243.03
Current children cumulated vsize (KiB) 167416

[startup+255.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26300736/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=122840 CPUtime=255.74 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 23845 0 0 0 25549 25 0 0 20 0 1 0 377402966 125788160 27124 33554432000 4194304 5654031 140735596594000 140735596592024 4232803 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 30710 27124 141 357 0 30350 0
Current children cumulated CPU time (s) 255.81
Current children cumulated vsize (KiB) 136596

[startup+262.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26299420/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=153660 CPUtime=262.15 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 24374 0 0 0 26189 26 0 0 20 0 1 0 377402966 157347840 34804 33554432000 4194304 5654031 140735596594000 140735596592088 4215017 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 38415 34804 141 357 0 38055 0
Current children cumulated CPU time (s) 262.22
Current children cumulated vsize (KiB) 167416

[startup+263.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26280864/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=153660 CPUtime=263.75 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 24377 0 0 0 26349 26 0 0 20 0 1 0 377402966 157347840 36340 33554432000 4194304 5654031 140735596594000 140735596592088 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 38415 36340 141 357 0 38055 0
Current children cumulated CPU time (s) 263.82
Current children cumulated vsize (KiB) 167416

[startup+264.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26280864/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=153660 CPUtime=264.54 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 24378 0 0 0 26428 26 0 0 20 0 1 0 377402966 157347840 36852 33554432000 4194304 5654031 140735596594000 140735596592088 4233194 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 38415 36852 141 357 0 38055 0
Current children cumulated CPU time (s) 264.61
Current children cumulated vsize (KiB) 167416

[startup+265.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26274720/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=122840 CPUtime=265.34 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 24812 0 0 0 26507 27 0 0 20 0 1 0 377402966 125788160 26017 33554432000 4194304 5654031 140735596594000 140735596581816 4232973 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 30710 26017 142 357 0 30350 0
Current children cumulated CPU time (s) 265.41
Current children cumulated vsize (KiB) 136596

[startup+265.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26274720/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=122840 CPUtime=265.54 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 24812 0 0 0 26527 27 0 0 20 0 1 0 377402966 125788160 26017 33554432000 4194304 5654031 140735596594000 140735596581816 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 30710 26017 142 357 0 30350 0
Current children cumulated CPU time (s) 265.61
Current children cumulated vsize (KiB) 136596

[startup+265.8 s]
/proc/loadavg: 2.00 2.00 1.97 3/182 31997
/proc/meminfo: memFree=26274720/32873844 swapFree=7628/7628
[pid=31987] ppid=31985 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31987/stat : 31987 (npSolver-pbo-It) S 31985 31987 30107 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377402956 9367552 275 33554432000 4194304 5064252 140733457332432 140733457331344 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31987/statm: 2287 275 233 213 0 72 0
[pid=31988] ppid=31987 vsize=4608 CPUtime=0.07 cores=1,3,5,7
/proc/31988/stat : 31988 (npSolver-pbo) S 31987 31987 30107 0 -1 4202496 2468 2586 0 0 3 0 4 0 20 0 1 0 377402956 4718592 815 33554432000 4194304 6004724 140734744060496 140734744046776 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/31988/statm: 1152 815 152 442 0 706 0
[pid=31993] ppid=31988 vsize=122840 CPUtime=265.64 cores=1,3,5,7
/proc/31993/stat : 31993 (glucosInc) R 31988 31987 30107 0 -1 4202496 24812 0 0 0 26537 27 0 0 20 0 1 0 377402966 125788160 26017 33554432000 4194304 5654031 140735596594000 140735596581816 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31993/statm: 30710 26017 142 357 0 30350 0
Current children cumulated CPU time (s) 265.71
Current children cumulated vsize (KiB) 136596

Child status: 0
Real time (s): 265.818
CPU time (s): 265.771
CPU user time (s): 265.479
CPU system time (s): 0.291955
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 266824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.479
system time used= 0.291955
maximum resident set size= 202492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30638
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1016
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 287

runsolver used 0.502923 second user time and 1.24981 second system time

The end