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-3717214-1338213052/watcher-3717214-1338213052 -o /tmp/evaluation-result-3717214-1338213052/solver-3717214-1338213052 -C 1800 -W 1900 -M 15500 HOME/runWbo2satCp2.sh HOME/instance-3717214-1338213052.wbo 1327149568 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.92 1.98 1.99 2/180 5573
/proc/meminfo: memFree=26953592/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[startup+0.0721449 s]
/proc/loadavg: 1.92 1.98 1.99 2/180 5573
/proc/meminfo: memFree=26953592/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/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.92 1.98 1.99 2/180 5573
/proc/meminfo: memFree=26953592/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300159 s]
/proc/loadavg: 1.92 1.98 1.99 2/180 5573
/proc/meminfo: memFree=26953592/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700142 s]
/proc/loadavg: 1.92 1.98 1.99 2/180 5573
/proc/meminfo: memFree=26953592/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 5580
/proc/meminfo: memFree=26927240/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11244 CPUtime=0.1 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 2891 1462 0 0 9 1 0 0 20 0 1 0 287432047 11513856 1675 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2811 1675 177 410 0 2393 0
[pid=5579] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5579/stat : 5579 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 287432058 9367552 267 33554432000 4194304 5064252 140737245741728 140737245740640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5579/statm: 2287 267 226 213 0 72 0
[pid=5580] ppid=5579 vsize=18540 CPUtime=1.36 cores=1,3,5,7
/proc/5580/stat : 5580 (glucose_static) R 5579 5573 3198 0 -1 4202496 3835 0 0 0 136 0 0 0 20 0 1 0 287432059 18984960 4167 33554432000 4194304 4896791 140734504226704 140734504224024 4205681 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5580/statm: 4635 4167 78 172 0 4461 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 48080
[startup+3.1004 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 5580
/proc/meminfo: memFree=26926124/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11244 CPUtime=0.1 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 2891 1462 0 0 9 1 0 0 20 0 1 0 287432047 11513856 1675 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2811 1675 177 410 0 2393 0
[pid=5579] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5579/stat : 5579 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 287432058 9367552 267 33554432000 4194304 5064252 140737245741728 140737245740640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5579/statm: 2287 267 226 213 0 72 0
[pid=5580] ppid=5579 vsize=21524 CPUtime=2.96 cores=1,3,5,7
/proc/5580/stat : 5580 (glucose_static) R 5579 5573 3198 0 -1 4202496 4126 0 0 0 296 0 0 0 20 0 1 0 287432059 22040576 4453 33554432000 4194304 4896791 140734504226704 140734504224232 4204106 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5580/statm: 5381 4453 78 172 0 5207 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 51064
[startup+6.30038 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 5580
/proc/meminfo: memFree=26925136/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11244 CPUtime=0.1 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 2891 1462 0 0 9 1 0 0 20 0 1 0 287432047 11513856 1675 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2811 1675 177 410 0 2393 0
[pid=5579] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5579/stat : 5579 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 287432058 9367552 267 33554432000 4194304 5064252 140737245741728 140737245740640 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5579/statm: 2287 267 226 213 0 72 0
[pid=5580] ppid=5579 vsize=22004 CPUtime=6.16 cores=1,3,5,7
/proc/5580/stat : 5580 (glucose_static) R 5579 5573 3198 0 -1 4202496 4795 0 0 0 616 0 0 0 20 0 1 0 287432059 22532096 4541 33554432000 4194304 4896791 140734504226704 140734504222440 4230803 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5580/statm: 5501 4541 78 172 0 5327 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 51544
[startup+12.7004 s]
/proc/loadavg: 1.93 1.98 1.99 3/183 5583
/proc/meminfo: memFree=26925212/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=9.96 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 4787 8130 0 0 15 2 978 1 20 0 1 0 287432047 11628544 2493 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2493 177 410 0 2421 0
[pid=5582] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5582/stat : 5582 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287433046 9367552 266 33554432000 4194304 5064252 140734239715888 140734239714800 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5582/statm: 2287 266 226 213 0 72 0
[pid=5583] ppid=5582 vsize=17812 CPUtime=2.69 cores=1,3,5,7
/proc/5583/stat : 5583 (glucose_static) R 5582 5573 3198 0 -1 4202496 4415 0 0 0 268 1 0 0 20 0 1 0 287433046 18239488 3738 33554432000 4194304 4896791 140736696201344 140736696197080 4203806 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5583/statm: 4453 3738 78 172 0 4279 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 47464
[startup+25.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 5586
/proc/meminfo: memFree=26920736/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=14.51 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 6593 14032 0 0 21 3 1423 4 20 0 1 0 287432047 11628544 2494 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2494 177 410 0 2421 0
[pid=5585] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5585/stat : 5585 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 287433501 9367552 267 33554432000 4194304 5064252 140735787738288 140735787737200 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5585/statm: 2287 267 226 213 0 72 0
[pid=5586] ppid=5585 vsize=24176 CPUtime=10.95 cores=1,3,5,7
/proc/5586/stat : 5586 (glucose_static) R 5585 5573 3198 0 -1 4202496 6181 0 0 0 1093 2 0 0 20 0 1 0 287433501 24756224 5148 33554432000 4194304 4896791 140734640308656 140734640305880 4203968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5586/statm: 6044 5148 78 172 0 5870 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 53828
Solver just ended. Dumping a history of the last processes samples
[startup+28.7004 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 5589
/proc/meminfo: memFree=26928256/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=25.56 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 8378 21335 0 0 26 3 2521 6 20 0 1 0 287432047 11628544 2494 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2494 177 410 0 2421 0
[pid=5588] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5588/stat : 5588 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287434607 9367552 267 33554432000 4194304 5064252 140733357184752 140733357183664 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5588/statm: 2287 267 226 213 0 72 0
[pid=5589] ppid=5588 vsize=14832 CPUtime=3.08 cores=1,3,5,7
/proc/5589/stat : 5589 (glucose_static) R 5588 5573 3198 0 -1 4202496 3666 0 0 0 308 0 0 0 20 0 1 0 287434607 15187968 3269 33554432000 4194304 4896791 140735478868832 140735478865976 4203968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5589/statm: 3708 3269 78 172 0 3534 0
Current children cumulated CPU time (s) 28.64
Current children cumulated vsize (KiB) 44484
[startup+30.3002 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 5589
/proc/meminfo: memFree=26927884/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=30.23 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 10503 30131 0 0 30 4 2980 9 20 0 1 0 287432047 11628544 2494 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2494 177 410 0 2421 0
Current children cumulated CPU time (s) 30.23
Current children cumulated vsize (KiB) 20504
[startup+31.9067 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 5610
/proc/meminfo: memFree=26937320/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=31.53 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 14925 46017 0 0 39 5 3096 13 20 0 1 0 287432047 11628544 2494 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2494 177 410 0 2421 0
[pid=5609] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5609/stat : 5609 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 287435209 9367552 266 33554432000 4194304 5064252 140734053698368 140734053697280 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5609/statm: 2287 266 226 213 0 72 0
[pid=5610] ppid=5609 vsize=7196 CPUtime=0.27 cores=1,3,5,7
/proc/5610/stat : 5610 (glucose_static) R 5609 5573 3198 0 -1 4202496 1895 0 0 0 27 0 0 0 20 0 1 0 287435209 7368704 1460 33554432000 4194304 4896791 140734290286384 140734290283912 4225148 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5610/statm: 1799 1460 77 172 0 1625 0
Current children cumulated CPU time (s) 31.8
Current children cumulated vsize (KiB) 36848
[startup+32.7001 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 5610
/proc/meminfo: memFree=26937320/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=32.33 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 16726 52386 0 0 42 6 3170 15 20 0 1 0 287432047 11628544 2494 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2494 177 410 0 2421 0
Current children cumulated CPU time (s) 32.33
Current children cumulated vsize (KiB) 20504
[startup+33.1003 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 5619
/proc/meminfo: memFree=26937072/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=32.73 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 17695 55207 0 0 44 6 3208 15 20 0 1 0 287432047 11628544 2494 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2494 177 410 0 2421 0
[pid=5618] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5618/stat : 5618 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287435330 9367552 267 33554432000 4194304 5064252 140734677137216 140734677136128 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5618/statm: 2287 267 226 213 0 72 0
[pid=5619] ppid=5618 vsize=7148 CPUtime=0.25 cores=1,3,5,7
/proc/5619/stat : 5619 (glucose_static) R 5618 5573 3198 0 -1 4202496 1722 0 0 0 25 0 0 0 20 0 1 0 287435330 7319552 1445 33554432000 4194304 4896791 140734764532592 140734764529800 4203715 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5619/statm: 1787 1445 78 172 0 1613 0
Current children cumulated CPU time (s) 32.98
Current children cumulated vsize (KiB) 36800
[startup+33.2003 s]
/proc/loadavg: 1.95 1.98 1.99 3/183 5619
/proc/meminfo: memFree=26937072/32873648 swapFree=6848/6848
[pid=5573] ppid=5571 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5573/stat : 5573 (runWbo2satCp2.s) S 5571 5573 3198 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 287432047 9367552 275 33554432000 4194304 5064252 140734400889600 140734400888512 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5573/statm: 2287 275 233 213 0 72 0
[pid=5574] ppid=5573 vsize=11356 CPUtime=32.73 cores=1,3,5,7
/proc/5574/stat : 5574 (wbo2sat) S 5573 5573 3198 0 -1 4202496 17695 55207 0 0 44 6 3208 15 20 0 1 0 287432047 11628544 2494 33554432000 4194304 5872148 140734884927920 140734884921192 5123914 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5574/statm: 2839 2494 177 410 0 2421 0
[pid=5618] ppid=5574 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5618/stat : 5618 (satsolver.sh) S 5574 5573 3198 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 287435330 9367552 267 33554432000 4194304 5064252 140734677137216 140734677136128 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5618/statm: 2287 267 226 213 0 72 0
[pid=5619] ppid=5618 vsize=7148 CPUtime=0.35 cores=1,3,5,7
/proc/5619/stat : 5619 (glucose_static) R 5618 5573 3198 0 -1 4202496 1749 0 0 0 35 0 0 0 20 0 1 0 287435330 7319552 1472 33554432000 4194304 4896791 140734764532592 140734764529800 4207584 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5619/statm: 1787 1472 78 172 0 1613 0
Current children cumulated CPU time (s) 33.08
Current children cumulated vsize (KiB) 36800
Child status: 0
Real time (s): 33.2361
CPU time (s): 33.152
CPU user time (s): 32.921
CPU system time (s): 0.230964
CPU usage (%): 99.7468
Max. virtual memory (cumulated for all children) (KiB): 56356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 32.921
system time used= 0.230964
maximum resident set size= 23648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76662
page faults= 0
swaps= 0
block input operations= 0
block output operations= 56744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 123
involuntary context switches= 201
runsolver used 0.070989 second user time and 0.19597 second system time
The end