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-3747755-1339103610/watcher-3747755-1339103610 -o /tmp/evaluation-result-3747755-1339103610/solver-3747755-1339103610 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747755-1339103610.opb 373635658 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 29392
/proc/meminfo: memFree=31109952/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (runsolver) D 29390 29392 28222 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 376488230 12095488 50 33554432000 4194304 5436572 140733578397696 140733578393992 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/29392/statm: 2953 50 31 304 0 2645 0
[startup+0.095615 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29392
/proc/meminfo: memFree=31109952/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 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 29392
/proc/meminfo: memFree=31109952/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30012 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29392
/proc/meminfo: memFree=31109952/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700118 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29392
/proc/meminfo: memFree=31109952/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29407
/proc/meminfo: memFree=31104556/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=0.57 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 2889 8623 0 0 3 1 51 2 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29407] ppid=29394 vsize=9636 CPUtime=0.89 cores=0,2,4,6
/proc/29407/stat : 29407 (glucosInc) R 29394 29392 28222 0 -1 4202496 2174 0 0 0 89 0 0 0 20 0 1 0 376488289 9867264 1670 33554432000 4194304 5654031 140735551236416 140735551234504 4215079 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29407/statm: 2409 1670 140 357 0 2049 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22132
[startup+3.10015 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29407
/proc/meminfo: memFree=31104316/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=2.78 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3391 14343 0 0 4 1 270 3 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 12496
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29413
/proc/meminfo: memFree=31095996/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=3.26 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3642 16228 0 0 4 1 318 3 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29413] ppid=29394 vsize=15828 CPUtime=2.98 cores=0,2,4,6
/proc/29413/stat : 29413 (glucosInc) R 29394 29392 28222 0 -1 4202496 3618 0 0 0 298 0 0 0 20 0 1 0 376488560 16207872 3452 33554432000 4194304 5654031 140733632140432 140733632138232 4208648 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29413/statm: 3957 3452 141 357 0 3597 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 28324
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29413
/proc/meminfo: memFree=31079476/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=3.26 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3642 16228 0 0 4 1 318 3 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29413] ppid=29394 vsize=30132 CPUtime=9.36 cores=0,2,4,6
/proc/29413/stat : 29413 (glucosInc) R 29394 29392 28222 0 -1 4202496 5532 0 0 0 935 1 0 0 20 0 1 0 376488560 30855168 6689 33554432000 4194304 5654031 140733632140432 140733632128248 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29413/statm: 7533 6689 141 357 0 7173 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 42628
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29413
/proc/meminfo: memFree=31114604/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=3.26 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3642 16228 0 0 4 1 318 3 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29413] ppid=29394 vsize=30132 CPUtime=22.16 cores=0,2,4,6
/proc/29413/stat : 29413 (glucosInc) R 29394 29392 28222 0 -1 4202496 6188 0 0 0 2215 1 0 0 20 0 1 0 376488560 30855168 7015 33554432000 4194304 5654031 140733632140432 140733632138456 4215327 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29413/statm: 7533 7015 141 357 0 7173 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 42628
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29413
/proc/meminfo: memFree=31070848/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=3.26 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3642 16228 0 0 4 1 318 3 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29413] ppid=29394 vsize=44356 CPUtime=47.75 cores=0,2,4,6
/proc/29413/stat : 29413 (glucosInc) R 29394 29392 28222 0 -1 4202496 8062 0 0 0 4773 2 0 0 20 0 1 0 376488560 45420544 10083 33554432000 4194304 5654031 140733632140432 140733632128248 4216086 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29413/statm: 11089 10083 141 357 0 10729 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 56852
[startup+102.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 29413
/proc/meminfo: memFree=31051660/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=3.26 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3642 16228 0 0 4 1 318 3 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29413] ppid=29394 vsize=82076 CPUtime=98.95 cores=0,2,4,6
/proc/29413/stat : 29413 (glucosInc) R 29394 29392 28222 0 -1 4202496 8899 0 0 0 9892 3 0 0 20 0 1 0 376488560 84045824 13280 33554432000 4194304 5654031 140733632140432 140733632128248 4215061 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29413/statm: 20519 13280 141 357 0 20159 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 94572
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 29413
/proc/meminfo: memFree=31062848/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=3.26 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3642 16228 0 0 4 1 318 3 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29413] ppid=29394 vsize=82076 CPUtime=158.93 cores=0,2,4,6
/proc/29413/stat : 29413 (glucosInc) R 29394 29392 28222 0 -1 4202496 9003 0 0 0 15890 3 0 0 20 0 1 0 376488560 84045824 20026 33554432000 4194304 5654031 140733632140432 140733632128248 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29413/statm: 20519 20026 141 357 0 20159 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 94572
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29416
/proc/meminfo: memFree=31099504/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=178.26 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 3894 26078 0 0 5 1 17812 8 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29416] ppid=29394 vsize=48624 CPUtime=43.92 cores=0,2,4,6
/proc/29416/stat : 29416 (glucosInc) R 29394 29392 28222 0 -1 4202496 9727 0 0 0 4389 3 0 0 20 0 1 0 376506065 49790976 10785 33554432000 4194304 5654031 140736910033568 140736910031448 4232949 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29416/statm: 12156 10785 141 357 0 11796 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 61120
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29416
/proc/meminfo: memFree=31111164/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=30910052/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=82360 CPUtime=222.04 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 7841 0 0 0 22202 2 0 0 20 0 1 0 376590251 84336640 20097 33554432000 4194304 5654031 140736043049296 140736043047320 4215097 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 20590 20097 141 357 0 20230 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 94856
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29998
/proc/meminfo: memFree=30875236/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=131680 CPUtime=282.04 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 7940 0 0 0 28200 4 0 0 20 0 1 0 376590251 134840320 28816 33554432000 4194304 5654031 140736043049296 140736043047224 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 32920 28816 141 357 0 32560 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 144176
[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 29998
/proc/meminfo: memFree=30871148/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=131680 CPUtime=342.02 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 8044 0 0 0 34196 6 0 0 20 0 1 0 376590251 134840320 29840 33554432000 4194304 5654031 140736043049296 140736043037112 4233213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 32920 29840 141 357 0 32560 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 144176
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 29999
/proc/meminfo: memFree=30898456/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=94068 CPUtime=402.02 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 8488 0 0 0 40194 8 0 0 20 0 1 0 376590251 96325632 23024 33554432000 4194304 5654031 140736043049296 140736043047320 4232994 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 23517 23024 141 357 0 23157 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 106564
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29999
/proc/meminfo: memFree=30887164/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=94068 CPUtime=462 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 8590 0 0 0 46191 9 0 0 20 0 1 0 376590251 96325632 23024 33554432000 4194304 5654031 140736043049296 140736043047320 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 23517 23024 141 357 0 23157 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 106564
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 29999
/proc/meminfo: memFree=30886108/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=94068 CPUtime=521.99 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 8659 0 0 0 52189 10 0 0 20 0 1 0 376590251 96325632 23024 33554432000 4194304 5654031 140736043049296 140736043037112 4232939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 23517 23024 141 357 0 23157 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 106564
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30002
/proc/meminfo: memFree=30885852/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=94068 CPUtime=581.98 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 8732 0 0 0 58186 12 0 0 20 0 1 0 376590251 96325632 23024 33554432000 4194304 5654031 140736043049296 140736043047320 4215334 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 23517 23024 141 357 0 23157 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 106564
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30002
/proc/meminfo: memFree=30886128/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=94068 CPUtime=641.97 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 8805 0 0 0 64184 13 0 0 20 0 1 0 376590251 96325632 23024 33554432000 4194304 5654031 140736043049296 140736043047320 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 23517 23024 141 357 0 23157 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 106564
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30003
/proc/meminfo: memFree=30885660/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=94068 CPUtime=701.96 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 9022 0 0 0 70180 16 0 0 20 0 1 0 376590251 96325632 23024 33554432000 4194304 5654031 140736043049296 140736043037112 4233168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 23517 23024 141 357 0 23157 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 106564
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 30003
/proc/meminfo: memFree=30839436/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=143388 CPUtime=761.95 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 9100 0 0 0 76178 17 0 0 20 0 1 0 376590251 146829312 35327 33554432000 4194304 5654031 140736043049296 140736043037112 4232994 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 35847 35327 141 357 0 35487 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 155884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30004
/proc/meminfo: memFree=30849124/32873648 swapFree=7376/7376
[pid=29392] ppid=29390 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29392/stat : 29392 (npSolver-pbo-It) S 29390 29392 28222 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376488230 9367552 274 33554432000 4194304 5064252 140733434495296 140733434494208 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29392/statm: 2287 274 233 213 0 72 0
[pid=29394] ppid=29392 vsize=3348 CPUtime=1019.97 cores=0,2,4,6
/proc/29394/stat : 29394 (npSolver-pbo) S 29392 29392 28222 0 -1 4202496 4146 50841 0 0 6 1 101961 29 20 0 1 0 376488230 3428352 479 33554432000 4194304 6004724 140736364180432 140736364166280 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29394/statm: 837 479 175 442 0 391 0
[pid=29996] ppid=29394 vsize=143388 CPUtime=780.06 cores=0,2,4,6
/proc/29996/stat : 29996 (glucosInc) R 29394 29392 28222 0 -1 4202496 9201 0 0 0 77988 18 0 0 20 0 1 0 376590251 146829312 32255 33554432000 4194304 5654031 140736043049296 140736043047224 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29996/statm: 35847 32255 141 357 0 35487 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 155884
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.07
CPU user time (s): 1799.56
CPU system time (s): 0.504923
CPU usage (%): 99.9811
Max. virtual memory (cumulated for all children) (KiB): 186704
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.504923
maximum resident set size= 158092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64569
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4416
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219
involuntary context switches= 2203
runsolver used 3.9644 second user time and 8.12876 second system time
The end