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-3698126-1338067284/watcher-3698126-1338067284 -o /tmp/evaluation-result-3698126-1338067284/solver-3698126-1338067284 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698126-1338067284.opb 162634913 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.39 2.29 2.12 3/180 5866
/proc/meminfo: memFree=26059720/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0

[startup+0.060596 s]
/proc/loadavg: 2.39 2.29 2.12 3/180 5866
/proc/meminfo: memFree=26059720/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100252 s]
/proc/loadavg: 2.39 2.29 2.12 3/180 5866
/proc/meminfo: memFree=26059720/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300225 s]
/proc/loadavg: 2.39 2.29 2.12 3/180 5866
/proc/meminfo: memFree=26059720/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700246 s]
/proc/loadavg: 2.39 2.29 2.12 3/180 5866
/proc/meminfo: memFree=26059720/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 2.39 2.29 2.12 3/182 5868
/proc/meminfo: memFree=25940864/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=35200 CPUtime=1.49 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) R 5866 5866 4265 0 -1 4202496 3253 0 0 0 149 0 0 0 20 0 1 0 272853769 36044800 5781 33554432000 4194304 5992684 140736000647392 140736000643128 4525041 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5867/statm: 8800 5781 146 440 0 8356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44348

[startup+3.10028 s]
/proc/loadavg: 2.39 2.29 2.12 3/182 5868
/proc/meminfo: memFree=25813144/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=84072 CPUtime=3.08 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) R 5866 5866 4265 0 -1 4202496 7776 0 0 0 307 1 0 0 20 0 1 0 272853769 86089728 17953 33554432000 4194304 5992684 140736000647392 140736000641096 4957503 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5867/statm: 21018 17953 157 440 0 20574 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 93220

[startup+6.3002 s]
/proc/loadavg: 2.36 2.29 2.12 2/182 5868
/proc/meminfo: memFree=23878068/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=396332 CPUtime=5.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 38518 0 0 0 538 38 0 0 20 0 1 0 272853769 405843968 74050 33554432000 4194304 5992684 140736000647392 140736000641840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5867/statm: 99083 74050 164 440 0 98639 0
Current children cumulated CPU time (s) 5.76
Current children cumulated vsize (KiB) 405480

[startup+12.7003 s]
/proc/loadavg: 2.41 2.30 2.13 3/186 5872
/proc/meminfo: memFree=22215980/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=396332 CPUtime=5.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 38518 0 0 0 538 38 0 0 20 0 1 0 272853769 405843968 74050 33554432000 4194304 5992684 140736000647392 140736000641840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5867/statm: 99083 74050 164 440 0 98639 0
[pid=5869] ppid=5867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5869/stat : 5869 (cp2_pre.sh) S 5867 5866 4265 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 272854347 9367552 276 33554432000 4194304 5064252 140734321703632 140734321702336 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5869/statm: 2287 276 234 213 0 72 0
[pid=5870] ppid=5869 vsize=1024596 CPUtime=6.9 cores=0,2,4,6
/proc/5870/stat : 5870 (coprocessor) R 5869 5866 4265 0 -1 4202496 92411 0 0 0 665 25 0 0 20 0 1 0 272854347 1049186304 224909 33554432000 4194304 6586260 140735747792176 140735747787992 4498512 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/5870/statm: 256149 224909 168 584 0 255561 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 1439224

[startup+25.5003 s]
/proc/loadavg: 2.61 2.35 2.14 3/186 5872
/proc/meminfo: memFree=20278300/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=396332 CPUtime=5.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 38518 0 0 0 538 38 0 0 20 0 1 0 272853769 405843968 74050 33554432000 4194304 5992684 140736000647392 140736000641840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5867/statm: 99083 74050 164 440 0 98639 0
[pid=5869] ppid=5867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5869/stat : 5869 (cp2_pre.sh) S 5867 5866 4265 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 272854347 9367552 276 33554432000 4194304 5064252 140734321703632 140734321702336 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5869/statm: 2287 276 234 213 0 72 0
[pid=5870] ppid=5869 vsize=1026132 CPUtime=19.7 cores=0,2,4,6
/proc/5870/stat : 5870 (coprocessor) R 5869 5866 4265 0 -1 4202496 92734 0 0 0 1944 26 0 0 20 0 1 0 272854347 1050759168 225232 33554432000 4194304 6586260 140735747792176 140735747787992 4498526 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/5870/statm: 256533 225232 168 584 0 255945 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 1440760

[startup+51.1003 s]
/proc/loadavg: 2.80 2.42 2.17 3/185 5872
/proc/meminfo: memFree=18660220/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=396332 CPUtime=5.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 38518 0 0 0 538 38 0 0 20 0 1 0 272853769 405843968 74050 33554432000 4194304 5992684 140736000647392 140736000641840 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5867/statm: 99083 74050 164 440 0 98639 0
[pid=5869] ppid=5867 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5869/stat : 5869 (cp2_pre.sh) S 5867 5866 4265 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 272854347 9367552 276 33554432000 4194304 5064252 140734321703632 140734321702336 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5869/statm: 2287 276 234 213 0 72 0
[pid=5870] ppid=5869 vsize=1058648 CPUtime=45.3 cores=0,2,4,6
/proc/5870/stat : 5870 (coprocessor) R 5869 5866 4265 0 -1 4202496 95436 0 0 0 4499 31 0 0 20 0 1 0 272854347 1084055552 253484 33554432000 4194304 6586260 140735747792176 140735747788200 4758322 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/5870/statm: 264662 253484 180 584 0 264074 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1473276

