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-3714322-1338185779/watcher-3714322-1338185779 -o /tmp/evaluation-result-3714322-1338185779/solver-3714322-1338185779 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714322-1338185779.wbo 914274707 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=31207096/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0

[startup+0.103992 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=31207096/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200224 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=31207096/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300213 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=31207096/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700196 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12733
/proc/meminfo: memFree=31207096/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 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 12735
/proc/meminfo: memFree=31189464/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=34876 CPUtime=1.49 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) R 12733 12733 6342 0 -1 4202496 2875 0 0 0 149 0 0 0 20 0 1 0 284703334 35713024 4890 33554432000 4194304 5990268 140735930564416 140735930559656 4807339 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12734/statm: 8719 4890 136 439 0 8276 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44024

[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12735
/proc/meminfo: memFree=31176780/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=67644 CPUtime=3.09 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) R 12733 12733 6342 0 -1 4202496 3411 0 0 0 308 1 0 0 20 0 1 0 284703334 69267456 9498 33554432000 4194304 5990268 140735930564416 140735930559656 4569535 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12734/statm: 16911 9498 136 439 0 16468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76792

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 12735
/proc/meminfo: memFree=31135248/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=133180 CPUtime=6.29 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) R 12733 12733 6342 0 -1 4202496 3973 0 0 0 626 3 0 0 20 0 1 0 284703334 136376320 19226 33554432000 4194304 5990268 140735930564416 140735930559272 4747762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12734/statm: 33295 19226 136 439 0 32852 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142328

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12737
/proc/meminfo: memFree=30883336/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=264560 CPUtime=11.6 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 9096 0 0 0 1138 22 0 0 20 0 1 0 284703334 270909440 44978 33554432000 4194304 5990268 140735930564416 140735930557568 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/12734/statm: 66140 44978 149 439 0 65697 0
[pid=12736] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12736/stat : 12736 (cp2_pre.sh) S 12734 12733 6342 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 284704494 9367552 276 33554432000 4194304 5064252 140733848714000 140733848712704 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12736/statm: 2287 276 234 213 0 72 0
[pid=12737] ppid=12736 vsize=98596 CPUtime=1.08 cores=1,3,5,7
/proc/12737/stat : 12737 (coprocessor) R 12736 12733 6342 0 -1 4202496 20395 0 0 0 104 4 0 0 20 0 1 0 284704495 100962304 23480 33554432000 4194304 6586260 140733396413808 140733396410568 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/12737/statm: 24649 23480 137 584 0 24061 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 381452

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12747
/proc/meminfo: memFree=30623512/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301164 CPUtime=22.71 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 13317 65407 0 0 1217 203 795 56 20 0 1 0 284703334 308391936 52798 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75291 52798 164 439 0 74848 0
[pid=12746] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284705706 9367552 267 33554432000 4194304 5064252 140734595895632 140734595894544 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12746/statm: 2287 267 226 213 0 72 0
[pid=12747] ppid=12746 vsize=223500 CPUtime=1.76 cores=1,3,5,7
/proc/12747/stat : 12747 (glucose) R 12746 12733 6342 0 -1 4202496 23782 0 0 0 168 8 0 0 20 0 1 0 284705707 228864000 44370 33554432000 4194304 5208918 140734394330960 140734394328808 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12747/statm: 55875 44370 102 248 0 55624 0
Current children cumulated CPU time (s) 24.47
Current children cumulated vsize (KiB) 542960

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12747
/proc/meminfo: memFree=30618544/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301164 CPUtime=22.71 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 13317 65407 0 0 1217 203 795 56 20 0 1 0 284703334 308391936 52798 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75291 52798 164 439 0 74848 0
[pid=12746] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284705706 9367552 267 33554432000 4194304 5064252 140734595895632 140734595894544 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12746/statm: 2287 267 226 213 0 72 0
[pid=12747] ppid=12746 vsize=224424 CPUtime=27.35 cores=1,3,5,7
/proc/12747/stat : 12747 (glucose) R 12746 12733 6342 0 -1 4202496 24058 0 0 0 2727 8 0 0 20 0 1 0 284705707 229810176 44646 33554432000 4194304 5208918 140734394330960 140734394328808 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12747/statm: 56106 44646 103 248 0 55855 0
Current children cumulated CPU time (s) 50.06
Current children cumulated vsize (KiB) 543884

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12748
/proc/meminfo: memFree=30589272/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301164 CPUtime=22.71 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 13317 65407 0 0 1217 203 795 56 20 0 1 0 284703334 308391936 52798 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75291 52798 164 439 0 74848 0
[pid=12746] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284705706 9367552 267 33554432000 4194304 5064252 140734595895632 140734595894544 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12746/statm: 2287 267 226 213 0 72 0
[pid=12747] ppid=12746 vsize=231932 CPUtime=78.55 cores=1,3,5,7
/proc/12747/stat : 12747 (glucose) R 12746 12733 6342 0 -1 4202496 25703 0 0 0 7846 9 0 0 20 0 1 0 284705707 237498368 46802 33554432000 4194304 5208918 140734394330960 140734394328808 4211632 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12747/statm: 57983 46802 104 248 0 57732 0
Current children cumulated CPU time (s) 101.26
Current children cumulated vsize (KiB) 551392

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12748
/proc/meminfo: memFree=30593904/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301164 CPUtime=22.71 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 13317 65407 0 0 1217 203 795 56 20 0 1 0 284703334 308391936 52798 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75291 52798 164 439 0 74848 0
[pid=12746] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12746/stat : 12746 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284705706 9367552 267 33554432000 4194304 5064252 140734595895632 140734595894544 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12746/statm: 2287 267 226 213 0 72 0
[pid=12747] ppid=12746 vsize=235508 CPUtime=138.54 cores=1,3,5,7
/proc/12747/stat : 12747 (glucose) R 12746 12733 6342 0 -1 4202496 26588 0 0 0 13845 9 0 0 20 0 1 0 284705707 241160192 48198 33554432000 4194304 5208918 140734394330960 140734394327336 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12747/statm: 58877 48198 104 248 0 58626 0
Current children cumulated CPU time (s) 161.25
Current children cumulated vsize (KiB) 554968

