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-3715615-1338197240/watcher-3715615-1338197240 -o /tmp/evaluation-result-3715615-1338197240/solver-3715615-1338197240 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715615-1338197240.wbo 480445869 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.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[startup+0.028264 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100215 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300275 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700224 s]
/proc/loadavg: 1.91 1.98 1.99 3/179 11032
/proc/meminfo: memFree=30870752/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 11050
/proc/meminfo: memFree=30774872/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=48084 CPUtime=1.23 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10045 0 0 0 122 1 0 0 20 0 1 0 285852648 49238016 10791 33554432000 4194304 5208918 140736044184208 140736044182616 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 12021 10791 95 248 0 11770 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 78084
[startup+3.10034 s]
/proc/loadavg: 1.92 1.98 1.99 3/183 11057
/proc/meminfo: memFree=30775716/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=48084 CPUtime=2.83 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10047 0 0 0 282 1 0 0 20 0 1 0 285852648 49238016 10793 33554432000 4194304 5208918 140736044184208 140736044182616 4211537 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 12021 10793 95 248 0 11770 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 78084
[startup+6.30033 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 11078
/proc/meminfo: memFree=30774988/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=48216 CPUtime=6.03 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10204 0 0 0 602 1 0 0 20 0 1 0 285852648 49373184 10950 33554432000 4194304 5208918 140736044184208 140736044182056 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 12054 10950 95 248 0 11803 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 78216
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 11120
/proc/meminfo: memFree=30773288/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=11704 CPUtime=0.24 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3027 6776 0 0 11 2 9 2 20 0 1 0 285852622 11984896 2406 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 2926 2406 176 439 0 2483 0
[pid=11047] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11047/stat : 11047 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285852648 9367552 267 33554432000 4194304 5064252 140735438289520 140735438288432 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11047/statm: 2287 267 226 213 0 72 0
[pid=11048] ppid=11047 vsize=52768 CPUtime=12.42 cores=1,3,5,7
/proc/11048/stat : 11048 (glucose) R 11047 11032 30917 0 -1 4202496 10420 0 0 0 1241 1 0 0 20 0 1 0 285852648 54034432 11675 33554432000 4194304 5208918 140736044184208 140736044182056 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11048/statm: 13192 11675 95 248 0 12941 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 82768
[startup+25.5003 s]
/proc/loadavg: 1.94 1.98 1.99 3/183 11211
/proc/meminfo: memFree=30769268/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=18.67 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 3833 22890 0 0 19 3 1829 16 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=11168] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11168/stat : 11168 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285854491 9367552 267 33554432000 4194304 5064252 140736243494832 140736243493744 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11168/statm: 2287 267 226 213 0 72 0
[pid=11169] ppid=11168 vsize=52644 CPUtime=6.79 cores=1,3,5,7
/proc/11169/stat : 11169 (glucose) R 11168 11032 30917 0 -1 4202496 10857 0 0 0 678 1 0 0 20 0 1 0 285854491 53907456 10993 33554432000 4194304 5208918 140733757724016 140733757722168 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11169/statm: 13161 10993 95 248 0 12910 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 90832
[startup+51.1003 s]
/proc/loadavg: 2.02 2.00 1.99 3/183 11379
/proc/meminfo: memFree=30765084/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=36.16 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 4638 39790 0 0 27 4 3554 31 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=11287] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11287/stat : 11287 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285856241 9367552 266 33554432000 4194304 5064252 140736109460976 140736109459888 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11287/statm: 2287 266 226 213 0 72 0
[pid=11288] ppid=11287 vsize=52768 CPUtime=14.88 cores=1,3,5,7
/proc/11288/stat : 11288 (glucose) R 11287 11032 30917 0 -1 4202496 9952 0 0 0 1487 1 0 0 20 0 1 0 285856242 54034432 11909 33554432000 4194304 5208918 140737165283536 140737165281384 4211871 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11288/statm: 13192 11909 95 248 0 12941 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 90956
[startup+102.307 s]
/proc/loadavg: 2.04 2.00 1.99 3/183 11730
/proc/meminfo: memFree=30764516/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=90.72 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 7053 88170 0 0 51 8 8937 76 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=11659] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11659/stat : 11659 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 285861696 9367552 267 33554432000 4194304 5064252 140733469467056 140733469465968 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/11659/statm: 2287 267 226 213 0 72 0
[pid=11660] ppid=11659 vsize=52768 CPUtime=11.54 cores=1,3,5,7
/proc/11660/stat : 11660 (glucose) R 11659 11032 30917 0 -1 4202496 10943 0 0 0 1152 2 0 0 20 0 1 0 285861697 54034432 11617 33554432000 4194304 5208918 140735060503968 140735060501816 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/11660/statm: 13192 11617 95 248 0 12941 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 90956
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/184 12132
/proc/meminfo: memFree=30765076/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=144.82 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 9468 137818 0 0 74 12 14276 120 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=12019] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=30761184/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1409.15 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 65818 1271740 0 0 634 102 139048 1131 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=20558] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20558/stat : 20558 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 285993600 9367552 266 33554432000 4194304 5064252 140735589319344 140735589318256 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20558/statm: 2287 266 226 213 0 72 0
[pid=20559] ppid=20558 vsize=52772 CPUtime=12.51 cores=1,3,5,7
/proc/20559/stat : 20559 (glucose) R 20558 11032 30917 0 -1 4202496 10903 0 0 0 1249 2 0 0 20 0 1 0 285993600 54038528 11561 33554432000 4194304 5208918 140735198601088 140735198598936 4211738 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20559/statm: 13193 11561 95 248 0 12942 0
Current children cumulated CPU time (s) 1421.66
Current children cumulated vsize (KiB) 90960
[startup+1482.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 21042
/proc/meminfo: memFree=30798312/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1481.22 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 69038 1335200 0 0 667 107 146159 1189 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
Current children cumulated CPU time (s) 1481.22
Current children cumulated vsize (KiB) 29040
[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 21452
/proc/meminfo: memFree=30763788/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1534.67 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 71453 1382886 0 0 691 110 151431 1235 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=21409] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21409/stat : 21409 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286006166 9367552 267 33554432000 4194304 5064252 140733577273840 140733577272752 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21409/statm: 2287 267 226 213 0 72 0
[pid=21410] ppid=21409 vsize=52636 CPUtime=6.84 cores=1,3,5,7
/proc/21410/stat : 21410 (glucose) R 21409 11032 30917 0 -1 4202496 10878 0 0 0 682 2 0 0 20 0 1 0 286006166 53899264 11013 33554432000 4194304 5208918 140733332470864 140733332469016 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21410/statm: 13159 11013 95 248 0 12908 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 90824
[startup+1602.3 s]
/proc/loadavg: 2.10 2.06 2.00 3/183 21852
/proc/meminfo: memFree=30761436/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1589.74 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 73868 1430681 0 0 715 114 156862 1283 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=21781] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21781/stat : 21781 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286011674 9367552 267 33554432000 4194304 5064252 140736831783072 140736831781984 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21781/statm: 2287 267 226 213 0 72 0
[pid=21782] ppid=21781 vsize=52768 CPUtime=11.77 cores=1,3,5,7
/proc/21782/stat : 21782 (glucose) R 21781 11032 30917 0 -1 4202496 10597 0 0 0 1175 2 0 0 20 0 1 0 286011674 54034432 11790 33554432000 4194304 5208918 140734524369632 140734524367480 4211712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21782/statm: 13192 11790 95 248 0 12941 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 90956
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 22251
/proc/meminfo: memFree=30758972/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1644.39 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 76283 1479697 0 0 738 118 162256 1327 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22148] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22148/stat : 22148 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 286017139 9367552 266 33554432000 4194304 5064252 140736597761936 140736597760848 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22148/statm: 2287 266 226 213 0 72 0
[pid=22149] ppid=22148 vsize=52772 CPUtime=17.11 cores=1,3,5,7
/proc/22149/stat : 22149 (glucose) R 22148 11032 30917 0 -1 4202496 11189 0 0 0 1709 2 0 0 20 0 1 0 286017139 54038528 12219 33554432000 4194304 5208918 140733859449024 140733859446872 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22149/statm: 13193 12219 95 248 0 12942 0
Current children cumulated CPU time (s) 1661.5
Current children cumulated vsize (KiB) 90960
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 22657
/proc/meminfo: memFree=30762012/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1716.84 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 79503 1546352 0 0 770 124 169402 1388 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22631] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22631/stat : 22631 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286024384 9367552 267 33554432000 4194304 5064252 140735702370640 140735702369552 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22631/statm: 2287 267 226 213 0 72 0
[pid=22632] ppid=22631 vsize=48220 CPUtime=4.66 cores=1,3,5,7
/proc/22632/stat : 22632 (glucose) R 22631 11032 30917 0 -1 4202496 10550 0 0 0 464 2 0 0 20 0 1 0 286024384 49377280 11195 33554432000 4194304 5208918 140733581292480 140733581290328 4231508 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22632/statm: 12055 11195 95 248 0 11804 0
Current children cumulated CPU time (s) 1721.5
Current children cumulated vsize (KiB) 86408
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23063
/proc/meminfo: memFree=30776936/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1771.21 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 81918 1594621 0 0 794 127 174769 1431 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22999] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22999/stat : 22999 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286029823 9367552 267 33554432000 4194304 5064252 140735188003280 140735188002192 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22999/statm: 2287 267 226 213 0 72 0
[pid=23000] ppid=22999 vsize=52772 CPUtime=10.27 cores=1,3,5,7
/proc/23000/stat : 23000 (glucose) R 22999 11032 30917 0 -1 4202496 10880 0 0 0 1025 2 0 0 20 0 1 0 286029824 54038528 11539 33554432000 4194304 5208918 140737263245488 140737263243640 4211584 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23000/statm: 13193 11539 95 248 0 12942 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 90960
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1783.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23073
/proc/meminfo: memFree=30794384/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1771.21 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 81918 1594621 0 0 794 127 174769 1431 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22999] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22999/stat : 22999 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286029823 9367552 267 33554432000 4194304 5064252 140735188003280 140735188002192 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22999/statm: 2287 267 226 213 0 72 0
[pid=23000] ppid=22999 vsize=52772 CPUtime=11.88 cores=1,3,5,7
/proc/23000/stat : 23000 (glucose) R 22999 11032 30917 0 -1 4202496 10892 0 0 0 1186 2 0 0 20 0 1 0 286029824 54038528 11551 33554432000 4194304 5208918 140737263245488 140737263243336 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23000/statm: 13193 11551 95 248 0 12942 0
Current children cumulated CPU time (s) 1783.09
Current children cumulated vsize (KiB) 90960
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1783.9 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23073
/proc/meminfo: memFree=30794384/32873844 swapFree=7108/7108
[pid=11032] ppid=11030 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11032/stat : 11032 (npSolver-wbo-It) S 11030 11032 30917 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 285852622 9367552 274 33554432000 4194304 5064252 140733865610336 140733865609248 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11032/statm: 2287 274 233 213 0 72 0
[pid=11033] ppid=11032 vsize=19892 CPUtime=1771.21 cores=1,3,5,7
/proc/11033/stat : 11033 (npSolver-wbo) S 11032 11032 30917 0 -1 4202496 81918 1594621 0 0 794 127 174769 1431 20 0 1 0 285852622 20369408 4612 33554432000 4194304 5990268 140734429523632 140734429515040 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 16 0 0
/proc/11033/statm: 4973 4612 177 439 0 4530 0
[pid=22999] ppid=11033 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22999/stat : 22999 (satsolver.sh) S 11033 11032 30917 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286029823 9367552 267 33554432000 4194304 5064252 140735188003280 140735188002192 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22999/statm: 2287 267 226 213 0 72 0
[pid=23000] ppid=22999 vsize=52772 CPUtime=11.88 cores=1,3,5,7
/proc/23000/stat : 23000 (glucose) R 22999 11032 30917 0 -1 4202496 10892 0 0 0 1186 2 0 0 20 0 1 0 286029824 54038528 11551 33554432000 4194304 5208918 140737263245488 140737263243336 4211558 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23000/statm: 13193 11551 95 248 0 12942 0
Current children cumulated CPU time (s) 1783.09
Current children cumulated vsize (KiB) 90960
Child status: 0
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 16.9999
# lost CPU user time (s): 16.98
# lost CPU system time (s): 0.02
Real time (s): 1783.91
CPU time (s): 1800.13
CPU user time (s): 1784.49
CPU system time (s): 15.6456
CPU usage (%): 100.909
Max. virtual memory (cumulated for all children) (KiB): 93636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.51
system time used= 15.6256
maximum resident set size= 52144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1688418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1378424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26892
involuntary context switches= 3085
runsolver used 2.98255 second user time and 7.70183 second system time
The end