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-3755140-1339204193/watcher-3755140-1339204193 -o /tmp/evaluation-result-3755140-1339204193/solver-3755140-1339204193 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3755140-1339204193.wbo 33726140 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.61 2.18 2.06 3/180 8756
/proc/meminfo: memFree=29344792/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[startup+0.020453 s]
/proc/loadavg: 2.61 2.18 2.06 3/180 8756
/proc/meminfo: memFree=29344792/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10022 s]
/proc/loadavg: 2.61 2.18 2.06 3/180 8756
/proc/meminfo: memFree=29344792/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300209 s]
/proc/loadavg: 2.61 2.18 2.06 3/180 8756
/proc/meminfo: memFree=29344792/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700214 s]
/proc/loadavg: 2.61 2.18 2.06 3/180 8756
/proc/meminfo: memFree=29344792/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 2.61 2.18 2.06 3/184 8784
/proc/meminfo: memFree=29342780/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=0.87 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2313 12209 0 0 1 0 84 2 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8783] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8783/stat : 8783 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386546750 9367552 266 33554432000 4194304 5064252 140736240827200 140736240826112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8783/statm: 2287 266 226 213 0 72 0
[pid=8784] ppid=8783 vsize=4920 CPUtime=0.6 cores=1,3,5,7
/proc/8784/stat : 8784 (glucose) R 8783 8756 4391 0 -1 4202496 1171 0 0 0 60 0 0 0 20 0 1 0 386546750 5038080 755 33554432000 4194304 5208918 140734511977728 140734511975816 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8784/statm: 1230 755 96 248 0 979 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 26084
[startup+3.10034 s]
/proc/loadavg: 2.57 2.17 2.05 3/184 8784
/proc/meminfo: memFree=29339664/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=0.87 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2313 12209 0 0 1 0 84 2 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8783] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8783/stat : 8783 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386546750 9367552 266 33554432000 4194304 5064252 140736240827200 140736240826112 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8783/statm: 2287 266 226 213 0 72 0
[pid=8784] ppid=8783 vsize=9288 CPUtime=2.2 cores=1,3,5,7
/proc/8784/stat : 8784 (glucose) R 8783 8756 4391 0 -1 4202496 1864 0 0 0 220 0 0 0 20 0 1 0 386546750 9510912 1407 33554432000 4194304 5208918 140734511977728 140734511975672 4212746 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8784/statm: 2322 1407 96 248 0 2071 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 30452
[startup+6.30034 s]
/proc/loadavg: 2.57 2.17 2.05 3/184 8791
/proc/meminfo: memFree=29338180/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=5.23 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2485 17711 0 0 1 0 518 4 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8790] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8790/stat : 8790 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386547186 9367552 266 33554432000 4194304 5064252 140734346095792 140734346094704 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8790/statm: 2287 266 226 213 0 72 0
[pid=8791] ppid=8790 vsize=6368 CPUtime=1.04 cores=1,3,5,7
/proc/8791/stat : 8791 (glucose) R 8790 8756 4391 0 -1 4202496 1468 0 0 0 104 0 0 0 20 0 1 0 386547186 6520832 1072 33554432000 4194304 5208918 140735795848944 140735795846888 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8791/statm: 1592 1072 96 248 0 1341 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 27532
[startup+12.7003 s]
/proc/loadavg: 2.48 2.17 2.05 3/185 8801
/proc/meminfo: memFree=29325128/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=7.16 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2649 22561 0 0 2 0 709 5 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8797] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8797/stat : 8797 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386547378 9367552 267 33554432000 4194304 5064252 140733522894400 140733522893312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8797/statm: 2287 267 226 213 0 72 0
[pid=8798] ppid=8797 vsize=9864 CPUtime=5.52 cores=1,3,5,7
/proc/8798/stat : 8798 (glucose) R 8797 8756 4391 0 -1 4202496 2316 0 0 0 552 0 0 0 20 0 1 0 386547378 10100736 1836 33554432000 4194304 5208918 140736731325248 140736731323192 4212457 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8798/statm: 2466 1836 96 248 0 2215 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31028
Solver just ended. Dumping a history of the last processes samples
[startup+12.8004 s]
/proc/loadavg: 2.48 2.17 2.05 3/185 8801
/proc/meminfo: memFree=29325128/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=7.16 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2649 22561 0 0 2 0 709 5 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8797] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8797/stat : 8797 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386547378 9367552 267 33554432000 4194304 5064252 140733522894400 140733522893312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8797/statm: 2287 267 226 213 0 72 0
[pid=8798] ppid=8797 vsize=9864 CPUtime=5.62 cores=1,3,5,7
/proc/8798/stat : 8798 (glucose) R 8797 8756 4391 0 -1 4202496 2316 0 0 0 562 0 0 0 20 0 1 0 386547378 10100736 1836 33554432000 4194304 5208918 140736731325248 140736731323192 4205198 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8798/statm: 2466 1836 96 248 0 2215 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 31028
[startup+13.6003 s]
/proc/loadavg: 2.48 2.17 2.05 3/185 8801
/proc/meminfo: memFree=29325004/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=7.16 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2649 22561 0 0 2 0 709 5 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8797] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8797/stat : 8797 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386547378 9367552 267 33554432000 4194304 5064252 140733522894400 140733522893312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8797/statm: 2287 267 226 213 0 72 0
[pid=8798] ppid=8797 vsize=9864 CPUtime=6.42 cores=1,3,5,7
/proc/8798/stat : 8798 (glucose) R 8797 8756 4391 0 -1 4202496 2316 0 0 0 642 0 0 0 20 0 1 0 386547378 10100736 1836 33554432000 4194304 5208918 140736731325248 140736731323192 4212435 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8798/statm: 2466 1836 96 248 0 2215 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 31028
[startup+14.4066 s]
/proc/loadavg: 2.48 2.17 2.05 3/185 8801
/proc/meminfo: memFree=29323204/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=7.16 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2649 22561 0 0 2 0 709 5 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8797] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8797/stat : 8797 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386547378 9367552 267 33554432000 4194304 5064252 140733522894400 140733522893312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8797/statm: 2287 267 226 213 0 72 0
[pid=8798] ppid=8797 vsize=9864 CPUtime=7.23 cores=1,3,5,7
/proc/8798/stat : 8798 (glucose) R 8797 8756 4391 0 -1 4202496 2316 0 0 0 723 0 0 0 20 0 1 0 386547378 10100736 1836 33554432000 4194304 5208918 140736731325248 140736731323192 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8798/statm: 2466 1836 96 248 0 2215 0
Current children cumulated CPU time (s) 14.39
Current children cumulated vsize (KiB) 31028
[startup+14.8003 s]
/proc/loadavg: 2.48 2.17 2.05 3/185 8801
/proc/meminfo: memFree=29323204/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=7.16 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2649 22561 0 0 2 0 709 5 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8797] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8797/stat : 8797 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386547378 9367552 267 33554432000 4194304 5064252 140733522894400 140733522893312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8797/statm: 2287 267 226 213 0 72 0
[pid=8798] ppid=8797 vsize=9864 CPUtime=7.62 cores=1,3,5,7
/proc/8798/stat : 8798 (glucose) R 8797 8756 4391 0 -1 4202496 2316 0 0 0 762 0 0 0 20 0 1 0 386547378 10100736 1836 33554432000 4194304 5208918 140736731325248 140736731323192 4213212 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8798/statm: 2466 1836 96 248 0 2215 0
Current children cumulated CPU time (s) 14.78
Current children cumulated vsize (KiB) 31028
[startup+14.9003 s]
/proc/loadavg: 2.48 2.17 2.05 3/185 8801
/proc/meminfo: memFree=29323204/32873648 swapFree=7124/7124
[pid=8756] ppid=8754 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8756/stat : 8756 (npSolver-wbo.sh) S 8754 8756 4391 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386546661 9367552 274 33554432000 4194304 5064252 140736985722800 140736985721712 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8756/statm: 2287 274 233 213 0 72 0
[pid=8757] ppid=8756 vsize=2868 CPUtime=7.16 cores=1,3,5,7
/proc/8757/stat : 8757 (npSolver-wbo) S 8756 8756 4391 0 -1 4202496 2649 22561 0 0 2 0 709 5 20 0 1 0 386546661 2936832 361 33554432000 4194304 6006132 140737396685552 140737396676960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/8757/statm: 717 361 165 443 0 270 0
[pid=8797] ppid=8757 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/8797/stat : 8797 (satsolver.sh) S 8757 8756 4391 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 386547378 9367552 267 33554432000 4194304 5064252 140733522894400 140733522893312 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/8797/statm: 2287 267 226 213 0 72 0
[pid=8798] ppid=8797 vsize=9864 CPUtime=7.72 cores=1,3,5,7
/proc/8798/stat : 8798 (glucose) R 8797 8756 4391 0 -1 4202496 2316 0 0 0 772 0 0 0 20 0 1 0 386547378 10100736 1836 33554432000 4194304 5208918 140736731325248 140736731323192 4229757 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/8798/statm: 2466 1836 96 248 0 2215 0
Current children cumulated CPU time (s) 14.88
Current children cumulated vsize (KiB) 31028
Child status: 0
Real time (s): 14.9577
CPU time (s): 14.9607
CPU user time (s): 14.8927
CPU system time (s): 0.067989
CPU usage (%): 100.021
Max. virtual memory (cumulated for all children) (KiB): 31028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8927
system time used= 0.067989
maximum resident set size= 29316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31763
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1864
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 96
involuntary context switches= 88
runsolver used 0.028995 second user time and 0.088986 second system time
The end