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/201103031013/aspcud-trendy-1.4/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian.log.runsolver ./aspcud-trendy-1.4 /home/misc2010/data/misc4/debian//58a4a468-38a5-11df-a561-00163e7a6f5e.cudf /home/misc2010/tmp/201103031013/aspcud-trendy-1.4/58a4a468-38a5-11df-a561-00163e7a6f5e.cudf.debian.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.08 1.06 1.06 5/37 2293
/proc/meminfo: memFree=456032/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=0.01
/proc/2280/stat : 2280 (aspcud-trendy-1) R 2279 2280 29493 34817 29493 4202496 588 2233 0 0 0 0 0 1 25 0 1 0 75135799 2654208 296 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65538 4 1132560123 0 0 0 17 0 0 0 0
/proc/2280/statm: 648 296 250 194 0 35 0
[pid=2291] ppid=2280 vsize=2592 CPUtime=0
/proc/2291/stat : 2291 (aspcud-trendy-1) R 2280 2280 29493 34817 29493 4202560 109 0 0 0 0 0 0 0 25 0 1 0 75135800 2654208 130 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 0 6 1132494585 0 0 0 17 0 0 0 0
/proc/2291/statm: 648 130 83 194 0 35 0
[pid=2292] ppid=2280 vsize=2592 CPUtime=0
/proc/2292/stat : 2292 (aspcud-trendy-1) S 2280 2280 29493 34817 29493 4202560 108 0 0 0 0 0 0 0 25 0 1 0 75135800 2654208 130 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 0 6 1132494585 18446744071564457842 0 0 17 0 0 0 0
/proc/2292/statm: 648 130 83 194 0 35 0
[pid=2293] ppid=2280 vsize=2592 CPUtime=0
/proc/2293/stat : 2293 (aspcud-trendy-1) R 2280 2280 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75135800 2654208 46 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65538 4 1132560123 0 0 0 17 0 0 0 0
/proc/2293/statm: 648 46 0 194 0 35 0

[startup+0.178997 s]
/proc/loadavg: 1.08 1.06 1.06 5/37 2293
/proc/meminfo: memFree=456032/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=0.01
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 2233 0 0 0 0 0 1 25 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=1888 CPUtime=0
/proc/2291/stat : 2291 (clasp) S 2280 2280 29493 34817 29493 4202496 286 0 0 0 0 0 0 0 25 0 1 0 75135800 1933312 155 1283457024 134512640 136241547 4287650544 18446744073709551615 135683070 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/2291/statm: 472 155 140 423 0 47 0
[pid=2292] ppid=2280 vsize=2608 CPUtime=0
/proc/2292/stat : 2292 (gringo) S 2280 2280 29493 34817 29493 4202496 407 0 0 0 0 0 0 0 25 0 1 0 75135800 2670592 277 1283457024 134512640 136959103 4292819024 18446744073709551615 135656590 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/2292/statm: 652 277 247 598 0 51 0
[pid=2293] ppid=2280 vsize=7488 CPUtime=0.08
/proc/2293/stat : 2293 (cudf2lp) R 2280 2280 29493 34817 29493 4202496 1759 0 0 0 8 0 0 0 25 0 1 0 75135800 7667712 1531 1283457024 134512640 135749763 4294015376 18446744073709551615 135180810 0 0 6 0 0 0 0 17 0 0 0 0
/proc/2293/statm: 1872 1531 119 303 0 1567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14576

[startup+0.206955 s]
/proc/loadavg: 1.08 1.06 1.06 5/37 2293
/proc/meminfo: memFree=456032/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=0.01
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 2233 0 0 0 0 0 1 25 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=1888 CPUtime=0
/proc/2291/stat : 2291 (clasp) S 2280 2280 29493 34817 29493 4202496 286 0 0 0 0 0 0 0 25 0 1 0 75135800 1933312 155 1283457024 134512640 136241547 4287650544 18446744073709551615 135683070 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/2291/statm: 472 155 140 423 0 47 0
[pid=2292] ppid=2280 vsize=2608 CPUtime=0
/proc/2292/stat : 2292 (gringo) S 2280 2280 29493 34817 29493 4202496 407 0 0 0 0 0 0 0 25 0 1 0 75135800 2670592 277 1283457024 134512640 136959103 4292819024 18446744073709551615 135656590 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/2292/statm: 652 277 247 598 0 51 0
[pid=2293] ppid=2280 vsize=7248 CPUtime=0.1
/proc/2293/stat : 2293 (cudf2lp) D 2280 2280 29493 34817 29493 4202496 1868 0 0 0 10 0 0 0 25 0 1 0 75135800 7421952 1511 1283457024 134512640 135749763 4294015376 18446744073709551615 135237566 0 0 6 0 18446744071564332000 0 0 17 0 0 0 0
/proc/2293/statm: 1812 1511 119 303 0 1507 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 14336

