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-3714220-1338185478/watcher-3714220-1338185478 -o /tmp/evaluation-result-3714220-1338185478/solver-3714220-1338185478 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-I.sh HOME/instance-3714220-1338185478.wbo 1786498512 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17932
/proc/meminfo: memFree=28002356/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[startup+0.0696001 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17932
/proc/meminfo: memFree=28002356/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100339 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17932
/proc/meminfo: memFree=28002356/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300309 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17932
/proc/meminfo: memFree=28002356/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700317 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17932
/proc/meminfo: memFree=28002356/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17946
/proc/meminfo: memFree=27971136/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11812 CPUtime=0.23 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 2756 5858 0 0 11 2 8 2 20 0 1 0 284676357 12095488 1812 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17933/statm: 2953 1812 166 439 0 2510 0
[pid=17945] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17945/stat : 17945 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284676381 9367552 267 33554432000 4194304 5064252 140736217430256 140736217429168 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17945/statm: 2287 267 226 213 0 72 0
[pid=17946] ppid=17945 vsize=19256 CPUtime=1.24 cores=0,2,4,6
/proc/17946/stat : 17946 (glucose) R 17945 17932 14026 0 -1 4202496 4730 0 0 0 124 0 0 0 20 0 1 0 284676382 19718144 4263 33554432000 4194304 5208918 140736605529776 140736605527608 4211147 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17946/statm: 4814 4263 104 248 0 4563 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 49364
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17946
/proc/meminfo: memFree=27970748/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11812 CPUtime=0.23 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 2756 5858 0 0 11 2 8 2 20 0 1 0 284676357 12095488 1812 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17933/statm: 2953 1812 166 439 0 2510 0
[pid=17945] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17945/stat : 17945 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284676381 9367552 267 33554432000 4194304 5064252 140736217430256 140736217429168 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17945/statm: 2287 267 226 213 0 72 0
[pid=17946] ppid=17945 vsize=19520 CPUtime=2.84 cores=0,2,4,6
/proc/17946/stat : 17946 (glucose) R 17945 17932 14026 0 -1 4202496 4793 0 0 0 284 0 0 0 20 0 1 0 284676382 19988480 4326 33554432000 4194304 5208918 140736605529776 140736605527624 4211156 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17946/statm: 4880 4326 104 248 0 4629 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 49628
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17953
/proc/meminfo: memFree=27910480/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=20212 CPUtime=4.79 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 6157 13976 0 0 23 5 446 5 20 0 1 0 284676357 20697088 2953 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 5053 2953 166 439 0 4610 0
[pid=17952] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17952/stat : 17952 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284676854 9367552 266 33554432000 4194304 5064252 140737058804448 140737058803360 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17952/statm: 2287 266 226 213 0 72 0
[pid=17953] ppid=17952 vsize=71484 CPUtime=1.31 cores=0,2,4,6
/proc/17953/stat : 17953 (glucose) R 17952 17932 14026 0 -1 4202496 15761 0 0 0 129 2 0 0 20 0 1 0 284676855 73199616 16553 33554432000 4194304 5208918 140733386629504 140733386627912 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17953/statm: 17871 16553 95 248 0 17620 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 109992
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17953
/proc/meminfo: memFree=27905904/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=20212 CPUtime=4.79 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 6157 13976 0 0 23 5 446 5 20 0 1 0 284676357 20697088 2953 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 5053 2953 166 439 0 4610 0
[pid=17952] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17952/stat : 17952 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284676854 9367552 266 33554432000 4194304 5064252 140737058804448 140737058803360 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17952/statm: 2287 266 226 213 0 72 0
[pid=17953] ppid=17952 vsize=71748 CPUtime=7.71 cores=0,2,4,6
/proc/17953/stat : 17953 (glucose) R 17952 17932 14026 0 -1 4202496 15817 0 0 0 769 2 0 0 20 0 1 0 284676855 73469952 17120 33554432000 4194304 5208918 140733386629504 140733386627352 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17953/statm: 17937 17120 95 248 0 17686 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 110256
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17974
/proc/meminfo: memFree=27971008/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11368 CPUtime=23.13 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 8537 52556 0 0 30 5 2240 38 20 0 1 0 284676357 11640832 2344 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 2842 2344 166 439 0 2399 0
[pid=17973] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17973/stat : 17973 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284678688 9367552 266 33554432000 4194304 5064252 140736427044736 140736427043648 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17973/statm: 2287 266 226 213 0 72 0
[pid=17974] ppid=17973 vsize=10208 CPUtime=2.17 cores=0,2,4,6
/proc/17974/stat : 17974 (glucose) R 17973 17932 14026 0 -1 4202496 2842 0 0 0 217 0 0 0 20 0 1 0 284678688 10452992 2117 33554432000 4194304 5208918 140736384402720 140736384400664 4211584 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17974/statm: 2552 2117 96 248 0 2301 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 39872
Solver just ended. Dumping a history of the last processes samples
[startup+38.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17995
/proc/meminfo: memFree=27985236/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11368 CPUtime=33.73 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 8863 70442 0 0 30 6 3294 43 20 0 1 0 284676357 11640832 2344 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 2842 2344 166 439 0 2399 0
[pid=17994] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17994/stat : 17994 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284679748 9367552 267 33554432000 4194304 5064252 140736021931200 140736021930112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17994/statm: 2287 267 226 213 0 72 0
[pid=17995] ppid=17994 vsize=8664 CPUtime=4.37 cores=0,2,4,6
/proc/17995/stat : 17995 (glucose) R 17994 17932 14026 0 -1 4202496 2113 0 0 0 437 0 0 0 20 0 1 0 284679749 8871936 1627 33554432000 4194304 5208918 140737005730304 140737005728152 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17995/statm: 2166 1627 102 248 0 1915 0
Current children cumulated CPU time (s) 38.1
Current children cumulated vsize (KiB) 38328
[startup+41.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17995
/proc/meminfo: memFree=27983252/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11368 CPUtime=33.73 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 8863 70442 0 0 30 6 3294 43 20 0 1 0 284676357 11640832 2344 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 2842 2344 166 439 0 2399 0
[pid=17994] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17994/stat : 17994 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284679748 9367552 267 33554432000 4194304 5064252 140736021931200 140736021930112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17994/statm: 2287 267 226 213 0 72 0
[pid=17995] ppid=17994 vsize=11976 CPUtime=7.57 cores=0,2,4,6
/proc/17995/stat : 17995 (glucose) R 17994 17932 14026 0 -1 4202496 2485 0 0 0 757 0 0 0 20 0 1 0 284679749 12263424 1982 33554432000 4194304 5208918 140737005730304 140737005728248 4229319 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17995/statm: 2994 1982 102 248 0 2743 0
Current children cumulated CPU time (s) 41.3
Current children cumulated vsize (KiB) 41640
[startup+43.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17995
/proc/meminfo: memFree=27977296/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11368 CPUtime=33.73 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 8863 70442 0 0 30 6 3294 43 20 0 1 0 284676357 11640832 2344 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 2842 2344 166 439 0 2399 0
[pid=17994] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17994/stat : 17994 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284679748 9367552 267 33554432000 4194304 5064252 140736021931200 140736021930112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17994/statm: 2287 267 226 213 0 72 0
[pid=17995] ppid=17994 vsize=15756 CPUtime=9.17 cores=0,2,4,6
/proc/17995/stat : 17995 (glucose) R 17994 17932 14026 0 -1 4202496 2994 0 0 0 917 0 0 0 20 0 1 0 284679749 16134144 2972 33554432000 4194304 5208918 140737005730304 140737005728248 4205148 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17995/statm: 3939 2972 102 248 0 3688 0
Current children cumulated CPU time (s) 42.9
Current children cumulated vsize (KiB) 45420
[startup+43.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17995
/proc/meminfo: memFree=27977172/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11368 CPUtime=33.73 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 8863 70442 0 0 30 6 3294 43 20 0 1 0 284676357 11640832 2344 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 2842 2344 166 439 0 2399 0
[pid=17994] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17994/stat : 17994 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284679748 9367552 267 33554432000 4194304 5064252 140736021931200 140736021930112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17994/statm: 2287 267 226 213 0 72 0
[pid=17995] ppid=17994 vsize=15756 CPUtime=9.98 cores=0,2,4,6
/proc/17995/stat : 17995 (glucose) R 17994 17932 14026 0 -1 4202496 2994 0 0 0 998 0 0 0 20 0 1 0 284679749 16134144 2972 33554432000 4194304 5208918 140737005730304 140737005728248 4229460 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17995/statm: 3939 2972 102 248 0 3688 0
Current children cumulated CPU time (s) 43.71
Current children cumulated vsize (KiB) 45420
[startup+44.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17995
/proc/meminfo: memFree=27977172/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11368 CPUtime=33.73 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) S 17932 17932 14026 0 -1 4202496 8863 70442 0 0 30 6 3294 43 20 0 1 0 284676357 11640832 2344 33554432000 4194304 5990268 140737120609168 140737120600608 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 2842 2344 166 439 0 2399 0
[pid=17994] ppid=17933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17994/stat : 17994 (satsolver.sh) S 17933 17932 14026 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 284679748 9367552 267 33554432000 4194304 5064252 140736021931200 140736021930112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/17994/statm: 2287 267 226 213 0 72 0
[pid=17995] ppid=17994 vsize=15756 CPUtime=10.37 cores=0,2,4,6
/proc/17995/stat : 17995 (glucose) R 17994 17932 14026 0 -1 4202496 2994 0 0 0 1037 0 0 0 20 0 1 0 284679749 16134144 2972 33554432000 4194304 5208918 140737005730304 140737005728248 4229717 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17995/statm: 3939 2972 102 248 0 3688 0
Current children cumulated CPU time (s) 44.1
Current children cumulated vsize (KiB) 45420
[startup+44.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17995
/proc/meminfo: memFree=27977172/32873844 swapFree=7620/7620
[pid=17932] ppid=17930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17932/stat : 17932 (npSolver-wbo-I.) S 17930 17932 14026 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284676357 9367552 275 33554432000 4194304 5064252 140733520337200 140733520336112 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17932/statm: 2287 275 233 213 0 72 0
[pid=17933] ppid=17932 vsize=11368 CPUtime=44.31 cores=0,2,4,6
/proc/17933/stat : 17933 (npSolver-wbo) R 17932 17932 14026 0 -1 4202496 8867 74042 0 0 30 6 4352 43 20 0 1 0 284676357 11640832 2344 33554432000 4194304 5990268 140737120609168 140737120600608 4407852 0 0 4096 0 0 0 0 17 0 0 0 15 0 0
/proc/17933/statm: 2842 2344 166 439 0 2399 0
Current children cumulated CPU time (s) 44.31
Current children cumulated vsize (KiB) 20516
Child status: 0
Real time (s): 44.5135
CPU time (s): 44.3483
CPU user time (s): 43.8333
CPU system time (s): 0.514921
CPU usage (%): 99.6289
Max. virtual memory (cumulated for all children) (KiB): 114472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.8333
system time used= 0.514921
maximum resident set size= 72672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 86705
page faults= 0
swaps= 0
block input operations= 0
block output operations= 44056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 748
involuntary context switches= 181
runsolver used 0.154976 second user time and 0.373943 second system time
The end