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-3697563-1338082943/watcher-3697563-1338082943 -o /tmp/evaluation-result-3697563-1338082943/solver-3697563-1338082943 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697563-1338082943.opb 1588529400 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: 2.32 2.46 2.20 3/178 30915
/proc/meminfo: memFree=31292520/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[startup+0.023116 s]
/proc/loadavg: 2.32 2.46 2.20 3/178 30915
/proc/meminfo: memFree=31292520/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100315 s]
/proc/loadavg: 2.32 2.46 2.20 3/178 30915
/proc/meminfo: memFree=31292520/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300336 s]
/proc/loadavg: 2.32 2.46 2.20 3/178 30915
/proc/meminfo: memFree=31292520/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700274 s]
/proc/loadavg: 2.32 2.46 2.20 3/178 30915
/proc/meminfo: memFree=31292520/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.32 2.46 2.20 3/182 30922
/proc/meminfo: memFree=31258328/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=55548 CPUtime=1.47 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) R 30915 30915 25792 0 -1 4202496 8025 15825 0 0 62 27 54 4 20 0 1 0 274419189 56881152 13137 33554432000 4194304 5992684 140733251029696 140733251025168 5044337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 13887 13138 186 440 0 13443 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 64696
[startup+3.10021 s]
/proc/loadavg: 2.29 2.45 2.20 3/180 30923
/proc/meminfo: memFree=31090624/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 31928
heavy processes:
[startup+6.30037 s]
/proc/loadavg: 2.29 2.45 2.20 3/181 30924
/proc/meminfo: memFree=31002584/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=199312 CPUtime=4.15 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 37302 0 0 0 406 9 0 0 20 0 1 0 274419403 204095488 47496 33554432000 4194304 5654031 140736037352736 140736037340552 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30924/statm: 49828 47496 141 357 0 49468 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 231240
[startup+12.7004 s]
/proc/loadavg: 2.25 2.43 2.19 3/181 30924
/proc/meminfo: memFree=31048700/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=199708 CPUtime=10.55 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 37477 0 0 0 1046 9 0 0 20 0 1 0 274419403 204500992 48182 33554432000 4194304 5654031 140736037352736 140736037350520 4232922 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30924/statm: 49927 48182 142 357 0 49567 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 231636
[startup+25.5004 s]
/proc/loadavg: 2.21 2.42 2.19 3/181 30924
/proc/meminfo: memFree=31046964/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=203048 CPUtime=23.34 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 38013 0 0 0 2325 9 0 0 20 0 1 0 274419403 207921152 48718 33554432000 4194304 5654031 140736037352736 140736037340552 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30924/statm: 50762 48718 142 357 0 50402 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 234976
[startup+51.1004 s]
/proc/loadavg: 2.14 2.38 2.18 3/181 30924
/proc/meminfo: memFree=31004832/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=236460 CPUtime=48.94 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 39480 0 0 0 4884 10 0 0 20 0 1 0 274419403 242135040 51197 33554432000 4194304 5654031 140736037352736 140736037340552 4232927 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30924/statm: 59115 51197 142 357 0 58755 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 268388
[startup+102.307 s]
/proc/loadavg: 2.05 2.32 2.17 3/181 30925
/proc/meminfo: memFree=30990320/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=212480 CPUtime=100.12 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 41408 0 0 0 10001 11 0 0 20 0 1 0 274419403 217579520 51325 33554432000 4194304 5654031 140736037352736 140736037340552 4209104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30924/statm: 53120 51325 142 357 0 52760 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 244408
[startup+162.3 s]
/proc/loadavg: 2.02 2.26 2.16 3/181 30925
/proc/meminfo: memFree=31018216/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=244480 CPUtime=160.1 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 42399 0 0 0 15998 12 0 0 20 0 1 0 274419403 250347520 55884 33554432000 4194304 5654031 140736037352736 140736037340552 4209219 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30924/statm: 61120 55884 142 357 0 60760 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 276408
[startup+222.3 s]
/proc/loadavg: 2.00 2.21 2.15 3/181 30925
/proc/meminfo: memFree=30968356/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=245296 CPUtime=220.09 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 43362 0 0 0 21996 13 0 0 20 0 1 0 274419403 251183104 54043 33554432000 4194304 5654031 140736037352736 140736037350520 4215168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/30924/statm: 61324 54043 142 357 0 60964 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 277224
[startup+282.3 s]
/proc/loadavg: 2.00 2.17 2.14 3/181 30925
/proc/meminfo: memFree=30984756/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
################
# More data... #
################
/proc/meminfo: memFree=30831036/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=272452 CPUtime=1239.91 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 53725 0 0 0 123964 27 0 0 20 0 1 0 274419403 278990848 65008 33554432000 4194304 5654031 140736037352736 140736037340552 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 68113 65008 142 357 0 67753 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 304380
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 31005
/proc/meminfo: memFree=30821112/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=322540 CPUtime=1299.9 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 54248 0 0 0 129963 27 0 0 20 0 1 0 274419403 330280960 68080 33554432000 4194304 5654031 140736037352736 140736037340552 4214977 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 80635 68080 142 357 0 80275 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 354468
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.02 3/181 31005
/proc/meminfo: memFree=30791072/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=322540 CPUtime=1359.9 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 54251 0 0 0 135962 28 0 0 20 0 1 0 274419403 330280960 69616 33554432000 4194304 5654031 140736037352736 140736037340552 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 80635 69616 142 357 0 80275 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 354468
[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.02 3/181 31005
/proc/meminfo: memFree=30833440/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=275456 CPUtime=1419.89 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 55009 0 0 0 141960 29 0 0 20 0 1 0 274419403 282066944 63432 33554432000 4194304 5654031 140736037352736 140736037340552 4233036 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 68864 63432 142 357 0 68504 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 307384
[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/181 31005
/proc/meminfo: memFree=30822084/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=275456 CPUtime=1479.87 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 55193 0 0 0 147958 29 0 0 20 0 1 0 274419403 282066944 66171 33554432000 4194304 5654031 140736037352736 140736037340552 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 68864 66171 142 357 0 68504 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 307384
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 31005
/proc/meminfo: memFree=30808496/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=325544 CPUtime=1539.87 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 56015 0 0 0 153957 30 0 0 20 0 1 0 274419403 333357056 69032 33554432000 4194304 5654031 140736037352736 140736037340552 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 81386 69032 142 357 0 81026 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 357472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 31006
/proc/meminfo: memFree=30797876/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=325544 CPUtime=1599.86 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 56016 0 0 0 159956 30 0 0 20 0 1 0 274419403 333357056 69544 33554432000 4194304 5654031 140736037352736 140736037340552 4215357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 81386 69544 142 357 0 81026 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 357472
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31009
/proc/meminfo: memFree=30772368/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=326812 CPUtime=1659.85 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 56232 0 0 0 165955 30 0 0 20 0 1 0 274419403 334655488 71804 33554432000 4194304 5654031 140736037352736 140736037340552 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 81703 71804 142 357 0 81343 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 358740
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31009
/proc/meminfo: memFree=30815040/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=276724 CPUtime=1719.84 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 56471 0 0 0 171952 32 0 0 20 0 1 0 274419403 283365376 63830 33554432000 4194304 5654031 140736037352736 140736037340552 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 69181 63830 142 357 0 68821 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 308652
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31009
/proc/meminfo: memFree=30799156/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=279424 CPUtime=1779.83 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 56870 0 0 0 177951 32 0 0 20 0 1 0 274419403 286130176 65876 33554432000 4194304 5654031 140736037352736 140736037340552 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 69856 65876 142 357 0 69496 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 311352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31009
/proc/meminfo: memFree=30793820/32873844 swapFree=7112/7112
[pid=30915] ppid=30913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30915/stat : 30915 (npSolver-pbo-It) S 30913 30915 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274419189 9367552 275 33554432000 4194304 5064252 140733338415552 140733338414464 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/30915/statm: 2287 275 233 213 0 72 0
[pid=30916] ppid=30915 vsize=22780 CPUtime=2.11 cores=0,2,4,6
/proc/30916/stat : 30916 (npSolver-pbo) S 30915 30915 25792 0 -1 4202496 9732 16341 0 0 112 40 54 5 20 0 1 0 274419189 23326720 5138 33554432000 4194304 5992684 140733251029696 140733251015528 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/30916/statm: 5695 5138 187 440 0 5251 0
[pid=30924] ppid=30916 vsize=279424 CPUtime=1797.94 cores=0,2,4,6
/proc/30924/stat : 30924 (glucosInc) R 30916 30915 25792 0 -1 4202496 56871 0 0 0 179762 32 0 0 20 0 1 0 274419403 286130176 66388 33554432000 4194304 5654031 140736037352736 140736037340552 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/30924/statm: 69856 66388 142 357 0 69496 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 311352
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.29
CPU system time (s): 0.78288
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 438880
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.78288
maximum resident set size= 353460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83325
page faults= 0
swaps= 0
block input operations= 8
block output operations= 163736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 149
involuntary context switches= 2220
runsolver used 6.00609 second user time and 15.6346 second system time
The end