runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

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: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108241238/aspcud-trendy-1.5/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf.dudf-real.log.runsolver ./aspcud-trendy-1.5 /home/misc2010/data/2011/dudf-real//33bb2fbc-9512-11e0-9181-00163e1e087d.cudf /home/misc2010/tmp/201108241238/aspcud-trendy-1.5/33bb2fbc-9512-11e0-9181-00163e1e087d.cudf.dudf-real.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.26 1.15 1.05 5/37 18600
/proc/meminfo: memFree=589932/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2588 CPUtime=0
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 4107635 2650112 279 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/18597/statm: 647 279 234 194 0 34 0
[pid=18598] ppid=18597 vsize=2588 CPUtime=0
/proc/18598/stat : 18598 (aspcud-trendy-1) S 18597 18597 1511 34817 1511 4202560 118 0 0 0 0 0 0 0 18 0 1 0 4107635 2650112 133 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 0 0 65538 18446744071564457842 0 0 17 0 0 0 0
/proc/18598/statm: 647 133 87 194 0 34 0
[pid=18599] ppid=18598 vsize=2588 CPUtime=0
/proc/18599/stat : 18599 (aspcud-trendy-1) R 18598 18597 1511 34817 1511 4202560 126 0 0 0 0 0 0 0 25 0 1 0 4107635 2650112 150 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/18599/statm: 647 150 104 194 0 34 0
[pid=18600] ppid=18599 vsize=2588 CPUtime=0
/proc/18600/stat : 18600 (aspcud-trendy-1) R 18599 18597 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 4107635 2650112 46 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/18600/statm: 647 46 0 194 0 34 0

[startup+0.115629 s]
/proc/loadavg: 1.26 1.15 1.05 5/37 18600
/proc/meminfo: memFree=589932/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=0.01
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 623 2232 0 0 0 0 0 1 25 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+0.20566 s]
/proc/loadavg: 1.26 1.15 1.05 5/37 18600
/proc/meminfo: memFree=589932/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=0.01
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 623 2232 0 0 0 0 0 1 25 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+0.305695 s]
/proc/loadavg: 1.26 1.15 1.05 5/37 18600
/proc/meminfo: memFree=589932/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=0.01
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 623 2232 0 0 0 0 0 1 25 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+0.705804 s]
/proc/loadavg: 1.26 1.15 1.05 5/37 18600
/proc/meminfo: memFree=589932/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=0.01
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 623 2232 0 0 0 0 0 1 25 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2596

[startup+1.50708 s]
/proc/loadavg: 1.26 1.15 1.05 2/38 18611
/proc/meminfo: memFree=568584/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=0.01
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 623 2232 0 0 0 0 0 1 25 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=1924 CPUtime=0
/proc/18609/stat : 18609 (clasp) S 18597 18597 1511 34817 1511 4202496 292 0 0 0 0 0 0 0 25 0 1 0 4107636 1970176 159 1283457024 134512640 136285277 4288695280 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/18609/statm: 481 159 144 433 0 46 0
[pid=18610] ppid=18597 vsize=2584 CPUtime=0
/proc/18610/stat : 18610 (gringo) S 18597 18597 1511 34817 1511 4202496 405 0 0 0 0 0 0 0 25 0 1 0 4107636 2646016 272 1283457024 134512640 136933539 4290631232 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/18610/statm: 646 272 242 592 0 51 0
[pid=18611] ppid=18597 vsize=40996 CPUtime=1.47
/proc/18611/stat : 18611 (cudf2lp) R 18597 18597 1511 34817 1511 4202496 11330 0 0 0 143 4 0 0 25 0 1 0 4107636 41979904 9731 1283457024 134512640 135786343 4294285776 18446744073709551615 135208284 0 0 6 0 0 0 0 17 0 0 0 0
/proc/18611/statm: 10249 9731 133 311 0 9936 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 48100

[startup+3.10752 s]
/proc/loadavg: 1.24 1.15 1.05 3/37 18611
/proc/meminfo: memFree=563392/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=21896 CPUtime=0.69
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 6260 0 0 0 67 2 0 0 18 0 1 0 4107636 22421504 5219 1283457024 134512640 136285277 4288695280 18446744073709551615 134669481 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 5474 5219 234 433 0 5039 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 24492

[startup+6.3085 s]
/proc/loadavg: 1.24 1.15 1.05 2/36 18611
/proc/meminfo: memFree=569112/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=25864 CPUtime=3.89
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 7269 0 0 0 385 4 0 0 25 0 1 0 4107636 26484736 6228 1283457024 134512640 136285277 4288695280 18446744073709551615 134930867 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 6466 6228 234 433 0 6031 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 28460

[startup+12.71 s]
/proc/loadavg: 1.20 1.14 1.04 2/36 18611
/proc/meminfo: memFree=546808/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=49760 CPUtime=10.29
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 13246 0 0 0 1025 4 0 0 25 0 1 0 4107636 50954240 12205 1283457024 134512640 136285277 4288695280 18446744073709551615 134955211 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 12440 12205 234 433 0 12005 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 52356

