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-3703391-1338081921/watcher-3703391-1338081921 -o /tmp/evaluation-result-3703391-1338081921/solver-3703391-1338081921 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703391-1338081921.opb 1404509211 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.00 2.00 2.00 3/178 1891
/proc/meminfo: memFree=28168856/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[startup+0.093093 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1891
/proc/meminfo: memFree=28168856/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100168 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1891
/proc/meminfo: memFree=28168856/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300149 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1891
/proc/meminfo: memFree=28168856/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700143 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 1891
/proc/meminfo: memFree=28168856/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1904
/proc/meminfo: memFree=28221196/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=0.17 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 2077 8516 0 0 5 1 9 2 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1904] ppid=1892 vsize=13016 CPUtime=1.29 cores=0,2,4,6
/proc/1904/stat : 1904 (glucosInc) R 1892 1891 4763 0 -1 4202496 3319 0 0 0 129 0 0 0 20 0 1 0 274318147 13328384 2799 33554432000 4194304 5654031 140736746854896 140736746842712 4216668 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1904/statm: 3254 2799 142 357 0 2894 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25456
[startup+3.10019 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1904
/proc/meminfo: memFree=28216792/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=0.17 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 2077 8516 0 0 5 1 9 2 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1904] ppid=1892 vsize=20208 CPUtime=2.89 cores=0,2,4,6
/proc/1904/stat : 1904 (glucosInc) R 1892 1891 4763 0 -1 4202496 5209 0 0 0 288 1 0 0 20 0 1 0 274318147 20692992 4554 33554432000 4194304 5654031 140736746854896 140736746842712 4232655 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1904/statm: 5052 4554 142 357 0 4692 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 32648
[startup+6.30017 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1906
/proc/meminfo: memFree=28217600/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=3.88 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 2583 14280 0 0 7 2 376 3 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1906] ppid=1892 vsize=17548 CPUtime=2.39 cores=0,2,4,6
/proc/1906/stat : 1906 (glucosInc) R 1892 1891 4763 0 -1 4202496 4931 0 0 0 238 1 0 0 20 0 1 0 274318517 17969152 3673 33554432000 4194304 5654031 140735311009808 140735310997624 4215084 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1906/statm: 4387 3673 142 357 0 4027 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29988
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1906
/proc/meminfo: memFree=28169280/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=3.88 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 2583 14280 0 0 7 2 376 3 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1906] ppid=1892 vsize=29116 CPUtime=8.78 cores=0,2,4,6
/proc/1906/stat : 1906 (glucosInc) R 1892 1891 4763 0 -1 4202496 7044 0 0 0 877 1 0 0 20 0 1 0 274318517 29814784 6232 33554432000 4194304 5654031 140735311009808 140735310997624 4215055 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/1906/statm: 7279 6232 142 357 0 6919 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41556
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1908
/proc/meminfo: memFree=28193864/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=13.55 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3089 21943 0 0 8 2 1339 6 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1908] ppid=1892 vsize=47984 CPUtime=11.9 cores=0,2,4,6
/proc/1908/stat : 1908 (glucosInc) R 1892 1891 4763 0 -1 4202496 6948 0 0 0 1189 1 0 0 20 0 1 0 274319485 49135616 8982 33554432000 4194304 5654031 140734553596128 140734553583944 4216213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1908/statm: 11996 8982 142 357 0 11636 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 60424
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1910
/proc/meminfo: memFree=28192944/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=40744 CPUtime=20.6 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 6919 0 0 0 2058 2 0 0 20 0 1 0 274321175 41721856 9757 33554432000 4194304 5654031 140736952003536 140736951991352 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 10186 9757 142 357 0 9826 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 53184
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 1911
/proc/meminfo: memFree=28092348/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=71116 CPUtime=71.8 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 7733 0 0 0 7176 4 0 0 20 0 1 0 274321175 72822784 17322 33554432000 4194304 5654031 140736952003536 140736952001560 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 17779 17322 142 357 0 17419 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 83556
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1912
/proc/meminfo: memFree=28120896/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=120436 CPUtime=131.78 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 8938 0 0 0 13170 8 0 0 20 0 1 0 274321175 123326464 28255 33554432000 4194304 5654031 140736952003536 140736951991352 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 30109 28255 142 357 0 29749 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 132876
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1912
/proc/meminfo: memFree=27991308/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=181892 CPUtime=191.77 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 11463 0 0 0 19164 13 0 0 20 0 1 0 274321175 186257408 38706 33554432000 4194304 5654031 140736952003536 140736952001624 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 45473 38706 142 357 0 45113 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 194332
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28158868/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=103216 CPUtime=1211.57 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 53844 0 0 0 121068 89 0 0 20 0 1 0 274321175 105693184 25347 33554432000 4194304 5654031 140736952003536 140736951991352 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 25804 25347 142 357 0 25444 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 115656
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 1976
/proc/meminfo: memFree=28105872/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=183356 CPUtime=1271.57 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 56266 0 0 0 127063 94 0 0 20 0 1 0 274321175 187756544 38395 33554432000 4194304 5654031 140736952003536 140736951991352 4215014 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 45839 38395 142 357 0 45479 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 195796
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 1976
/proc/meminfo: memFree=28060868/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=233444 CPUtime=1331.54 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 58412 0 0 0 133056 98 0 0 20 0 1 0 274321175 239046656 45532 33554432000 4194304 5654031 140736952003536 140736952001624 4215357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 58361 45532 142 357 0 58001 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 245884
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 1977
/proc/meminfo: memFree=28035324/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=233444 CPUtime=1391.54 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 60928 0 0 0 139052 102 0 0 20 0 1 0 274321175 239046656 50472 33554432000 4194304 5654031 140736952003536 140736951991352 4209087 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 58361 50472 142 357 0 58001 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 245884
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 1980
/proc/meminfo: memFree=28047436/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=233444 CPUtime=1451.52 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 63079 0 0 0 145047 105 0 0 20 0 1 0 274321175 239046656 47400 33554432000 4194304 5654031 140736952003536 140736952001624 4215357 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 58361 47400 142 357 0 58001 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 245884
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 1980
/proc/meminfo: memFree=27968056/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=314832 CPUtime=1511.51 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 63641 0 0 0 151044 107 0 0 20 0 1 0 274321175 322387968 67368 33554432000 4194304 5654031 140736952003536 140736952001624 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 78708 67368 142 357 0 78348 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 327272
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1980
/proc/meminfo: memFree=28016036/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=233444 CPUtime=1571.5 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 64801 0 0 0 157041 109 0 0 20 0 1 0 274321175 239046656 51538 33554432000 4194304 5654031 140736952003536 140736952001624 4216188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 58361 51538 142 357 0 58001 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 245884
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 1980
/proc/meminfo: memFree=27946040/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=314832 CPUtime=1631.49 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 65350 0 0 0 163039 110 0 0 20 0 1 0 274321175 322387968 69458 33554432000 4194304 5654031 140736952003536 140736952001624 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 78708 69458 142 357 0 78348 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 327272
[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 1981
/proc/meminfo: memFree=28023584/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=233444 CPUtime=1691.47 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 66998 0 0 0 169034 113 0 0 20 0 1 0 274321175 239046656 50472 33554432000 4194304 5654031 140736952003536 140736952001624 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 58361 50472 142 357 0 58001 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 245884
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 1981
/proc/meminfo: memFree=28037464/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=233444 CPUtime=1751.46 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 68698 0 0 0 175030 116 0 0 20 0 1 0 274321175 239046656 46418 33554432000 4194304 5654031 140736952003536 140736952001624 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 58361 46418 142 357 0 58001 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 245884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 1981
/proc/meminfo: memFree=28000600/32873648 swapFree=6864/6864
[pid=1891] ppid=1889 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1891/stat : 1891 (npSolver-pbo-It) S 1889 1891 4763 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274318127 9367552 275 33554432000 4194304 5064252 140736124069632 140736124068544 226084152910 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1891/statm: 2287 275 233 213 0 72 0
[pid=1892] ppid=1891 vsize=3292 CPUtime=30.45 cores=0,2,4,6
/proc/1892/stat : 1892 (npSolver-pbo) S 1891 1891 4763 0 -1 4202496 3595 29421 0 0 10 2 3024 9 20 0 1 0 274318127 3371008 489 33554432000 4194304 5992684 140734771843424 140734771829256 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/1892/statm: 823 489 195 440 0 379 0
[pid=1910] ppid=1892 vsize=233444 CPUtime=1769.56 cores=0,2,4,6
/proc/1910/stat : 1910 (glucosInc) R 1892 1891 4763 0 -1 4202496 68716 0 0 0 176839 117 0 0 20 0 1 0 274321175 239046656 55634 33554432000 4194304 5654031 140736952003536 140736951991352 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1910/statm: 58361 55634 142 357 0 58001 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 245884
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.05
CPU user time (s): 1798.75
CPU system time (s): 1.2948
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 376592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.75
system time used= 1.2948
maximum resident set size= 323612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102111
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 343
involuntary context switches= 2071
runsolver used 3.66744 second user time and 9.1846 second system time
The end