182.10/182.25 c Fri Jul 04 05:37:18 CEST 2008 concrete.ResourceController isOutOfTime
182.10/182.25 c WARNING: Out of time
204.19/204.34 c Fri Jul 04 05:37:40 CEST 2008 cspfj.ResultHandler result
204.19/204.34 c WARNING: cspfj.exception.FailedGenerationException: Could not convert P1-compiled ({mouk5=INTEGER, mouk4=INTEGER, mouk1=INTEGER, mouk0=INTEGER, mouk3=INTEGER, mouk2=INTEGER}): or(or(le(add(mouk0,if(eq(mouk2,0),5,25)),mouk3),le(add(mouk3,if(eq(mouk5,0),39,12)),mouk0)),or(le(add(mouk1,if(eq(mouk2,0),25,5)),mouk4),le(add(mouk4,if(eq(mouk5,0),12,39)),mouk1))) with scope [V314 (D2: [0..160]), V315 (D3: [0..240]), V316 (D4: [0..1]), V506 (D2: [0..160]), V507 (D3: [0..240]), V508 (D4: [0..1])]
204.19/204.35 c CPU-LOAD 164.84
204.19/204.35 s UNKNOWN
204.19/204.35 c cspfj.exception.FailedGenerationException: Could not convert P1-compiled ({mouk5=INTEGER, mouk4=INTEGER, mouk1=INTEGER, mouk0=INTEGER, mouk3=INTEGER, mouk2=INTEGER}): or(or(le(add(mouk0,if(eq(mouk2,0),5,25)),mouk3),le(add(mouk3,if(eq(mouk5,0),39,12)),mouk0)),or(le(add(mouk1,if(eq(mouk2,0),25,5)),mouk4),le(add(mouk4,if(eq(mouk5,0),12,39)),mouk1))) with scope [V314 (D2: [0..160]), V315 (D3: [0..240]), V316 (D4: [0..1]), V506 (D2: [0..160]), V507 (D3: [0..240]), V508 (D4: [0..1])][concrete.relationconverter.RelationManager.compute(Unknown Source), concrete.CspOM.generate(Unknown Source), cspfj.problem.Problem.load(Unknown Source), concrete.Concrete.solve(Unknown Source), concrete.Concrete.run(Unknown Source), concrete.Concrete.main(Unknown Source)]
204.19/204.35 c TOTAL-NODES 0
204.19/204.35 c TOTAL-CPU 0.0
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1064563-1215142455/watcher-1064563-1215142455 -o /tmp/evaluation-result-1064563-1215142455/solver-1064563-1215142455 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1064563-1215142455.xml
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): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.85 1.99 2.05 4/80 18527
/proc/meminfo: memFree=1672552/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) R 18525 18527 18490 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 419862919 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 4466896 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18527/statm: 1339 230 191 169 0 50 0
[startup+0.0836541 s]
/proc/loadavg: 1.85 1.99 2.05 4/80 18527
/proc/meminfo: memFree=1672552/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101659 s]
/proc/loadavg: 1.85 1.99 2.05 4/80 18527
/proc/meminfo: memFree=1672552/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30169 s]
/proc/loadavg: 1.85 1.99 2.05 4/80 18527
/proc/meminfo: memFree=1672552/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701747 s]
/proc/loadavg: 1.85 1.99 2.05 4/80 18527
/proc/meminfo: memFree=1672552/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50286 s]
/proc/loadavg: 1.85 1.99 2.05 3/90 18538
/proc/meminfo: memFree=1660120/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=844364 CPUtime=1.47
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 6917 0 1 0 142 5 0 0 18 0 9 0 419862920 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 211091 6042 2574 9 0 205652 0
[pid=18530/tid=18531] ppid=18527 vsize=844364 CPUtime=1.16
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 3415 0 1 0 114 2 0 0 25 0 9 0 419862921 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4125796271 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=844364 CPUtime=0.13
/proc/18530/task/18532/stat : 18532 (java) S 18527 18527 18490 0 -1 64 2248 0 0 0 12 1 0 0 16 0 9 0 419862922 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=844364 CPUtime=0.14
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 521 0 0 0 14 0 0 0 16 0 9 0 419862925 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 864628736 6042 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 849720
[startup+3.10209 s]
/proc/loadavg: 1.85 1.99 2.05 3/90 18538
/proc/meminfo: memFree=1656792/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=844364 CPUtime=3.07
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 7662 0 1 0 301 6 0 0 18 0 9 0 419862920 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 211091 6673 2574 9 0 205652 0
[pid=18530/tid=18531] ppid=18527 vsize=844364 CPUtime=2.59
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 3529 0 1 0 256 3 0 0 25 0 9 0 419862921 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4125859882 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=844364 CPUtime=0.3
/proc/18530/task/18532/stat : 18532 (java) S 18527 18527 18490 0 -1 64 2879 0 0 0 28 2 0 0 16 0 9 0 419862922 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=844364 CPUtime=0.14
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 521 0 0 0 14 0 0 0 16 0 9 0 419862925 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 864628736 6673 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 849720
[startup+6.30254 s]
/proc/loadavg: 1.86 1.99 2.05 3/90 18538
/proc/meminfo: memFree=1653080/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=844364 CPUtime=6.27
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 8544 0 1 0 619 8 0 0 18 0 9 0 419862920 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 211091 7362 2574 9 0 205652 0
[pid=18530/tid=18531] ppid=18527 vsize=844364 CPUtime=5.64
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 3722 0 1 0 561 3 0 0 25 0 9 0 419862921 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4125867100 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=844364 CPUtime=0.45
/proc/18530/task/18532/stat : 18532 (java) S 18527 18527 18490 0 -1 64 3568 0 0 0 42 3 0 0 16 0 9 0 419862922 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=844364 CPUtime=0.14
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 521 0 0 0 14 0 0 0 16 0 9 0 419862925 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 864628736 7362 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 849720
[startup+12.7024 s]
/proc/loadavg: 1.87 1.99 2.05 3/90 18538
/proc/meminfo: memFree=1648792/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=844364 CPUtime=12.66
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 10932 0 1 0 1255 11 0 0 18 0 9 0 419862920 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 211091 8323 2574 9 0 205652 0
[pid=18530/tid=18531] ppid=18527 vsize=844364 CPUtime=11.7
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 4062 0 1 0 1166 4 0 0 25 0 9 0 419862921 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4125718474 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=844364 CPUtime=0.8
/proc/18530/task/18532/stat : 18532 (java) S 18527 18527 18490 0 -1 64 5616 0 0 0 74 6 0 0 16 0 9 0 419862922 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=844364 CPUtime=0.14
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 521 0 0 0 14 0 0 0 16 0 9 0 419862925 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 864628736 8323 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 849720
[startup+25.5013 s]
/proc/loadavg: 1.90 1.99 2.05 3/90 18538
/proc/meminfo: memFree=1644248/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=844364 CPUtime=25.46
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 12433 0 1 0 2530 16 0 0 18 0 9 0 419862920 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 211091 9434 2574 9 0 205652 0
[pid=18530/tid=18531] ppid=18527 vsize=844364 CPUtime=24.16
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 4452 0 1 0 2410 6 0 0 25 0 9 0 419862921 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4125867100 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=844364 CPUtime=1.13
/proc/18530/task/18532/stat : 18532 (java) S 18527 18527 18490 0 -1 64 6727 0 0 0 104 9 0 0 16 0 9 0 419862922 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 419862923 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=844364 CPUtime=0.14
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 521 0 0 0 14 0 0 0 16 0 9 0 419862925 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=844364 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 864628736 9434 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 849720
[startup+51.1019 s]
/proc/loadavg: 1.93 1.99 2.05 3/90 18538
/proc/meminfo: memFree=1637336/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
################
# More data... #
################
Current children cumulated CPU time (s) 178.99
Current children cumulated vsize (KiB) 856252
[startup+191.903 s]
/proc/loadavg: 2.16 2.03 2.05 3/90 18539
/proc/meminfo: memFree=1546960/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=851920 CPUtime=191.79
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 41427 0 2 0 19064 115 0 0 18 0 9 0 419862920 872366080 34027 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 212980 34027 2595 9 0 207540 0
[pid=18530/tid=18531] ppid=18527 vsize=851920 CPUtime=157.67
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 10899 0 2 0 15686 81 0 0 25 0 9 0 419862921 872366080 34027 996147200 134512640 134550740 4294956032 18446744073709551615 4125651354 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=851920 CPUtime=33.38
/proc/18530/task/18532/stat : 18532 (java) S 18527 18527 18490 0 -1 64 27425 0 0 0 3308 30 0 0 16 0 9 0 419862922 872366080 34028 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 419862923 872366080 34028 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 419862923 872366080 34028 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 872366080 34028 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=851920 CPUtime=0.7
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 2359 0 0 0 68 2 0 0 16 0 9 0 419862925 872366080 34028 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 872366080 34028 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 872366080 34028 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 191.79
Current children cumulated vsize (KiB) 857276
[startup+198.303 s]
/proc/loadavg: 2.23 2.05 2.06 3/90 18539
/proc/meminfo: memFree=1529680/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=851920 CPUtime=198.18
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 45764 0 2 0 19670 148 0 0 18 0 9 0 419862920 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 212980 38329 2597 9 0 207540 0
[pid=18530/tid=18531] ppid=18527 vsize=851920 CPUtime=162.42
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 12678 0 2 0 16130 112 0 0 25 0 9 0 419862921 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=851920 CPUtime=35.03
/proc/18530/task/18532/stat : 18532 (java) S 18527 18527 18490 0 -1 64 29982 0 0 0 3471 32 0 0 16 0 9 0 419862922 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 419862923 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 419862923 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=851920 CPUtime=0.7
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 2360 0 0 0 68 2 0 0 16 0 9 0 419862925 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=851920 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 872366080 38329 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 198.18
Current children cumulated vsize (KiB) 857276
[startup+201.502 s]
/proc/loadavg: 2.21 2.05 2.06 4/90 18539
/proc/meminfo: memFree=1520144/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=852944 CPUtime=201.39
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 47734 0 2 0 19972 167 0 0 18 0 9 0 419862920 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 213236 40286 2597 9 0 207796 0
[pid=18530/tid=18531] ppid=18527 vsize=852944 CPUtime=164.93
/proc/18530/task/18531/stat : 18531 (java) R 18527 18527 18490 0 -1 64 13547 0 2 0 16363 130 0 0 25 0 9 0 419862921 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=852944 CPUtime=35.72
/proc/18530/task/18532/stat : 18532 (java) R 18527 18527 18490 0 -1 64 31083 0 0 0 3540 32 0 0 16 0 9 0 419862922 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 102731896 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 419862923 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 419862923 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=852944 CPUtime=0.7
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 2360 0 0 0 68 2 0 0 16 0 9 0 419862925 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 873414656 40286 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 201.39
Current children cumulated vsize (KiB) 858300
[startup+203.102 s]
/proc/loadavg: 2.21 2.05 2.06 4/90 18539
/proc/meminfo: memFree=1518928/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=852944 CPUtime=202.99
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 48038 0 2 0 20132 167 0 0 18 0 9 0 419862920 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 213236 40587 2597 9 0 207796 0
[pid=18530/tid=18531] ppid=18527 vsize=852944 CPUtime=164.93
/proc/18530/task/18531/stat : 18531 (java) S 18527 18527 18490 0 -1 64 13551 0 2 0 16363 130 0 0 25 0 9 0 419862921 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=852944 CPUtime=37.31
/proc/18530/task/18532/stat : 18532 (java) R 18527 18527 18490 0 -1 64 31383 0 0 0 3699 32 0 0 18 0 9 0 419862922 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 103736889 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=852944 CPUtime=0.01
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 1 0 0 0 16 0 9 0 419862923 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 419862923 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=852944 CPUtime=0.7
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 2360 0 0 0 68 2 0 0 16 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 202.99
Current children cumulated vsize (KiB) 858300
[startup+203.902 s]
/proc/loadavg: 2.27 2.06 2.06 4/90 18539
/proc/meminfo: memFree=1518928/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=852944 CPUtime=203.79
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 48040 0 2 0 20212 167 0 0 18 0 9 0 419862920 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 213236 40587 2597 9 0 207796 0
[pid=18530/tid=18531] ppid=18527 vsize=852944 CPUtime=164.93
/proc/18530/task/18531/stat : 18531 (java) S 18527 18527 18490 0 -1 64 13553 0 2 0 16363 130 0 0 24 0 9 0 419862921 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=852944 CPUtime=38.1
/proc/18530/task/18532/stat : 18532 (java) R 18527 18527 18490 0 -1 64 31383 0 0 0 3778 32 0 0 19 0 9 0 419862922 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 102721892 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=852944 CPUtime=0.01
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 1 0 0 0 16 0 9 0 419862923 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 419862923 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=852944 CPUtime=0.7
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 2360 0 0 0 68 2 0 0 16 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 203.79
Current children cumulated vsize (KiB) 858300
[startup+204.302 s]
/proc/loadavg: 2.27 2.06 2.06 4/90 18539
/proc/meminfo: memFree=1518928/2055920 swapFree=4180312/4192956
[pid=18527] ppid=18525 vsize=5356 CPUtime=0
/proc/18527/stat : 18527 (concrete.sh) S 18525 18527 18490 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 419862919 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 224627581764 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18527/statm: 1339 242 201 169 0 50 0
[pid=18530] ppid=18527 vsize=852944 CPUtime=204.19
/proc/18530/stat : 18530 (java) S 18527 18527 18490 0 -1 0 48040 0 2 0 20252 167 0 0 18 0 9 0 419862920 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18530/statm: 213236 40587 2597 9 0 207796 0
[pid=18530/tid=18531] ppid=18527 vsize=852944 CPUtime=164.93
/proc/18530/task/18531/stat : 18531 (java) S 18527 18527 18490 0 -1 64 13553 0 2 0 16363 130 0 0 24 0 9 0 419862921 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18532] ppid=18527 vsize=852944 CPUtime=38.5
/proc/18530/task/18532/stat : 18532 (java) R 18527 18527 18490 0 -1 64 31383 0 0 0 3818 32 0 0 19 0 9 0 419862922 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 102731777 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18533] ppid=18527 vsize=852944 CPUtime=0.01
/proc/18530/task/18533/stat : 18533 (java) S 18527 18527 18490 0 -1 64 13 0 0 0 1 0 0 0 16 0 9 0 419862923 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18534] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18534/stat : 18534 (java) S 18527 18527 18490 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 419862923 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18535] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18535/stat : 18535 (java) S 18527 18527 18490 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18536] ppid=18527 vsize=852944 CPUtime=0.7
/proc/18530/task/18536/stat : 18536 (java) S 18527 18527 18490 0 -1 64 2360 0 0 0 68 2 0 0 16 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18530/tid=18537] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18537/stat : 18537 (java) S 18527 18527 18490 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18530/tid=18538] ppid=18527 vsize=852944 CPUtime=0
/proc/18530/task/18538/stat : 18538 (java) S 18527 18527 18490 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 419862925 873414656 40587 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 204.19
Current children cumulated vsize (KiB) 858300
Child status: 0
Real time (s): 204.393
CPU time (s): 204.269
CPU user time (s): 202.568
CPU system time (s): 1.70074
CPU usage (%): 99.9391
Max. virtual memory (cumulated for all children) (KiB): 858300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 202.568
system time used= 1.70074
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48500
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26672
involuntary context switches= 23261
runsolver used 0.290955 second user time and 0.646901 second system time
The end