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-3752796-1339212121/watcher-3752796-1339212121 -o /tmp/evaluation-result-3752796-1339212121/solver-3752796-1339212121 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752796-1339212121.wbo 1632704087 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.01 2.01 2.00 3/177 26000
/proc/meminfo: memFree=29200408/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[startup+0.087536 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26000
/proc/meminfo: memFree=29200408/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26000
/proc/meminfo: memFree=29200408/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300281 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26000
/proc/meminfo: memFree=29200408/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26000
/proc/meminfo: memFree=29200408/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/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.01 2.01 2.00 4/181 26004
/proc/meminfo: memFree=29078316/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=55968 CPUtime=0.76 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 8092 0 0 0 57 19 0 0 20 0 1 0 387340654 57311232 13653 33554432000 4194304 6006132 140735225418448 140735225411552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26001/statm: 13992 13653 155 443 0 13545 0
[pid=26003] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (cp2_pre.sh) S 26001 26000 8900 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 387340731 9367552 277 33554432000 4194304 5064252 140735643674736 140735643673440 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26003/statm: 2287 277 234 213 0 72 0
[pid=26004] ppid=26003 vsize=71320 CPUtime=0.71 cores=0,2,4,6
/proc/26004/stat : 26004 (coprocessor) R 26003 26000 8900 0 -1 4202496 12430 0 0 0 70 1 0 0 20 0 1 0 387340731 73031680 16915 33554432000 4194304 6586260 140735385094400 140735385089992 5599209 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26004/statm: 17830 16915 189 584 0 17242 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 145584
[startup+3.10028 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 26004
/proc/meminfo: memFree=29076076/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=55968 CPUtime=0.76 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 8092 0 0 0 57 19 0 0 20 0 1 0 387340654 57311232 13653 33554432000 4194304 6006132 140735225418448 140735225411552 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26001/statm: 13992 13653 155 443 0 13545 0
[pid=26003] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26003/stat : 26003 (cp2_pre.sh) S 26001 26000 8900 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 387340731 9367552 277 33554432000 4194304 5064252 140735643674736 140735643673440 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26003/statm: 2287 277 234 213 0 72 0
[pid=26004] ppid=26003 vsize=72244 CPUtime=2.31 cores=0,2,4,6
/proc/26004/stat : 26004 (coprocessor) R 26003 26000 8900 0 -1 4202496 12672 0 0 0 230 1 0 0 20 0 1 0 387340731 73977856 17157 33554432000 4194304 6586260 140735385094400 140735385089992 5599279 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/26004/statm: 18061 17157 189 584 0 17473 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 146508
[startup+6.30029 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 26014
/proc/meminfo: memFree=29057620/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=72564 CPUtime=4.31 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 11855 23551 0 0 70 30 326 5 20 0 1 0 387340654 74305536 17772 33554432000 4194304 6006132 140735225418448 140735225409808 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26001/statm: 18141 17772 175 443 0 17694 0
[pid=26013] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26013/stat : 26013 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387341088 9367552 266 33554432000 4194304 5064252 140737025720800 140737025719712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=68720 CPUtime=1.95 cores=0,2,4,6
/proc/26014/stat : 26014 (glucose) R 26013 26000 8900 0 -1 4202496 13057 0 0 0 193 2 0 0 20 0 1 0 387341088 70369280 14638 33554432000 4194304 5208918 140737352569376 140737352567048 4211584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26014/statm: 17180 14638 95 248 0 16929 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 159580
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 26014
/proc/meminfo: memFree=29054704/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=72564 CPUtime=4.31 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 11855 23551 0 0 70 30 326 5 20 0 1 0 387340654 74305536 17772 33554432000 4194304 6006132 140735225418448 140735225409808 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26001/statm: 18141 17772 175 443 0 17694 0
[pid=26013] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26013/stat : 26013 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 387341088 9367552 266 33554432000 4194304 5064252 140737025720800 140737025719712 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26013/statm: 2287 266 226 213 0 72 0
[pid=26014] ppid=26013 vsize=68720 CPUtime=8.35 cores=0,2,4,6
/proc/26014/stat : 26014 (glucose) R 26013 26000 8900 0 -1 4202496 13057 0 0 0 833 2 0 0 20 0 1 0 387341088 70369280 14638 33554432000 4194304 5208918 140737352569376 140737352567048 4211537 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/26014/statm: 17180 14638 95 248 0 16929 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 159580
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26019
/proc/meminfo: memFree=28344380/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1189852 CPUtime=25.47 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) R 26000 26000 8900 0 -1 4202496 37255 40402 0 0 1038 59 1440 10 20 0 1 0 387340654 1218408448 216500 33554432000 4194304 6006132 140735225418448 140735225410792 4537305 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26001/statm: 297463 216500 192 443 0 297016 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1199000
[startup+51.1004 s]
/proc/loadavg: 2.20 2.05 2.01 3/179 26071
/proc/meminfo: memFree=25405148/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2161636 CPUtime=21.48 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 248140 0 0 0 2047 101 0 0 20 0 1 0 387343614 2213515264 480658 33554432000 4194304 5208918 140734363394032 140734363391880 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 540409 480658 104 248 0 540158 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 3286224
[startup+102.307 s]
/proc/loadavg: 2.50 2.15 2.05 3/181 26073
/proc/meminfo: memFree=20238780/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2164368 CPUtime=72.68 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 248677 0 0 0 7167 101 0 0 20 0 1 0 387343614 2216312832 481706 33554432000 4194304 5208918 140734363394032 140734363391704 4211013 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541092 481706 104 248 0 540841 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 3288956
[startup+162.3 s]
/proc/loadavg: 2.22 2.13 2.05 3/181 26073
/proc/meminfo: memFree=20239524/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2164368 CPUtime=132.66 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 248678 0 0 0 13165 101 0 0 20 0 1 0 387343614 2216312832 481707 33554432000 4194304 5208918 140734363394032 140734363391704 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541092 481707 104 248 0 540841 0
Current children cumulated CPU time (s) 162.17
################
# More data... #
################
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 248923 0 0 0 133145 102 0 0 20 0 1 0 387343614 2216771584 482491 33554432000 4194304 5208918 140734363394032 140734363391992 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541204 482491 104 248 0 540953 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 3289404
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26085
/proc/meminfo: memFree=20204216/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2164816 CPUtime=1392.46 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 248923 0 0 0 139144 102 0 0 20 0 1 0 387343614 2216771584 482491 33554432000 4194304 5208918 140734363394032 140734363391992 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541204 482491 104 248 0 540953 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 3289404
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26085
/proc/meminfo: memFree=20200060/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2164816 CPUtime=1452.45 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 248924 0 0 0 145143 102 0 0 20 0 1 0 387343614 2216771584 482492 33554432000 4194304 5208918 140734363394032 140734363391992 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541204 482492 104 248 0 540953 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 3289404
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26085
/proc/meminfo: memFree=20194104/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2165296 CPUtime=1512.44 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 248991 0 0 0 151142 102 0 0 20 0 1 0 387343614 2217263104 482559 33554432000 4194304 5208918 140734363394032 140734363391992 4211019 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541324 482559 104 248 0 541073 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 3289884
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26085
/proc/meminfo: memFree=20184552/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2167540 CPUtime=1572.44 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 249589 0 0 0 157141 103 0 0 20 0 1 0 387343614 2219560960 483157 33554432000 4194304 5208918 140734363394032 140734363390408 4229552 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541885 483157 104 248 0 541634 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 3292128
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26085
/proc/meminfo: memFree=20184480/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2167540 CPUtime=1632.43 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 249593 0 0 0 163140 103 0 0 20 0 1 0 387343614 2219560960 483161 33554432000 4194304 5208918 140734363394032 140734363390408 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541885 483161 104 248 0 541634 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 3292128
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26089
/proc/meminfo: memFree=20168748/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2167540 CPUtime=1692.42 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 249596 0 0 0 169139 103 0 0 20 0 1 0 387343614 2219560960 483164 33554432000 4194304 5208918 140734363394032 140734363390408 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541885 483164 104 248 0 541634 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 3292128
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26089
/proc/meminfo: memFree=20162592/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2167540 CPUtime=1752.41 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 249597 0 0 0 175138 103 0 0 20 0 1 0 387343614 2219560960 483165 33554432000 4194304 5208918 140734363394032 140734363390408 4211339 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541885 483165 104 248 0 541634 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 3292128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26089
/proc/meminfo: memFree=20162592/32873844 swapFree=7120/7120
[pid=26000] ppid=25998 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26000/stat : 26000 (npSolver-wbo-It) S 25998 26000 8900 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387340654 9367552 275 33554432000 4194304 5064252 140737431215792 140737431214704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26000/statm: 2287 275 233 213 0 72 0
[pid=26001] ppid=26000 vsize=1106292 CPUtime=29.51 cores=0,2,4,6
/proc/26001/stat : 26001 (npSolver-wbo) S 26000 26000 8900 0 -1 4202496 38522 40402 0 0 1309 192 1440 10 20 0 1 0 387340654 1132843008 244762 33554432000 4194304 6006132 140735225418448 140735225409840 5187998 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 4 0 0
/proc/26001/statm: 276573 244762 192 443 0 276126 0
[pid=26020] ppid=26001 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26020/stat : 26020 (satsolver.sh) S 26001 26000 8900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387343613 9367552 266 33554432000 4194304 5064252 140735629255168 140735629254080 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/26020/statm: 2287 266 226 213 0 72 0
[pid=26021] ppid=26020 vsize=2167540 CPUtime=1770.51 cores=0,2,4,6
/proc/26021/stat : 26021 (glucose) R 26020 26000 8900 0 -1 4202496 249597 0 0 0 176948 103 0 0 20 0 1 0 387343614 2219560960 483165 33554432000 4194304 5208918 140734363394032 140734363390408 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26021/statm: 541885 483165 104 248 0 541634 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 3292128
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26000 and gives
# childrusage.ru_utime.tv_sec=27
# childrusage.ru_utime.tv_usec=500819
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=42689
# CPU time returned by wait4() is 29.5435
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.02
CPU user time (s): 1796.97
CPU system time (s): 3.05
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 4163708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.5008
system time used= 2.04269
maximum resident set size= 1901480
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79901
page faults= 0
swaps= 0
block input operations= 32
block output operations= 1877976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 285
involuntary context switches= 95
runsolver used 2.74758 second user time and 7.11792 second system time
The end