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-3714782-1338252711/watcher-3714782-1338252711 -o /tmp/evaluation-result-3714782-1338252711/solver-3714782-1338252711 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3714782-1338252711.wbo 1219151005 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 28904
/proc/meminfo: memFree=27272476/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0

[startup+0.0166629 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28904
/proc/meminfo: memFree=27272476/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100242 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28904
/proc/meminfo: memFree=27272476/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300242 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28904
/proc/meminfo: memFree=27272476/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28904
/proc/meminfo: memFree=27272476/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28906
/proc/meminfo: memFree=27263028/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=18612 CPUtime=1.49 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) R 28904 28904 25900 0 -1 4202496 2350 0 0 0 149 0 0 0 20 0 1 0 291399712 19058688 3878 33554432000 4194304 5990268 140736074368016 140736074363256 4964125 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28905/statm: 4653 3878 137 439 0 4210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27760

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28906
/proc/meminfo: memFree=27252408/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=34996 CPUtime=3.09 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) R 28904 28904 25900 0 -1 4202496 2876 0 0 0 308 1 0 0 20 0 1 0 291399712 35835904 7462 33554432000 4194304 5990268 140736074368016 140736074363256 5177776 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28905/statm: 8749 7462 137 439 0 8306 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 44144

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28906
/proc/meminfo: memFree=27180428/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=141484 CPUtime=6.29 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) R 28904 28904 25900 0 -1 4202496 5582 0 0 0 623 6 0 0 20 0 1 0 291399712 144879616 23903 33554432000 4194304 5990268 140736074368016 140736074363592 4569513 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28905/statm: 35371 23903 142 439 0 34928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 150632

