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-3713695-1338216240/watcher-3713695-1338216240 -o /tmp/evaluation-result-3713695-1338216240/solver-3713695-1338216240 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713695-1338216240.wbo 488459484 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.95 1.98 1.99 3/177 32496
/proc/meminfo: memFree=25464520/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[startup+0.0889471 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 32496
/proc/meminfo: memFree=25464520/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 32496
/proc/meminfo: memFree=25464520/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300224 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 32496
/proc/meminfo: memFree=25464520/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 1.95 1.98 1.99 3/177 32496
/proc/meminfo: memFree=25464520/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 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.98 1.99 3/180 32510
/proc/meminfo: memFree=25459504/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2648 CPUtime=0.06 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 544 5636 0 0 1 0 4 1 20 0 1 0 287752565 2711552 331 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 662 331 159 439 0 219 0
[pid=32509] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32509/stat : 32509 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287752572 9367552 266 33554432000 4194304 5064252 140733930208384 140733930207296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32509/statm: 2287 266 226 213 0 72 0
[pid=32510] ppid=32509 vsize=8416 CPUtime=1.41 cores=1,3,5,7
/proc/32510/stat : 32510 (glucose) R 32509 32496 21267 0 -1 4202496 946 0 0 0 141 0 0 0 20 0 1 0 287752572 8617984 1373 33554432000 4194304 5208918 140736484646064 140736484644024 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32510/statm: 2104 1373 95 248 0 1853 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29360
[startup+3.10033 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 32510
/proc/meminfo: memFree=25456348/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2648 CPUtime=0.06 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 544 5636 0 0 1 0 4 1 20 0 1 0 287752565 2711552 331 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 662 331 159 439 0 219 0
[pid=32509] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32509/stat : 32509 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287752572 9367552 266 33554432000 4194304 5064252 140733930208384 140733930207296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32509/statm: 2287 266 226 213 0 72 0
[pid=32510] ppid=32509 vsize=5844 CPUtime=3.01 cores=1,3,5,7
/proc/32510/stat : 32510 (glucose) R 32509 32496 21267 0 -1 4202496 1236 0 0 0 301 0 0 0 20 0 1 0 287752572 5984256 884 33554432000 4194304 5208918 140736484646064 140736484644216 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32510/statm: 1461 884 96 248 0 1210 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 26788
[startup+6.30033 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 32510
/proc/meminfo: memFree=25444372/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2648 CPUtime=0.06 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 544 5636 0 0 1 0 4 1 20 0 1 0 287752565 2711552 331 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 662 331 159 439 0 219 0
[pid=32509] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32509/stat : 32509 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287752572 9367552 266 33554432000 4194304 5064252 140733930208384 140733930207296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32509/statm: 2287 266 226 213 0 72 0
[pid=32510] ppid=32509 vsize=8704 CPUtime=6.21 cores=1,3,5,7
/proc/32510/stat : 32510 (glucose) R 32509 32496 21267 0 -1 4202496 1734 0 0 0 621 0 0 0 20 0 1 0 287752572 8912896 1380 33554432000 4194304 5208918 140736484646064 140736484644216 4211599 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32510/statm: 2176 1380 96 248 0 1925 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 29648
[startup+12.7003 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 32510
/proc/meminfo: memFree=25447868/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2648 CPUtime=0.06 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 544 5636 0 0 1 0 4 1 20 0 1 0 287752565 2711552 331 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 662 331 159 439 0 219 0
[pid=32509] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32509/stat : 32509 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287752572 9367552 266 33554432000 4194304 5064252 140733930208384 140733930207296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32509/statm: 2287 266 226 213 0 72 0
[pid=32510] ppid=32509 vsize=11584 CPUtime=12.61 cores=1,3,5,7
/proc/32510/stat : 32510 (glucose) R 32509 32496 21267 0 -1 4202496 2841 0 0 0 1260 1 0 0 20 0 1 0 287752572 11862016 2262 33554432000 4194304 5208918 140736484646064 140736484644008 4211888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32510/statm: 2896 2262 96 248 0 2645 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 32528
[startup+25.5005 s]
/proc/loadavg: 1.96 1.98 1.99 3/180 32510
/proc/meminfo: memFree=25415504/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2648 CPUtime=0.06 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 544 5636 0 0 1 0 4 1 20 0 1 0 287752565 2711552 331 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 662 331 159 439 0 219 0
[pid=32509] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32509/stat : 32509 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287752572 9367552 266 33554432000 4194304 5064252 140733930208384 140733930207296 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32509/statm: 2287 266 226 213 0 72 0
[pid=32510] ppid=32509 vsize=23080 CPUtime=25.41 cores=1,3,5,7
/proc/32510/stat : 32510 (glucose) R 32509 32496 21267 0 -1 4202496 3426 0 0 0 2540 1 0 0 20 0 1 0 287752572 23633920 4889 33554432000 4194304 5208918 140736484646064 140736484643928 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32510/statm: 5770 4889 96 248 0 5519 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 44024
[startup+51.1004 s]
/proc/loadavg: 1.98 1.98 1.99 3/180 32531
/proc/meminfo: memFree=25403188/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=8496 CPUtime=1.61 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 2127 0 0 0 161 0 0 0 20 0 1 0 287757513 8699904 1562 33554432000 4194304 5208918 140737386442592 140737386440536 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 2124 1562 102 248 0 1873 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29448
[startup+102.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25338036/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=33536 CPUtime=52.79 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5514 0 0 0 5278 1 0 0 20 0 1 0 287757513 34340864 7222 33554432000 4194304 5208918 140737386442592 140737386440536 4229469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 8384 7222 102 248 0 8133 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 54488
[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25328912/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=33536 CPUtime=112.79 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5733 0 0 0 11277 2 0 0 20 0 1 0 287757513 34340864 7940 33554432000 4194304 5208918 140737386442592 140737386438904 4229354 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 8384 7940 102 248 0 8133 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 54488
Solver just ended. Dumping a history of the last processes samples
[startup+179.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25324752/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=129.68 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5771 0 0 0 12966 2 0 0 20 0 1 0 287757513 38780928 7976 33554432000 4194304 5208918 140737386442592 140737386440440 4229712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 7976 102 248 0 9217 0
Current children cumulated CPU time (s) 179.13
Current children cumulated vsize (KiB) 58824
[startup+185.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25316124/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=136.08 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5889 0 0 0 13606 2 0 0 20 0 1 0 287757513 38780928 8602 33554432000 4194304 5208918 140737386442592 140737386440440 4229760 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 8602 102 248 0 9217 0
Current children cumulated CPU time (s) 185.53
Current children cumulated vsize (KiB) 58824
[startup+192 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25357456/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=142.48 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5889 0 0 0 14246 2 0 0 20 0 1 0 287757513 38780928 8602 33554432000 4194304 5208918 140737386442592 140737386440440 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 8602 102 248 0 9217 0
Current children cumulated CPU time (s) 191.93
Current children cumulated vsize (KiB) 58824
[startup+195.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25357456/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=145.68 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5890 0 0 0 14566 2 0 0 20 0 1 0 287757513 38780928 8603 33554432000 4194304 5208918 140737386442592 140737386440440 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 8603 102 248 0 9217 0
Current children cumulated CPU time (s) 195.13
Current children cumulated vsize (KiB) 58824
[startup+196.8 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25357456/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=147.28 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5890 0 0 0 14726 2 0 0 20 0 1 0 287757513 38780928 8603 33554432000 4194304 5208918 140737386442592 140737386440440 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 8603 102 248 0 9217 0
Current children cumulated CPU time (s) 196.73
Current children cumulated vsize (KiB) 58824
[startup+197.2 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25357456/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=147.68 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5890 0 0 0 14766 2 0 0 20 0 1 0 287757513 38780928 8603 33554432000 4194304 5208918 140737386442592 140737386440440 4229541 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 8603 102 248 0 9217 0
Current children cumulated CPU time (s) 197.13
Current children cumulated vsize (KiB) 58824
[startup+197.6 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25357456/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=148.08 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5890 0 0 0 14806 2 0 0 20 0 1 0 287757513 38780928 8603 33554432000 4194304 5208918 140737386442592 140737386440440 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 8603 102 248 0 9217 0
Current children cumulated CPU time (s) 197.53
Current children cumulated vsize (KiB) 58824
[startup+197.7 s]
/proc/loadavg: 1.99 1.98 1.99 3/181 32533
/proc/meminfo: memFree=25357456/32873844 swapFree=7112/7112
[pid=32496] ppid=32494 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32496/stat : 32496 (npSolver-wbo.sh) S 32494 32496 21267 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 287752564 9367552 275 33554432000 4194304 5064252 140734311591920 140734311590832 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32496/statm: 2287 275 233 213 0 72 0
[pid=32497] ppid=32496 vsize=2656 CPUtime=49.45 cores=1,3,5,7
/proc/32497/stat : 32497 (npSolver-wbo) S 32496 32496 21267 0 -1 4202496 2268 21464 0 0 2 0 4937 6 20 0 1 0 287752565 2719744 371 33554432000 4194304 5990268 140736324616400 140736324607840 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32497/statm: 664 371 165 439 0 221 0
[pid=32530] ppid=32497 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32530/stat : 32530 (satsolver.sh) S 32497 32496 21267 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287757513 9367552 267 33554432000 4194304 5064252 140734312378624 140734312377536 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/32530/statm: 2287 267 226 213 0 72 0
[pid=32531] ppid=32530 vsize=37872 CPUtime=148.18 cores=1,3,5,7
/proc/32531/stat : 32531 (glucose) R 32530 32496 21267 0 -1 4202496 5890 0 0 0 14816 2 0 0 20 0 1 0 287757513 38780928 8603 33554432000 4194304 5208918 140737386442592 140737386440440 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/32531/statm: 9468 8603 102 248 0 9217 0
Current children cumulated CPU time (s) 197.63
Current children cumulated vsize (KiB) 58824
Child status: 0
Real time (s): 197.777
CPU time (s): 197.733
CPU user time (s): 197.63
CPU system time (s): 0.102984
CPU usage (%): 99.9775
Max. virtual memory (cumulated for all children) (KiB): 62700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 197.63
system time used= 0.102984
maximum resident set size= 34416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33419
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 117
involuntary context switches= 262
runsolver used 0.685895 second user time and 1.70374 second system time
The end