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-3715119-1338224033/watcher-3715119-1338224033 -o /tmp/evaluation-result-3715119-1338224033/solver-3715119-1338224033 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715119-1338224033.wbo 810153593 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: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[startup+0.015278 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10027 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300308 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 1.93 2.04 2.00 3/179 24116
/proc/meminfo: memFree=29604884/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50043 s]
/proc/loadavg: 1.93 2.04 2.00 3/183 24130
/proc/meminfo: memFree=29582360/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=3368 CPUtime=1.48 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) R 24116 24116 12592 0 -1 4202496 2743 13998 0 0 8 1 135 4 20 0 1 0 288527695 3448832 462 33554432000 4194304 5990268 140733818702928 140733818694928 5042551 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 842 462 166 439 0 399 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12516
[startup+3.10044 s]
/proc/loadavg: 1.93 2.04 2.00 3/183 24137
/proc/meminfo: memFree=29578640/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11304 CPUtime=1.54 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 4150 13998 0 0 14 1 135 4 20 0 1 0 288527695 11575296 2378 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2826 2378 166 439 0 2383 0
[pid=24136] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24136/stat : 24136 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288527851 9367552 266 33554432000 4194304 5064252 140736441615104 140736441614016 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24136/statm: 2287 266 226 213 0 72 0
[pid=24137] ppid=24136 vsize=16696 CPUtime=1.52 cores=1,3,5,7
/proc/24137/stat : 24137 (glucose) R 24136 24116 12592 0 -1 4202496 4249 0 0 0 152 0 0 0 20 0 1 0 288527852 17096704 3546 33554432000 4194304 5208918 140735429027168 140735429024920 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24137/statm: 4174 3546 105 248 0 3923 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 46296
[startup+6.30033 s]
/proc/loadavg: 1.94 2.04 2.00 2/182 24142
/proc/meminfo: memFree=29590148/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=5.32 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 5820 22672 0 0 19 2 503 8 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 20404
[startup+12.7004 s]
/proc/loadavg: 1.94 2.04 2.00 3/183 24158
/proc/meminfo: memFree=29579940/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=11.25 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 9160 36521 0 0 31 4 1074 16 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24157] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24157/stat : 24157 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288528840 9367552 266 33554432000 4194304 5064252 140735396870944 140735396869856 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24157/statm: 2287 266 226 213 0 72 0
[pid=24158] ppid=24157 vsize=15416 CPUtime=1.24 cores=1,3,5,7
/proc/24158/stat : 24158 (glucose) R 24157 24116 12592 0 -1 4202496 4056 0 0 0 123 1 0 0 20 0 1 0 288528840 15785984 3249 33554432000 4194304 5208918 140734371818304 140734371816152 4211670 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24158/statm: 3854 3249 105 248 0 3603 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 44968
[startup+25.5004 s]
/proc/loadavg: 1.95 2.03 2.00 3/183 24186
/proc/meminfo: memFree=29580488/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=24.89 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 15840 65536 0 0 53 8 2397 31 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24185] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24185/stat : 24185 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288530203 9367552 267 33554432000 4194304 5064252 140734395423296 140734395422208 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24185/statm: 2287 267 226 213 0 72 0
[pid=24186] ppid=24185 vsize=13452 CPUtime=0.4 cores=1,3,5,7
/proc/24186/stat : 24186 (glucose) R 24185 24116 12592 0 -1 4202496 3631 0 0 0 40 0 0 0 20 0 1 0 288530204 13774848 3065 33554432000 4194304 5208918 140735902103600 140734395422232 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24186/statm: 3363 3065 104 248 0 3112 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 43004
[startup+51.1004 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 24235
/proc/meminfo: memFree=29577860/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=48.42 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 27530 119491 0 0 93 14 4680 55 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24234] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24234/stat : 24234 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288532561 9367552 267 33554432000 4194304 5064252 140736300667856 140736300666768 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24234/statm: 2287 267 226 213 0 72 0
[pid=24235] ppid=24234 vsize=15688 CPUtime=2.42 cores=1,3,5,7
/proc/24235/stat : 24235 (glucose) R 24234 24116 12592 0 -1 4202496 3629 0 0 0 242 0 0 0 20 0 1 0 288532561 16064512 3499 33554432000 4194304 5208918 140736188127904 140736188125656 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24235/statm: 3922 3499 105 248 0 3671 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 45240
[startup+102.307 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 24333
/proc/meminfo: memFree=29573368/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=98.91 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 50910 223604 0 0 171 27 9590 103 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24332] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24332/stat : 24332 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288537611 9367552 267 33554432000 4194304 5064252 140735431961856 140735431960768 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24332/statm: 2287 267 226 213 0 72 0
[pid=24333] ppid=24332 vsize=15676 CPUtime=3.13 cores=1,3,5,7
/proc/24333/stat : 24333 (glucose) R 24332 24116 12592 0 -1 4202496 3708 0 0 0 313 0 0 0 20 0 1 0 288537611 16052224 3596 33554432000 4194304 5208918 140734615005408 140734615003080 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24333/statm: 3919 3596 105 248 0 3668 0
Current children cumulated CPU time (s) 102.04
Current children cumulated vsize (KiB) 45228
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 24463
/proc/meminfo: memFree=29582516/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=161.39 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 82640 363683 0 0 277 43 15651 168 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
Current children cumulated CPU time (s) 161.39
Current children cumulated vsize (KiB) 20404
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24600
/proc/meminfo: memFree=29574708/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11256 CPUtime=220.22 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 114370 501885 0 0 381 62 21343 236 20 0 1 0 288527695 11526144 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24117/statm: 2814 2357 166 439 0 2371 0
[pid=24599] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11220 CPUtime=461.68 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 237958 1041217 0 0 786 126 44763 493 20 0 1 0 288527695 11489280 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24117/statm: 2805 2357 166 439 0 2362 0
Current children cumulated CPU time (s) 461.68
Current children cumulated vsize (KiB) 20368
[startup+522.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/183 25320
/proc/meminfo: memFree=29573340/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11176 CPUtime=518.75 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 279758 1206566 0 0 902 145 50260 568 20 0 1 0 288527695 11444224 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24117/statm: 2794 2357 166 439 0 2351 0
[pid=25319] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25319/stat : 25319 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288579627 9367552 267 33554432000 4194304 5064252 140734126696224 140734126695136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25319/statm: 2287 267 226 213 0 72 0
[pid=25320] ppid=25319 vsize=14568 CPUtime=2.96 cores=1,3,5,7
/proc/25320/stat : 25320 (glucose) R 25319 24116 12592 0 -1 4202496 3532 0 0 0 296 0 0 0 20 0 1 0 288579628 14917632 3102 33554432000 4194304 5208918 140734495504592 140734495500968 4231478 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25320/statm: 3642 3102 105 248 0 3391 0
Current children cumulated CPU time (s) 521.71
Current children cumulated vsize (KiB) 44040
[startup+582.3 s]
/proc/loadavg: 1.91 1.97 1.98 3/183 25572
/proc/meminfo: memFree=29575628/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11104 CPUtime=581.18 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 341623 1441030 0 0 1049 174 56228 667 20 0 1 0 288527695 11370496 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 2776 2357 166 439 0 2333 0
Current children cumulated CPU time (s) 581.18
Current children cumulated vsize (KiB) 20252
Solver just ended. Dumping a history of the last processes samples
[startup+588.7 s]
/proc/loadavg: 1.92 1.97 1.98 3/183 25607
/proc/meminfo: memFree=29577008/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=11092 CPUtime=587.29 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 348311 1466121 0 0 1063 177 56813 676 20 0 1 0 288527695 11358208 2357 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 2773 2357 166 439 0 2330 0
[pid=25606] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25606/stat : 25606 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288586503 9367552 267 33554432000 4194304 5064252 140733337642368 140733337641280 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25606/statm: 2287 267 226 213 0 72 0
[pid=25607] ppid=25606 vsize=11004 CPUtime=0.61 cores=1,3,5,7
/proc/25607/stat : 25607 (glucose) R 25606 24116 12592 0 -1 4202496 2763 0 0 0 61 0 0 0 20 0 1 0 288586503 11268096 2263 33554432000 4194304 5208918 140734413184528 140733337641304 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25607/statm: 2751 2263 104 248 0 2500 0
Current children cumulated CPU time (s) 587.9
Current children cumulated vsize (KiB) 40392
[startup+614.3 s]
/proc/loadavg: 1.95 1.97 1.98 3/183 25740
/proc/meminfo: memFree=29582024/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=612.41 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 374564 1578652 0 0 1127 187 59200 727 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
[pid=25739] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25739/stat : 25739 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288589015 9367552 266 33554432000 4194304 5064252 140733683572224 140733683571136 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25739/statm: 2287 266 226 213 0 72 0
[pid=25740] ppid=25739 vsize=10408 CPUtime=1.09 cores=1,3,5,7
/proc/25740/stat : 25740 (glucose) R 25739 24116 12592 0 -1 4202496 2555 0 0 0 109 0 0 0 20 0 1 0 288589015 10657792 2179 33554432000 4194304 5208918 140736224820256 140736224818104 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25740/statm: 2602 2179 105 248 0 2351 0
Current children cumulated CPU time (s) 613.5
Current children cumulated vsize (KiB) 35672
[startup+627.1 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25824
/proc/meminfo: memFree=29581900/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=626.28 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 387926 1648490 0 0 1161 192 60520 755 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818693840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 626.28
Current children cumulated vsize (KiB) 16116
[startup+630.307 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25873
/proc/meminfo: memFree=29584140/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=629.29 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 394827 1681763 0 0 1177 193 60790 769 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
[pid=25872] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25872/stat : 25872 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288590704 9367552 267 33554432000 4194304 5064252 140736074499456 140736074498368 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25872/statm: 2287 267 226 213 0 72 0
[pid=25873] ppid=25872 vsize=7832 CPUtime=0.2 cores=1,3,5,7
/proc/25873/stat : 25873 (glucose) R 25872 24116 12592 0 -1 4202496 2111 0 0 0 20 0 0 0 20 0 1 0 288590705 8019968 1565 33554432000 4194304 5208918 140736856599744 140736074498392 4229328 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25873/statm: 1958 1565 103 248 0 1707 0
Current children cumulated CPU time (s) 629.49
Current children cumulated vsize (KiB) 33096
[startup+631.9 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25887
/proc/meminfo: memFree=29584016/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=631.05 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 398692 1703077 0 0 1185 195 60948 777 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 631.05
Current children cumulated vsize (KiB) 16116
[startup+632.7 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25908
/proc/meminfo: memFree=29584264/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=631.89 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 400595 1712530 0 0 1189 195 61024 781 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 631.89
Current children cumulated vsize (KiB) 16116
[startup+633.5 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25929
/proc/meminfo: memFree=29588852/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=632.7 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 402491 1723515 0 0 1193 196 61096 785 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818694352 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
[pid=25928] ppid=24117 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25928/stat : 25928 (satsolver.sh) S 24117 24116 12592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288591044 9367552 267 33554432000 4194304 5064252 140733610003856 140733610002768 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25928/statm: 2287 267 226 213 0 72 0
[pid=25929] ppid=25928 vsize=8336 CPUtime=0 cores=1,3,5,7
/proc/25929/stat : 25929 (glucose) R 25928 24116 12592 0 -1 4202496 957 0 0 0 0 0 0 0 20 0 1 0 288591045 8536064 846 33554432000 4194304 5208918 140734006698288 140733610002792 4545360 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25929/statm: 2084 857 70 248 0 1833 0
Current children cumulated CPU time (s) 632.7
Current children cumulated vsize (KiB) 33600
[startup+633.9 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25929
/proc/meminfo: memFree=29588852/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=633.05 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 403430 1732494 0 0 1195 196 61126 788 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818693840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 633.05
Current children cumulated vsize (KiB) 16116
[startup+634 s]
/proc/loadavg: 1.96 1.97 1.98 3/183 25929
/proc/meminfo: memFree=29588852/32873844 swapFree=7628/7628
[pid=24116] ppid=24114 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24116/stat : 24116 (npSolver-wbo-It) S 24114 24116 12592 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288527695 9367552 275 33554432000 4194304 5064252 140733973669504 140733973668416 254750123598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24116/statm: 2287 275 233 213 0 72 0
[pid=24117] ppid=24116 vsize=6968 CPUtime=633.19 cores=1,3,5,7
/proc/24117/stat : 24117 (npSolver-wbo) S 24116 24116 12592 0 -1 4202496 404057 1742113 0 0 1196 196 61134 793 20 0 1 0 288527695 7135232 1370 33554432000 4194304 5990268 140733818702928 140733818693840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 2 0 0
/proc/24117/statm: 1742 1370 166 439 0 1299 0
Current children cumulated CPU time (s) 633.19
Current children cumulated vsize (KiB) 16116
Child status: 0
Real time (s): 634.007
CPU time (s): 633.227
CPU user time (s): 623.312
CPU system time (s): 9.91449
CPU usage (%): 99.8769
Max. virtual memory (cumulated for all children) (KiB): 52548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 623.312
system time used= 9.91449
maximum resident set size= 21296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2149801
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1572288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8392
involuntary context switches= 3363
runsolver used 1.36079 second user time and 3.85541 second system time
The end