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-3713540-1338185080/watcher-3713540-1338185080 -o /tmp/evaluation-result-3713540-1338185080/solver-3713540-1338185080 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713540-1338185080.wbo 1036426045 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: 2.03 2.00 2.00 3/179 26775
/proc/meminfo: memFree=31494476/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[startup+0.027391 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 26775
/proc/meminfo: memFree=31494476/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10024 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 26775
/proc/meminfo: memFree=31494476/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300353 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 26775
/proc/meminfo: memFree=31494476/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700298 s]
/proc/loadavg: 2.03 2.00 2.00 3/179 26775
/proc/meminfo: memFree=31494476/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50024 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 26796
/proc/meminfo: memFree=31446156/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=11504 CPUtime=1.39 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 5291 21931 0 0 13 2 117 7 20 0 1 0 284575024 11780096 1805 33554432000 4194304 5990268 140736314375616 140736314366544 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 2876 1805 166 439 0 2433 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 20652
[startup+3.10023 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 26817
/proc/meminfo: memFree=31486292/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=2.69 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 6784 42247 0 0 16 3 226 24 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 16180
[startup+6.30031 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 26831
/proc/meminfo: memFree=31482296/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=3.12 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 6873 46124 0 0 16 3 268 25 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26830] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26830/stat : 26830 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284575345 9367552 266 33554432000 4194304 5064252 140735287312256 140735287311168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26830/statm: 2287 266 226 213 0 72 0
[pid=26831] ppid=26830 vsize=8624 CPUtime=3.07 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose) R 26830 26775 22152 0 -1 4202496 2050 0 0 0 307 0 0 0 20 0 1 0 284575345 8830976 1534 33554432000 4194304 5208918 140733391315520 140733391313464 4211623 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26831/statm: 2156 1534 102 248 0 1905 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 33952
[startup+12.7003 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 26831
/proc/meminfo: memFree=31474200/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=3.12 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 6873 46124 0 0 16 3 268 25 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26830] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26830/stat : 26830 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 284575345 9367552 266 33554432000 4194304 5064252 140735287312256 140735287311168 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26830/statm: 2287 266 226 213 0 72 0
[pid=26831] ppid=26830 vsize=11944 CPUtime=9.47 cores=1,3,5,7
/proc/26831/stat : 26831 (glucose) R 26830 26775 22152 0 -1 4202496 3131 0 0 0 947 0 0 0 20 0 1 0 284575345 12230656 2548 33554432000 4194304 5208918 140733391315520 140733391313384 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26831/statm: 2986 2548 102 248 0 2735 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 37272
[startup+25.5003 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 26944
/proc/meminfo: memFree=31489308/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=11960 CPUtime=4.76 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 3108 0 0 0 476 0 0 0 20 0 1 0 284577097 12247040 2532 33554432000 4194304 5208918 140733887378832 140733887376696 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 2990 2532 102 248 0 2739 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 37288
[startup+51.1003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26952
/proc/meminfo: memFree=31460860/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=21928 CPUtime=30.35 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 4595 0 0 0 3035 0 0 0 20 0 1 0 284577097 22454272 4984 33554432000 4194304 5208918 140733887378832 140733887375144 4229982 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 5482 4984 103 248 0 5231 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 47256
Solver just ended. Dumping a history of the last processes samples
[startup+57.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26952
/proc/meminfo: memFree=31464384/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=14856 CPUtime=36.75 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 5384 0 0 0 3674 1 0 0 20 0 1 0 284577097 15212544 3313 33554432000 4194304 5208918 140733887378832 140733887376840 4229512 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 3714 3313 103 248 0 3463 0
Current children cumulated CPU time (s) 57.38
Current children cumulated vsize (KiB) 40184
[startup+60.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26952
/proc/meminfo: memFree=31458240/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=26352 CPUtime=39.95 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 5645 0 0 0 3994 1 0 0 20 0 1 0 284577097 26984448 5104 33554432000 4194304 5208918 140733887378832 140733887376824 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 6588 5104 103 248 0 6337 0
Current children cumulated CPU time (s) 60.58
Current children cumulated vsize (KiB) 51680
[startup+63.9004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26952
/proc/meminfo: memFree=31458172/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=21928 CPUtime=43.15 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 5752 0 0 0 4314 1 0 0 20 0 1 0 284577097 22454272 4897 33554432000 4194304 5208918 140733887378832 140733887376776 4212912 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 5482 4897 103 248 0 5231 0
Current children cumulated CPU time (s) 63.78
Current children cumulated vsize (KiB) 47256
[startup+65.5004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26952
/proc/meminfo: memFree=31458048/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=21928 CPUtime=44.75 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 5910 0 0 0 4474 1 0 0 20 0 1 0 284577097 22454272 5055 33554432000 4194304 5208918 140733887378832 140733887376776 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 5482 5055 103 248 0 5231 0
Current children cumulated CPU time (s) 65.38
Current children cumulated vsize (KiB) 47256
[startup+65.9004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26952
/proc/meminfo: memFree=31457924/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=21928 CPUtime=45.15 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 5910 0 0 0 4514 1 0 0 20 0 1 0 284577097 22454272 5055 33554432000 4194304 5208918 140733887378832 140733887376776 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 5482 5055 103 248 0 5231 0
Current children cumulated CPU time (s) 65.78
Current children cumulated vsize (KiB) 47256
[startup+66.3004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 26952
/proc/meminfo: memFree=31457924/32873844 swapFree=6872/6872
[pid=26775] ppid=26773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26775/stat : 26775 (npSolver-wbo.sh) S 26773 26775 22152 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 284575024 9367552 275 33554432000 4194304 5064252 140735291572064 140735291570976 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26775/statm: 2287 275 233 213 0 72 0
[pid=26776] ppid=26775 vsize=7032 CPUtime=20.63 cores=1,3,5,7
/proc/26776/stat : 26776 (npSolver-wbo) S 26775 26775 22152 0 -1 4202496 7045 58273 0 0 16 3 2016 28 20 0 1 0 284575024 7200768 1243 33554432000 4194304 5990268 140736314375616 140736314367056 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26776/statm: 1758 1243 166 439 0 1315 0
[pid=26844] ppid=26776 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26844/stat : 26844 (satsolver.sh) S 26776 26775 22152 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 284577097 9367552 267 33554432000 4194304 5064252 140734629707728 140734629706640 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26844/statm: 2287 267 226 213 0 72 0
[pid=26845] ppid=26844 vsize=21928 CPUtime=45.55 cores=1,3,5,7
/proc/26845/stat : 26845 (glucose) R 26844 26775 22152 0 -1 4202496 5910 0 0 0 4554 1 0 0 20 0 1 0 284577097 22454272 5055 33554432000 4194304 5208918 140733887378832 140733887376776 4229456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26845/statm: 5482 5055 103 248 0 5231 0
Current children cumulated CPU time (s) 66.18
Current children cumulated vsize (KiB) 47256
Child status: 0
Real time (s): 66.3292
CPU time (s): 66.2319
CPU user time (s): 65.886
CPU system time (s): 0.345947
CPU usage (%): 99.8533
Max. virtual memory (cumulated for all children) (KiB): 75040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.886
system time used= 0.345947
maximum resident set size= 38408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75054
page faults= 0
swaps= 0
block input operations= 0
block output operations= 24912
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 472
involuntary context switches= 186
runsolver used 0.109983 second user time and 0.426935 second system time
The end