[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 28908
/proc/meminfo: memFree=26721808/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=191876 CPUtime=11.08 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 7850 0 0 0 925 183 0 0 20 0 1 0 291399712 196481024 35101 33554432000 4194304 5990268 140736074368016 140736074361168 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/28905/statm: 47969 35101 150 439 0 47526 0
[pid=28907] ppid=28905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28907/stat : 28907 (cp2_pre.sh) S 28905 28904 25900 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 291400836 9367552 277 33554432000 4194304 5064252 140735622996128 140735622994832 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28907/statm: 2287 277 234 213 0 72 0
[pid=28908] ppid=28907 vsize=500724 CPUtime=1.4 cores=0,2,4,6
/proc/28908/stat : 28908 (coprocessor) R 28907 28904 25900 0 -1 4202496 40868 0 0 0 128 12 0 0 20 0 1 0 291400840 512741376 105903 33554432000 4194304 6586260 140736685317808 140736685314072 4249082 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28908/statm: 125181 105903 164 584 0 124593 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 710896

[startup+25.5004 s]
/proc/loadavg: 2.13 2.03 2.01 3/183 28908
/proc/meminfo: memFree=26490364/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=191876 CPUtime=11.08 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 7850 0 0 0 925 183 0 0 20 0 1 0 291399712 196481024 35101 33554432000 4194304 5990268 140736074368016 140736074361168 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 14 0 0
/proc/28905/statm: 47969 35101 150 439 0 47526 0
[pid=28907] ppid=28905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28907/stat : 28907 (cp2_pre.sh) S 28905 28904 25900 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 291400836 9367552 277 33554432000 4194304 5064252 140735622996128 140735622994832 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28907/statm: 2287 277 234 213 0 72 0
[pid=28908] ppid=28907 vsize=616928 CPUtime=14.2 cores=0,2,4,6
/proc/28908/stat : 28908 (coprocessor) R 28907 28904 25900 0 -1 4202496 53914 0 0 0 1403 17 0 0 20 0 1 0 291400840 631734272 150144 33554432000 4194304 6586260 140736685317808 140736685313672 5599507 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28908/statm: 154232 150144 188 584 0 153644 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 827100

[startup+51.1003 s]
/proc/loadavg: 2.15 2.04 2.01 3/181 28932
/proc/meminfo: memFree=27254068/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=241032 CPUtime=47.05 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 17753 141643 0 0 1025 359 3249 72 20 0 1 0 291399712 246816768 47217 33554432000 4194304 5990268 140736074368016 140736074359440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 15 0 0
/proc/28905/statm: 60258 47217 164 439 0 59815 0
[pid=28924] ppid=28905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28924/stat : 28924 (satsolver.sh) S 28905 28904 25900 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 291404452 9367552 267 33554432000 4194304 5064252 140734514157952 140734514156864 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28924/statm: 2287 267 226 213 0 72 0
[pid=28925] ppid=28924 vsize=249076 CPUtime=3.68 cores=0,2,4,6
/proc/28925/stat : 28925 (glucose) R 28924 28904 25900 0 -1 4202496 33642 0 0 0 360 8 0 0 20 0 1 0 291404452 255053824 54075 33554432000 4194304 5208918 140734705291168 140734705288840 4211897 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28925/statm: 62269 54075 103 248 0 62018 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 508404

[startup+102.307 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 29043
/proc/meminfo: memFree=27082036/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=241032 CPUtime=101.06 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 98535 825574 0 0 1491 405 7768 442 20 0 1 0 291399712 246816768 47217 33554432000 4194304 5990268 140736074368016 140736074358928 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 60258 47217 164 439 0 59815 0
[pid=29041] ppid=28905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29041/stat : 29041 (cp2_post.sh) S 28905 28904 25900 0 -1 4202496 612 0 0 0 0 0 0 0 20 0 1 0 291409926 9367552 266 33554432000 4194304 5064252 140736547329856 140736547328144 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29041/statm: 2287 266 225 213 0 72 0
[pid=29042] ppid=29041 vsize=4004 CPUtime=0 cores=0,2,4,6
/proc/29042/stat : 29042 (cat) S 29041 28904 25900 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 291409927 4100096 121 33554432000 4194304 4236627 140733193498512 140733193497608 218213729760 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29042/statm: 1001 121 96 11 0 67 0
[pid=29043] ppid=29041 vsize=17952 CPUtime=0.14 cores=0,2,4,6
/proc/29043/stat : 29043 (coprocessor) R 29041 28904 25900 0 -1 4202496 3459 0 0 0 14 0 0 0 20 0 1 0 291409927 18382848 3915 33554432000 4194304 6586260 140734481980688 140736547328168 4967814 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/29043/statm: 4488 3915 148 584 0 3900 0
Current children cumulated CPU time (s) 101.2
Current children cumulated vsize (KiB) 281284

Solver just ended. Dumping a history of the last processes samples

[startup+108.7 s]
/proc/loadavg: 2.11 2.05 2.01 2/182 29059
/proc/meminfo: memFree=27124560/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=243396 CPUtime=106.56 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 114296 919597 0 0 1581 414 8162 499 20 0 1 0 291399712 249237504 47996 33554432000 4194304 5990268 140736074368016 140736074359440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 60849 47996 164 439 0 60406 0
Current children cumulated CPU time (s) 106.56
Current children cumulated vsize (KiB) 252544

[startup+111.9 s]
/proc/loadavg: 2.10 2.05 2.01 3/181 29066
/proc/meminfo: memFree=27103864/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=243396 CPUtime=109.48 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 119460 963209 0 0 1610 416 8401 521 20 0 1 0 291399712 249237504 47996 33554432000 4194304 5990268 140736074368016 140736074359440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 60849 47996 164 439 0 60406 0
Current children cumulated CPU time (s) 109.48
Current children cumulated vsize (KiB) 252544

[startup+115.1 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 29075
/proc/meminfo: memFree=26893480/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=243396 CPUtime=113.4 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 124627 1039281 0 0 1639 419 8728 554 20 0 1 0 291399712 249237504 47996 33554432000 4194304 5990268 140736074368016 140736074358928 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 60849 47996 164 439 0 60406 0
Current children cumulated CPU time (s) 113.4
Current children cumulated vsize (KiB) 252544

[startup+115.9 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 29078
/proc/meminfo: memFree=27050384/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=276168 CPUtime=114.37 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) R 28904 28904 25900 0 -1 4202496 129043 1047623 0 0 1658 420 8793 566 20 0 1 0 291399712 282796032 53258 33554432000 4194304 5990268 140736074368016 140736074360016 4569513 0 0 4096 0 0 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 69042 53258 164 439 0 68599 0
Current children cumulated CPU time (s) 114.37
Current children cumulated vsize (KiB) 285316

[startup+116.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 29078
/proc/meminfo: memFree=27050384/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=243396 CPUtime=114.49 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 129778 1047623 0 0 1668 422 8793 566 20 0 1 0 291399712 249237504 47996 33554432000 4194304 5990268 140736074368016 140736074359440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 60849 47996 164 439 0 60406 0
Current children cumulated CPU time (s) 114.49
Current children cumulated vsize (KiB) 252544

[startup+116.7 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 29082
/proc/meminfo: memFree=26898892/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=243396 CPUtime=114.49 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 129778 1047623 0 0 1668 422 8793 566 20 0 1 0 291399712 249237504 47996 33554432000 4194304 5990268 140736074368016 140736074359440 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 60849 47996 164 439 0 60406 0
[pid=29081] ppid=28905 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29081/stat : 29081 (satsolver.sh) S 28905 28904 25900 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 291411313 9367552 266 33554432000 4194304 5064252 140735226833920 140735226832832 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29081/statm: 2287 266 226 213 0 72 0
[pid=29082] ppid=29081 vsize=244552 CPUtime=0.68 cores=0,2,4,6
/proc/29082/stat : 29082 (glucose) R 29081 28904 25900 0 -1 4202496 33374 0 0 0 60 8 0 0 20 0 1 0 291411313 250421248 51789 33554432000 4194304 5208918 140735339452464 140735339450312 4229039 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29082/statm: 61138 51789 103 248 0 60887 0
Current children cumulated CPU time (s) 115.17
Current children cumulated vsize (KiB) 506244

[startup+116.8 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 29082
/proc/meminfo: memFree=26898892/32873844 swapFree=7620/7620
[pid=28904] ppid=28902 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28904/stat : 28904 (npSolver-wbo-It) S 28902 28904 25900 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 291399711 9367552 274 33554432000 4194304 5064252 140735237409888 140735237408800 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28904/statm: 2287 274 233 213 0 72 0
[pid=28905] ppid=28904 vsize=243396 CPUtime=115.22 cores=0,2,4,6
/proc/28905/stat : 28905 (npSolver-wbo) S 28904 28904 25900 0 -1 4202496 129810 1084702 0 0 1668 422 8856 576 20 0 1 0 291399712 249237504 47996 33554432000 4194304 5990268 140736074368016 140736074360016 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 73 0 0
/proc/28905/statm: 60849 47996 164 439 0 60406 0
Current children cumulated CPU time (s) 115.22
Current children cumulated vsize (KiB) 252544

Child status: 0
Real time (s): 116.836
CPU time (s): 115.322
CPU user time (s): 105.246
CPU system time (s): 10.0765
CPU usage (%): 98.705
Max. virtual memory (cumulated for all children) (KiB): 858136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.246
system time used= 10.0765
maximum resident set size= 631744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1215890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3404936
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61203
involuntary context switches= 489

runsolver used 0.231964 second user time and 0.664898 second system time

The end