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-3753196-1339207800/watcher-3753196-1339207800 -o /tmp/evaluation-result-3753196-1339207800/solver-3753196-1339207800 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3753196-1339207800.wbo 543294959 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.99 1.98 1.85 3/175 471
/proc/meminfo: memFree=29844100/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[startup+0.053107 s]
/proc/loadavg: 1.99 1.98 1.85 3/175 471
/proc/meminfo: memFree=29844100/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 1.99 1.98 1.85 3/175 471
/proc/meminfo: memFree=29844100/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 1.99 1.98 1.85 3/175 471
/proc/meminfo: memFree=29844100/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 1.99 1.98 1.85 3/175 471
/proc/meminfo: memFree=29844100/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 1.99 1.98 1.85 3/182 490
/proc/meminfo: memFree=29772596/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=2420 CPUtime=0.02 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 1846 1780 0 0 0 0 2 0 20 0 1 0 386908424 2478080 281 33554432000 4194304 6006132 140733863695184 140733863689376 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/472/statm: 605 281 157 443 0 158 0
[pid=479] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/479/stat : 479 (satsolver.sh) S 472 471 17664 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386908428 9367552 266 33554432000 4194304 5064252 140733948390496 140733948389408 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/479/statm: 2287 266 226 213 0 72 0
[pid=480] ppid=479 vsize=17536 CPUtime=1.44 cores=1,3,5,7
/proc/480/stat : 480 (glucose) R 479 471 17664 0 -1 4202496 3331 0 0 0 144 0 0 0 20 0 1 0 386908428 17956864 3574 33554432000 4194304 5208918 140736940841456 140736940839400 4211405 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/480/statm: 4384 3574 96 248 0 4133 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 38252
[startup+3.10021 s]
/proc/loadavg: 1.99 1.98 1.85 3/182 497
/proc/meminfo: memFree=29783912/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=2.3 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 3524 8474 0 0 4 1 224 1 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 20080
heavy processes:
[startup+6.30033 s]
/proc/loadavg: 1.99 1.98 1.85 3/182 533
/proc/meminfo: memFree=29747548/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=2.3 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 3524 8474 0 0 4 1 224 1 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=506] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/506/stat : 506 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386908656 9367552 267 33554432000 4194304 5064252 140733591879328 140733591878240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/506/statm: 2287 267 226 213 0 72 0
[pid=507] ppid=506 vsize=31208 CPUtime=3.96 cores=1,3,5,7
/proc/507/stat : 507 (glucose) R 506 471 17664 0 -1 4202496 7608 0 0 0 394 2 0 0 20 0 1 0 386908657 31956992 6720 33554432000 4194304 5208918 140736139223536 140736139221384 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/507/statm: 7802 6720 96 248 0 7551 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 60436
[startup+12.7003 s]
/proc/loadavg: 1.99 1.98 1.85 3/182 616
/proc/meminfo: memFree=29794236/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=2.3 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 3524 8474 0 0 4 1 224 1 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=506] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/506/stat : 506 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386908656 9367552 267 33554432000 4194304 5064252 140733591879328 140733591878240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/506/statm: 2287 267 226 213 0 72 0
[pid=507] ppid=506 vsize=42708 CPUtime=10.36 cores=1,3,5,7
/proc/507/stat : 507 (glucose) R 506 471 17664 0 -1 4202496 8552 0 0 0 1034 2 0 0 20 0 1 0 386908657 43732992 9884 33554432000 4194304 5208918 140736139223536 140736139221480 4229859 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/507/statm: 10677 9884 96 248 0 10426 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 71936
[startup+25.5003 s]
/proc/loadavg: 1.99 1.98 1.86 3/182 644
/proc/meminfo: memFree=29774388/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=2.3 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 3524 8474 0 0 4 1 224 1 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=506] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/506/stat : 506 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386908656 9367552 267 33554432000 4194304 5064252 140733591879328 140733591878240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/506/statm: 2287 267 226 213 0 72 0
[pid=507] ppid=506 vsize=49892 CPUtime=23.16 cores=1,3,5,7
/proc/507/stat : 507 (glucose) R 506 471 17664 0 -1 4202496 9330 0 0 0 2313 3 0 0 20 0 1 0 386908657 51089408 11659 33554432000 4194304 5208918 140736139223536 140736139221400 4229745 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/507/statm: 12473 11659 96 248 0 12222 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 79120
[startup+51.1003 s]
/proc/loadavg: 1.92 1.97 1.85 3/180 705
/proc/meminfo: memFree=29813420/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=2.3 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 3524 8474 0 0 4 1 224 1 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=506] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/506/stat : 506 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386908656 9367552 267 33554432000 4194304 5064252 140733591879328 140733591878240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/506/statm: 2287 267 226 213 0 72 0
[pid=507] ppid=506 vsize=63276 CPUtime=48.75 cores=1,3,5,7
/proc/507/stat : 507 (glucose) R 506 471 17664 0 -1 4202496 9443 0 0 0 4872 3 0 0 20 0 1 0 386908657 64794624 12319 33554432000 4194304 5208918 140736139223536 140736139221480 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/507/statm: 15819 12319 96 248 0 15568 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 92504
[startup+102.307 s]
/proc/loadavg: 2.00 1.98 1.86 3/181 827
/proc/meminfo: memFree=29741812/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=2.3 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 3524 8474 0 0 4 1 224 1 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=506] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/506/stat : 506 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386908656 9367552 267 33554432000 4194304 5064252 140733591879328 140733591878240 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/506/statm: 2287 267 226 213 0 72 0
[pid=507] ppid=506 vsize=82132 CPUtime=99.95 cores=1,3,5,7
/proc/507/stat : 507 (glucose) R 506 471 17664 0 -1 4202496 10635 0 0 0 9991 4 0 0 20 0 1 0 386908657 84103168 19702 33554432000 4194304 5208918 140736139223536 140736139221480 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/507/statm: 20533 19702 96 248 0 20282 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 111360
[startup+162.3 s]
/proc/loadavg: 2.06 2.00 1.87 3/181 983
/proc/meminfo: memFree=29779360/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=144.83 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 5184 22571 0 0 7 2 14464 10 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=938] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/938/stat : 938 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386922911 9367552 266 33554432000 4194304 5064252 140736325996272 140736325995184 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/938/statm: 2287 266 226 213 0 72 0
[pid=939] ppid=938 vsize=42708 CPUtime=17.41 cores=1,3,5,7
/proc/939/stat : 939 (glucose) R 938 471 17664 0 -1 4202496 6103 0 0 0 1739 2 0 0 20 0 1 0 386922911 43732992 9890 33554432000 4194304 5208918 140733422531472 140733422529416 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/939/statm: 10677 9890 96 248 0 10426 0
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/181 3999
/proc/meminfo: memFree=29755188/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1295.69 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 18464 131744 0 0 34 5 129462 68 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=3837] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3837/stat : 3837 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387038016 9367552 266 33554432000 4194304 5064252 140733534081360 140733534080272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3837/statm: 2287 266 226 213 0 72 0
[pid=3838] ppid=3837 vsize=63280 CPUtime=66.35 cores=1,3,5,7
/proc/3838/stat : 3838 (glucose) R 3837 471 17664 0 -1 4202496 10445 0 0 0 6631 4 0 0 20 0 1 0 387038017 64798720 15075 33554432000 4194304 5208918 140736867482112 140736867480200 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3838/statm: 15820 15075 96 248 0 15569 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 92508
[startup+1422.31 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 4146
/proc/meminfo: memFree=29737196/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1295.69 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 18464 131744 0 0 34 5 129462 68 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=3837] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3837/stat : 3837 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387038016 9367552 266 33554432000 4194304 5064252 140733534081360 140733534080272 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/3837/statm: 2287 266 226 213 0 72 0
[pid=3838] ppid=3837 vsize=82136 CPUtime=126.34 cores=1,3,5,7
/proc/3838/stat : 3838 (glucose) R 3837 471 17664 0 -1 4202496 11032 0 0 0 12630 4 0 0 20 0 1 0 387038017 84107264 19745 33554432000 4194304 5208918 140736867482112 140736867480056 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/3838/statm: 20534 19745 96 248 0 20283 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 111364
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/180 4293
/proc/meminfo: memFree=29767244/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1438.93 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 20124 146235 0 0 38 6 143773 76 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=4194] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4194/stat : 4194 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387052341 9367552 266 33554432000 4194304 5064252 140736819174880 140736819173792 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4194/statm: 2287 266 226 213 0 72 0
[pid=4195] ppid=4194 vsize=63284 CPUtime=43.1 cores=1,3,5,7
/proc/4195/stat : 4195 (glucose) R 4194 471 17664 0 -1 4202496 9405 0 0 0 4308 2 0 0 20 0 1 0 387052342 64802816 12286 33554432000 4194304 5208918 140735175582896 140735175580840 4229776 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4195/statm: 15821 12286 96 248 0 15570 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 92512
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 4449
/proc/meminfo: memFree=29738032/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1438.93 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 20124 146235 0 0 38 6 143773 76 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=4194] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4194/stat : 4194 (satsolver.sh) S 472 471 17664 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387052341 9367552 266 33554432000 4194304 5064252 140736819174880 140736819173792 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4194/statm: 2287 266 226 213 0 72 0
[pid=4195] ppid=4194 vsize=82140 CPUtime=103.09 cores=1,3,5,7
/proc/4195/stat : 4195 (glucose) R 4194 471 17664 0 -1 4202496 10290 0 0 0 10306 3 0 0 20 0 1 0 387052342 84111360 19789 33554432000 4194304 5208918 140735175582896 140735175580840 4229504 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4195/statm: 20535 19789 96 248 0 20284 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 111368
[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 4596
/proc/meminfo: memFree=29777128/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1584.95 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 21784 159992 0 0 41 6 158365 83 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=4560] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4560/stat : 4560 (satsolver.sh) S 472 471 17664 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387066947 9367552 267 33554432000 4194304 5064252 140733238665808 140733238664720 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4560/statm: 2287 267 226 213 0 72 0
[pid=4561] ppid=4560 vsize=42708 CPUtime=17.05 cores=1,3,5,7
/proc/4561/stat : 4561 (glucose) R 4560 471 17664 0 -1 4202496 7592 0 0 0 1703 2 0 0 20 0 1 0 387066947 43732992 9890 33554432000 4194304 5208918 140735196724928 140735196722872 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4561/statm: 10677 9890 96 248 0 10426 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 71936
[startup+1662.3 s]
/proc/loadavg: 1.97 2.01 1.99 3/181 4750
/proc/meminfo: memFree=29759392/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1584.95 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 21784 159992 0 0 41 6 158365 83 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=4560] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4560/stat : 4560 (satsolver.sh) S 472 471 17664 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387066947 9367552 267 33554432000 4194304 5064252 140733238665808 140733238664720 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4560/statm: 2287 267 226 213 0 72 0
[pid=4561] ppid=4560 vsize=63276 CPUtime=77.04 cores=1,3,5,7
/proc/4561/stat : 4561 (glucose) R 4560 471 17664 0 -1 4202496 9416 0 0 0 7701 3 0 0 20 0 1 0 387066947 64794624 15192 33554432000 4194304 5208918 140735196724928 140735196723016 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4561/statm: 15819 15192 96 248 0 15568 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 92504
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/181 4890
/proc/meminfo: memFree=29736200/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1584.95 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 21784 159992 0 0 41 6 158365 83 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=4560] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4560/stat : 4560 (satsolver.sh) S 472 471 17664 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387066947 9367552 267 33554432000 4194304 5064252 140733238665808 140733238664720 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4560/statm: 2287 267 226 213 0 72 0
[pid=4561] ppid=4560 vsize=82132 CPUtime=137.03 cores=1,3,5,7
/proc/4561/stat : 4561 (glucose) R 4560 471 17664 0 -1 4202496 10005 0 0 0 13699 4 0 0 20 0 1 0 387066947 84103168 19862 33554432000 4194304 5208918 140735196724928 140735196722872 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4561/statm: 20533 19862 96 248 0 20282 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 111360
[startup+1782.3 s]
/proc/loadavg: 1.96 1.98 1.99 3/181 5047
/proc/meminfo: memFree=29796064/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1746.19 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 23444 173972 0 0 44 7 174477 91 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=4959] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4959/stat : 4959 (satsolver.sh) S 472 471 17664 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387083074 9367552 267 33554432000 4194304 5064252 140736256029664 140736256028576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4959/statm: 2287 267 226 213 0 72 0
[pid=4960] ppid=4959 vsize=63280 CPUtime=35.77 cores=1,3,5,7
/proc/4960/stat : 4960 (glucose) R 4959 471 17664 0 -1 4202496 8533 0 0 0 3575 2 0 0 20 0 1 0 387083074 64798720 12199 33554432000 4194304 5208918 140735867956192 140735867954136 4229528 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4960/statm: 15820 12199 96 248 0 15569 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 92508
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.97 1.98 1.99 3/182 5094
/proc/meminfo: memFree=29758168/32873844 swapFree=7124/7124
[pid=471] ppid=469 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/471/stat : 471 (npSolver-wbo-It) S 469 471 17664 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386908423 9367552 275 33554432000 4194304 5064252 140737042493024 140737042491936 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/471/statm: 2287 275 233 213 0 72 0
[pid=472] ppid=471 vsize=10932 CPUtime=1746.19 cores=1,3,5,7
/proc/472/stat : 472 (npSolver-wbo) S 471 471 17664 0 -1 4202496 23444 173972 0 0 44 7 174477 91 20 0 1 0 386908424 11194368 2362 33554432000 4194304 6006132 140733863695184 140733863686544 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/472/statm: 2733 2362 176 443 0 2286 0
[pid=4959] ppid=472 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4959/stat : 4959 (satsolver.sh) S 472 471 17664 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 387083074 9367552 267 33554432000 4194304 5064252 140736256029664 140736256028576 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/4959/statm: 2287 267 226 213 0 72 0
[pid=4960] ppid=4959 vsize=63280 CPUtime=53.88 cores=1,3,5,7
/proc/4960/stat : 4960 (glucose) R 4959 471 17664 0 -1 4202496 8793 0 0 0 5385 3 0 0 20 0 1 0 387083074 64798720 14502 33554432000 4194304 5208918 140735867956192 140735867954136 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4960/statm: 15820 14502 96 248 0 15569 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 92508
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.09
CPU system time (s): 1.02384
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 122864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.02384
maximum resident set size= 81500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 71296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1406
involuntary context switches= 2006
runsolver used 4.17936 second user time and 10.8274 second system time
The end