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-3703331-1338082956/watcher-3703331-1338082956 -o /tmp/evaluation-result-3703331-1338082956/solver-3703331-1338082956 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703331-1338082956.opb 156358781 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.08 2.03 2.01 3/178 21962
/proc/meminfo: memFree=30877912/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[startup+0.100695 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 21962
/proc/meminfo: memFree=30877912/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20034 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 21962
/proc/meminfo: memFree=30877912/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300367 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 21962
/proc/meminfo: memFree=30877912/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 21962
/proc/meminfo: memFree=30877912/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.08 2.03 2.01 3/182 21966
/proc/meminfo: memFree=30809608/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=11024 CPUtime=1.1 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 3141 13210 0 0 9 1 89 11 20 0 1 0 274420454 11288576 2326 33554432000 4194304 5992684 140734542553232 140734542539496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 2756 2326 171 440 0 2312 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 20172
[startup+3.10039 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 21971
/proc/meminfo: memFree=30835040/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14184 CPUtime=2.92 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 5071 25097 0 0 16 24 237 15 20 0 1 0 274420454 14524416 3120 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3546 3120 195 440 0 3102 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 23332
[startup+6.30041 s]
/proc/loadavg: 2.07 2.03 2.01 3/181 21973
/proc/meminfo: memFree=30828224/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14184 CPUtime=2.92 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 5071 25097 0 0 16 24 237 15 20 0 1 0 274420454 14524416 3120 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3546 3120 195 440 0 3102 0
[pid=21973] ppid=21963 vsize=28908 CPUtime=3.34 cores=1,3,5,7
/proc/21973/stat : 21973 (glucosInc) R 21963 21962 28504 0 -1 4202496 6031 0 0 0 333 1 0 0 20 0 1 0 274420749 29601792 6227 33554432000 4194304 5654031 140736080775424 140736080763240 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21973/statm: 7227 6227 140 357 0 6867 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 52240
[startup+12.7005 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 21977
/proc/meminfo: memFree=30819008/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=12.61 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 8010 44342 0 0 23 25 1191 22 20 0 1 0 274420454 15343616 3251 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3251 195 440 0 3302 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 24132
[startup+25.5005 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 21985
/proc/meminfo: memFree=31037700/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=20.9 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 10885 64212 0 0 30 26 2005 29 20 0 1 0 274420454 15343616 3260 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3260 195 440 0 3302 0
[pid=21985] ppid=21963 vsize=28788 CPUtime=4.59 cores=1,3,5,7
/proc/21985/stat : 21985 (glucosInc) R 21963 21962 28504 0 -1 4202496 6066 0 0 0 458 1 0 0 20 0 1 0 274422545 29478912 6244 33554432000 4194304 5654031 140733907646832 140733907634648 4232925 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21985/statm: 7197 6244 140 357 0 6837 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52920
[startup+51.1005 s]
/proc/loadavg: 2.11 2.04 2.01 3/181 21989
/proc/meminfo: memFree=31002016/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=45.97 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 12982 79672 0 0 34 26 4504 33 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=21989] ppid=21963 vsize=29032 CPUtime=5.08 cores=1,3,5,7
/proc/21989/stat : 21989 (glucosInc) R 21963 21962 28504 0 -1 4202496 6132 0 0 0 507 1 0 0 20 0 1 0 274425055 29728768 6321 33554432000 4194304 5654031 140735288303040 140735288290856 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21989/statm: 7258 6321 140 357 0 6898 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 53164
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 21991
/proc/meminfo: memFree=30905688/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=59.51 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 14029 87979 0 0 37 27 5851 36 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=21991] ppid=21963 vsize=49508 CPUtime=42.75 cores=1,3,5,7
/proc/21991/stat : 21991 (glucosInc) R 21963 21962 28504 0 -1 4202496 10067 0 0 0 4273 2 0 0 20 0 1 0 274426407 50696192 11461 33554432000 4194304 5654031 140734746421312 140734746409128 4232428 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21991/statm: 12377 11461 141 357 0 12017 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 73640
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 21994
/proc/meminfo: memFree=30828664/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=102.52 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 15076 98592 0 0 39 27 10146 40 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=21993] ppid=21963 vsize=61340 CPUtime=59.7 cores=1,3,5,7
/proc/21993/stat : 21993 (glucosInc) R 21963 21962 28504 0 -1 4202496 9965 0 0 0 5968 2 0 0 20 0 1 0 274430710 62812160 13682 33554432000 4194304 5654031 140733535438592 140733535426408 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21993/statm: 15335 13682 141 357 0 14975 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 85472
[startup+222.307 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 21996
/proc/meminfo: memFree=31025236/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=208.75 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 16126 111099 0 0 41 27 20762 45 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=21996] ppid=21963 vsize=30908 CPUtime=13.46 cores=1,3,5,7
/proc/21996/stat : 21996 (glucosInc) R 21963 21962 28504 0 -1 4202496 8424 0 0 0 1345 1 0 0 20 0 1 0 274441337 31649792 6754 33554432000 4194304 5654031 140735632343120 140735632330936 4232662 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21996/statm: 7727 6754 141 357 0 7367 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 55040
[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 22000
/proc/meminfo: memFree=30955032/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=278.17 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 18228 131833 0 0 45 28 27691 53 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22000] ppid=21963 vsize=28772 CPUtime=4.01 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=31077232/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=72992 CPUtime=107.13 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 12148 0 0 0 10709 4 0 0 20 0 1 0 274539967 74743808 16405 33554432000 4194304 5654031 140737001654160 140737001641976 4232925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 18248 16405 141 357 0 17888 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 97124
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22102
/proc/meminfo: memFree=31046136/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=103344 CPUtime=167.13 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 12768 0 0 0 16708 5 0 0 20 0 1 0 274539967 105824256 22123 33554432000 4194304 5654031 140737001654160 140737001641976 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 25836 22123 141 357 0 25476 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 127476
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22102
/proc/meminfo: memFree=30995528/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=93468 CPUtime=227.13 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 12845 0 0 0 22707 6 0 0 20 0 1 0 274539967 95711232 22041 33554432000 4194304 5654031 140737001654160 140737001641976 4232577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 23367 22041 141 357 0 23007 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 117600
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22102
/proc/meminfo: memFree=31044880/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=94464 CPUtime=287.1 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 13259 0 0 0 28704 6 0 0 20 0 1 0 274539967 96731136 22489 33554432000 4194304 5654031 140737001654160 140737001641976 4233033 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 23616 22489 141 357 0 23256 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 118596
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22102
/proc/meminfo: memFree=30959568/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=124812 CPUtime=347.11 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 13849 0 0 0 34704 7 0 0 20 0 1 0 274539967 127807488 26133 33554432000 4194304 5654031 140737001654160 140737001641976 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 31203 26133 141 357 0 30843 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 148944
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22102
/proc/meminfo: memFree=30890260/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=174132 CPUtime=407.09 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 14441 0 0 0 40701 8 0 0 20 0 1 0 274539967 178311168 34604 33554432000 4194304 5654031 140737001654160 140737001641976 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 43533 34604 141 357 0 43173 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 198264
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22105
/proc/meminfo: memFree=30940372/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=124812 CPUtime=467.08 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 14737 0 0 0 46699 9 0 0 20 0 1 0 274539967 127807488 26133 33554432000 4194304 5654031 140737001654160 140737001641976 4232905 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 31203 26133 141 357 0 30843 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 148944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22106
/proc/meminfo: memFree=30999608/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=124812 CPUtime=527.07 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 15328 0 0 0 52697 10 0 0 20 0 1 0 274539967 127807488 26133 33554432000 4194304 5654031 140737001654160 140737001641976 4232939 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 31203 26133 141 357 0 30843 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 148944
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22106
/proc/meminfo: memFree=30902596/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=174132 CPUtime=587.06 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 15923 0 0 0 58694 12 0 0 20 0 1 0 274539967 178311168 35628 33554432000 4194304 5654031 140737001654160 140737001641976 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 43533 35628 141 357 0 43173 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 198264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22106
/proc/meminfo: memFree=30999176/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=124812 CPUtime=605.17 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 15926 0 0 0 60505 12 0 0 20 0 1 0 274539967 127807488 26133 33554432000 4194304 5654031 140737001654160 140737001641976 4216672 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 31203 26133 141 357 0 30843 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 148944
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 22106
/proc/meminfo: memFree=30999176/32873844 swapFree=6600/6600
[pid=21962] ppid=21960 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21962/stat : 21962 (npSolver-pbo-It) S 21960 21962 28504 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274420454 9367552 275 33554432000 4194304 5064252 140735228753984 140735228752896 213419451982 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21962/statm: 2287 275 233 213 0 72 0
[pid=21963] ppid=21962 vsize=14984 CPUtime=1194.84 cores=1,3,5,7
/proc/21963/stat : 21963 (npSolver-pbo) S 21962 21962 28504 0 -1 4202496 22420 181689 0 0 54 30 119317 83 20 0 1 0 274420454 15343616 3288 33554432000 4194304 5992684 140734542553232 140734542539064 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21963/statm: 3746 3288 195 440 0 3302 0
[pid=22101] ppid=21963 vsize=124812 CPUtime=605.17 cores=1,3,5,7
/proc/22101/stat : 22101 (glucosInc) R 21963 21962 28504 0 -1 4202496 15926 0 0 0 60505 12 0 0 20 0 1 0 274539967 127807488 26133 33554432000 4194304 5654031 140737001654160 140737001641976 4216672 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 31203 26133 141 357 0 30843 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 148944
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1798.78
CPU system time (s): 1.27481
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 198320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.78
system time used= 1.27481
maximum resident set size= 148656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 220417
page faults= 0
swaps= 0
block input operations= 0
block output operations= 142360
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2643
involuntary context switches= 2409
runsolver used 9.73852 second user time and 9.27759 second system time
The end