[startup+0.306983 s]
/proc/loadavg: 1.08 1.06 1.06 5/37 2293
/proc/meminfo: memFree=456032/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=0.01
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 2233 0 0 0 0 0 1 25 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=1888 CPUtime=0
/proc/2291/stat : 2291 (clasp) S 2280 2280 29493 34817 29493 4202496 286 0 0 0 0 0 0 0 25 0 1 0 75135800 1933312 155 1283457024 134512640 136241547 4287650544 18446744073709551615 135683070 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/2291/statm: 472 155 140 423 0 47 0
[pid=2292] ppid=2280 vsize=2608 CPUtime=0
/proc/2292/stat : 2292 (gringo) S 2280 2280 29493 34817 29493 4202496 407 0 0 0 0 0 0 0 25 0 1 0 75135800 2670592 277 1283457024 134512640 136959103 4292819024 18446744073709551615 135656590 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/2292/statm: 652 277 247 598 0 51 0
[pid=2293] ppid=2280 vsize=11960 CPUtime=0.18
/proc/2293/stat : 2293 (cudf2lp) R 2280 2280 29493 34817 29493 4202496 3126 0 0 0 18 0 0 0 25 0 1 0 75135800 12247040 2512 1283457024 134512640 135749763 4294015376 18446744073709551615 135031909 0 0 6 0 0 0 0 17 0 0 0 0
/proc/2293/statm: 2990 2512 119 303 0 2685 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19048

[startup+0.707017 s]
/proc/loadavg: 1.08 1.06 1.06 5/37 2293
/proc/meminfo: memFree=456032/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=0.01
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 2233 0 0 0 0 0 1 25 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=1888 CPUtime=0
/proc/2291/stat : 2291 (clasp) S 2280 2280 29493 34817 29493 4202496 286 0 0 0 0 0 0 0 25 0 1 0 75135800 1933312 155 1283457024 134512640 136241547 4287650544 18446744073709551615 135683070 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/2291/statm: 472 155 140 423 0 47 0
[pid=2292] ppid=2280 vsize=2608 CPUtime=0
/proc/2292/stat : 2292 (gringo) S 2280 2280 29493 34817 29493 4202496 407 0 0 0 0 0 0 0 25 0 1 0 75135800 2670592 277 1283457024 134512640 136959103 4292819024 18446744073709551615 135656590 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/2292/statm: 652 277 247 598 0 51 0
[pid=2293] ppid=2280 vsize=21388 CPUtime=0.46
/proc/2293/stat : 2293 (cudf2lp) R 2280 2280 29493 34817 29493 4202496 5869 0 0 0 44 2 0 0 25 0 1 0 75135800 21901312 4742 1283457024 134512640 135749763 4294015376 18446744073709551615 134561941 0 0 6 0 0 0 0 17 0 0 0 0
/proc/2293/statm: 5347 4742 119 303 0 5042 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 28476

[startup+1.51128 s]
/proc/loadavg: 1.08 1.06 1.06 2/38 2294
/proc/meminfo: memFree=399744/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=0.01
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 2233 0 0 0 0 0 1 25 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=2432 CPUtime=0
/proc/2291/stat : 2291 (clasp) S 2280 2280 29493 34817 29493 4202496 450 0 0 0 0 0 0 0 18 0 1 0 75135800 2490368 319 1283457024 134512640 136241547 4287650544 18446744073709551615 135683070 0 0 6 18944 18446744071564457842 0 0 17 0 0 0 0
/proc/2291/statm: 608 319 174 423 0 183 0
[pid=2292] ppid=2280 vsize=3424 CPUtime=0.02
/proc/2292/stat : 2292 (gringo) S 2280 2280 29493 34817 29493 4202496 594 0 0 0 2 0 0 0 18 0 1 0 75135800 3506176 431 1283457024 134512640 136959103 4292819024 18446744073709551615 135656590 0 0 6 16384 18446744071564457842 0 0 17 0 0 0 0
/proc/2292/statm: 856 431 247 598 0 255 0
[pid=2293] ppid=2280 vsize=41448 CPUtime=1.2
/proc/2293/stat : 2293 (cudf2lp) R 2280 2280 29493 34817 29493 4202496 13419 0 0 0 116 4 0 0 25 0 1 0 75135800 42442752 10171 1283457024 134512640 135749763 4294015376 18446744073709551615 134794940 0 0 6 0 0 0 0 17 0 0 0 0
/proc/2293/statm: 10362 10171 128 303 0 10057 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 49896

[startup+3.11175 s]
/proc/loadavg: 1.08 1.06 1.06 4/38 2294
/proc/meminfo: memFree=413596/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=32280 CPUtime=0.27
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 7572 0 0 0 24 3 0 0 18 0 1 0 75135800 33054720 6580 1283457024 134512640 136241547 4287650544 18446744073709551615 135619988 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 8070 6580 189 423 0 7645 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 34872

[startup+6.31256 s]
/proc/loadavg: 1.07 1.06 1.06 2/35 2294
/proc/meminfo: memFree=401228/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=35772 CPUtime=3.47
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 10046 0 0 0 343 4 0 0 25 0 1 0 75135800 36630528 8155 1283457024 134512640 136241547 4287650544 18446744073709551615 134681905 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 8943 8155 227 423 0 8518 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 38364

