0.00/0.00 c cpHydra_k_10 version 0.0
7.59/7.74 c CASE TO CLASSIFY:
7.59/7.74 c Case: 0
7.59/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.187500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.830400 | c 14 > 11.915100 | c 11 > 4.584960 | c 12 > 11.065600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.59/7.75 c choco : 1801.0
7.59/7.75 c mistral : 1801.0
7.59/7.75 c abscon : 1801.0
7.59/7.75 c
7.59/7.75 c
7.89/8.00 c List of same ones: 10
7.89/8.00 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.89/8.00 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.029500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.902200 | c 14 > 11.847800 | c 11 > 4.584960 | c 12 > 11.158100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.01 c choco : 1801.0
7.89/8.01 c mistral : 40.01
7.89/8.01 c abscon : 320.414
7.89/8.01 c
7.89/8.01 c
7.89/8.01 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.89/8.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.050900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.626600 | c 14 > 11.937000 | c 11 > 4.584960 | c 12 > 11.009300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.02 c choco : 1801.0
7.89/8.02 c mistral : 976.11
7.89/8.02 c abscon : 1800.09
7.89/8.02 c
7.89/8.02 c
7.89/8.02 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.89/8.02 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.980700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.492000 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.925300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.03 c choco : 1801.0
7.89/8.03 c mistral : 402.946
7.89/8.03 c abscon : 15.4397
7.89/8.03 c
7.89/8.03 c
7.89/8.03 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.89/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.061600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.457500 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.899500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.04 c choco : 1801.0
7.89/8.04 c mistral : 62.4135
7.89/8.04 c abscon : 1800.14
7.89/8.04 c
7.89/8.04 c
7.89/8.04 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.89/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.982800 | c 14 > 12.188000 | c 11 > 4.584960 | c 12 > 11.415800 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.05 c choco : 1801.0
7.89/8.05 c mistral : 772.763
7.89/8.05 c abscon : 1274.72
7.89/8.05 c
7.89/8.05 c
7.89/8.05 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
7.89/8.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.913900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.591000 | c 14 > 11.644300 | c 11 > 4.584960 | c 12 > 10.803300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.06 c choco : 1801.0
7.89/8.06 c mistral : 109.18
7.89/8.06 c abscon : 77.3452
7.89/8.06 c
7.89/8.06 c
7.89/8.06 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
7.89/8.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.032400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.473800 | c 14 > 11.703000 | c 11 > 4.584960 | c 12 > 10.725600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.07 c choco : 1801.0
7.89/8.07 c mistral : 1232.27
7.89/8.07 c abscon : 1800.12
7.89/8.07 c
7.89/8.07 c
7.89/8.07 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.89/8.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.298700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.376100 | c 14 > 12.166500 | c 11 > 4.584960 | c 12 > 10.882100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.07 c choco : 1801.0
7.89/8.07 c mistral : 1487.13
7.89/8.07 c abscon : 1800.05
7.89/8.07 c
7.89/8.07 c
7.89/8.07 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
7.89/8.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.973600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.455600 | c 14 > 11.724500 | c 11 > 4.584960 | c 12 > 10.696600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.08 c choco : 1801.0
7.89/8.08 c mistral : 699.298
7.89/8.08 c abscon : 1438.19
7.89/8.08 c
7.89/8.08 c
7.89/8.08 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-28_ext.xml
7.89/8.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.843100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.442100 | c 14 > 11.673300 | c 11 > 4.584960 | c 12 > 10.802000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.89/8.09 c choco : 1801.0
7.89/8.09 c mistral : 144.908
7.89/8.09 c abscon : 915.008
7.89/8.09 c
7.89/8.09 c
7.89/8.09 c Length: 10
7.89/8.09 c 0.20875817804340177 0.2526723174390105 0.4429610484004201 0.449249541346455 0.49695010504073783 0.5237396777025773 0.5583958989820749 0.5618079209124764 0.5992435288761977 0.6315871122814337
7.89/8.09 c
7.89/8.09 c 1.0 0.9059136774034314 0.6435440891611555 0.6374430811260414 0.5946786617531656 0.5730861408459573 0.5473749985250924 0.5449678496315504 0.5198838161329107 0.5
7.89/8.10 c
7.89/8.10 c solver 0
7.89/8.10 c before 0.0 seconds: {} 0
7.89/8.10 c before 18.0 seconds: {2} 643
7.89/8.10 c before 90.0 seconds: {2, 5} 1216
7.89/8.10 c before 324.0 seconds: {0, 2, 5} 2216
7.89/8.10 c before 918.0 seconds: {0, 2, 5, 9} 2716
7.89/8.10 c before 1278.0 seconds: {0, 2, 4, 5, 9} 3311
7.89/8.10 c before 1440.0 seconds: {0, 2, 4, 5, 8, 9} 3831
7.96/8.10 c
7.96/8.10 c solver 1
7.96/8.10 c before 0.0 seconds: {} 0
7.96/8.10 c before 54.0 seconds: {0} 1000
7.96/8.10 c before 72.0 seconds: {0, 3} 1637
7.96/8.10 c before 126.0 seconds: {0, 3, 5} 2210
7.96/8.10 c before 162.0 seconds: {0, 3, 5, 9} 2710
7.96/8.10 c before 414.0 seconds: {0, 2, 3, 5, 9} 3354
7.96/8.10 c before 702.0 seconds: {0, 2, 3, 5, 8, 9} 3873
7.96/8.10 c before 774.0 seconds: {0, 2, 3, 4, 5, 8, 9} 4468
7.96/8.10 c before 990.0 seconds: {0, 1, 2, 3, 4, 5, 8, 9} 5374
7.96/8.10 c before 1242.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 5921
7.96/8.10 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6466
7.96/8.10 c
7.96/8.10 c solver 2
7.96/8.10 c before 0.0 seconds: {} 0
7.96/8.10 c
7.96/8.10 cTotal time: 163
7.96/8.10 c run abscon for 90.0 seconds {2, 5} 1216
7.96/8.10 c run mistral for 1494.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6466
7.96/8.10 c do not run choco
7.96/8.10 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.96/8.10 c On Instance: HOME/instance-1056835-1215106157.xml
7.96/8.10 c Running for: 90 seconds
98.31/98.55 c Starting solver: HOME/cpHydra_k_10/solver/mistral
98.31/98.55 c On Instance: HOME/instance-1056835-1215106157.xml
98.31/98.55 c Running for: 1494 seconds
173.96/174.91 c mistral-prime version 1.313
173.96/174.91 s SATISFIABLE
173.96/174.91 v 5 7 6 21 12 3 3 8 0 8 1 12 13 5 9 20 4 7 2 0 21 6 1 18
173.96/174.91 d CHECKS 30917237
173.96/174.91 d ASSIGNMENTS 187751
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056835-1215106157/watcher-1056835-1215106157 -o /tmp/evaluation-result-1056835-1215106157/solver-1056835-1215106157 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1056835-1215106157.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.92 1.57 0.78 4/81 7628
/proc/meminfo: memFree=1532672/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=18572 CPUtime=0
/proc/7628/stat : 7628 (runsolver) R 7626 7628 7482 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1989587618 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 235371293991 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7628/statm: 4643 292 257 25 0 2626 0
[startup+0.00805089 s]
/proc/loadavg: 1.92 1.57 0.78 4/81 7628
/proc/meminfo: memFree=1532672/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=0
/proc/7628/stat : 7628 (hydra) D 7626 7628 7482 0 -1 4194304 265 0 0 0 0 0 0 0 18 0 1 0 1989587618 5488640 233 996147200 4194304 4889804 548682068816 18446744073709551615 235371461221 0 2147483391 4100 65536 18446744072099781622 0 0 17 1 0 0
/proc/7628/statm: 1340 233 194 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102039 s]
/proc/loadavg: 1.92 1.57 0.78 4/81 7628
/proc/meminfo: memFree=1532672/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=0
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989587618 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301074 s]
/proc/loadavg: 1.92 1.57 0.78 4/81 7628
/proc/meminfo: memFree=1532672/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=0
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989587618 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701138 s]
/proc/loadavg: 1.92 1.57 0.78 4/81 7628
/proc/meminfo: memFree=1532672/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=0
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989587618 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50127 s]
/proc/loadavg: 1.92 1.57 0.78 3/83 7632
/proc/meminfo: memFree=1523760/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=0
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989587618 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 236 195 169 0 51 0
[pid=7632] ppid=7628 vsize=12156 CPUtime=1.47
/proc/7632/stat : 7632 (xsolve) R 7628 7628 7482 0 -1 4194304 2398 0 0 0 145 2 0 0 25 0 1 0 1989587619 12447744 2357 996147200 134512640 135239763 4294956176 18446744073709551615 135096848 0 0 4096 0 0 0 0 17 1 0 0
/proc/7632/statm: 3039 2357 413 177 0 1942 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17516
[startup+3.10155 s]
/proc/loadavg: 1.92 1.57 0.78 5/91 7644
/proc/meminfo: memFree=1527088/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197000 CPUtime=1.12
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 4596 0 1 0 109 3 0 0 18 0 9 0 1989587813 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49250 3884 1677 9 0 43833 0
[pid=7636/tid=7637] ppid=7628 vsize=197000 CPUtime=0.88
/proc/7636/task/7637/stat : 7637 (java) R 7628 7628 7482 0 -1 64 2638 0 1 0 87 1 0 0 25 0 9 0 1989587814 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4126499775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197000 CPUtime=0.08
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 631 0 0 0 7 1 0 0 16 0 9 0 1989587816 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197000 CPUtime=0
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989587816 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197000 CPUtime=0
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989587816 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197000 CPUtime=0
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1989587818 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197000 CPUtime=0.13
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 603 0 0 0 13 0 0 0 16 0 9 0 1989587818 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197000 CPUtime=0
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1989587818 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197000 CPUtime=0
/proc/7636/task/7644/stat : 7644 (java) S 7628 7628 7482 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1989587818 201728000 3884 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202360
[startup+6.30209 s]
/proc/loadavg: 1.93 1.58 0.78 3/91 7644
/proc/meminfo: memFree=1514160/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197108 CPUtime=4.29
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 9529 0 1 0 417 12 0 0 18 0 9 0 1989587813 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49277 7898 2540 9 0 43860 0
[pid=7636/tid=7637] ppid=7628 vsize=197108 CPUtime=3.38
/proc/7636/task/7637/stat : 7637 (java) R 7628 7628 7482 0 -1 64 3473 0 1 0 335 3 0 0 25 0 9 0 1989587814 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4126441096 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197108 CPUtime=0.71
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 4703 0 0 0 64 7 0 0 16 0 9 0 1989587816 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197108 CPUtime=0
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989587816 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197108 CPUtime=0
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989587816 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197108 CPUtime=0
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1989587818 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197108 CPUtime=0.17
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1989587818 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197108 CPUtime=0
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1989587818 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197108 CPUtime=0
/proc/7636/task/7644/stat : 7644 (java) S 7628 7628 7482 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1989587818 201838592 7898 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202468
[startup+12.7032 s]
/proc/loadavg: 1.93 1.59 0.79 3/103 7656
/proc/meminfo: memFree=1431632/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197432 CPUtime=6.05
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 13988 0 1 0 587 18 0 0 18 0 10 0 1989587813 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49358 9505 2543 9 0 43941 0
[pid=7646] ppid=7636 vsize=5356 CPUtime=0
/proc/7646/stat : 7646 (abscon) S 7636 7628 7482 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1989588429 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7646/statm: 1339 237 196 169 0 50 0
[pid=7647] ppid=7646 vsize=654856 CPUtime=4.57
/proc/7647/stat : 7647 (java) S 7646 7628 7482 0 -1 0 21145 0 1 0 446 11 0 0 18 0 9 0 1989588430 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7647/statm: 163714 20458 2613 9 0 158242 0
[pid=7647/tid=7649] ppid=7646 vsize=654856 CPUtime=4.2
/proc/7647/task/7649/stat : 7649 (java) R 7646 7628 7482 0 -1 64 12523 0 1 0 412 8 0 0 25 0 9 0 1989588430 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4126738291 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7650] ppid=7646 vsize=654856 CPUtime=0.17
/proc/7647/task/7650/stat : 7650 (java) S 7646 7628 7482 0 -1 64 7700 0 0 0 15 2 0 0 16 0 9 0 1989588432 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7651] ppid=7646 vsize=654856 CPUtime=0
/proc/7647/task/7651/stat : 7651 (java) S 7646 7628 7482 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989588432 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7652] ppid=7646 vsize=654856 CPUtime=0
/proc/7647/task/7652/stat : 7652 (java) S 7646 7628 7482 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1989588432 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7653] ppid=7646 vsize=654856 CPUtime=0
/proc/7647/task/7653/stat : 7653 (java) S 7646 7628 7482 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1989588434 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7654] ppid=7646 vsize=654856 CPUtime=0.17
/proc/7647/task/7654/stat : 7654 (java) S 7646 7628 7482 0 -1 64 377 0 0 0 17 0 0 0 15 0 9 0 1989588434 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7655] ppid=7646 vsize=654856 CPUtime=0
/proc/7647/task/7655/stat : 7655 (java) S 7646 7628 7482 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1989588434 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7656] ppid=7646 vsize=654856 CPUtime=0
/proc/7647/task/7656/stat : 7656 (java) S 7646 7628 7482 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1989588434 670572544 20458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7648] ppid=7646 vsize=7044 CPUtime=0
/proc/7648/stat : 7648 (translate) S 7646 7628 7482 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1989588430 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 235371462738 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/7648/statm: 1761 213 182 1 0 41 0
[pid=7636/tid=7637] ppid=7628 vsize=197432 CPUtime=4.72
/proc/7636/task/7637/stat : 7637 (java) S 7628 7628 7482 0 -1 64 3984 0 1 0 467 5 0 0 25 0 10 0 1989587814 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197432 CPUtime=1.1
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 8551 0 0 0 99 11 0 0 16 0 10 0 1989587816 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197432 CPUtime=0
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1989587816 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197432 CPUtime=0
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1989587816 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197432 CPUtime=0
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1989587818 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197432 CPUtime=0.19
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 645 0 0 0 19 0 0 0 15 0 10 0 1989587818 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197432 CPUtime=0
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1989587818 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197432 CPUtime=0
/proc/7636/task/7644/stat : 7644 (java) R 7628 7628 7482 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1989587818 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7645] ppid=7628 vsize=197432 CPUtime=0
/proc/7636/task/7645/stat : 7645 (java) S 7628 7628 7482 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1989588429 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 870048
[startup+25.5023 s]
/proc/loadavg: 1.95 1.61 0.81 3/103 7656
/proc/meminfo: memFree=1431504/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197432 CPUtime=6.05
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 13988 0 1 0 587 18 0 0 18 0 10 0 1989587813 202170368 9505 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49358 9505 2543 9 0 43941 0
[pid=7646] ppid=7636 vsize=5356 CPUtime=0
/proc/7646/stat : 7646 (abscon) S 7636 7628 7482 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1989588429 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/7646/statm: 1339 237 196 169 0 50 0
[pid=7647] ppid=7646 vsize=654856 CPUtime=17.37
/proc/7647/stat : 7647 (java) S 7646 7628 7482 0 -1 0 21164 0 1 0 1725 12 0 0 18 0 9 0 1989588430 670572544 20471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/7647/statm: 163714 20471 2613 9 0 158242 0
[pid=7647/tid=7649] ppid=7646 vsize=654856 CPUtime=16.97
/proc/7647/task/7649/stat : 7649 (java) R 7646 7628 7482 0 -1 64 12526 0 1 0 1689 8 0 0 25 0 9 0 1989588430 670572544 20471 996147200 134512640 134550740 4294955808 18446744073709551615 4126738187 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7650] ppid=7646 vsize=654856 CPUtime=0.17
/proc/7647/task/7650/stat : 7650 (java) S 7646 7628 7482 0 -1 64 7700 0 0 0 15 2 0 0 17 0 9 0 1989588432 670572544 20471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7647/tid=7651] ppid=7646 vsize=654856 CPUtime=0
/proc/7647/task/7651/stat : 7651 (java) S 7646 7628 7482 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989588432 670572544 20471 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=7658] ppid=7636 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (mistral) S 7636 7628 7482 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989597474 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/7658/statm: 1339 236 196 169 0 50 0
[pid=7659] ppid=7658 vsize=12160 CPUtime=70.25
/proc/7659/stat : 7659 (xsolve) R 7658 7628 7482 0 -1 4194304 2374 0 0 0 7024 1 0 0 25 0 1 0 1989597475 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 135013682 0 4 0 0 0 0 0 17 1 0 0
/proc/7659/statm: 3040 2338 393 177 0 1943 0
[pid=7636/tid=7637] ppid=7628 vsize=197756 CPUtime=95.11
/proc/7636/task/7637/stat : 7637 (java) S 7628 7628 7482 0 -1 64 4063 21746 1 1 467 5 9025 14 16 0 10 0 1989587814 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197756 CPUtime=91.49
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 8565 21746 0 1 99 11 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 21746 0 1 0 0 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 21746 0 1 0 0 9025 14 15 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 21746 0 1 0 0 9025 14 18 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197756 CPUtime=90.58
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 645 21746 0 1 19 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 21746 0 1 0 0 9025 14 19 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7644/stat : 7644 (java) S 7628 7628 7482 0 -1 64 17 21746 0 1 0 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7657] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7657/stat : 7657 (java) S 7628 7628 7482 0 -1 64 51 21746 0 1 0 0 9025 14 16 0 10 0 1989597474 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 168.61
Current children cumulated vsize (KiB) 220632
[startup+172.706 s]
/proc/loadavg: 1.99 1.75 0.97 3/94 7659
/proc/meminfo: memFree=1495632/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197756 CPUtime=96.44
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 14141 21746 1 1 587 18 9025 14 18 0 10 0 1989587813 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49439 9511 2544 9 0 44022 0
[pid=7658] ppid=7636 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (mistral) S 7636 7628 7482 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989597474 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/7658/statm: 1339 236 196 169 0 50 0
[pid=7659] ppid=7658 vsize=12160 CPUtime=73.42
/proc/7659/stat : 7659 (xsolve) R 7658 7628 7482 0 -1 4194304 2374 0 0 0 7341 1 0 0 25 0 1 0 1989597475 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 134819953 0 4 0 0 0 0 0 17 1 0 0
/proc/7659/statm: 3040 2338 393 177 0 1943 0
[pid=7636/tid=7637] ppid=7628 vsize=197756 CPUtime=95.11
/proc/7636/task/7637/stat : 7637 (java) S 7628 7628 7482 0 -1 64 4063 21746 1 1 467 5 9025 14 16 0 10 0 1989587814 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197756 CPUtime=91.49
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 8565 21746 0 1 99 11 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 21746 0 1 0 0 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 21746 0 1 0 0 9025 14 15 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 21746 0 1 0 0 9025 14 18 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197756 CPUtime=90.58
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 645 21746 0 1 19 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 21746 0 1 0 0 9025 14 19 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7644/stat : 7644 (java) S 7628 7628 7482 0 -1 64 17 21746 0 1 0 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7657] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7657/stat : 7657 (java) S 7628 7628 7482 0 -1 64 51 21746 0 1 0 0 9025 14 16 0 10 0 1989597474 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 171.78
Current children cumulated vsize (KiB) 220632
[startup+174.303 s]
/proc/loadavg: 1.99 1.76 0.98 3/94 7659
/proc/meminfo: memFree=1495632/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197756 CPUtime=96.44
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 14141 21746 1 1 587 18 9025 14 18 0 10 0 1989587813 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49439 9511 2544 9 0 44022 0
[pid=7658] ppid=7636 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (mistral) S 7636 7628 7482 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989597474 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/7658/statm: 1339 236 196 169 0 50 0
[pid=7659] ppid=7658 vsize=12160 CPUtime=75.01
/proc/7659/stat : 7659 (xsolve) R 7658 7628 7482 0 -1 4194304 2374 0 0 0 7500 1 0 0 25 0 1 0 1989597475 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 134819995 0 4 0 0 0 0 0 17 1 0 0
/proc/7659/statm: 3040 2338 393 177 0 1943 0
[pid=7636/tid=7637] ppid=7628 vsize=197756 CPUtime=95.11
/proc/7636/task/7637/stat : 7637 (java) S 7628 7628 7482 0 -1 64 4063 21746 1 1 467 5 9025 14 16 0 10 0 1989587814 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197756 CPUtime=91.49
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 8565 21746 0 1 99 11 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 21746 0 1 0 0 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 21746 0 1 0 0 9025 14 15 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 21746 0 1 0 0 9025 14 18 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197756 CPUtime=90.58
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 645 21746 0 1 19 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 21746 0 1 0 0 9025 14 19 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7644/stat : 7644 (java) S 7628 7628 7482 0 -1 64 17 21746 0 1 0 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7657] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7657/stat : 7657 (java) S 7628 7628 7482 0 -1 64 51 21746 0 1 0 0 9025 14 16 0 10 0 1989597474 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 173.37
Current children cumulated vsize (KiB) 220632
[startup+174.703 s]
/proc/loadavg: 1.99 1.76 0.98 3/94 7659
/proc/meminfo: memFree=1495632/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197756 CPUtime=96.44
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 14141 21746 1 1 587 18 9025 14 18 0 10 0 1989587813 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49439 9511 2544 9 0 44022 0
[pid=7658] ppid=7636 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (mistral) S 7636 7628 7482 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989597474 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/7658/statm: 1339 236 196 169 0 50 0
[pid=7659] ppid=7658 vsize=12160 CPUtime=75.4
/proc/7659/stat : 7659 (xsolve) R 7658 7628 7482 0 -1 4194304 2374 0 0 0 7539 1 0 0 25 0 1 0 1989597475 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 134819998 0 4 0 0 0 0 0 17 1 0 0
/proc/7659/statm: 3040 2338 393 177 0 1943 0
[pid=7636/tid=7637] ppid=7628 vsize=197756 CPUtime=95.11
/proc/7636/task/7637/stat : 7637 (java) S 7628 7628 7482 0 -1 64 4063 21746 1 1 467 5 9025 14 16 0 10 0 1989587814 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197756 CPUtime=91.49
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 8565 21746 0 1 99 11 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 21746 0 1 0 0 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 21746 0 1 0 0 9025 14 15 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 21746 0 1 0 0 9025 14 18 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197756 CPUtime=90.58
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 645 21746 0 1 19 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 21746 0 1 0 0 9025 14 19 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7644/stat : 7644 (java) S 7628 7628 7482 0 -1 64 17 21746 0 1 0 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7657] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7657/stat : 7657 (java) S 7628 7628 7482 0 -1 64 51 21746 0 1 0 0 9025 14 16 0 10 0 1989597474 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 173.76
Current children cumulated vsize (KiB) 220632
[startup+174.908 s]
/proc/loadavg: 1.99 1.76 0.98 3/94 7659
/proc/meminfo: memFree=1495632/2055920 swapFree=4180420/4192956
[pid=7628] ppid=7626 vsize=5360 CPUtime=1.92
/proc/7628/stat : 7628 (hydra) S 7626 7628 7482 0 -1 4194304 375 2995 0 0 0 0 189 3 18 0 1 0 1989587618 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 235371291460 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7628/statm: 1340 238 196 169 0 51 0
[pid=7636] ppid=7628 vsize=197756 CPUtime=96.44
/proc/7636/stat : 7636 (java) S 7628 7628 7482 0 -1 0 14141 21746 1 1 587 18 9025 14 18 0 10 0 1989587813 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/7636/statm: 49439 9511 2544 9 0 44022 0
[pid=7658] ppid=7636 vsize=5356 CPUtime=0
/proc/7658/stat : 7658 (mistral) S 7636 7628 7482 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989597474 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 235371291460 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/7658/statm: 1339 236 196 169 0 50 0
[pid=7659] ppid=7658 vsize=12000 CPUtime=75.6
/proc/7659/stat : 7659 (xsolve) R 7658 7628 7482 0 -1 4194304 2389 0 0 0 7559 1 0 0 25 0 1 0 1989597475 12288000 2332 996147200 134512640 135239763 4294955968 18446744073709551615 3051004 0 4 0 0 0 0 0 17 1 0 0
/proc/7659/statm: 3000 2332 408 177 0 1903 0
[pid=7636/tid=7637] ppid=7628 vsize=197756 CPUtime=95.11
/proc/7636/task/7637/stat : 7637 (java) S 7628 7628 7482 0 -1 64 4063 21746 1 1 467 5 9025 14 16 0 10 0 1989587814 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=7636/tid=7638] ppid=7628 vsize=197756 CPUtime=91.49
/proc/7636/task/7638/stat : 7638 (java) S 7628 7628 7482 0 -1 64 8565 21746 0 1 99 11 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=7636/tid=7639] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7639/stat : 7639 (java) S 7628 7628 7482 0 -1 64 11 21746 0 1 0 0 9025 14 16 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7640] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7640/stat : 7640 (java) S 7628 7628 7482 0 -1 64 5 21746 0 1 0 0 9025 14 15 0 10 0 1989587816 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7641] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7641/stat : 7641 (java) S 7628 7628 7482 0 -1 64 1 21746 0 1 0 0 9025 14 18 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7642] ppid=7628 vsize=197756 CPUtime=90.58
/proc/7636/task/7642/stat : 7642 (java) S 7628 7628 7482 0 -1 64 645 21746 0 1 19 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7643] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7643/stat : 7643 (java) S 7628 7628 7482 0 -1 64 0 21746 0 1 0 0 9025 14 19 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7644] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7644/stat : 7644 (java) S 7628 7628 7482 0 -1 64 17 21746 0 1 0 0 9025 14 15 0 10 0 1989587818 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=7636/tid=7657] ppid=7628 vsize=197756 CPUtime=90.39
/proc/7636/task/7657/stat : 7657 (java) S 7628 7628 7482 0 -1 64 51 21746 0 1 0 0 9025 14 16 0 10 0 1989597474 202502144 9511 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 173.96
Current children cumulated vsize (KiB) 220472
Child status: 0
Real time (s): 174.949
CPU time (s): 174.029
CPU user time (s): 173.627
CPU system time (s): 0.401938
CPU usage (%): 99.4741
Max. virtual memory (cumulated for all children) (KiB): 870048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 173.627
system time used= 0.401938
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42171
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= 15404
involuntary context switches= 17924
runsolver used 0.540917 second user time and 1.20382 second system time
The end