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-3715597-1338198927/watcher-3715597-1338198927 -o /tmp/evaluation-result-3715597-1338198927/solver-3715597-1338198927 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715597-1338198927.wbo 2139058291 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: 1.95 1.99 1.99 3/177 26260
/proc/meminfo: memFree=29714020/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[startup+0.013605 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 26260
/proc/meminfo: memFree=29714020/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100258 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 26260
/proc/meminfo: memFree=29714020/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300175 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 26260
/proc/meminfo: memFree=29714020/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700222 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 26260
/proc/meminfo: memFree=29714020/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/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.95 1.99 1.99 3/181 26274
/proc/meminfo: memFree=29683124/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=7316 CPUtime=0.3 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 2565 5682 0 0 6 2 21 1 20 0 1 0 286018182 7491584 1205 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26261/statm: 1829 1205 175 439 0 1386 0
[pid=26273] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26273/stat : 26273 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286018214 9367552 266 33554432000 4194304 5064252 140733285592544 140733285591456 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26273/statm: 2287 266 226 213 0 72 0
[pid=26274] ppid=26273 vsize=26308 CPUtime=1.16 cores=0,2,4,6
/proc/26274/stat : 26274 (glucose) R 26273 26260 20162 0 -1 4202496 5428 0 0 0 116 0 0 0 20 0 1 0 286018214 26939392 5752 33554432000 4194304 5208918 140734127193056 140734127191464 4211540 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26274/statm: 6577 5752 95 248 0 6326 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 51920
[startup+3.10033 s]
/proc/loadavg: 1.95 1.99 1.99 3/181 26274
/proc/meminfo: memFree=29682000/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=7316 CPUtime=0.3 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 2565 5682 0 0 6 2 21 1 20 0 1 0 286018182 7491584 1205 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26261/statm: 1829 1205 175 439 0 1386 0
[pid=26273] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26273/stat : 26273 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286018214 9367552 266 33554432000 4194304 5064252 140733285592544 140733285591456 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26273/statm: 2287 266 226 213 0 72 0
[pid=26274] ppid=26273 vsize=26452 CPUtime=2.76 cores=0,2,4,6
/proc/26274/stat : 26274 (glucose) R 26273 26260 20162 0 -1 4202496 5904 0 0 0 276 0 0 0 20 0 1 0 286018214 27086848 5709 33554432000 4194304 5208918 140734127193056 140734127191144 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26274/statm: 6613 5709 96 248 0 6362 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 52064
[startup+6.30033 s]
/proc/loadavg: 1.95 1.99 1.99 3/181 26281
/proc/meminfo: memFree=29678668/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=4.88 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 4146 16290 0 0 11 2 466 9 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=26280] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26280/stat : 26280 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286018671 9367552 266 33554432000 4194304 5064252 140733820461008 140733820459920 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26280/statm: 2287 266 226 213 0 72 0
[pid=26281] ppid=26280 vsize=26456 CPUtime=1.4 cores=0,2,4,6
/proc/26281/stat : 26281 (glucose) R 26280 26260 20162 0 -1 4202496 5481 0 0 0 140 0 0 0 20 0 1 0 286018671 27090944 5784 33554432000 4194304 5208918 140736970419856 140736970418264 4211888 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26281/statm: 6614 5784 95 248 0 6363 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 56036
[startup+12.7003 s]
/proc/loadavg: 1.96 1.99 1.99 3/181 26288
/proc/meminfo: memFree=29674440/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=12.43 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 7306 36038 0 0 19 3 1199 22 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 20432
[startup+25.5003 s]
/proc/loadavg: 1.97 1.99 1.99 3/181 26316
/proc/meminfo: memFree=29675196/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=23.64 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 12046 66479 0 0 32 5 2280 47 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=26315] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26315/stat : 26315 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286020548 9367552 267 33554432000 4194304 5064252 140736589094704 140736589093616 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26315/statm: 2287 267 226 213 0 72 0
[pid=26316] ppid=26315 vsize=26452 CPUtime=1.82 cores=0,2,4,6
/proc/26316/stat : 26316 (glucose) R 26315 26260 20162 0 -1 4202496 5521 0 0 0 181 1 0 0 20 0 1 0 286020549 27086848 5844 33554432000 4194304 5208918 140733914222992 140733914220952 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26316/statm: 6613 5844 95 248 0 6362 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 56032
[startup+51.1003 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 26372
/proc/meminfo: memFree=29679260/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=50.32 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 23106 138495 0 0 62 10 4857 103 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=26371] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26371/stat : 26371 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286023225 9367552 266 33554432000 4194304 5064252 140734760971296 140734760970208 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26371/statm: 2287 266 226 213 0 72 0
[pid=26372] ppid=26371 vsize=26312 CPUtime=0.65 cores=0,2,4,6
/proc/26372/stat : 26372 (glucose) R 26371 26260 20162 0 -1 4202496 5332 0 0 0 65 0 0 0 20 0 1 0 286023226 26943488 5656 33554432000 4194304 5208918 140735239793056 140735239791464 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26372/statm: 6578 5656 95 248 0 6327 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 55892
[startup+102.307 s]
/proc/loadavg: 2.05 2.00 2.00 3/181 26672
/proc/meminfo: memFree=29726576/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=99.16 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 43646 270388 0 0 118 19 9581 198 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=26661] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26661/stat : 26661 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286028111 9367552 266 33554432000 4194304 5064252 140737462210176 140737462209088 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/26661/statm: 2287 266 226 213 0 72 0
[pid=26662] ppid=26661 vsize=26584 CPUtime=2.99 cores=0,2,4,6
/proc/26662/stat : 26662 (glucose) R 26661 26260 20162 0 -1 4202496 6041 0 0 0 299 0 0 0 20 0 1 0 286028112 27222016 5820 33554432000 4194304 5208918 140737062645120 140737062643208 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/26662/statm: 6646 5820 96 248 0 6395 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 56164
[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/181 27041
/proc/meminfo: memFree=29708172/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=159.53 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 68926 432037 0 0 186 30 15420 317 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 8 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=27033] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27033/stat : 27033 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286034150 9367552 267 33554432000 4194304 5064252 140733804733920 140733804732832 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/27033/statm: 2287 267 226 213 0 72 0
[pid=27034] ppid=27033 vsize=26452 CPUtime=2.61 cores=0,2,4,6
/proc/27034/stat : 27034 (glucose) R 27033 26260 20162 0 -1 4202496 5979 0 0 0 260 1 0 0 20 0 1 0 286034150 27086848 5754 33554432000 4194304 5208918 140735502173008 140735502171096 4211744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/27034/statm: 6613 5754 96 248 0 6362 0
Current children cumulated CPU time (s) 162.14
################
# More data... #
################
/proc/1567/statm: 2287 267 226 213 0 72 0
[pid=1571] ppid=1567 vsize=26456 CPUtime=2.38 cores=0,2,4,6
/proc/1571/stat : 1571 (glucose) R 1567 26260 20162 0 -1 4202496 5877 0 0 0 238 0 0 0 20 0 1 0 286148172 27090944 5713 33554432000 4194304 5208918 140733361268144 140733361266104 4211577 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1571/statm: 6614 5713 96 248 0 6363 0
Current children cumulated CPU time (s) 1300.9
Current children cumulated vsize (KiB) 56036
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 1974
/proc/meminfo: memFree=29721692/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1357.75 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 560306 3619075 0 0 1385 244 131396 2750 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=1963] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1963/stat : 1963 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286154098 9367552 267 33554432000 4194304 5064252 140734398904976 140734398903888 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1963/statm: 2287 267 226 213 0 72 0
[pid=1964] ppid=1963 vsize=26584 CPUtime=3.13 cores=0,2,4,6
/proc/1964/stat : 1964 (glucose) R 1963 26260 20162 0 -1 4202496 6142 0 0 0 312 1 0 0 20 0 1 0 286154098 27222016 5879 33554432000 4194304 5208918 140735818961568 140735818959656 4211553 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1964/statm: 6646 5879 96 248 0 6395 0
Current children cumulated CPU time (s) 1360.88
Current children cumulated vsize (KiB) 56164
[startup+1422.31 s]
/proc/loadavg: 1.98 2.00 2.00 3/181 2342
/proc/meminfo: memFree=29704696/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1417.44 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 584006 3775408 0 0 1442 253 137188 2861 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=2327] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2327/stat : 2327 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286160074 9367552 266 33554432000 4194304 5064252 140736159575520 140736159574432 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2327/statm: 2287 266 226 213 0 72 0
[pid=2328] ppid=2327 vsize=26588 CPUtime=3.37 cores=0,2,4,6
/proc/2328/stat : 2328 (glucose) R 2327 26260 20162 0 -1 4202496 6086 0 0 0 336 1 0 0 20 0 1 0 286160074 27226112 5883 33554432000 4194304 5208918 140733284991216 140733284989064 4211851 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/2328/statm: 6647 5883 96 248 0 6396 0
Current children cumulated CPU time (s) 1420.81
Current children cumulated vsize (KiB) 56168
[startup+1482.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/182 2702
/proc/meminfo: memFree=29704836/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1480.66 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 609286 3941076 0 0 1503 264 143317 2982 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
Current children cumulated CPU time (s) 1480.66
Current children cumulated vsize (KiB) 20432
[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 3066
/proc/meminfo: memFree=29704820/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1540.01 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 632986 4093691 0 0 1560 275 149070 3096 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=3065] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3065/stat : 3065 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286172341 9367552 267 33554432000 4194304 5064252 140735454827984 140735454826896 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3065/statm: 2287 267 226 213 0 72 0
[pid=3066] ppid=3065 vsize=26308 CPUtime=0.69 cores=0,2,4,6
/proc/3066/stat : 3066 (glucose) R 3065 26260 20162 0 -1 4202496 5338 0 0 0 69 0 0 0 20 0 1 0 286172341 26939392 5661 33554432000 4194304 5208918 140737414165408 140737414163816 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3066/statm: 6577 5661 95 248 0 6326 0
Current children cumulated CPU time (s) 1540.7
Current children cumulated vsize (KiB) 55888
[startup+1602.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/181 3427
/proc/meminfo: memFree=29728072/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1599.39 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 656686 4247658 0 0 1617 285 154822 3215 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=3422] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3422/stat : 3422 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286178284 9367552 265 33554432000 4194304 5064252 140734391665472 140734391664384 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3422/statm: 2287 265 226 213 0 72 0
[pid=3423] ppid=3422 vsize=26452 CPUtime=1.27 cores=0,2,4,6
/proc/3423/stat : 3423 (glucose) R 3422 26260 20162 0 -1 4202496 5419 0 0 0 126 1 0 0 20 0 1 0 286178284 27086848 5742 33554432000 4194304 5208918 140734328987024 140734328985432 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3423/statm: 6613 5742 95 248 0 6362 0
Current children cumulated CPU time (s) 1600.66
Current children cumulated vsize (KiB) 56032
[startup+1662.3 s]
/proc/loadavg: 1.87 1.95 1.98 3/181 3795
/proc/meminfo: memFree=29704072/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1659.48 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 680386 4402618 0 0 1674 295 160645 3334 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=3787] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3787/stat : 3787 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286184303 9367552 267 33554432000 4194304 5064252 140737406736160 140737406735072 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3787/statm: 2287 267 226 213 0 72 0
[pid=3788] ppid=3787 vsize=26312 CPUtime=1.07 cores=0,2,4,6
/proc/3788/stat : 3788 (glucose) R 3787 26260 20162 0 -1 4202496 5417 0 0 0 107 0 0 0 20 0 1 0 286184303 26943488 5740 33554432000 4194304 5208918 140733836033760 140733836032168 4211712 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/3788/statm: 6578 5740 95 248 0 6327 0
Current children cumulated CPU time (s) 1660.55
Current children cumulated vsize (KiB) 55892
[startup+1722.3 s]
/proc/loadavg: 1.48 1.84 1.94 3/181 4159
/proc/meminfo: memFree=29702780/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1720.26 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 705666 4564417 0 0 1736 308 166482 3500 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=4154] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4154/stat : 4154 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 286190368 9367552 267 33554432000 4194304 5064252 140736677876960 140736677875872 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4154/statm: 2287 267 226 213 0 72 0
[pid=4155] ppid=4154 vsize=26308 CPUtime=0.42 cores=0,2,4,6
/proc/4155/stat : 4155 (glucose) R 4154 26260 20162 0 -1 4202496 5040 0 0 0 41 1 0 0 20 0 1 0 286190368 26939392 5875 33554432000 4194304 5208918 140733646077776 140733646076184 4211553 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/4155/statm: 6577 5875 95 248 0 6326 0
Current children cumulated CPU time (s) 1720.68
Current children cumulated vsize (KiB) 55888
[startup+1782.3 s]
/proc/loadavg: 1.30 1.76 1.90 3/181 4516
/proc/meminfo: memFree=29702780/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1777.97 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 729366 4717340 0 0 1794 321 172027 3655 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=4506] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4506/stat : 4506 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 286196127 9367552 267 33554432000 4194304 5064252 140734053554880 140734053553792 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4506/statm: 2287 267 226 213 0 72 0
[pid=4507] ppid=4506 vsize=26456 CPUtime=2.82 cores=0,2,4,6
/proc/4507/stat : 4507 (glucose) R 4506 26260 20162 0 -1 4202496 5964 0 0 0 281 1 0 0 20 0 1 0 286196127 27090944 5765 33554432000 4194304 5208918 140734015795568 140734015793656 4211584 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/4507/statm: 6614 5765 96 248 0 6363 0
Current children cumulated CPU time (s) 1780.79
Current children cumulated vsize (KiB) 56036
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.5 s]
/proc/loadavg: 0.99 1.66 1.87 3/181 4635
/proc/meminfo: memFree=29701960/32873852 swapFree=7624/7624
[pid=26260] ppid=26258 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/26260/stat : 26260 (npSolver-wbo-It) S 26258 26260 20162 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 286018182 9367552 274 33554432000 4194304 5064252 140736902208752 140736902207664 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/26260/statm: 2287 274 233 213 0 72 0
[pid=26261] ppid=26260 vsize=11284 CPUtime=1797.42 cores=0,2,4,6
/proc/26261/stat : 26261 (npSolver-wbo) S 26260 26260 20162 0 -1 4202496 737266 4767889 0 0 1813 325 173894 3710 20 0 1 0 286018182 11554816 2315 33554432000 4194304 5990268 140737182021504 140737182012912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 16 0 0
/proc/26261/statm: 2821 2315 176 439 0 2378 0
[pid=4620] ppid=26261 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4620/stat : 4620 (satsolver.sh) S 26261 26260 20162 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286198071 9367552 266 33554432000 4194304 5064252 140734793572080 140734793570992 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/4620/statm: 2287 266 226 213 0 72 0
[pid=4621] ppid=4620 vsize=26456 CPUtime=2.59 cores=0,2,4,6
/proc/4621/stat : 4621 (glucose) R 4620 26260 20162 0 -1 4202496 6156 0 0 0 258 1 0 0 20 0 1 0 286198071 27090944 5893 33554432000 4194304 5208918 140737390136400 140737390134488 4211553 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/4621/statm: 6614 5893 96 248 0 6363 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 56036
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.51
CPU time (s): 1800.05
CPU user time (s): 1759.67
CPU system time (s): 40.3849
CPU usage (%): 99.919
Max. virtual memory (cumulated for all children) (KiB): 60396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1759.67
system time used= 40.3849
maximum resident set size= 28124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5512298
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3127488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62137
involuntary context switches= 9776
runsolver used 2.74558 second user time and 7.11192 second system time
The end