0.00/0.00 c cpHydra_k_10 version 0.0
7.99/8.13 c CASE TO CLASSIFY:
7.99/8.13 c Case: 0
7.99/8.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.117400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.564600 | c 14 > 11.840000 | c 11 > 4.807350 | c 12 > 10.759400 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | 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.539160 | 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.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.99/8.14 c choco : 1801.0
7.99/8.14 c mistral : 1801.0
7.99/8.14 c abscon : 1801.0
7.99/8.14 c
7.99/8.14 c
8.18/8.39 c List of same ones: 10
8.18/8.39 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28/rand-3-28-28-93-632-46_ext.xml
8.18/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.740600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.363600 | c 14 > 11.318500 | c 11 > 4.807350 | c 12 > 10.665900 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | 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.539160 | 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.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.28/8.40 c choco : 1801.0
8.28/8.40 c mistral : 81.2966
8.28/8.40 c abscon : 1800.06
8.28/8.40 c
8.28/8.40 c
8.28/8.40 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-23_ext.xml
8.28/8.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.092800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.871190 | c 14 > 11.604100 | c 11 > 4.807350 | c 12 > 10.362000 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | 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.539160 | 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.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.28/8.41 c choco : 1801.0
8.28/8.41 c mistral : 84.17
8.28/8.41 c abscon : 1800.06
8.28/8.41 c
8.28/8.41 c
8.28/8.41 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
8.28/8.41 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
8.28/8.42 c choco : 1801.0
8.28/8.42 c mistral : 402.946
8.28/8.42 c abscon : 15.4397
8.28/8.42 c
8.28/8.42 c
8.28/8.42 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
8.28/8.42 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
8.28/8.43 c choco : 1801.0
8.28/8.43 c mistral : 1232.27
8.28/8.43 c abscon : 1800.12
8.28/8.43 c
8.28/8.43 c
8.28/8.43 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
8.28/8.43 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
8.28/8.44 c choco : 1801.0
8.28/8.44 c mistral : 699.298
8.28/8.44 c abscon : 1438.19
8.28/8.44 c
8.28/8.44 c
8.28/8.44 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
8.28/8.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.074700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.378700 | c 14 > 11.838800 | c 11 > 4.584960 | c 12 > 10.591900 | 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
8.28/8.45 c choco : 1801.0
8.28/8.45 c mistral : 91.53
8.28/8.45 c abscon : 25.5821
8.28/8.45 c
8.28/8.45 c
8.28/8.45 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
8.28/8.45 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
8.28/8.46 c choco : 1801.0
8.28/8.46 c mistral : 62.4135
8.28/8.46 c abscon : 1800.14
8.28/8.46 c
8.28/8.46 c
8.28/8.46 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
8.28/8.46 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
8.28/8.46 c choco : 1801.0
8.28/8.46 c mistral : 976.11
8.28/8.46 c abscon : 1800.09
8.28/8.46 c
8.28/8.46 c
8.28/8.46 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
8.28/8.46 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
8.28/8.47 c choco : 1801.0
8.28/8.47 c mistral : 109.18
8.28/8.47 c abscon : 77.3452
8.28/8.47 c
8.28/8.47 c
8.28/8.47 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
8.28/8.47 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.078000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.339600 | c 14 > 11.700900 | c 11 > 4.584960 | c 12 > 10.620600 | 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
8.28/8.48 c choco : 1801.0
8.28/8.48 c mistral : 236.79
8.28/8.48 c abscon : 313.039
8.28/8.48 c
8.28/8.48 c
8.28/8.48 c Length: 10
8.28/8.48 c 0.6805025642861304 0.8336654953277118 0.862884920658601 0.8654348834545553 0.8666269203065406 0.8820636300743836 0.8825065814485467 0.8909106113971254 0.8921498570868007 0.8968768407646611
8.28/8.48 c
8.28/8.48 c 1.0 0.5855277143283454 0.5426223883262169 0.5391744836132303 0.537577668612576 0.5177218928290847 0.5171737629969483 0.5069897803139499 0.5055218989148383 0.5
8.28/8.49 c
8.28/8.49 c solver 0
8.28/8.49 c before 0.0 seconds: {} 0
8.28/8.49 c before 18.0 seconds: {2} 542
8.28/8.49 c before 36.0 seconds: {2, 5} 1060
8.28/8.49 c before 90.0 seconds: {2, 5, 8} 1565
8.28/8.49 c before 324.0 seconds: {2, 5, 8, 9} 2065
8.28/8.49 c before 1440.0 seconds: {2, 4, 5, 8, 9} 2603
8.28/8.49 c
8.28/8.49 c solver 1
8.28/8.49 c before 0.0 seconds: {} 0
8.28/8.49 c before 72.0 seconds: {6} 517
8.28/8.49 c before 90.0 seconds: {0, 1, 6} 2102
8.28/8.49 c before 108.0 seconds: {0, 1, 5, 6} 2620
8.28/8.49 c before 126.0 seconds: {0, 1, 5, 6, 8} 3125
8.28/8.49 c before 252.0 seconds: {0, 1, 5, 6, 8, 9} 3625
8.28/8.49 c before 414.0 seconds: {0, 1, 2, 5, 6, 8, 9} 4168
8.28/8.49 c before 702.0 seconds: {0, 1, 2, 4, 5, 6, 8, 9} 4706
8.28/8.49 c before 990.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5213
8.28/8.49 c before 1242.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5752
8.28/8.49 c
8.28/8.49 c solver 2
8.28/8.49 c before 0.0 seconds: {} 0
8.28/8.49 c
8.28/8.49 cTotal time: 149
8.28/8.49 c run abscon for 324.0 seconds {2, 5, 8, 9} 2065
8.28/8.49 c run mistral for 1242.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5752
8.28/8.49 c do not run choco
8.28/8.49 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.28/8.49 c On Instance: HOME/instance-1059181-1215121757.xml
8.28/8.49 c Running for: 324 seconds
332.91/333.24 c Starting solver: HOME/cpHydra_k_10/solver/mistral
332.91/333.24 c On Instance: HOME/instance-1059181-1215121757.xml
332.91/333.24 c Running for: 1242 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1059181-1215121757/watcher-1059181-1215121757 -o /tmp/evaluation-result-1059181-1215121757/solver-1059181-1215121757 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1059181-1215121757.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: 2.00 2.00 2.00 4/72 19460
/proc/meminfo: memFree=1706216/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5212 CPUtime=0
/proc/19460/stat : 19460 (hydra) R 19458 19460 18566 0 -1 4194304 73 0 0 0 0 0 0 0 20 0 1 0 1991148795 5337088 47 996147200 4194304 4889804 548682068816 18446744073709551615 209136145120 0 0 4096 0 0 0 0 17 1 0 0
/proc/19460/statm: 1303 47 31 169 0 14 0
[startup+0.015652 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19460
/proc/meminfo: memFree=1706216/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=0
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991148795 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101661 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19460
/proc/meminfo: memFree=1706216/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=0
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991148795 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301677 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19460
/proc/meminfo: memFree=1706216/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=0
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991148795 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701715 s]
/proc/loadavg: 2.00 2.00 2.00 4/72 19460
/proc/meminfo: memFree=1706216/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=0
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991148795 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50278 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19464
/proc/meminfo: memFree=1689816/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=0
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1991148795 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 236 195 169 0 51 0
[pid=19464] ppid=19460 vsize=19760 CPUtime=1.46
/proc/19464/stat : 19464 (xsolve) R 19460 19460 18566 0 -1 4194304 4307 0 0 0 143 3 0 0 25 0 1 0 1991148796 20234240 4266 996147200 134512640 135239763 4294956176 18446744073709551615 135013693 0 0 4096 0 0 0 0 17 1 0 0
/proc/19464/statm: 4940 4266 412 177 0 3843 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25120
[startup+3.10193 s]
/proc/loadavg: 2.00 2.00 2.00 3/74 19464
/proc/meminfo: memFree=1690328/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 5360
[startup+6.30221 s]
/proc/loadavg: 2.00 2.00 2.00 3/82 19476
/proc/meminfo: memFree=1689432/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
[pid=19468] ppid=19460 vsize=197112 CPUtime=3.84
/proc/19468/stat : 19468 (java) S 19460 19460 18566 0 -1 0 9062 0 1 0 374 10 0 0 18 0 9 0 1991149036 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19468/statm: 49278 7510 2540 9 0 43861 0
[pid=19468/tid=19469] ppid=19460 vsize=197112 CPUtime=3
/proc/19468/task/19469/stat : 19469 (java) R 19460 19460 18566 0 -1 64 3395 0 1 0 297 3 0 0 25 0 9 0 1991149037 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4126481975 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19470] ppid=19460 vsize=197112 CPUtime=0.64
/proc/19468/task/19470/stat : 19470 (java) S 19460 19460 18566 0 -1 64 4317 0 0 0 59 5 0 0 16 0 9 0 1991149038 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19471] ppid=19460 vsize=197112 CPUtime=0
/proc/19468/task/19471/stat : 19471 (java) S 19460 19460 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991149039 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19472] ppid=19460 vsize=197112 CPUtime=0
/proc/19468/task/19472/stat : 19472 (java) S 19460 19460 18566 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991149039 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19473] ppid=19460 vsize=197112 CPUtime=0
/proc/19468/task/19473/stat : 19473 (java) S 19460 19460 18566 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991149041 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19474] ppid=19460 vsize=197112 CPUtime=0.17
/proc/19468/task/19474/stat : 19474 (java) S 19460 19460 18566 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1991149041 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19475] ppid=19460 vsize=197112 CPUtime=0
/proc/19468/task/19475/stat : 19475 (java) S 19460 19460 18566 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1991149041 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19476] ppid=19460 vsize=197112 CPUtime=0
/proc/19468/task/19476/stat : 19476 (java) S 19460 19460 18566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1991149041 201842688 7510 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202472
[startup+12.7028 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19488
/proc/meminfo: memFree=1578808/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
[pid=19468] ppid=19460 vsize=197436 CPUtime=6
/proc/19468/stat : 19468 (java) S 19460 19460 18566 0 -1 0 13964 0 1 0 584 16 0 0 18 0 10 0 1991149036 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19468/statm: 49359 9488 2543 9 0 43942 0
[pid=19478] ppid=19468 vsize=5356 CPUtime=0
/proc/19478/stat : 19478 (abscon) S 19468 19460 18566 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1991149645 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19478/statm: 1339 237 196 169 0 50 0
[pid=19479] ppid=19478 vsize=654944 CPUtime=4.18
/proc/19479/stat : 19479 (java) S 19478 19460 18566 0 -1 0 27774 0 1 0 403 15 0 0 18 0 9 0 1991149645 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19479/statm: 163736 27086 2613 9 0 158264 0
[pid=19479/tid=19481] ppid=19478 vsize=654944 CPUtime=3.58
/proc/19479/task/19481/stat : 19481 (java) R 19478 19460 18566 0 -1 64 12529 0 1 0 350 8 0 0 25 0 9 0 1991149646 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4126790274 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19482] ppid=19478 vsize=654944 CPUtime=0.38
/proc/19479/task/19482/stat : 19482 (java) S 19478 19460 18566 0 -1 64 14314 0 0 0 33 5 0 0 17 0 9 0 1991149647 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19483] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19483/stat : 19483 (java) S 19478 19460 18566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991149648 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19484] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19484/stat : 19484 (java) S 19478 19460 18566 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991149648 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19485] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19485/stat : 19485 (java) S 19478 19460 18566 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1991149649 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19486] ppid=19478 vsize=654944 CPUtime=0.18
/proc/19479/task/19486/stat : 19486 (java) S 19478 19460 18566 0 -1 64 386 0 0 0 18 0 0 0 15 0 9 0 1991149649 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19487] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19487/stat : 19487 (java) S 19478 19460 18566 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1991149649 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19488] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19488/stat : 19488 (java) S 19478 19460 18566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1991149649 670662656 27086 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19480] ppid=19478 vsize=7044 CPUtime=0
/proc/19480/stat : 19480 (translate) S 19478 19460 18566 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1991149646 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 209136091218 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/19480/statm: 1761 213 182 1 0 41 0
[pid=19468/tid=19469] ppid=19460 vsize=197436 CPUtime=4.68
/proc/19468/task/19469/stat : 19469 (java) S 19460 19460 18566 0 -1 64 3968 0 1 0 463 5 0 0 25 0 10 0 1991149037 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19468/tid=19470] ppid=19460 vsize=197436 CPUtime=1.08
/proc/19468/task/19470/stat : 19470 (java) S 19460 19460 18566 0 -1 64 8551 0 0 0 99 9 0 0 16 0 10 0 1991149038 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19471] ppid=19460 vsize=197436 CPUtime=0
/proc/19468/task/19471/stat : 19471 (java) S 19460 19460 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991149039 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19472] ppid=19460 vsize=197436 CPUtime=0
/proc/19468/task/19472/stat : 19472 (java) S 19460 19460 18566 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1991149039 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19473] ppid=19460 vsize=197436 CPUtime=0
/proc/19468/task/19473/stat : 19473 (java) S 19460 19460 18566 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991149041 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19474] ppid=19460 vsize=197436 CPUtime=0.2
/proc/19468/task/19474/stat : 19474 (java) S 19460 19460 18566 0 -1 64 642 0 0 0 20 0 0 0 15 0 10 0 1991149041 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19475] ppid=19460 vsize=197436 CPUtime=0
/proc/19468/task/19475/stat : 19475 (java) S 19460 19460 18566 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1991149041 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19476] ppid=19460 vsize=197436 CPUtime=0
/proc/19468/task/19476/stat : 19476 (java) S 19460 19460 18566 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991149041 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19477] ppid=19460 vsize=197436 CPUtime=0
/proc/19468/task/19477/stat : 19477 (java) S 19460 19460 18566 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991149645 202174464 9488 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) 870140
[startup+25.5029 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 19488
/proc/meminfo: memFree=1578616/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
[pid=19468] ppid=19460 vsize=197436 CPUtime=6
/proc/19468/stat : 19468 (java) S 19460 19460 18566 0 -1 0 13969 0 1 0 584 16 0 0 18 0 10 0 1991149036 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19468/statm: 49359 9488 2543 9 0 43942 0
[pid=19478] ppid=19468 vsize=5356 CPUtime=0
/proc/19478/stat : 19478 (abscon) S 19468 19460 18566 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 1991149645 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19478/statm: 1339 237 196 169 0 50 0
[pid=19479] ppid=19478 vsize=654944 CPUtime=16.97
/proc/19479/stat : 19479 (java) S 19478 19460 18566 0 -1 0 27798 0 1 0 1682 15 0 0 18 0 9 0 1991149645 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/19479/statm: 163736 27101 2613 9 0 158264 0
[pid=19479/tid=19481] ppid=19478 vsize=654944 CPUtime=16.35
/proc/19479/task/19481/stat : 19481 (java) R 19478 19460 18566 0 -1 64 12531 0 1 0 1627 8 0 0 25 0 9 0 1991149646 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4126790284 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19482] ppid=19478 vsize=654944 CPUtime=0.38
/proc/19479/task/19482/stat : 19482 (java) S 19478 19460 18566 0 -1 64 14314 0 0 0 33 5 0 0 17 0 9 0 1991149647 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19483] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19483/stat : 19483 (java) S 19478 19460 18566 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991149648 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19484] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19484/stat : 19484 (java) S 19478 19460 18566 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991149648 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19485] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19485/stat : 19485 (java) S 19478 19460 18566 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1991149649 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19486] ppid=19478 vsize=654944 CPUtime=0.21
/proc/19479/task/19486/stat : 19486 (java) S 19478 19460 18566 0 -1 64 408 0 0 0 21 0 0 0 17 0 9 0 1991149649 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19487] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19487/stat : 19487 (java) S 19478 19460 18566 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1991149649 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19479/tid=19488] ppid=19478 vsize=654944 CPUtime=0
/proc/19479/task/19488/stat : 19488 (java) S 19478 19460 18566 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1991149649 670662656 27101 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=19480] ppid=19478 vsize=7044 CPUtime=0
/proc/19480/stat : 19480 (translate) S 19478 19460 18566 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1991149646 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 209136091218 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/19480/statm: 1761 213 182 1 0 41 0
[pid=19468/tid=19469] ppid=19460 vsize=197436 CPUtime=4.68
/proc/19468/task/19469/stat : 19469 (java) S 19460 19460 18566 0 -1 64 3968 0 1 0 463 5 0 0 25 0 10 0 1991149037 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19468/tid=19470] ppid=19460 vsize=197436 CPUtime=1.08
/proc/19468/task/19470/stat : 19470 (java) S 19460 19460 18566 0 -1 64 8551 0 0 0 99 9 0 0 16 0 10 0 1991149038 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19471] ppid=19460 vsize=197436 CPUtime=0
/proc/19468/task/19471/stat : 19471 (java) S 19460 19460 18566 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991149039 202174464 9488 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/19468/task/19577/stat : 19577 (java) S 19460 19460 18566 0 -1 64 50 28380 0 1 0 0 32439 21 17 0 10 0 1991182119 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.46
Current children cumulated vsize (KiB) 228240
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19623
/proc/meminfo: memFree=1584048/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
[pid=19468] ppid=19460 vsize=197760 CPUtime=330.6
/proc/19468/stat : 19468 (java) S 19460 19460 18566 0 -1 0 14125 28380 1 1 584 16 32439 21 18 0 10 0 1991149036 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19468/statm: 49440 9494 2544 9 0 44023 0
[pid=19578] ppid=19468 vsize=5356 CPUtime=0
/proc/19578/stat : 19578 (mistral) S 19468 19460 18566 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1991182119 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19578/statm: 1339 236 196 169 0 50 0
[pid=19579] ppid=19578 vsize=19764 CPUtime=1325.48
/proc/19579/stat : 19579 (xsolve) R 19578 19460 18566 0 -1 4194304 4285 0 0 0 132522 26 0 0 25 0 1 0 1991182120 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 135016284 0 4 0 0 0 0 0 17 0 0 0
/proc/19579/statm: 4941 4249 393 177 0 3844 0
[pid=19468/tid=19469] ppid=19460 vsize=197760 CPUtime=329.28
/proc/19468/task/19469/stat : 19469 (java) S 19460 19460 18566 0 -1 64 4046 28380 1 1 463 5 32439 21 16 0 10 0 1991149037 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19468/tid=19470] ppid=19460 vsize=197760 CPUtime=325.69
/proc/19468/task/19470/stat : 19470 (java) S 19460 19460 18566 0 -1 64 8569 28380 0 1 100 9 32439 21 16 0 10 0 1991149038 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19468/tid=19471] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19471/stat : 19471 (java) S 19460 19460 18566 0 -1 64 11 28380 0 1 0 0 32439 21 16 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19472] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19472/stat : 19472 (java) S 19460 19460 18566 0 -1 64 6 28380 0 1 0 0 32439 21 15 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19473] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19473/stat : 19473 (java) S 19460 19460 18566 0 -1 64 1 28380 0 1 0 0 32439 21 18 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19474] ppid=19460 vsize=197760 CPUtime=324.8
/proc/19468/task/19474/stat : 19474 (java) S 19460 19460 18566 0 -1 64 642 28380 0 1 20 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19475] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19475/stat : 19475 (java) S 19460 19460 18566 0 -1 64 0 28380 0 1 0 0 32439 21 19 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19476] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19476/stat : 19476 (java) S 19460 19460 18566 0 -1 64 16 28380 0 1 0 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19577] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19577/stat : 19577 (java) S 19460 19460 18566 0 -1 64 50 28380 0 1 0 0 32439 21 17 0 10 0 1991182119 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1658.44
Current children cumulated vsize (KiB) 228240
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19623
/proc/meminfo: memFree=1584048/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
[pid=19468] ppid=19460 vsize=197760 CPUtime=330.6
/proc/19468/stat : 19468 (java) S 19460 19460 18566 0 -1 0 14125 28380 1 1 584 16 32439 21 18 0 10 0 1991149036 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19468/statm: 49440 9494 2544 9 0 44023 0
[pid=19578] ppid=19468 vsize=5356 CPUtime=0
/proc/19578/stat : 19578 (mistral) S 19468 19460 18566 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1991182119 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19578/statm: 1339 236 196 169 0 50 0
[pid=19579] ppid=19578 vsize=19764 CPUtime=1385.46
/proc/19579/stat : 19579 (xsolve) R 19578 19460 18566 0 -1 4194304 4285 0 0 0 138520 26 0 0 25 0 1 0 1991182120 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 134819998 0 4 0 0 0 0 0 17 0 0 0
/proc/19579/statm: 4941 4249 393 177 0 3844 0
[pid=19468/tid=19469] ppid=19460 vsize=197760 CPUtime=329.28
/proc/19468/task/19469/stat : 19469 (java) S 19460 19460 18566 0 -1 64 4046 28380 1 1 463 5 32439 21 16 0 10 0 1991149037 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19468/tid=19470] ppid=19460 vsize=197760 CPUtime=325.69
/proc/19468/task/19470/stat : 19470 (java) S 19460 19460 18566 0 -1 64 8569 28380 0 1 100 9 32439 21 16 0 10 0 1991149038 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19468/tid=19471] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19471/stat : 19471 (java) S 19460 19460 18566 0 -1 64 11 28380 0 1 0 0 32439 21 16 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19472] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19472/stat : 19472 (java) S 19460 19460 18566 0 -1 64 6 28380 0 1 0 0 32439 21 15 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19473] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19473/stat : 19473 (java) S 19460 19460 18566 0 -1 64 1 28380 0 1 0 0 32439 21 18 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19474] ppid=19460 vsize=197760 CPUtime=324.8
/proc/19468/task/19474/stat : 19474 (java) S 19460 19460 18566 0 -1 64 642 28380 0 1 20 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19475] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19475/stat : 19475 (java) S 19460 19460 18566 0 -1 64 0 28380 0 1 0 0 32439 21 19 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19476] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19476/stat : 19476 (java) S 19460 19460 18566 0 -1 64 16 28380 0 1 0 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19577] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19577/stat : 19577 (java) S 19460 19460 18566 0 -1 64 50 28380 0 1 0 0 32439 21 17 0 10 0 1991182119 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1718.42
Current children cumulated vsize (KiB) 228240
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19623
/proc/meminfo: memFree=1583984/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
[pid=19468] ppid=19460 vsize=197760 CPUtime=330.6
/proc/19468/stat : 19468 (java) S 19460 19460 18566 0 -1 0 14125 28380 1 1 584 16 32439 21 18 0 10 0 1991149036 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19468/statm: 49440 9494 2544 9 0 44023 0
[pid=19578] ppid=19468 vsize=5356 CPUtime=0
/proc/19578/stat : 19578 (mistral) S 19468 19460 18566 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1991182119 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19578/statm: 1339 236 196 169 0 50 0
[pid=19579] ppid=19578 vsize=19764 CPUtime=1445.44
/proc/19579/stat : 19579 (xsolve) R 19578 19460 18566 0 -1 4194304 4285 0 0 0 144518 26 0 0 25 0 1 0 1991182120 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 134820133 0 4 0 0 0 0 0 17 0 0 0
/proc/19579/statm: 4941 4249 393 177 0 3844 0
[pid=19468/tid=19469] ppid=19460 vsize=197760 CPUtime=329.28
/proc/19468/task/19469/stat : 19469 (java) S 19460 19460 18566 0 -1 64 4046 28380 1 1 463 5 32439 21 16 0 10 0 1991149037 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19468/tid=19470] ppid=19460 vsize=197760 CPUtime=325.69
/proc/19468/task/19470/stat : 19470 (java) S 19460 19460 18566 0 -1 64 8569 28380 0 1 100 9 32439 21 16 0 10 0 1991149038 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19468/tid=19471] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19471/stat : 19471 (java) S 19460 19460 18566 0 -1 64 11 28380 0 1 0 0 32439 21 16 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19472] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19472/stat : 19472 (java) S 19460 19460 18566 0 -1 64 6 28380 0 1 0 0 32439 21 15 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19473] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19473/stat : 19473 (java) S 19460 19460 18566 0 -1 64 1 28380 0 1 0 0 32439 21 18 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19474] ppid=19460 vsize=197760 CPUtime=324.8
/proc/19468/task/19474/stat : 19474 (java) S 19460 19460 18566 0 -1 64 642 28380 0 1 20 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19475] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19475/stat : 19475 (java) S 19460 19460 18566 0 -1 64 0 28380 0 1 0 0 32439 21 19 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19476] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19476/stat : 19476 (java) S 19460 19460 18566 0 -1 64 16 28380 0 1 0 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19577] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19577/stat : 19577 (java) S 19460 19460 18566 0 -1 64 50 28380 0 1 0 0 32439 21 17 0 10 0 1991182119 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1778.4
Current children cumulated vsize (KiB) 228240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 19623
/proc/meminfo: memFree=1583920/2055920 swapFree=4180688/4192956
[pid=19460] ppid=19458 vsize=5360 CPUtime=2.36
/proc/19460/stat : 19460 (hydra) S 19458 19460 18566 0 -1 4194304 375 4904 0 0 0 0 232 4 18 0 1 0 1991148795 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 209135919940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19460/statm: 1340 238 196 169 0 51 0
[pid=19468] ppid=19460 vsize=197760 CPUtime=330.6
/proc/19468/stat : 19468 (java) S 19460 19460 18566 0 -1 0 14125 28380 1 1 584 16 32439 21 18 0 10 0 1991149036 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/19468/statm: 49440 9494 2544 9 0 44023 0
[pid=19578] ppid=19468 vsize=5356 CPUtime=0
/proc/19578/stat : 19578 (mistral) S 19468 19460 18566 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1991182119 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 209135919940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/19578/statm: 1339 236 196 169 0 50 0
[pid=19579] ppid=19578 vsize=19764 CPUtime=1467.14
/proc/19579/stat : 19579 (xsolve) R 19578 19460 18566 0 -1 4194304 4285 0 0 0 146688 26 0 0 25 0 1 0 1991182120 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 135096720 0 4 0 0 0 0 0 17 0 0 0
/proc/19579/statm: 4941 4249 393 177 0 3844 0
[pid=19468/tid=19469] ppid=19460 vsize=197760 CPUtime=329.28
/proc/19468/task/19469/stat : 19469 (java) S 19460 19460 18566 0 -1 64 4046 28380 1 1 463 5 32439 21 16 0 10 0 1991149037 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=19468/tid=19470] ppid=19460 vsize=197760 CPUtime=325.69
/proc/19468/task/19470/stat : 19470 (java) S 19460 19460 18566 0 -1 64 8569 28380 0 1 100 9 32439 21 16 0 10 0 1991149038 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=19468/tid=19471] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19471/stat : 19471 (java) S 19460 19460 18566 0 -1 64 11 28380 0 1 0 0 32439 21 16 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19472] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19472/stat : 19472 (java) S 19460 19460 18566 0 -1 64 6 28380 0 1 0 0 32439 21 15 0 10 0 1991149039 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19473] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19473/stat : 19473 (java) S 19460 19460 18566 0 -1 64 1 28380 0 1 0 0 32439 21 18 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19474] ppid=19460 vsize=197760 CPUtime=324.8
/proc/19468/task/19474/stat : 19474 (java) S 19460 19460 18566 0 -1 64 642 28380 0 1 20 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19475] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19475/stat : 19475 (java) S 19460 19460 18566 0 -1 64 0 28380 0 1 0 0 32439 21 19 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19476] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19476/stat : 19476 (java) R 19460 19460 18566 0 -1 64 16 28380 0 1 0 0 32439 21 15 0 10 0 1991149041 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=19468/tid=19577] ppid=19460 vsize=197760 CPUtime=324.6
/proc/19468/task/19577/stat : 19577 (java) S 19460 19460 18566 0 -1 64 50 28380 0 1 0 0 32439 21 17 0 10 0 1991182119 202506240 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228240
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19460 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=321647
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=50992
# CPU time returned by wait4() is 2.37264
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1804.03
CPU time (s): 1800.1
CPU user time (s): 1799.43
CPU system time (s): 0.67
CPU usage (%): 99.782
Max. virtual memory (cumulated for all children) (KiB): 870140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.32165
system time used= 0.050992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 66
runsolver used 2.89656 second user time and 8.38472 second system time
The end