[startup+222.307 s]
/proc/loadavg: 2.20 2.05 2.01 3/183 12807
/proc/meminfo: memFree=29415800/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=333928 CPUtime=197.32 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 17141 100780 0 0 1252 207 18181 92 20 0 1 0 284703334 341942272 60446 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 83482 60446 164 439 0 83039 0
[pid=12796] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/12796/statm: 2287 266 226 213 0 72 0
[pid=12797] ppid=12796 vsize=224480 CPUtime=23.93 cores=1,3,5,7
/proc/12797/stat : 12797 (glucose) R 12796 12733 6342 0 -1 4202496 24003 0 0 0 2384 9 0 0 20 0 1 0 284723170 229867520 44074 33554432000 4194304 5208918 140733952743312 140733952741208 4211104 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12797/statm: 56120 44074 103 248 0 55869 0
Current children cumulated CPU time (s) 221.25
Current children cumulated vsize (KiB) 576704

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/184 12817
/proc/meminfo: memFree=29430592/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=333928 CPUtime=266.38 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 20932 135148 0 0 1283 211 25017 127 20 0 1 0 284703334 341942272 59422 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 83482 59422 164 439 0 83039 0
[pid=12816] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12816/stat : 12816 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284730077 9367552 266 33554432000 4194304 5064252 140736600842144 140736600841056 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12816/statm: 2287 266 226 213 0 72 0
[pid=12817] ppid=12816 vsize=218548 CPUtime=14.85 cores=1,3,5,7
/proc/12817/stat : 12817 (glucose) R 12816 12733 6342 0 -1 4202496 24232 0 0 0 1478 7 0 0 20 0 1 0 284730077 223793152 42965 33554432000 4194304 5208918 140734354842656 140734354840504 4211744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12817/statm: 54637 42965 103 248 0 54386 0
Current children cumulated CPU time (s) 281.23
Current children cumulated vsize (KiB) 570772

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 12824
/proc/meminfo: memFree=29424740/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=333928 CPUtime=331.67 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 24722 169428 0 0 1311 214 31481 161 20 0 1 0 284703334 341942272 58910 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 83482 58910 164 439 0 83039 0
[pid=12823] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12823/stat : 12823 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284736606 9367552 267 33554432000 4194304 5064252 140736429517424 140736429516336 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12823/statm: 2287 267 226 213 0 72 0
[pid=12824] ppid=12823 vsize=235360 CPUtime=9.56 cores=1,3,5,7
/proc/12824/stat : 12824 (glucose) R 12823 12733 6342 0 -1 4202496 27463 0 0 0 948 8 0 0 20 0 1 0 284736606 241008640 45288 33554432000 4194304 5208918 140733393874464 140733393872312 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12824/statm: 58840 45288 103 248 0 58589 0
Current children cumulated CPU time (s) 341.23
Current children cumulated vsize (KiB) 587584

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 12825
/proc/meminfo: memFree=29419996/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=333928 CPUtime=331.67 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 24722 169428 0 0 1311 214 31481 161 20 0 1 0 284703334 341942272 58910 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 83482 58910 164 439 0 83039 0
[pid=12823] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12823/stat : 12823 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284736606 9367552 267 33554432000 4194304 5064252 140736429517424 140736429516336 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12823/statm: 2287 267 226 213 0 72 0
[pid=12824] ppid=12823 vsize=238800 CPUtime=69.55 cores=1,3,5,7
/proc/12824/stat : 12824 (glucose) R 12823 12733 6342 0 -1 4202496 28251 0 0 0 6947 8 0 0 20 0 1 0 284736606 244531200 46585 33554432000 4194304 5208918 140733393874464 140733393872312 4211182 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12824/statm: 59700 46585 104 248 0 59449 0
Current children cumulated CPU time (s) 401.22
Current children cumulated vsize (KiB) 591024

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12839
/proc/meminfo: memFree=29479664/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301160 CPUtime=445.19 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 31446 233003 0 0 1346 217 42732 224 20 0 1 0 284703334 308387840 54143 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75290 54143 164 439 0 74847 0
[pid=12838] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12838/stat : 12838 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284747961 9367552 267 33554432000 4194304 5064252 140734902814176 140734902813088 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12838/statm: 2287 267 226 213 0 72 0
[pid=12839] ppid=12838 vsize=216272 CPUtime=16.01 cores=1,3,5,7
/proc/12839/stat : 12839 (glucose) R 12838 12733 6342 0 -1 4202496 21736 0 0 0 1595 6 0 0 20 0 1 0 284747961 221462528 38780 33554432000 4194304 5208918 140734286475168 140734286473064 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12839/statm: 54068 38780 103 248 0 53817 0
Current children cumulated CPU time (s) 461.2
Current children cumulated vsize (KiB) 535728

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

