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-3752511-1339218948/watcher-3752511-1339218948 -o /tmp/evaluation-result-3752511-1339218948/solver-3752511-1339218948 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752511-1339218948.opb 611726486 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: 0.00 0.00 0.00 2/171 10072
/proc/meminfo: memFree=29647600/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[startup+0.0850879 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 10072
/proc/meminfo: memFree=29647600/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100166 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 10072
/proc/meminfo: memFree=29647600/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300192 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 10072
/proc/meminfo: memFree=29647600/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700174 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 10072
/proc/meminfo: memFree=29647600/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 0.08 0.02 0.01 3/182 10101
/proc/meminfo: memFree=29560288/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1.15 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3001 11275 0 0 3 1 108 3 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 12412
[startup+3.10033 s]
/proc/loadavg: 0.08 0.02 0.01 3/181 10108
/proc/meminfo: memFree=29588512/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1.15 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3001 11275 0 0 3 1 108 3 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10103] ppid=10073 vsize=13372 CPUtime=1.91 cores=0,2,4,6
/proc/10103/stat : 10103 (glucosInc) R 10073 10072 10037 0 -1 4202496 3006 0 0 0 191 0 0 0 20 0 1 0 388022196 13692928 2497 33554432000 4194304 5654031 140735705561248 140735705559128 4215297 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10103/statm: 3343 2497 141 357 0 2983 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 25784
[startup+6.30034 s]
/proc/loadavg: 0.23 0.05 0.02 3/181 10110
/proc/meminfo: memFree=29586672/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1.15 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3001 11275 0 0 3 1 108 3 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10103] ppid=10073 vsize=16092 CPUtime=5.1 cores=0,2,4,6
/proc/10103/stat : 10103 (glucosInc) R 10073 10072 10037 0 -1 4202496 3518 0 0 0 510 0 0 0 20 0 1 0 388022196 16478208 3511 33554432000 4194304 5654031 140735705561248 140735705559048 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10103/statm: 4023 3511 141 357 0 3663 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 28504
[startup+12.7003 s]
/proc/loadavg: 0.37 0.08 0.03 3/181 10112
/proc/meminfo: memFree=29569404/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1.15 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3001 11275 0 0 3 1 108 3 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10103] ppid=10073 vsize=29320 CPUtime=11.51 cores=0,2,4,6
/proc/10103/stat : 10103 (glucosInc) R 10073 10072 10037 0 -1 4202496 5426 0 0 0 1150 1 0 0 20 0 1 0 388022196 30023680 6817 33554432000 4194304 5654031 140735705561248 140735705559128 4232729 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10103/statm: 7330 6817 141 357 0 6970 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41732
[startup+25.5003 s]
/proc/loadavg: 0.62 0.14 0.05 3/181 10114
/proc/meminfo: memFree=29545884/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1.15 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3001 11275 0 0 3 1 108 3 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10103] ppid=10073 vsize=59748 CPUtime=24.3 cores=0,2,4,6
/proc/10103/stat : 10103 (glucosInc) R 10073 10072 10037 0 -1 4202496 6915 0 0 0 2428 2 0 0 20 0 1 0 388022196 61181952 10320 33554432000 4194304 5654031 140735705561248 140735705559272 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10103/statm: 14937 10320 142 357 0 14577 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 72160
[startup+51.1004 s]
/proc/loadavg: 1.16 0.32 0.11 3/181 10116
/proc/meminfo: memFree=29546036/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1.15 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3001 11275 0 0 3 1 108 3 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10103] ppid=10073 vsize=78600 CPUtime=49.89 cores=0,2,4,6
/proc/10103/stat : 10103 (glucosInc) R 10073 10072 10037 0 -1 4202496 7640 0 0 0 4987 2 0 0 20 0 1 0 388022196 80486400 12740 33554432000 4194304 5654031 140735705561248 140735705559128 4233184 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10103/statm: 19650 12740 142 357 0 19290 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 91012
[startup+102.3 s]
/proc/loadavg: 1.64 0.58 0.20 3/181 10122
/proc/meminfo: memFree=29482952/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=90.72 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3291 23789 0 0 4 1 9059 8 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10122] ppid=10073 vsize=25144 CPUtime=11.52 cores=0,2,4,6
/proc/10122/stat : 10122 (glucosInc) R 10073 10072 10037 0 -1 4202496 5943 0 0 0 1151 1 0 0 20 0 1 0 388031155 25747456 5349 33554432000 4194304 5654031 140734389576960 140734389564776 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10122/statm: 6286 5349 142 357 0 5926 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 37556
[startup+162.3 s]
/proc/loadavg: 1.91 0.85 0.32 3/181 10125
/proc/meminfo: memFree=29470948/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=39144 CPUtime=21.98 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 6766 0 0 0 2196 2 0 0 20 0 1 0 388036108 40083456 8490 33554432000 4194304 5654031 140733573480640 140733573478520 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10124/statm: 9786 8490 142 357 0 9426 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 51556
[startup+222.3 s]
/proc/loadavg: 1.96 1.06 0.42 3/181 10125
/proc/meminfo: memFree=29380872/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=69492 CPUtime=81.97 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 7982 0 0 0 8194 3 0 0 20 0 1 0 388036108 71159808 15328 33554432000 4194304 5654031 140733573480640 140733573468456 4232968 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10124/statm: 17373 15328 142 357 0 17013 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 81904
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/182 10128
/proc/meminfo: memFree=29260644/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=29082744/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=164120 CPUtime=1101.82 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 21272 0 0 0 110146 36 0 0 20 0 1 0 388036108 168058880 37525 33554432000 4194304 5654031 140733573480640 140733573478568 4232973 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 41030 37525 142 357 0 40670 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 176532
[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.48 3/181 10136
/proc/meminfo: memFree=29191292/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=194940 CPUtime=1161.79 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 22598 0 0 0 116141 38 0 0 20 0 1 0 388036108 199618560 41688 33554432000 4194304 5654031 140733573480640 140733573478728 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 48735 41688 142 357 0 48375 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 207352
[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.51 3/180 10136
/proc/meminfo: memFree=29347660/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=114800 CPUtime=1221.79 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 23333 0 0 0 122138 41 0 0 20 0 1 0 388036108 117555200 28191 33554432000 4194304 5654031 140733573480640 140733573478664 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 28700 28191 142 357 0 28340 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 127212
[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/181 10137
/proc/meminfo: memFree=29172972/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=114800 CPUtime=1281.78 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 24076 0 0 0 128136 42 0 0 20 0 1 0 388036108 117555200 28191 33554432000 4194304 5654031 140733573480640 140733573468456 4233204 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 28700 28191 142 357 0 28340 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 127212
[startup+1482.3 s]
/proc/loadavg: 2.07 1.99 1.57 3/182 10140
/proc/meminfo: memFree=29252904/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=164120 CPUtime=1341.77 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 24952 0 0 0 134132 45 0 0 20 0 1 0 388036108 168058880 40085 33554432000 4194304 5654031 140733573480640 140733573478568 4232960 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 41030 40085 142 357 0 40670 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 176532
[startup+1542.3 s]
/proc/loadavg: 2.02 1.99 1.59 3/181 10140
/proc/meminfo: memFree=29087040/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=164120 CPUtime=1401.77 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 25685 0 0 0 140129 48 0 0 20 0 1 0 388036108 168058880 39061 33554432000 4194304 5654031 140733573480640 140733573478568 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 41030 39061 142 357 0 40670 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 176532
[startup+1602.3 s]
/proc/loadavg: 2.01 1.99 1.62 3/181 10140
/proc/meminfo: memFree=29323532/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=114800 CPUtime=1461.75 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 26285 0 0 0 146126 49 0 0 20 0 1 0 388036108 117555200 28191 33554432000 4194304 5654031 140733573480640 140733573478664 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 28700 28191 142 357 0 28340 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 127212
[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/181 10140
/proc/meminfo: memFree=29102928/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=164120 CPUtime=1521.72 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 27179 0 0 0 152121 51 0 0 20 0 1 0 388036108 168058880 36501 33554432000 4194304 5654031 140733573480640 140733573478568 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 41030 36501 142 357 0 40670 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 176532
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/181 10141
/proc/meminfo: memFree=29304592/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=140.23 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3436 32473 0 0 4 1 14007 11 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10124] ppid=10073 vsize=164120 CPUtime=1581.71 cores=0,2,4,6
/proc/10124/stat : 10124 (glucosInc) R 10073 10072 10037 0 -1 4202496 27918 0 0 0 158118 53 0 0 20 0 1 0 388036108 168058880 38549 33554432000 4194304 5654031 140733573480640 140733573478568 4233168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/10124/statm: 41030 38549 142 357 0 40670 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 176532
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.67 3/181 10143
/proc/meminfo: memFree=29239932/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1739.28 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3581 61515 0 0 4 1 173857 66 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10143] ppid=10073 vsize=41648 CPUtime=42.64 cores=0,2,4,6
/proc/10143/stat : 10143 (glucosInc) R 10073 10072 10037 0 -1 4202496 5243 0 0 0 4263 1 0 0 20 0 1 0 388196043 42647552 9447 33554432000 4194304 5654031 140734725618448 140734725606264 4214846 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10143/statm: 10412 9447 142 357 0 10052 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 54060
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.68 3/181 10143
/proc/meminfo: memFree=29180344/32873648 swapFree=7376/7376
[pid=10072] ppid=10070 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10072/stat : 10072 (npSolver-pbo-It) S 10070 10072 10037 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 388022079 9367552 275 33554432000 4194304 5064252 140735088657040 140735088655952 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/10072/statm: 2287 275 233 213 0 72 0
[pid=10073] ppid=10072 vsize=3264 CPUtime=1739.28 cores=0,2,4,6
/proc/10073/stat : 10073 (npSolver-pbo) S 10072 10072 10037 0 -1 4202496 3581 61515 0 0 4 1 173857 66 20 0 1 0 388022079 3342336 461 33554432000 4194304 6004724 140733689026000 140733689011848 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/10073/statm: 816 461 189 442 0 370 0
[pid=10143] ppid=10073 vsize=53608 CPUtime=60.74 cores=0,2,4,6
/proc/10143/stat : 10143 (glucosInc) R 10073 10072 10037 0 -1 4202496 6550 0 0 0 6072 2 0 0 20 0 1 0 388196043 54894592 12872 33554432000 4194304 5654031 140734725618448 140734725616472 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10143/statm: 13402 12872 142 357 0 13042 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 66020
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): 1799.36
CPU system time (s): 0.704892
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 207352
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.704892
maximum resident set size= 187232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72029
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235
involuntary context switches= 2449
runsolver used 3.3145 second user time and 9.56555 second system time
The end