[startup+102.3 s]
/proc/loadavg: 2.64 2.43 2.19 3/183 5876
/proc/meminfo: memFree=18743888/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=396332 CPUtime=71.86 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 38533 121827 0 0 538 38 6537 73 20 0 1 0 272853769 405843968 74053 33554432000 4194304 5992684 140736000647392 140736000633656 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5867/statm: 99083 74053 166 440 0 98639 0
[pid=5874] ppid=5867 vsize=716076 CPUtime=26.74 cores=0,2,4,6
/proc/5874/stat : 5874 (glucosInc) R 5867 5866 4265 0 -1 4202496 89780 0 0 0 2650 24 0 0 20 0 1 0 272861323 733261824 145413 33554432000 4194304 5654031 140735682686032 140735682673848 4233229 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5874/statm: 179019 145413 140 357 0 178659 0
Current children cumulated CPU time (s) 98.6
Current children cumulated vsize (KiB) 1121556

[startup+162.3 s]
/proc/loadavg: 4.02 2.83 2.33 2/184 5880
/proc/meminfo: memFree=11654352/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440400 CPUtime=113.82 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 53181 214940 0 0 755 798 9679 150 20 0 1 0 272853769 450969600 85086 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110100 85086 177 440 0 109656 0
[pid=5880] ppid=5867 vsize=737536 CPUtime=44.48 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 94372 0 0 0 4412 36 0 0 20 0 1 0 272865503 755236864 150755 33554432000 4194304 5654031 140734884085952 140734884073768 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 184384 150755 151 357 0 184024 0
Current children cumulated CPU time (s) 158.3
Current children cumulated vsize (KiB) 1187084

[startup+222.3 s]
/proc/loadavg: 4.64 3.22 2.50 2/184 5880
/proc/meminfo: memFree=11696996/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440400 CPUtime=113.82 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 53181 214940 0 0 755 798 9679 150 20 0 1 0 272853769 450969600 85086 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110100 85086 177 440 0 109656 0
[pid=5880] ppid=5867 vsize=737772 CPUtime=104.46 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 94471 0 0 0 10398 48 0 0 20 0 1 0 272865503 755478528 151365 33554432000 4194304 5654031 140734884085952 140734884073768 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 184443 151365 151 357 0 184083 0
Current children cumulated CPU time (s) 218.28
Current children cumulated vsize (KiB) 1187320

[startup+282.307 s]

################
# More data... #
################

/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=656524 CPUtime=703.58 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 94870 0 0 0 70304 54 0 0 20 0 1 0 272865503 672280576 148330 33554432000 4194304 5654031 140734884085952 140734884073768 4233204 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 164131 148330 152 357 0 163771 0
Current children cumulated CPU time (s) 818.34
Current children cumulated vsize (KiB) 1105912

[startup+882.3 s]
/proc/loadavg: 2.00 2.20 2.31 3/183 6067
/proc/meminfo: memFree=26900496/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=737912 CPUtime=763.55 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95054 0 0 0 76300 55 0 0 20 0 1 0 272865503 755621888 149129 33554432000 4194304 5654031 140734884085952 140734884073768 4233176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 184478 149129 152 357 0 184118 0
Current children cumulated CPU time (s) 878.31
Current children cumulated vsize (KiB) 1187300

[startup+942.307 s]
/proc/loadavg: 2.00 2.16 2.29 3/183 6067
/proc/meminfo: memFree=26896892/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=737912 CPUtime=823.56 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95055 0 0 0 82300 56 0 0 20 0 1 0 272865503 755621888 149641 33554432000 4194304 5654031 140734884085952 140734884073768 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 184478 149641 152 357 0 184118 0
Current children cumulated CPU time (s) 938.32
Current children cumulated vsize (KiB) 1187300

[startup+1002.3 s]
/proc/loadavg: 2.04 2.14 2.27 3/183 6067
/proc/meminfo: memFree=26874180/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=737912 CPUtime=883.54 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95057 0 0 0 88298 56 0 0 20 0 1 0 272865503 755621888 150154 33554432000 4194304 5654031 140734884085952 140734884073768 4216337 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 184478 150154 152 357 0 184118 0
Current children cumulated CPU time (s) 998.3
Current children cumulated vsize (KiB) 1187300

[startup+1062.3 s]
/proc/loadavg: 2.01 2.11 2.25 3/183 6067
/proc/meminfo: memFree=26910896/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=662932 CPUtime=943.52 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95531 0 0 0 94295 57 0 0 20 0 1 0 272865503 678842368 140980 33554432000 4194304 5654031 140734884085952 140734884073768 4232786 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 165733 140980 152 357 0 165373 0
Current children cumulated CPU time (s) 1058.28
Current children cumulated vsize (KiB) 1112320

