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/cff22854-9512-11e0-8001-00163e1e087d.cudf.dudf-real.log.runsolver ./aspcud-trendy-1.5 /home/misc2010/data/2011/dudf-real//cff22854-9512-11e0-8001-00163e1e087d.cudf /home/misc2010/tmp/201108241238/aspcud-trendy-1.5/cff22854-9512-11e0-8001-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.29 1.27 1.14 5/36 31323
/proc/meminfo: memFree=277140/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2588 CPUtime=0
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 374 0 0 0 0 0 0 0 18 0 1 0 5040036 2650112 280 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0
/proc/31320/statm: 647 280 234 194 0 34 0
[pid=31321] ppid=31320 vsize=2588 CPUtime=0
/proc/31321/stat : 31321 (aspcud-trendy-1) S 31320 31320 1511 34817 1511 4202560 118 0 0 0 0 0 0 0 18 0 1 0 5040036 2650112 134 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 0 0 65538 18446744071564457842 0 0 17 0 0 0 0
/proc/31321/statm: 647 134 87 194 0 34 0
[pid=31322] ppid=31321 vsize=2588 CPUtime=0
/proc/31322/stat : 31322 (aspcud-trendy-1) R 31321 31320 1511 34817 1511 4202560 127 0 0 0 0 0 0 0 25 0 1 0 5040036 2650112 151 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/31322/statm: 647 151 104 194 0 34 0
[pid=31323] ppid=31322 vsize=2588 CPUtime=0
/proc/31323/stat : 31323 (aspcud-trendy-1) R 31322 31320 1511 34817 1511 4202560 0 0 0 0 0 0 0 0 25 0 1 0 5040036 2650112 47 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0
/proc/31323/statm: 647 47 0 194 0 34 0

[startup+0.155526 s]
/proc/loadavg: 1.29 1.27 1.14 5/36 31323
/proc/meminfo: memFree=277140/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=0
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 623 2228 0 0 0 0 0 0 25 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+0.205533 s]
/proc/loadavg: 1.29 1.27 1.14 5/36 31323
/proc/meminfo: memFree=277140/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=0
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 623 2228 0 0 0 0 0 0 25 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+0.305558 s]
/proc/loadavg: 1.29 1.27 1.14 5/36 31323
/proc/meminfo: memFree=277140/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=0
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 623 2228 0 0 0 0 0 0 25 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+0.705614 s]
/proc/loadavg: 1.29 1.27 1.14 5/36 31323
/proc/meminfo: memFree=277140/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=0
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 623 2228 0 0 0 0 0 0 25 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2596

[startup+1.50576 s]
/proc/loadavg: 1.29 1.27 1.14 2/37 31334
/proc/meminfo: memFree=255668/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=0
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 623 2228 0 0 0 0 0 0 25 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=1932 CPUtime=0
/proc/31332/stat : 31332 (clasp) S 31320 31320 1511 34817 1511 4202496 292 0 0 0 0 0 0 0 25 0 1 0 5040037 1978368 160 1283457024 134512640 136285277 4291815136 18446744073709551615 4294960130 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/31332/statm: 483 160 144 433 0 48 0
[pid=31333] ppid=31320 vsize=2584 CPUtime=0
/proc/31333/stat : 31333 (gringo) S 31320 31320 1511 34817 1511 4202496 404 0 0 0 0 0 0 0 25 0 1 0 5040037 2646016 272 1283457024 134512640 136933539 4288924832 18446744073709551615 135633806 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/31333/statm: 646 272 242 592 0 51 0
[pid=31334] ppid=31320 vsize=35360 CPUtime=1.5
/proc/31334/stat : 31334 (cudf2lp) R 31320 31320 1511 34817 1511 4202496 11330 0 0 0 144 6 0 0 25 0 1 0 5040037 36208640 8633 1283457024 134512640 135786343 4289715584 18446744073709551615 134542114 0 0 6 0 0 0 0 17 0 0 0 0
/proc/31334/statm: 8840 8633 134 311 0 8527 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 42472

[startup+3.10615 s]
/proc/loadavg: 1.29 1.27 1.14 3/36 31334
/proc/meminfo: memFree=249112/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=21900 CPUtime=0.74
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 6259 0 0 0 71 3 0 0 18 0 1 0 5040037 22425600 5219 1283457024 134512640 136285277 4291815136 18446744073709551615 134719522 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 5475 5219 234 433 0 5040 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 24496

[startup+6.3068 s]
/proc/loadavg: 1.27 1.26 1.14 2/35 31334
/proc/meminfo: memFree=255468/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=25868 CPUtime=3.94
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 7268 0 0 0 391 3 0 0 25 0 1 0 5040037 26488832 6228 1283457024 134512640 136285277 4291815136 18446744073709551615 134723339 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 6467 6228 234 433 0 6032 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 28464

[startup+12.7083 s]
/proc/loadavg: 1.25 1.26 1.14 2/35 31334
/proc/meminfo: memFree=234016/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=49500 CPUtime=10.34
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 13181 0 0 0 1030 4 0 0 25 0 1 0 5040037 50688000 12141 1283457024 134512640 136285277 4291815136 18446744073709551615 134960023 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 12375 12141 234 433 0 11940 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 52096

