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-3754286-1339188903/watcher-3754286-1339188903 -o /tmp/evaluation-result-3754286-1339188903/solver-3754286-1339188903 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3754286-1339188903.wbo 529012147 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.02 2.03 2.00 3/177 6137
/proc/meminfo: memFree=29859752/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[startup+0.0943919 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 6137
/proc/meminfo: memFree=29859752/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100172 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 6137
/proc/meminfo: memFree=29859752/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300276 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 6137
/proc/meminfo: memFree=29859752/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700155 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 6137
/proc/meminfo: memFree=29859752/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 6151
/proc/meminfo: memFree=29788272/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=37940 CPUtime=0.33 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 4711 5810 0 0 19 4 9 1 20 0 1 0 385018845 38850560 7940 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 9485 7940 179 443 0 9038 0
[pid=6150] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6150/stat : 6150 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385018879 9367552 267 33554432000 4194304 5064252 140734020990576 140734020989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6150/statm: 2287 267 226 213 0 72 0
[pid=6151] ppid=6150 vsize=34944 CPUtime=1.14 cores=0,2,4,6
/proc/6151/stat : 6151 (glucose) R 6150 6137 23558 0 -1 4202496 8869 0 0 0 112 2 0 0 20 0 1 0 385018880 35782656 7613 33554432000 4194304 5208918 140736730563360 140736730561208 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6151/statm: 8736 7613 104 248 0 8485 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 91180
[startup+3.10034 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 6151
/proc/meminfo: memFree=29787776/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=37940 CPUtime=0.33 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 4711 5810 0 0 19 4 9 1 20 0 1 0 385018845 38850560 7940 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 9485 7940 179 443 0 9038 0
[pid=6150] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6150/stat : 6150 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385018879 9367552 267 33554432000 4194304 5064252 140734020990576 140734020989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6150/statm: 2287 267 226 213 0 72 0
[pid=6151] ppid=6150 vsize=35400 CPUtime=2.74 cores=0,2,4,6
/proc/6151/stat : 6151 (glucose) R 6150 6137 23558 0 -1 4202496 9055 0 0 0 272 2 0 0 20 0 1 0 385018880 36249600 7792 33554432000 4194304 5208918 140736730563360 140736730561320 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6151/statm: 8850 7792 104 248 0 8599 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 91636
[startup+6.3004 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 6151
/proc/meminfo: memFree=29783044/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=37940 CPUtime=0.33 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 4711 5810 0 0 19 4 9 1 20 0 1 0 385018845 38850560 7940 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 9485 7940 179 443 0 9038 0
[pid=6150] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6150/stat : 6150 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385018879 9367552 267 33554432000 4194304 5064252 140734020990576 140734020989488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6150/statm: 2287 267 226 213 0 72 0
[pid=6151] ppid=6150 vsize=40104 CPUtime=5.94 cores=0,2,4,6
/proc/6151/stat : 6151 (glucose) R 6150 6137 23558 0 -1 4202496 9292 0 0 0 592 2 0 0 20 0 1 0 385018880 41066496 8539 33554432000 4194304 5208918 140736730563360 140736730561032 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/6151/statm: 10026 8539 104 248 0 9775 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 96340
[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 6165
/proc/meminfo: memFree=29815296/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=37940 CPUtime=9.65 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 7304 19862 0 0 33 5 920 7 20 0 1 0 385018845 38850560 7625 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 9485 7625 179 443 0 9038 0
[pid=6157] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6157/stat : 6157 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385019813 9367552 267 33554432000 4194304 5064252 140735789712512 140735789711424 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6157/statm: 2287 267 226 213 0 72 0
[pid=6158] ppid=6157 vsize=31588 CPUtime=3.01 cores=0,2,4,6
/proc/6158/stat : 6158 (glucose) R 6157 6137 23558 0 -1 4202496 7459 0 0 0 300 1 0 0 20 0 1 0 385019813 32346112 7141 33554432000 4194304 5208918 140735719478224 140735719476072 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6158/statm: 7897 7141 105 248 0 7646 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 87824
[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6179
/proc/meminfo: memFree=29794104/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=22.61 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9468 31074 0 0 42 6 2201 12 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6178] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6178/stat : 6178 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385021110 9367552 267 33554432000 4194304 5064252 140735145470304 140735145469216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6178/statm: 2287 267 226 213 0 72 0
[pid=6179] ppid=6178 vsize=66736 CPUtime=2.83 cores=0,2,4,6
/proc/6179/stat : 6179 (glucose) R 6178 6137 23558 0 -1 4202496 14016 0 0 0 281 2 0 0 20 0 1 0 385021110 68337664 14349 33554432000 4194304 5208918 140735678798432 140735678796840 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6179/statm: 16684 14349 95 248 0 16433 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 106056
[startup+51.1003 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 6186
/proc/meminfo: memFree=29785656/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=22.61 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9468 31074 0 0 42 6 2201 12 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6178] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6178/stat : 6178 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385021110 9367552 267 33554432000 4194304 5064252 140735145470304 140735145469216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6178/statm: 2287 267 226 213 0 72 0
[pid=6179] ppid=6178 vsize=74464 CPUtime=28.43 cores=0,2,4,6
/proc/6179/stat : 6179 (glucose) R 6178 6137 23558 0 -1 4202496 14590 0 0 0 2841 2 0 0 20 0 1 0 385021110 76251136 15300 33554432000 4194304 5208918 140735678798432 140735678796392 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6179/statm: 18616 15300 95 248 0 18365 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 113784
[startup+102.306 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 6207
/proc/meminfo: memFree=29779752/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=22.61 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9468 31074 0 0 42 6 2201 12 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6178] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6178/stat : 6178 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385021110 9367552 267 33554432000 4194304 5064252 140735145470304 140735145469216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6178/statm: 2287 267 226 213 0 72 0
[pid=6179] ppid=6178 vsize=75032 CPUtime=79.63 cores=0,2,4,6
/proc/6179/stat : 6179 (glucose) R 6178 6137 23558 0 -1 4202496 15856 0 0 0 7960 3 0 0 20 0 1 0 385021110 76832768 16183 33554432000 4194304 5208918 140735678798432 140735678796392 4211620 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6179/statm: 18758 16183 96 248 0 18507 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 114352
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 6285
/proc/meminfo: memFree=29746664/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=22.61 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9468 31074 0 0 42 6 2201 12 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6178] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/6178/statm: 2287 267 226 213 0 72 0
[pid=6179] ppid=6178 vsize=117128 CPUtime=1219.44 cores=0,2,4,6
/proc/6179/stat : 6179 (glucose) R 6178 6137 23558 0 -1 4202496 18485 0 0 0 121939 5 0 0 20 0 1 0 385021110 119939072 27849 33554432000 4194304 5208918 140735678798432 140735678796520 4211641 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6179/statm: 29282 27849 96 248 0 29031 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 156448
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6835
/proc/meminfo: memFree=29111968/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=22.61 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9468 31074 0 0 42 6 2201 12 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6178] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6178/stat : 6178 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385021110 9367552 267 33554432000 4194304 5064252 140735145470304 140735145469216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6178/statm: 2287 267 226 213 0 72 0
[pid=6179] ppid=6178 vsize=117128 CPUtime=1279.43 cores=0,2,4,6
/proc/6179/stat : 6179 (glucose) R 6178 6137 23558 0 -1 4202496 18485 0 0 0 127938 5 0 0 20 0 1 0 385021110 119939072 27849 33554432000 4194304 5208918 140735678798432 140735678796520 4211501 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6179/statm: 29282 27849 96 248 0 29031 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 156448
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6835
/proc/meminfo: memFree=29081000/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=22.61 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9468 31074 0 0 42 6 2201 12 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6178] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6178/stat : 6178 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 385021110 9367552 267 33554432000 4194304 5064252 140735145470304 140735145469216 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6178/statm: 2287 267 226 213 0 72 0
[pid=6179] ppid=6178 vsize=166448 CPUtime=1339.42 cores=0,2,4,6
/proc/6179/stat : 6179 (glucose) R 6178 6137 23558 0 -1 4202496 18603 0 0 0 133936 6 0 0 20 0 1 0 385021110 170442752 35632 33554432000 4194304 5208918 140735678798432 140735678796424 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6179/statm: 41612 35632 96 248 0 41361 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 205768
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6856
/proc/meminfo: memFree=29213612/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=1412.18 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9876 69356 0 0 43 7 141136 32 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6855] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6855/stat : 6855 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385160089 9367552 267 33554432000 4194304 5064252 140736854926768 140736854925680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6855/statm: 2287 267 226 213 0 72 0
[pid=6856] ppid=6855 vsize=21460 CPUtime=9.84 cores=0,2,4,6
/proc/6856/stat : 6856 (glucose) R 6855 6137 23558 0 -1 4202496 3776 0 0 0 984 0 0 0 20 0 1 0 385160089 21975040 4196 33554432000 4194304 5208918 140734794958848 140734794956792 4212457 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6856/statm: 5365 4196 96 248 0 5114 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 60780
Solver just ended. Dumping a history of the last processes samples
[startup+1427.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 6856
/proc/meminfo: memFree=29211324/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=1412.18 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9876 69356 0 0 43 7 141136 32 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6855] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6855/stat : 6855 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385160089 9367552 267 33554432000 4194304 5064252 140736854926768 140736854925680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6855/statm: 2287 267 226 213 0 72 0
[pid=6856] ppid=6855 vsize=21460 CPUtime=14.63 cores=0,2,4,6
/proc/6856/stat : 6856 (glucose) R 6855 6137 23558 0 -1 4202496 4000 0 0 0 1463 0 0 0 20 0 1 0 385160089 21975040 4924 33554432000 4194304 5208918 140734794958848 140734794956792 4211656 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6856/statm: 5365 4924 96 248 0 5114 0
Current children cumulated CPU time (s) 1426.81
Current children cumulated vsize (KiB) 60780
[startup+1433.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6857
/proc/meminfo: memFree=29211316/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=1412.18 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9876 69356 0 0 43 7 141136 32 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6855] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6855/stat : 6855 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385160089 9367552 267 33554432000 4194304 5064252 140736854926768 140736854925680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6855/statm: 2287 267 226 213 0 72 0
[pid=6856] ppid=6855 vsize=21460 CPUtime=21.03 cores=0,2,4,6
/proc/6856/stat : 6856 (glucose) R 6855 6137 23558 0 -1 4202496 4006 0 0 0 2103 0 0 0 20 0 1 0 385160089 21975040 4930 33554432000 4194304 5208918 140734794958848 140734794956792 4229483 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6856/statm: 5365 4930 102 248 0 5114 0
Current children cumulated CPU time (s) 1433.21
Current children cumulated vsize (KiB) 60780
[startup+1436.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6857
/proc/meminfo: memFree=29211316/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=1412.18 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9876 69356 0 0 43 7 141136 32 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6855] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6855/stat : 6855 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385160089 9367552 267 33554432000 4194304 5064252 140736854926768 140736854925680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6855/statm: 2287 267 226 213 0 72 0
[pid=6856] ppid=6855 vsize=21460 CPUtime=24.23 cores=0,2,4,6
/proc/6856/stat : 6856 (glucose) R 6855 6137 23558 0 -1 4202496 4006 0 0 0 2423 0 0 0 20 0 1 0 385160089 21975040 4930 33554432000 4194304 5208918 140734794958848 140734794956792 4229338 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6856/statm: 5365 4930 102 248 0 5114 0
Current children cumulated CPU time (s) 1436.41
Current children cumulated vsize (KiB) 60780
[startup+1437.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6857
/proc/meminfo: memFree=29211316/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=1412.18 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9876 69356 0 0 43 7 141136 32 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6855] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6855/stat : 6855 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385160089 9367552 267 33554432000 4194304 5064252 140736854926768 140736854925680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6855/statm: 2287 267 226 213 0 72 0
[pid=6856] ppid=6855 vsize=28532 CPUtime=25.03 cores=0,2,4,6
/proc/6856/stat : 6856 (glucose) R 6855 6137 23558 0 -1 4202496 4090 0 0 0 2503 0 0 0 20 0 1 0 385160089 29216768 5524 33554432000 4194304 5208918 140734794958848 140734794956792 4231508 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6856/statm: 7133 5524 102 248 0 6882 0
Current children cumulated CPU time (s) 1437.21
Current children cumulated vsize (KiB) 67852
[startup+1437.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6857
/proc/meminfo: memFree=29208772/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=1412.18 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9876 69356 0 0 43 7 141136 32 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6855] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6855/stat : 6855 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385160089 9367552 267 33554432000 4194304 5064252 140736854926768 140736854925680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6855/statm: 2287 267 226 213 0 72 0
[pid=6856] ppid=6855 vsize=28532 CPUtime=25.43 cores=0,2,4,6
/proc/6856/stat : 6856 (glucose) R 6855 6137 23558 0 -1 4202496 4182 0 0 0 2543 0 0 0 20 0 1 0 385160089 29216768 5610 33554432000 4194304 5208918 140734794958848 140734794956792 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6856/statm: 7133 5610 102 248 0 6882 0
Current children cumulated CPU time (s) 1437.61
Current children cumulated vsize (KiB) 67852
[startup+1438.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 6857
/proc/meminfo: memFree=29208772/32873844 swapFree=7120/7120
[pid=6137] ppid=6135 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6137/stat : 6137 (npSolver-wbo-I.) S 6135 6137 23558 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 385018845 9367552 275 33554432000 4194304 5064252 140734793874768 140734793873680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6137/statm: 2287 275 233 213 0 72 0
[pid=6138] ppid=6137 vsize=21024 CPUtime=1412.18 cores=0,2,4,6
/proc/6138/stat : 6138 (npSolver-wbo) S 6137 6137 23558 0 -1 4202496 9876 69356 0 0 43 7 141136 32 20 0 1 0 385018845 21528576 4641 33554432000 4194304 6006132 140736742416192 140736742407600 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6138/statm: 5256 4641 181 443 0 4809 0
[pid=6855] ppid=6138 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6855/stat : 6855 (satsolver.sh) S 6138 6137 23558 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 385160089 9367552 267 33554432000 4194304 5064252 140736854926768 140736854925680 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6855/statm: 2287 267 226 213 0 72 0
[pid=6856] ppid=6855 vsize=14696 CPUtime=25.83 cores=0,2,4,6
/proc/6856/stat : 6856 (glucose) R 6855 6137 23558 0 -1 4202496 4199 0 0 0 2583 0 0 0 20 0 1 0 385160089 15048704 3115 33554432000 4194304 5208918 140734794958848 140734794956808 4229460 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6856/statm: 3674 3115 102 248 0 3423 0
Current children cumulated CPU time (s) 1438.01
Current children cumulated vsize (KiB) 54016
Child status: 0
Real time (s): 1438.38
CPU time (s): 1438.13
CPU user time (s): 1437.71
CPU system time (s): 0.417936
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 205768
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1437.71
system time used= 0.417936
maximum resident set size= 144576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87323
page faults= 0
swaps= 0
block input operations= 0
block output operations= 60232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 695
involuntary context switches= 1847
runsolver used 3.06053 second user time and 7.68483 second system time
The end