[startup+473.6 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 12846
/proc/meminfo: memFree=29499784/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301160 CPUtime=469.06 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 33312 258872 0 0 1350 218 45087 251 20 0 1 0 284703334 308387840 54144 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75290 54144 165 439 0 74847 0
[pid=12845] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12845/stat : 12845 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284750348 9367552 267 33554432000 4194304 5064252 140737152865632 140737152864544 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12845/statm: 2287 267 226 213 0 72 0
[pid=12846] ppid=12845 vsize=160232 CPUtime=3.44 cores=1,3,5,7
/proc/12846/stat : 12846 (glucose) R 12845 12733 6342 0 -1 4202496 21839 0 0 0 338 6 0 0 20 0 1 0 284750348 164077568 36626 33554432000 4194304 5208918 140735085775856 140735085773704 4229483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12846/statm: 40058 36626 95 248 0 39807 0
Current children cumulated CPU time (s) 472.5
Current children cumulated vsize (KiB) 479688

[startup+476.8 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 12853
/proc/meminfo: memFree=29508548/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301160 CPUtime=475.36 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 33866 307507 0 0 1351 218 45678 289 20 0 1 0 284703334 308387840 54144 33554432000 4194304 5990268 140735930564416 140735930556432 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75290 54144 165 439 0 74847 0
Current children cumulated CPU time (s) 475.36
Current children cumulated vsize (KiB) 310308

[startup+480 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 12860
/proc/meminfo: memFree=29511188/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301160 CPUtime=475.52 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 34053 308022 0 0 1351 218 45678 305 20 0 1 0 284703334 308387840 54144 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75290 54144 165 439 0 74847 0
[pid=12859] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12859/stat : 12859 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284751014 9367552 267 33554432000 4194304 5064252 140735102150832 140735102149744 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12859/statm: 2287 267 226 213 0 72 0
[pid=12860] ppid=12859 vsize=146932 CPUtime=3.19 cores=1,3,5,7
/proc/12860/stat : 12860 (glucose) R 12859 12733 6342 0 -1 4202496 18258 0 0 0 313 6 0 0 20 0 1 0 284751014 150458368 32718 33554432000 4194304 5208918 140734654544480 140734654542376 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12860/statm: 36733 32718 95 248 0 36482 0
Current children cumulated CPU time (s) 478.71
Current children cumulated vsize (KiB) 466388

[startup+481.6 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 12860
/proc/meminfo: memFree=29504988/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301160 CPUtime=480.23 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 34159 331083 0 0 1351 218 46141 313 20 0 1 0 284703334 308387840 54144 33554432000 4194304 5990268 140735930564416 140735930556432 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75290 54144 165 439 0 74847 0
Current children cumulated CPU time (s) 480.23
Current children cumulated vsize (KiB) 310308

[startup+482.4 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 12867
/proc/meminfo: memFree=29628264/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301160 CPUtime=480.38 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 34275 331598 0 0 1351 218 46141 328 20 0 1 0 284703334 308387840 54144 33554432000 4194304 5990268 140735930564416 140735930555856 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75290 54144 165 439 0 74847 0
[pid=12866] ppid=12734 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12866/stat : 12866 (satsolver.sh) S 12734 12733 6342 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284751504 9367552 267 33554432000 4194304 5064252 140737228353760 140737228352672 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12866/statm: 2287 267 226 213 0 72 0
[pid=12867] ppid=12866 vsize=105560 CPUtime=0.68 cores=1,3,5,7
/proc/12867/stat : 12867 (glucose) R 12866 12733 6342 0 -1 4202496 8872 0 0 0 65 3 0 0 20 0 1 0 284751505 108093440 19434 33554432000 4194304 5208918 140736671253616 140736670203080 4221649 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12867/statm: 26390 19434 70 248 0 26139 0
Current children cumulated CPU time (s) 481.06
Current children cumulated vsize (KiB) 425016

[startup+482.8 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 12867
/proc/meminfo: memFree=29628264/32873648 swapFree=7116/7116
[pid=12733] ppid=12731 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12733/stat : 12733 (npSolver-wbo-I.) S 12731 12733 6342 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284703333 9367552 275 33554432000 4194304 5064252 140735028529584 140735028528496 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12733/statm: 2287 275 233 213 0 72 0
[pid=12734] ppid=12733 vsize=301160 CPUtime=481.37 cores=1,3,5,7
/proc/12734/stat : 12734 (npSolver-wbo) S 12733 12733 6342 0 -1 4202496 34308 345253 0 0 1351 218 46234 334 20 0 1 0 284703334 308387840 54144 33554432000 4194304 5990268 140735930564416 140735930556432 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/12734/statm: 75290 54144 165 439 0 74847 0
Current children cumulated CPU time (s) 481.37
Current children cumulated vsize (KiB) 310308

Child status: 0
Real time (s): 482.88
CPU time (s): 481.581
CPU user time (s): 475.867
CPU system time (s): 5.71413
CPU usage (%): 99.731
Max. virtual memory (cumulated for all children) (KiB): 602056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 475.867
system time used= 5.71413
maximum resident set size= 304848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 380919
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2781600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1484
involuntary context switches= 634

runsolver used 0.861868 second user time and 2.17367 second system time

The end