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: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/aspcud-basic-1.7/paranoid-size/real/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.log.runsolver /home/competition/aspcud-basic-1.7/aspcud-basic /home/competition/data/real/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf /tmp/misc2012/2012-09-02-17:21/basic/aspcud-basic-1.7/paranoid-size/real/ca8f656c-db9e-11df-b9cf-00163e3d3b7c.cudf.result -count(removed),-sum(solution,installedsize),-count(changed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 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

[startup+0 s]
/proc/loadavg: 0.85 0.90 0.68 2/60 3380
/proc/meminfo: memFree=430732/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=3152 CPUtime=0
/proc/3380/stat : 3380 (runsolver) R 3379 1750 1750 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115237375 3227648 33 18446744073709551615 134512640 134586868 4288566240 4288564288 4152058928 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 788 33 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.122998 s]
/proc/loadavg: 0.85 0.90 0.68 2/60 3380
/proc/meminfo: memFree=430732/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=0.03
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 730 3624 0 0 0 0 2 1 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938608 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.200338 s]
/proc/loadavg: 0.85 0.90 0.68 2/60 3380
/proc/meminfo: memFree=430732/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=0.03
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 730 3624 0 0 0 0 2 1 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938608 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.300307 s]
/proc/loadavg: 0.85 0.90 0.68 2/60 3380
/proc/meminfo: memFree=430732/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=0.03
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 730 3624 0 0 0 0 2 1 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938608 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+0.700223 s]
/proc/loadavg: 0.85 0.90 0.68 2/60 3380
/proc/meminfo: memFree=430732/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=0.03
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 730 3624 0 0 0 0 2 1 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938608 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9212

[startup+1.50031 s]
/proc/loadavg: 0.85 0.90 0.68 2/62 3396
/proc/meminfo: memFree=394376/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=0.03
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 730 3624 0 0 0 0 2 1 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938608 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3396] ppid=3380 vsize=50500 CPUtime=1.41
/proc/3396/stat : 3396 (cudf2lp) R 3380 3380 1750 0 -1 4202496 14125 0 0 0 133 8 0 0 20 0 1 0 115237377 51712000 10727 18446744073709551615 4194304 5690517 140736777922848 140736777920488 4326921 0 0 16781316 0 0 0 0 17 0 0 0 4 0 0
/proc/3396/statm: 12625 10727 165 366 0 12256 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 59712

[startup+3.10032 s]
/proc/loadavg: 0.85 0.90 0.68 2/62 3397
/proc/meminfo: memFree=404420/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=1.9
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 755 21507 0 0 0 0 174 16 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938608 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3397] ppid=3380 vsize=55888 CPUtime=1.13
/proc/3397/stat : 3397 (gringo) R 3380 3380 1750 0 -1 4202496 14722 0 0 0 106 7 0 0 20 0 1 0 115237570 57229312 12102 18446744073709551615 4194304 6531320 140735420648608 140735420645592 4363203 0 0 16781316 16386 0 0 0 17 0 0 0 0 0 0
/proc/3397/statm: 13972 12102 280 571 0 13393 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 65100

[startup+6.3004 s]
/proc/loadavg: 0.86 0.90 0.68 2/63 3399
/proc/meminfo: memFree=349728/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=1.43
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16277 0 0 0 135 8 0 0 20 0 1 0 115237858 57421824 13551 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4687704 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13551 263 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 87328

[startup+12.7004 s]
/proc/loadavg: 0.87 0.91 0.68 2/63 3399
/proc/meminfo: memFree=349976/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=7.77
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16277 0 0 0 768 9 0 0 20 0 1 0 115237858 57421824 13551 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4424377 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13551 263 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 87328

[startup+25.5004 s]
/proc/loadavg: 0.90 0.91 0.68 2/63 3399
/proc/meminfo: memFree=349976/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=20.44
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16332 0 0 0 2032 12 0 0 20 0 1 0 115237858 57421824 13606 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4409898 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13606 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 87328

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

[startup+25.6005 s]
/proc/loadavg: 0.90 0.91 0.68 2/63 3399
/proc/meminfo: memFree=349976/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=20.54
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16332 0 0 0 2042 12 0 0 20 0 1 0 115237858 57421824 13606 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4687690 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13606 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 87328