[startup+1122.3 s]
/proc/loadavg: 2.00 2.09 2.23 3/184 6070
/proc/meminfo: memFree=26908684/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=662932 CPUtime=1003.52 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95532 0 0 0 100294 58 0 0 20 0 1 0 272865503 678842368 141492 33554432000 4194304 5654031 140734884085952 140734884073768 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 165733 141492 152 357 0 165373 0
Current children cumulated CPU time (s) 1118.28
Current children cumulated vsize (KiB) 1112320

Solver just ended. Dumping a history of the last processes samples

[startup+1127 s]
/proc/loadavg: 2.00 2.09 2.23 3/184 6070
/proc/meminfo: memFree=26908700/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=662932 CPUtime=1008.23 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95532 0 0 0 100765 58 0 0 20 0 1 0 272865503 678842368 141492 33554432000 4194304 5654031 140734884085952 140734884073768 4216016 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 165733 141492 152 357 0 165373 0
Current children cumulated CPU time (s) 1122.99
Current children cumulated vsize (KiB) 1112320

[startup+1130.2 s]
/proc/loadavg: 2.00 2.09 2.23 3/184 6070
/proc/meminfo: memFree=26908700/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=662932 CPUtime=1011.42 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95532 0 0 0 101084 58 0 0 20 0 1 0 272865503 678842368 141492 33554432000 4194304 5654031 140734884085952 140734884073768 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 165733 141492 152 357 0 165373 0
Current children cumulated CPU time (s) 1126.18
Current children cumulated vsize (KiB) 1112320

[startup+1133.4 s]
/proc/loadavg: 2.00 2.09 2.23 3/184 6070
/proc/meminfo: memFree=26908700/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=662932 CPUtime=1014.62 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95532 0 0 0 101404 58 0 0 20 0 1 0 272865503 678842368 141492 33554432000 4194304 5654031 140734884085952 140734884073768 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 165733 141492 152 357 0 165373 0
Current children cumulated CPU time (s) 1129.38
Current children cumulated vsize (KiB) 1112320

[startup+1134.2 s]
/proc/loadavg: 2.00 2.08 2.23 3/184 6070
/proc/meminfo: memFree=26908700/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=662932 CPUtime=1015.42 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95532 0 0 0 101484 58 0 0 20 0 1 0 272865503 678842368 141492 33554432000 4194304 5654031 140734884085952 140734884073768 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 165733 141492 152 357 0 165373 0
Current children cumulated CPU time (s) 1130.18
Current children cumulated vsize (KiB) 1112320

[startup+1134.6 s]
/proc/loadavg: 2.00 2.08 2.23 3/184 6070
/proc/meminfo: memFree=26908700/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=440240 CPUtime=114.76 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65169 214940 0 0 834 813 9679 150 20 0 1 0 272853769 450805760 85046 33554432000 4194304 5992684 140736000647392 140736000633224 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 110060 85046 177 440 0 109616 0
[pid=5880] ppid=5867 vsize=662932 CPUtime=1015.82 cores=0,2,4,6
/proc/5880/stat : 5880 (glucosInc) R 5867 5866 4265 0 -1 4202496 95532 0 0 0 101524 58 0 0 20 0 1 0 272865503 678842368 141492 33554432000 4194304 5654031 140734884085952 140734884073768 4219872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5880/statm: 165733 141492 152 357 0 165373 0
Current children cumulated CPU time (s) 1130.58
Current children cumulated vsize (KiB) 1112320

[startup+1135 s]
/proc/loadavg: 2.00 2.08 2.23 3/184 6070
/proc/meminfo: memFree=26895420/32873844 swapFree=7124/7124
[pid=5866] ppid=5864 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5866/stat : 5866 (npSolver-pbo-It) S 5864 5866 4265 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272853769 9367552 275 33554432000 4194304 5064252 140734459652128 140734459651040 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5866/statm: 2287 275 233 213 0 72 0
[pid=5867] ppid=5866 vsize=406284 CPUtime=1130.97 cores=0,2,4,6
/proc/5867/stat : 5867 (npSolver-pbo) S 5866 5866 4265 0 -1 4202496 65173 311086 0 0 834 813 111239 211 20 0 1 0 272853769 416034816 76570 33554432000 4194304 5992684 140736000647392 140736000643728 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 42 0 0
/proc/5867/statm: 101571 76570 178 440 0 101127 0
Current children cumulated CPU time (s) 1130.97
Current children cumulated vsize (KiB) 415432

Child status: 0
Real time (s): 1135.02
CPU time (s): 1131.02
CPU user time (s): 1120.74
CPU system time (s): 10.2804
CPU usage (%): 99.6473
Max. virtual memory (cumulated for all children) (KiB): 1702280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1120.74
system time used= 10.2804
maximum resident set size= 1246700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377198
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1448232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31588
involuntary context switches= 2411

runsolver used 2.47162 second user time and 6.85396 second system time

The end