[startup+12.7042 s]
/proc/loadavg: 1.07 1.05 1.06 2/35 2294
/proc/meminfo: memFree=401236/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=35772 CPUtime=9.87
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 10066 0 0 0 981 6 0 0 25 0 1 0 75135800 36630528 8175 1283457024 134512640 136241547 4287650544 18446744073709551615 134728344 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 8943 8175 227 423 0 8518 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 38364

[startup+25.5071 s]
/proc/loadavg: 1.05 1.05 1.06 2/35 2294
/proc/meminfo: memFree=392928/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=44488 CPUtime=22.66
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 12262 0 0 0 2260 6 0 0 25 0 1 0 75135800 45555712 10371 1283457024 134512640 136241547 4287650544 18446744073709551615 134939454 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 11122 10371 227 423 0 10697 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 47080

[startup+51.1139 s]
/proc/loadavg: 1.03 1.05 1.06 2/35 2294
/proc/meminfo: memFree=360564/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=76828 CPUtime=48.22
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 20314 0 0 0 4812 10 0 0 25 0 1 0 75135800 78671872 18423 1283457024 134512640 136241547 4287650544 18446744073709551615 134942023 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 19207 18423 227 423 0 18782 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 79420

[startup+102.309 s]
/proc/loadavg: 1.01 1.04 1.05 2/35 2294
/proc/meminfo: memFree=335144/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=102640 CPUtime=99.34
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 26702 0 0 0 9919 15 0 0 25 0 1 0 75135800 105103360 24811 1283457024 134512640 136241547 4287650544 18446744073709551615 134941819 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 25660 24811 227 423 0 25235 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 105232

[startup+162.305 s]
/proc/loadavg: 1.00 1.03 1.05 2/35 2294
/proc/meminfo: memFree=292488/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=146876 CPUtime=159.24
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 37725 0 0 0 15899 25 0 0 25 0 1 0 75135800 150401024 35834 1283457024 134512640 136241547 4287650544 18446744073709551615 134941793 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 36719 35834 227 423 0 36294 0
Current children cumulated CPU time (s) 161.8
Current children cumulated vsize (KiB) 149468

[startup+222.311 s]
/proc/loadavg: 1.00 1.02 1.04 2/35 2294
/proc/meminfo: memFree=290380/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=147404 CPUtime=219.18
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 37860 0 0 0 21892 26 0 0 25 0 1 0 75135800 150941696 35969 1283457024 134512640 136241547 4287650544 18446744073709551615 134940308 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 36851 35969 227 423 0 36426 0
Current children cumulated CPU time (s) 221.74
Current children cumulated vsize (KiB) 149996

[startup+282.307 s]
/proc/loadavg: 1.15 1.05 1.05 2/37 2299
/proc/meminfo: memFree=290480/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=146524 CPUtime=279.07
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 37932 0 0 0 27881 26 0 0 25 0 1 0 75135800 150040576 35776 1283457024 134512640 136241547 4287650544 18446744073709551615 134941830 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 36631 35776 227 423 0 36206 0
Current children cumulated CPU time (s) 281.63
Current children cumulated vsize (KiB) 149116



Maximum CPU time exceeded: sending signal-name then SIGKILL

[startup+290.71 s]
/proc/loadavg: 1.12 1.05 1.04 2/37 2300
/proc/meminfo: memFree=290480/1048576 swapFree=0/0
[pid=2280] ppid=2279 vsize=2592 CPUtime=2.56
/proc/2280/stat : 2280 (aspcud-trendy-1) S 2279 2280 29493 34817 29493 4202496 614 26945 0 0 0 0 246 10 15 0 1 0 75135799 2654208 297 1283457024 134512640 135304128 4289010768 18446744073709551615 4294960130 0 65536 4 1132560123 18446744071564329979 0 0 17 0 0 0 0
/proc/2280/statm: 648 297 251 194 0 35 0
[pid=2291] ppid=2280 vsize=146524 CPUtime=287.45
/proc/2291/stat : 2291 (clasp) R 2280 2280 29493 34817 29493 4202496 37932 0 0 0 28719 26 0 0 25 0 1 0 75135800 150040576 35776 1283457024 134512640 136241547 4287650544 18446744073709551615 135643917 0 0 6 18944 0 0 0 17 0 0 0 0
/proc/2291/statm: 36631 35776 227 423 0 36206 0
Current children cumulated CPU time (s) 290.01
Current children cumulated vsize (KiB) 149116

Sending User defined signal 1 to process tree (bottom up)
Sleeping 10 seconds

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

Child status: 0
Real time (s): 290.747
CPU time (s): 290.042
CPU user time (s): 289.662
CPU system time (s): 0.380023
CPU usage (%): 99.7576
Max. virtual memory (cumulated for all children) (KiB): 150260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 289.662
system time used= 0.380023
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69060
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= 1527
involuntary context switches= 4432

runsolver used 0 second user time and 0 second system time

The end