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-3698062-1338063151/watcher-3698062-1338063151 -o /tmp/evaluation-result-3698062-1338063151/solver-3698062-1338063151 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698062-1338063151.opb 999779770 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.07 2.03 2.00 3/178 27855
/proc/meminfo: memFree=28523920/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[startup+0.09366 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 27855
/proc/meminfo: memFree=28523920/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100264 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 27855
/proc/meminfo: memFree=28523920/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 27855
/proc/meminfo: memFree=28523920/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700194 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 27855
/proc/meminfo: memFree=28523920/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 2.06 2.03 2.00 3/180 27864
/proc/meminfo: memFree=28506772/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4792 CPUtime=1 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 5070 13333 0 0 45 12 39 4 20 0 1 0 272439957 4907008 882 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1198 882 179 440 0 754 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13940
[startup+3.10025 s]
/proc/loadavg: 2.06 2.03 2.00 3/181 27866
/proc/meminfo: memFree=28480476/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=2.85 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 7538 21714 0 0 59 13 207 6 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 13804
[startup+6.3004 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 27868
/proc/meminfo: memFree=28479236/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=2.85 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 7538 21714 0 0 59 13 207 6 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27868] ppid=27856 vsize=38064 CPUtime=3.41 cores=1,3,5,7
/proc/27868/stat : 27868 (glucosInc) R 27856 27855 25792 0 -1 4202496 8115 0 0 0 340 1 0 0 20 0 1 0 272440244 38977536 8113 33554432000 4194304 5654031 140736311161312 140736311159080 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27868/statm: 9516 8113 140 357 0 9156 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 51868
[startup+12.7004 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 27870
/proc/meminfo: memFree=28479412/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=9.07 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 10006 30512 0 0 74 14 810 9 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27870] ppid=27856 vsize=37872 CPUtime=3.61 cores=1,3,5,7
/proc/27870/stat : 27870 (glucosInc) R 27856 27855 25792 0 -1 4202496 8100 0 0 0 360 1 0 0 20 0 1 0 272440865 38780928 8102 33554432000 4194304 5654031 140734466210352 140734466208440 4232495 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27870/statm: 9468 8102 140 357 0 9108 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 51676
[startup+25.5004 s]
/proc/loadavg: 2.11 2.05 2.01 3/181 27872
/proc/meminfo: memFree=28476448/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=19.69 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 12474 40252 0 0 88 15 1854 12 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27872] ppid=27856 vsize=38240 CPUtime=5.78 cores=1,3,5,7
/proc/27872/stat : 27872 (glucosInc) R 27856 27855 25792 0 -1 4202496 8095 0 0 0 577 1 0 0 20 0 1 0 272441927 39157760 8725 33554432000 4194304 5654031 140736875697024 140736875684840 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27872/statm: 9560 8725 140 357 0 9200 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 52044
[startup+51.1004 s]
/proc/loadavg: 2.12 2.06 2.01 3/181 27876
/proc/meminfo: memFree=28458256/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=48.81 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 17410 62950 0 0 117 17 4729 18 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27876] ppid=27856 vsize=37876 CPUtime=2.25 cores=1,3,5,7
/proc/27876/stat : 27876 (glucosInc) R 27856 27855 25792 0 -1 4202496 7996 0 0 0 225 0 0 0 20 0 1 0 272444840 38785024 8063 33554432000 4194304 5654031 140735541612368 140735541600184 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27876/statm: 9469 8063 140 357 0 9109 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 51680
[startup+102.307 s]
/proc/loadavg: 2.18 2.08 2.02 3/181 27945
/proc/meminfo: memFree=28506964/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=94.49 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 22346 89002 0 0 145 18 9260 26 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27945] ppid=27856 vsize=37872 CPUtime=7.74 cores=1,3,5,7
/proc/27945/stat : 27945 (glucosInc) R 27856 27855 25792 0 -1 4202496 8261 0 0 0 772 2 0 0 20 0 1 0 272449411 38780928 8264 33554432000 4194304 5654031 140736568845904 140736568833720 4222903 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27945/statm: 9468 8264 140 357 0 9108 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 51676
[startup+162.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/181 27953
/proc/meminfo: memFree=28472020/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=94.49 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 22346 89002 0 0 145 18 9260 26 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27945] ppid=27856 vsize=64504 CPUtime=67.71 cores=1,3,5,7
/proc/27945/stat : 27945 (glucosInc) R 27856 27855 25792 0 -1 4202496 12521 0 0 0 6768 3 0 0 20 0 1 0 272449411 66052096 15444 33554432000 4194304 5654031 140736568845904 140736568833720 4216456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27945/statm: 16126 15444 142 357 0 15766 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 78308
[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 27959
/proc/meminfo: memFree=28468472/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=187.7 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 24814 102670 0 0 159 19 18561 31 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27957] ppid=27856 vsize=65792 CPUtime=34.47 cores=1,3,5,7
/proc/27957/stat : 27957 (glucosInc) R 27856 27855 25792 0 -1 4202496 12079 0 0 0 3444 3 0 0 20 0 1 0 272458736 67371008 13916 33554432000 4194304 5654031 140735116247376 140735116235192 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27957/statm: 16448 13916 142 357 0 16088 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 79596
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 27961
/proc/meminfo: memFree=28472248/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=187.7 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28352780/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=115352 CPUtime=774.94 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 21471 0 0 0 77468 26 0 0 20 0 1 0 272486677 118120448 28332 33554432000 4194304 5654031 140735957458928 140735957446744 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 28838 28332 142 357 0 28478 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 129156
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27977
/proc/meminfo: memFree=28304848/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=115352 CPUtime=834.95 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 22537 0 0 0 83466 29 0 0 20 0 1 0 272486677 118120448 28339 33554432000 4194304 5654031 140735957458928 140735957446744 4233168 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 28838 28339 142 357 0 28478 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 129156
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27977
/proc/meminfo: memFree=28270580/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=195492 CPUtime=894.92 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 24068 0 0 0 89460 32 0 0 20 0 1 0 272486677 200183808 42382 33554432000 4194304 5654031 140735957458928 140735957446744 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 48873 42382 142 357 0 48513 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 209296
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27977
/proc/meminfo: memFree=28224208/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=164672 CPUtime=954.92 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 25006 0 0 0 95457 35 0 0 20 0 1 0 272486677 168624128 39243 33554432000 4194304 5654031 140735957458928 140735957446744 4232563 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 41168 39243 142 357 0 40808 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 178476
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27977
/proc/meminfo: memFree=28281984/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=115352 CPUtime=1014.91 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 26366 0 0 0 101454 37 0 0 20 0 1 0 272486677 118120448 28339 33554432000 4194304 5654031 140735957458928 140735957456952 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 28838 28339 142 357 0 28478 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 129156
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27978
/proc/meminfo: memFree=28209720/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=195492 CPUtime=1074.9 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 27894 0 0 0 107450 40 0 0 20 0 1 0 272486677 200183808 41358 33554432000 4194304 5654031 140735957458928 140735957446744 4232830 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 48873 41358 142 357 0 48513 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 209296
[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 27978
/proc/meminfo: memFree=28249808/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=164672 CPUtime=1134.89 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 28831 0 0 0 113446 43 0 0 20 0 1 0 272486677 168624128 36683 33554432000 4194304 5654031 140735957458928 140735957446744 4215913 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 41168 36683 142 357 0 40808 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 178476
[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 27981
/proc/meminfo: memFree=28216120/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=195492 CPUtime=1194.88 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 30192 0 0 0 119441 47 0 0 20 0 1 0 272486677 200183808 42894 33554432000 4194304 5654031 140735957458928 140735957446744 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 48873 42894 142 357 0 48513 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 209296
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 27981
/proc/meminfo: memFree=28232700/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=164672 CPUtime=1254.87 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 31134 0 0 0 125437 50 0 0 20 0 1 0 272486677 168624128 36683 33554432000 4194304 5654031 140735957458928 140735957456856 4218754 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 41168 36683 142 357 0 40808 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 178476
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27981
/proc/meminfo: memFree=28211756/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=164672 CPUtime=1314.86 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 31907 0 0 0 131434 52 0 0 20 0 1 0 272486677 168624128 40267 33554432000 4194304 5654031 140735957458928 140735957446744 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 41168 40267 142 357 0 40808 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 178476
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 27981
/proc/meminfo: memFree=28286072/32873844 swapFree=7104/7104
[pid=27855] ppid=27853 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27855/stat : 27855 (npSolver-pbo-It) S 27853 27855 25792 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272439956 9367552 274 33554432000 4194304 5064252 140736672404112 140736672403024 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27855/statm: 2287 274 233 213 0 72 0
[pid=27856] ppid=27855 vsize=4656 CPUtime=467.06 cores=1,3,5,7
/proc/27856/stat : 27856 (npSolver-pbo) S 27855 27855 25792 0 -1 4202496 27282 116988 0 0 173 20 46475 38 20 0 1 0 272439957 4767744 848 33554432000 4194304 5992684 140734752530976 140734752516808 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27856/statm: 1164 848 179 440 0 720 0
[pid=27969] ppid=27856 vsize=115352 CPUtime=1332.97 cores=1,3,5,7
/proc/27969/stat : 27969 (glucosInc) R 27856 27855 25792 0 -1 4202496 32505 0 0 0 133244 53 0 0 20 0 1 0 272486677 118120448 28339 33554432000 4194304 5654031 140735957458928 140735957456952 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27969/statm: 28838 28339 142 357 0 28478 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 129156
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.06
CPU user time (s): 1798.93
CPU system time (s): 1.13383
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 209296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.93
system time used= 1.13383
maximum resident set size= 177720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 177154
page faults= 0
swaps= 0
block input operations= 0
block output operations= 94312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2051
involuntary context switches= 2086
runsolver used 2.97055 second user time and 8.49871 second system time
The end