[startup+25.5113 s]
/proc/loadavg: 1.19 1.25 1.14 2/35 31334
/proc/meminfo: memFree=193220/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=86820 CPUtime=23.13
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 22523 0 0 0 2306 7 0 0 25 0 1 0 5040037 88903680 21483 1283457024 134512640 136285277 4291815136 18446744073709551615 134960075 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 21705 21483 234 433 0 21270 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 89416

[startup+51.108 s]
/proc/loadavg: 1.12 1.23 1.13 2/35 31334
/proc/meminfo: memFree=149572/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=129624 CPUtime=48.7
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 4858 12 0 0 25 0 1 0 5040037 132734976 32102 1283457024 134512640 136285277 4291815136 18446744073709551615 134723304 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32406 32102 234 433 0 31971 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 132220

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

[startup+51.2081 s]
/proc/loadavg: 1.12 1.23 1.13 2/35 31334
/proc/meminfo: memFree=149572/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=129624 CPUtime=48.8
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 4868 12 0 0 25 0 1 0 5040037 132734976 32102 1283457024 134512640 136285277 4291815136 18446744073709551615 134959725 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32406 32102 234 433 0 31971 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 132220

[startup+57.61 s]
/proc/loadavg: 1.11 1.22 1.13 2/35 31334
/proc/meminfo: memFree=149572/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=129624 CPUtime=55.2
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 5508 12 0 0 25 0 1 0 5040037 132734976 32102 1283457024 134512640 136285277 4291815136 18446744073709551615 134959557 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32406 32102 234 433 0 31971 0
Current children cumulated CPU time (s) 57.56
Current children cumulated vsize (KiB) 132220

[startup+64.0113 s]
/proc/loadavg: 1.10 1.21 1.13 2/35 31334
/proc/meminfo: memFree=150564/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=128040 CPUtime=61.6
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 6148 12 0 0 25 0 1 0 5040037 131112960 31728 1283457024 134512640 136285277 4291815136 18446744073709551615 134733711 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32010 31728 234 433 0 31575 0
Current children cumulated CPU time (s) 63.96
Current children cumulated vsize (KiB) 130636

[startup+65.6119 s]
/proc/loadavg: 1.10 1.21 1.13 2/35 31334
/proc/meminfo: memFree=150564/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=128040 CPUtime=63.2
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 6308 12 0 0 25 0 1 0 5040037 131112960 31728 1283457024 134512640 136285277 4291815136 18446744073709551615 134615068 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32010 31728 234 433 0 31575 0
Current children cumulated CPU time (s) 65.56
Current children cumulated vsize (KiB) 130636

[startup+67.2122 s]
/proc/loadavg: 1.10 1.21 1.13 2/35 31334
/proc/meminfo: memFree=150564/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=128040 CPUtime=64.8
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 6468 12 0 0 25 0 1 0 5040037 131112960 31728 1283457024 134512640 136285277 4291815136 18446744073709551615 134963519 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32010 31728 234 433 0 31575 0
Current children cumulated CPU time (s) 67.16
Current children cumulated vsize (KiB) 130636

[startup+68.0125 s]
/proc/loadavg: 1.10 1.21 1.13 2/35 31334
/proc/meminfo: memFree=150564/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=128040 CPUtime=65.6
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 6548 12 0 0 25 0 1 0 5040037 131112960 31728 1283457024 134512640 136285277 4291815136 18446744073709551615 134669900 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32010 31728 234 433 0 31575 0
Current children cumulated CPU time (s) 67.96
Current children cumulated vsize (KiB) 130636

[startup+68.2125 s]
/proc/loadavg: 1.09 1.21 1.13 2/35 31334
/proc/meminfo: memFree=150564/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=128040 CPUtime=65.8
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 6568 12 0 0 25 0 1 0 5040037 131112960 31728 1283457024 134512640 136285277 4291815136 18446744073709551615 134639184 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32010 31728 234 433 0 31575 0
Current children cumulated CPU time (s) 68.16
Current children cumulated vsize (KiB) 130636

[startup+68.3025 s]
/proc/loadavg: 1.09 1.21 1.13 2/35 31334
/proc/meminfo: memFree=150564/1048576 swapFree=0/0
[pid=31320] ppid=31319 vsize=2596 CPUtime=2.36
/proc/31320/stat : 31320 (aspcud-trendy-1) S 31319 31320 1511 34817 1511 4202496 624 20796 0 0 0 0 225 11 15 0 1 0 5040036 2658304 299 1283457024 134512640 135304128 4287103600 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/31320/statm: 649 299 251 194 0 36 0
[pid=31332] ppid=31320 vsize=128040 CPUtime=65.88
/proc/31332/stat : 31332 (clasp) R 31320 31320 1511 34817 1511 4202496 33142 0 0 0 6576 12 0 0 25 0 1 0 5040037 131112960 31728 1283457024 134512640 136285277 4291815136 18446744073709551615 134948738 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/31332/statm: 32010 31728 234 433 0 31575 0
Current children cumulated CPU time (s) 68.24
Current children cumulated vsize (KiB) 130636

Child status: 0
Real time (s): 68.3764
CPU time (s): 68.3323
CPU user time (s): 68.0362
CPU system time (s): 0.296018
CPU usage (%): 99.9355
Max. virtual memory (cumulated for all children) (KiB): 132220

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.0363
system time used= 0.296018
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58255
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= 1365

runsolver used 0 second user time and 0 second system time

The end