[startup+25.5032 s]
/proc/loadavg: 1.17 1.14 1.04 2/36 18611
/proc/meminfo: memFree=504896/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=87992 CPUtime=23.06
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 22789 0 0 0 2298 8 0 0 25 0 1 0 4107636 90103808 21748 1283457024 134512640 136285277 4288695280 18446744073709551615 134669900 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 21998 21748 234 433 0 21563 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 90588

[startup+51.1097 s]
/proc/loadavg: 1.11 1.13 1.04 2/36 18611
/proc/meminfo: memFree=462364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=129620 CPUtime=48.65
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 4850 15 0 0 25 0 1 0 4107636 132730880 32102 1283457024 134512640 136285277 4288695280 18446744073709551615 134723310 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32405 32102 234 433 0 31970 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 132216

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

[startup+51.2097 s]
/proc/loadavg: 1.11 1.13 1.04 2/36 18611
/proc/meminfo: memFree=462364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=129620 CPUtime=48.75
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 4860 15 0 0 25 0 1 0 4107636 132730880 32102 1283457024 134512640 136285277 4288695280 18446744073709551615 134723291 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32405 32102 234 433 0 31970 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 132216

[startup+57.6112 s]
/proc/loadavg: 1.09 1.12 1.04 2/35 18611
/proc/meminfo: memFree=462372/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=129620 CPUtime=55.14
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 5499 15 0 0 25 0 1 0 4107636 132730880 32102 1283457024 134512640 136285277 4288695280 18446744073709551615 134959560 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32405 32102 234 433 0 31970 0
Current children cumulated CPU time (s) 57.52
Current children cumulated vsize (KiB) 132216

[startup+64.0124 s]
/proc/loadavg: 1.08 1.12 1.04 2/35 18611
/proc/meminfo: memFree=463364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=128036 CPUtime=61.54
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 6139 15 0 0 25 0 1 0 4107636 131108864 31728 1283457024 134512640 136285277 4288695280 18446744073709551615 134669900 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32009 31728 234 433 0 31574 0
Current children cumulated CPU time (s) 63.92
Current children cumulated vsize (KiB) 130632

[startup+65.6129 s]
/proc/loadavg: 1.08 1.12 1.04 2/35 18611
/proc/meminfo: memFree=463364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=128036 CPUtime=63.14
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 6299 15 0 0 25 0 1 0 4107636 131108864 31728 1283457024 134512640 136285277 4288695280 18446744073709551615 134959509 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32009 31728 234 433 0 31574 0
Current children cumulated CPU time (s) 65.52
Current children cumulated vsize (KiB) 130632

[startup+66.4131 s]
/proc/loadavg: 1.08 1.12 1.04 2/35 18611
/proc/meminfo: memFree=463364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=128036 CPUtime=63.94
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 6379 15 0 0 25 0 1 0 4107636 131108864 31728 1283457024 134512640 136285277 4288695280 18446744073709551615 134733720 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32009 31728 234 433 0 31574 0
Current children cumulated CPU time (s) 66.32
Current children cumulated vsize (KiB) 130632

[startup+67.2133 s]
/proc/loadavg: 1.08 1.12 1.04 2/35 18611
/proc/meminfo: memFree=463364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=128036 CPUtime=64.74
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 6459 15 0 0 25 0 1 0 4107636 131108864 31728 1283457024 134512640 136285277 4288695280 18446744073709551615 134615114 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32009 31728 234 433 0 31574 0
Current children cumulated CPU time (s) 67.12
Current children cumulated vsize (KiB) 130632

[startup+67.4134 s]
/proc/loadavg: 1.08 1.12 1.04 2/35 18611
/proc/meminfo: memFree=463364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=128036 CPUtime=64.94
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 6479 15 0 0 25 0 1 0 4107636 131108864 31728 1283457024 134512640 136285277 4288695280 18446744073709551615 134627902 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32009 31728 234 433 0 31574 0
Current children cumulated CPU time (s) 67.32
Current children cumulated vsize (KiB) 130632

[startup+67.5034 s]
/proc/loadavg: 1.08 1.12 1.04 2/35 18611
/proc/meminfo: memFree=463364/1048576 swapFree=0/0
[pid=18597] ppid=18596 vsize=2596 CPUtime=2.38
/proc/18597/stat : 18597 (aspcud-trendy-1) S 18596 18597 1511 34817 1511 4202496 624 20802 0 0 0 0 229 9 15 0 1 0 4107635 2658304 298 1283457024 134512640 135304128 4293687488 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/18597/statm: 649 298 251 194 0 36 0
[pid=18609] ppid=18597 vsize=128036 CPUtime=65.03
/proc/18609/stat : 18609 (clasp) R 18597 18597 1511 34817 1511 4202496 33143 0 0 0 6488 15 0 0 25 0 1 0 4107636 131108864 31728 1283457024 134512640 136285277 4288695280 18446744073709551615 134948744 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/18609/statm: 32009 31728 234 433 0 31574 0
Current children cumulated CPU time (s) 67.41
Current children cumulated vsize (KiB) 130632

Child status: 0
Real time (s): 67.5911
CPU time (s): 67.5082
CPU user time (s): 67.2242
CPU system time (s): 0.284017
CPU usage (%): 99.8774
Max. virtual memory (cumulated for all children) (KiB): 132216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.2242
system time used= 0.284017
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58287
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 780
involuntary context switches= 1347

runsolver used 0 second user time and 0 second system time

The end