[startup+38.4004 s]
/proc/loadavg: 0.91 0.91 0.69 2/63 3399
/proc/meminfo: memFree=349976/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=33.22
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16336 0 0 0 3305 17 0 0 20 0 1 0 115237858 57421824 13610 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4409898 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13610 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 38
Current children cumulated vsize (KiB) 87328

[startup+44.8004 s]
/proc/loadavg: 0.93 0.91 0.69 2/63 3399
/proc/meminfo: memFree=349852/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=39.56
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16336 0 0 0 3937 19 0 0 20 0 1 0 115237858 57421824 13610 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4687690 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13610 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 44.34
Current children cumulated vsize (KiB) 87328

[startup+48.0004 s]
/proc/loadavg: 0.93 0.91 0.69 2/63 3399
/proc/meminfo: memFree=349852/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=42.73
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16336 0 0 0 4251 22 0 0 20 0 1 0 115237858 57421824 13610 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4331904 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13610 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 47.51
Current children cumulated vsize (KiB) 87328

[startup+49.6082 s]
/proc/loadavg: 0.93 0.92 0.69 2/63 3399
/proc/meminfo: memFree=349852/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=44.32
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16336 0 0 0 4410 22 0 0 20 0 1 0 115237858 57421824 13610 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4684964 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13610 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 49.1
Current children cumulated vsize (KiB) 87328

[startup+50.0004 s]
/proc/loadavg: 0.93 0.92 0.69 2/63 3399
/proc/meminfo: memFree=349852/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=44.71
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16336 0 0 0 4448 23 0 0 20 0 1 0 115237858 57421824 13610 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4686076 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13610 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 49.49
Current children cumulated vsize (KiB) 87328

[startup+50.2004 s]
/proc/loadavg: 0.93 0.92 0.69 2/63 3399
/proc/meminfo: memFree=349852/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=4.76
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 794 66061 0 0 0 0 436 40 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678938016 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
[pid=3398] ppid=3380 vsize=56076 CPUtime=44.91
/proc/3398/stat : 3398 (clasp) R 3380 3380 1750 0 -1 4202496 16336 0 0 0 4467 24 0 0 20 0 1 0 115237858 57421824 13610 18446744073709551615 4194304 6238623 140733902313072 140733902310096 4676741 0 0 16781316 18946 0 0 0 17 0 0 0 0 0 0
/proc/3398/statm: 14019 13610 264 500 0 13516 0
[pid=3399] ppid=3380 vsize=22040 CPUtime=0.02
/proc/3399/stat : 3399 (parse.py) S 3380 3380 1750 0 -1 4202496 1319 0 0 0 0 2 0 0 20 0 1 0 115237858 22568960 1128 18446744073709551615 4194304 6642060 140733656011120 140733656009480 140677948847904 0 0 16777220 20994 0 0 0 17 0 0 0 0 0 0
/proc/3399/statm: 5510 1128 508 598 0 596 0
Current children cumulated CPU time (s) 49.69
Current children cumulated vsize (KiB) 87328

[startup+50.3004 s]
/proc/loadavg: 0.93 0.92 0.69 2/63 3399
/proc/meminfo: memFree=349852/1022884 swapFree=0/0
[pid=3380] ppid=3379 vsize=9212 CPUtime=49.77
/proc/3380/stat : 3380 (aspcud-basic) S 3379 3380 1750 0 -1 4202496 828 83782 0 1 0 0 4909 68 20 0 1 0 115237375 9433088 364 18446744073709551615 4194304 5129932 140736678939952 140736678937504 140125496607838 0 65536 16781316 1115778811 0 0 0 17 0 0 0 0 0 0
/proc/3380/statm: 2303 364 303 229 0 63 0
Current children cumulated CPU time (s) 49.77
Current children cumulated vsize (KiB) 9212

Child status: 0
Real time (s): 50.3029
CPU time (s): 49.7871
CPU user time (s): 49.0951
CPU system time (s): 0.692043
CPU usage (%): 98.9747
Max. virtual memory (cumulated for all children) (KiB): 195072

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.0951
system time used= 0.692043
maximum resident set size= 159524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84845
page faults= 1
swaps= 0
block input operations= 27344
block output operations= 20992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77
involuntary context switches= 5759

runsolver used 0.16001 second user time and 0.212013 second system time

The end