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-3747172-1339098207/watcher-3747172-1339098207 -o /tmp/evaluation-result-3747172-1339098207/solver-3747172-1339098207 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747172-1339098207.opb 1791258706 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: 0.49 0.11 0.04 3/178 3068
/proc/meminfo: memFree=28508252/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[startup+0.0446779 s]
/proc/loadavg: 0.49 0.11 0.04 3/178 3068
/proc/meminfo: memFree=28508252/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 0.49 0.11 0.04 3/178 3068
/proc/meminfo: memFree=28508252/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.404004 s]
/proc/loadavg: 0.49 0.11 0.04 3/178 3068
/proc/meminfo: memFree=28508252/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700132 s]
/proc/loadavg: 0.49 0.11 0.04 3/178 3068
/proc/meminfo: memFree=28508252/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 0.69 0.16 0.05 3/181 3084
/proc/meminfo: memFree=28485180/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=0.5 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 3243 11250 0 0 5 3 40 2 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3084] ppid=3069 vsize=14260 CPUtime=0.59 cores=1,3,5,7
/proc/3084/stat : 3084 (glucosInc) R 3069 3068 2890 0 -1 4202496 2449 0 0 0 59 0 0 0 20 0 1 0 375947694 14602240 2894 33554432000 4194304 5654031 140733301507040 140733301504936 4232994 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 3565 2894 131 357 0 3205 0
Current children cumulated CPU time (s) 1.09
Current children cumulated vsize (KiB) 28280
[startup+3.10029 s]
/proc/loadavg: 0.69 0.16 0.05 3/181 3084
/proc/meminfo: memFree=28483756/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=0.5 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 3243 11250 0 0 5 3 40 2 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3084] ppid=3069 vsize=19320 CPUtime=2.2 cores=1,3,5,7
/proc/3084/stat : 3084 (glucosInc) R 3069 3068 2890 0 -1 4202496 4593 0 0 0 219 1 0 0 20 0 1 0 375947694 19783680 3823 33554432000 4194304 5654031 140733301507040 140733301505128 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3084/statm: 4830 3823 141 357 0 4470 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 33340
[startup+6.30015 s]
/proc/loadavg: 0.69 0.16 0.05 3/181 3084
/proc/meminfo: memFree=28464684/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=5.66 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 3772 18036 0 0 7 3 552 4 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
Current children cumulated CPU time (s) 5.66
Current children cumulated vsize (KiB) 14020
[startup+12.7003 s]
/proc/loadavg: 0.96 0.24 0.08 3/181 3090
/proc/meminfo: memFree=28471236/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=5.66 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 3772 18036 0 0 7 3 552 4 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3086] ppid=3069 vsize=27572 CPUtime=6.64 cores=1,3,5,7
/proc/3086/stat : 3086 (glucosInc) R 3069 3068 2890 0 -1 4202496 6748 0 0 0 663 1 0 0 20 0 1 0 375948208 28233728 6330 33554432000 4194304 5654031 140734845887792 140734845875608 4215653 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3086/statm: 6893 6330 142 357 0 6533 0
Current children cumulated CPU time (s) 12.3
Current children cumulated vsize (KiB) 41592
[startup+25.5066 s]
/proc/loadavg: 1.12 0.29 0.10 3/181 3096
/proc/meminfo: memFree=28376132/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=22.18 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 4830 29089 0 0 9 4 2198 7 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3096] ppid=3069 vsize=20988 CPUtime=2.93 cores=1,3,5,7
/proc/3096/stat : 3096 (glucosInc) R 3069 3068 2890 0 -1 4202496 5137 0 0 0 292 1 0 0 20 0 1 0 375949861 21491712 4373 33554432000 4194304 5654031 140736132095088 140736132082904 4232752 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3096/statm: 5247 4373 142 357 0 4887 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 35008
[startup+51.1003 s]
/proc/loadavg: 1.48 0.45 0.15 3/181 3100
/proc/meminfo: memFree=28338416/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=34.32 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 5887 40847 0 0 11 4 3407 10 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3100] ppid=3069 vsize=42432 CPUtime=16.36 cores=1,3,5,7
/proc/3100/stat : 3100 (glucosInc) R 3069 3068 2890 0 -1 4202496 6936 0 0 0 1635 1 0 0 20 0 1 0 375951076 43450368 8391 33554432000 4194304 5654031 140737038005376 140737038003256 4215403 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3100/statm: 10608 8391 142 357 0 10248 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 56452
[startup+102.3 s]
/proc/loadavg: 1.79 0.70 0.26 3/181 3101
/proc/meminfo: memFree=28297636/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=34.32 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 5887 40847 0 0 11 4 3407 10 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3100] ppid=3069 vsize=72888 CPUtime=67.55 cores=1,3,5,7
/proc/3100/stat : 3100 (glucosInc) R 3069 3068 2890 0 -1 4202496 8000 0 0 0 6753 2 0 0 20 0 1 0 375951076 74637312 17163 33554432000 4194304 5654031 140737038005376 140737037993192 4217063 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3100/statm: 18222 17163 142 357 0 17862 0
Current children cumulated CPU time (s) 101.87
Current children cumulated vsize (KiB) 86908
[startup+162.3 s]
/proc/loadavg: 1.92 0.94 0.36 3/181 3101
/proc/meminfo: memFree=28280236/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=34.32 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 5887 40847 0 0 11 4 3407 10 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3100] ppid=3069 vsize=85088 CPUtime=127.54 cores=1,3,5,7
/proc/3100/stat : 3100 (glucosInc) R 3069 3068 2890 0 -1 4202496 8971 0 0 0 12749 5 0 0 20 0 1 0 375951076 87130112 20728 33554432000 4194304 5654031 140737038005376 140737038003400 4215061 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3100/statm: 21272 20728 142 357 0 20912 0
Current children cumulated CPU time (s) 161.86
Current children cumulated vsize (KiB) 99108
[startup+222.3 s]
/proc/loadavg: 1.97 1.13 0.46 3/181 3101
/proc/meminfo: memFree=28238840/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=34.32 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 5887 40847 0 0 11 4 3407 10 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3100] ppid=3069 vsize=134408 CPUtime=187.54 cores=1,3,5,7
/proc/3100/stat : 3100 (glucosInc) R 3069 3068 2890 0 -1 4202496 9455 0 0 0 18745 9 0 0 20 0 1 0 375951076 137633792 30532 33554432000 4194304 5654031 140737038005376 140737037993192 4232438 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3100/statm: 33602 30532 142 357 0 33242 0
Current children cumulated CPU time (s) 221.86
Current children cumulated vsize (KiB) 148428
[startup+282.3 s]
/proc/loadavg: 1.99 1.28 0.56 3/181 3101
/proc/meminfo: memFree=28247096/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28217160/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=101224 CPUtime=105.29 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 12106 0 0 0 10525 4 0 0 20 0 1 0 376061303 103653376 19910 33554432000 4194304 5654031 140737324317936 140737324305752 4232880 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 25306 19910 142 357 0 24946 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 115244
[startup+1302.3 s]
/proc/loadavg: 2.01 1.97 1.50 3/181 3140
/proc/meminfo: memFree=28213048/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=101224 CPUtime=165.27 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 12467 0 0 0 16521 6 0 0 20 0 1 0 376061303 103653376 20425 33554432000 4194304 5654031 140737324317936 140737324315960 4232988 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 25306 20425 142 357 0 24946 0
Current children cumulated CPU time (s) 1301.63
Current children cumulated vsize (KiB) 115244
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.53 3/181 3140
/proc/meminfo: memFree=28206844/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=150544 CPUtime=225.27 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 12919 0 0 0 22517 10 0 0 20 0 1 0 376061303 154157056 30223 33554432000 4194304 5654031 140737324317936 140737324305752 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 37636 30223 142 357 0 37276 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 164564
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.55 3/181 3140
/proc/meminfo: memFree=28245432/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=101224 CPUtime=285.26 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 14870 0 0 0 28511 15 0 0 20 0 1 0 376061303 103653376 20425 33554432000 4194304 5654031 140737324317936 140737324305752 4215401 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 25306 20425 142 357 0 24946 0
Current children cumulated CPU time (s) 1421.62
Current children cumulated vsize (KiB) 115244
[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.58 3/181 3140
/proc/meminfo: memFree=28245484/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=101224 CPUtime=345.25 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 16904 0 0 0 34505 20 0 0 20 0 1 0 376061303 103653376 20425 33554432000 4194304 5654031 140737324317936 140737324305752 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 25306 20425 142 357 0 24946 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 115244
[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.60 3/181 3140
/proc/meminfo: memFree=28194012/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=181364 CPUtime=405.24 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 18949 0 0 0 40500 24 0 0 20 0 1 0 376061303 185716736 33362 33554432000 4194304 5654031 140737324317936 140737324305752 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 45341 33362 142 357 0 44981 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 195384
[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.62 3/181 3143
/proc/meminfo: memFree=28212536/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=101224 CPUtime=465.23 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 20336 0 0 0 46494 29 0 0 20 0 1 0 376061303 103653376 20425 33554432000 4194304 5654031 140737324317936 140737324305752 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 25306 20425 142 357 0 24946 0
Current children cumulated CPU time (s) 1601.59
Current children cumulated vsize (KiB) 115244
[startup+1662.31 s]
/proc/loadavg: 2.07 1.99 1.65 3/181 3144
/proc/meminfo: memFree=28161452/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=181364 CPUtime=525.22 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 22384 0 0 0 52489 33 0 0 20 0 1 0 376061303 185716736 33362 33554432000 4194304 5654031 140737324317936 140737324305752 4216577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 45341 33362 142 357 0 44981 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 195384
[startup+1722.3 s]
/proc/loadavg: 2.02 1.99 1.67 3/181 3144
/proc/meminfo: memFree=28147148/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=181364 CPUtime=585.21 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 23768 0 0 0 58483 38 0 0 20 0 1 0 376061303 185716736 36946 33554432000 4194304 5654031 140737324317936 140737324316024 4232803 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 45341 36946 142 357 0 44981 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 195384
[startup+1782.3 s]
/proc/loadavg: 2.01 1.99 1.69 3/181 3144
/proc/meminfo: memFree=28121032/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=193924 CPUtime=645.2 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 26967 0 0 0 64477 43 0 0 20 0 1 0 376061303 198578176 42887 33554432000 4194304 5654031 140737324317936 140737324305752 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 48481 42887 142 357 0 48121 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 207944
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.8 s]
/proc/loadavg: 1.92 1.97 1.68 3/181 3237
/proc/meminfo: memFree=28413252/32873648 swapFree=7376/7376
[pid=3068] ppid=3066 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3068/stat : 3068 (npSolver-pbo-It) S 3066 3068 2890 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375947604 9367552 275 33554432000 4194304 5064252 140737406425344 140737406424256 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3068/statm: 2287 275 233 213 0 72 0
[pid=3069] ppid=3068 vsize=4872 CPUtime=1136.36 cores=1,3,5,7
/proc/3069/stat : 3069 (npSolver-pbo) S 3068 3068 2890 0 -1 4202496 7475 98043 0 0 15 5 113537 79 20 0 1 0 375947604 4988928 831 33554432000 4194304 6004724 140733337451200 140733337437048 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/3069/statm: 1218 831 176 442 0 772 0
[pid=3139] ppid=3069 vsize=163104 CPUtime=663.71 cores=1,3,5,7
/proc/3139/stat : 3139 (glucosInc) R 3069 3068 2890 0 -1 4202496 27061 0 0 0 66327 44 0 0 20 0 1 0 376061303 167018496 36164 33554432000 4194304 5654031 140737324317936 140737324305752 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3139/statm: 40776 36164 142 357 0 40416 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 177124
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.82
CPU time (s): 1800.1
CPU user time (s): 1798.8
CPU system time (s): 1.2938
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (KiB): 245472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.2938
maximum resident set size= 190656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132961
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 655
involuntary context switches= 3048
runsolver used 3.20151 second user time and 9.45856 second system time
The end