0.00/0.00 c cpHydra_k_10 version 0.0
8.17/8.38 c CASE TO CLASSIFY:
8.17/8.38 c Case: 0
8.17/8.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.312100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.664600 | c 14 > 12.011900 | c 11 > 4.807350 | c 12 > 10.827600 | 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.17/8.39 c choco : 1801.0
8.17/8.39 c mistral : 1801.0
8.17/8.39 c abscon : 1801.0
8.17/8.39 c
8.17/8.39 c
8.27/8.47 c List of same ones: 10
8.27/8.47 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
8.27/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.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.27/8.48 c choco : 1801.0
8.27/8.48 c mistral : 976.11
8.27/8.48 c abscon : 1800.09
8.27/8.48 c
8.27/8.48 c
8.27/8.48 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
8.27/8.48 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
8.27/8.49 c choco : 1801.0
8.27/8.49 c mistral : 1487.13
8.27/8.49 c abscon : 1800.05
8.27/8.49 c
8.27/8.49 c
8.27/8.49 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
8.27/8.49 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.27/8.50 c choco : 1801.0
8.27/8.50 c mistral : 402.946
8.27/8.50 c abscon : 15.4397
8.27/8.50 c
8.27/8.50 c
8.27/8.50 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
8.27/8.50 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.36/8.51 c choco : 1801.0
8.36/8.51 c mistral : 62.4135
8.36/8.51 c abscon : 1800.14
8.36/8.51 c
8.36/8.51 c
8.36/8.51 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28/rand-3-28-28-93-632-46_ext.xml
8.36/8.51 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.36/8.52 c choco : 1801.0
8.36/8.52 c mistral : 81.2966
8.36/8.52 c abscon : 1800.06
8.36/8.52 c
8.36/8.52 c
8.36/8.52 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
8.36/8.52 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.36/8.53 c choco : 1801.0
8.36/8.53 c mistral : 1232.27
8.36/8.53 c abscon : 1800.12
8.36/8.53 c
8.36/8.53 c
8.36/8.53 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
8.36/8.53 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.36/8.53 c choco : 1801.0
8.36/8.53 c mistral : 91.53
8.36/8.53 c abscon : 25.5821
8.36/8.53 c
8.36/8.53 c
8.36/8.53 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
8.36/8.53 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.36/8.54 c choco : 1801.0
8.36/8.54 c mistral : 699.298
8.36/8.54 c abscon : 1438.19
8.36/8.54 c
8.36/8.54 c
8.36/8.54 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-13_ext.xml
8.36/8.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.201500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.193400 | c 14 > 11.948400 | c 11 > 4.584960 | c 12 > 10.705700 | 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.36/8.55 c choco : 1801.0
8.36/8.55 c mistral : 914.54
8.36/8.55 c abscon : 1800.13
8.36/8.55 c
8.36/8.55 c
8.36/8.55 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
8.36/8.55 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
8.36/8.56 c choco : 1801.0
8.36/8.56 c mistral : 40.01
8.36/8.56 c abscon : 320.414
8.36/8.56 c
8.36/8.56 c
8.54/8.76 c Length: 10
8.54/8.76 c 0.9065819309361954 0.9076781794777262 0.9443572980074867 0.9513016589389516 0.9613343331016536 0.9664659318879282 0.9680971684185425 0.9793986415142711 0.9832345180576197 0.9867493445652756
8.54/8.76 c
8.54/8.76 c 1.0 0.9865099786023764 0.6797144611397797 0.641918876367684 0.5941856142997004 0.5724141656764326 0.5658237829417236 0.5240243982475296 0.5112065632280153 0.5
8.54/8.76 c
8.54/8.76 c solver 0
8.54/8.76 c before 0.0 seconds: {} 0
8.54/8.76 c before 18.0 seconds: {2} 679
8.54/8.76 c before 36.0 seconds: {2, 6} 1245
8.54/8.76 c before 324.0 seconds: {2, 6, 9} 1745
8.54/8.76 c before 1440.0 seconds: {2, 6, 7, 9} 2269
8.54/8.76 c
8.54/8.76 c solver 1
8.54/8.76 c before 0.0 seconds: {} 0
8.54/8.76 c before 54.0 seconds: {9} 500
8.54/8.76 c before 72.0 seconds: {3, 9} 1141
8.54/8.76 c before 90.0 seconds: {3, 4, 9} 1736
8.54/8.76 c before 108.0 seconds: {3, 4, 6, 9} 2301
8.54/8.76 c before 414.0 seconds: {2, 3, 4, 6, 9} 2981
8.54/8.76 c before 702.0 seconds: {2, 3, 4, 6, 7, 9} 3505
8.54/8.76 c before 918.0 seconds: {2, 3, 4, 6, 7, 8, 9} 4016
8.54/8.76 c before 990.0 seconds: {0, 2, 3, 4, 6, 7, 8, 9} 5016
8.54/8.76 c before 1242.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5589
8.54/8.76 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6575
8.54/8.76 c
8.54/8.76 c solver 2
8.54/8.76 c before 0.0 seconds: {} 0
8.54/8.76 c
8.54/8.76 cTotal time: 163
8.54/8.76 c run abscon for 36.0 seconds {2, 6} 1245
8.54/8.76 c run mistral for 1494.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6575
8.54/8.76 c do not run choco
8.54/8.76 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.54/8.76 c On Instance: HOME/instance-1095409-1215254981.xml
8.54/8.76 c Running for: 36 seconds
45.19/45.47 c Starting solver: HOME/cpHydra_k_10/solver/mistral
45.19/45.47 c On Instance: HOME/instance-1095409-1215254981.xml
45.19/45.47 c Running for: 1494 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-1095409-1215254981/watcher-1095409-1215254981 -o /tmp/evaluation-result-1095409-1215254981/solver-1095409-1215254981 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1095409-1215254981.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/73 24874
/proc/meminfo: memFree=1546360/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=18572 CPUtime=0
/proc/24874/stat : 24874 (runsolver) R 24872 24874 22542 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 2004467733 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 271638392103 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24874/statm: 4643 292 257 25 0 2626 0
[startup+0.102899 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 24874
/proc/meminfo: memFree=1546360/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=0
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004467733 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201912 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 24874
/proc/meminfo: memFree=1546360/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=0
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004467733 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301931 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 24874
/proc/meminfo: memFree=1546360/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=0
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004467733 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702004 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 24874
/proc/meminfo: memFree=1546360/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=0
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004467733 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50115 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 24878
/proc/meminfo: memFree=1530600/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=0
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004467733 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 236 195 169 0 51 0
[pid=24878] ppid=24874 vsize=19760 CPUtime=1.47
/proc/24878/stat : 24878 (xsolve) R 24874 24874 22542 0 -1 4194304 4307 0 0 0 145 2 0 0 25 0 1 0 2004467734 20234240 4266 996147200 134512640 135239763 4294956176 18446744073709551615 135103338 0 0 4096 0 0 0 0 17 1 0 0
/proc/24878/statm: 4940 4266 412 177 0 3843 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25120
[startup+3.10245 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 24878
/proc/meminfo: memFree=1529960/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 5360
[startup+6.30203 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 24890
/proc/meminfo: memFree=1529640/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
[pid=24882] ppid=24874 vsize=197104 CPUtime=3.83
/proc/24882/stat : 24882 (java) S 24874 24874 22542 0 -1 0 8893 0 1 0 370 13 0 0 18 0 9 0 2004467975 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24882/statm: 49276 7368 2540 9 0 43859 0
[pid=24882/tid=24883] ppid=24874 vsize=197104 CPUtime=3
/proc/24882/task/24883/stat : 24883 (java) R 24874 24874 22542 0 -1 64 3366 0 1 0 297 3 0 0 25 0 9 0 2004467976 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4126436735 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24884] ppid=24874 vsize=197104 CPUtime=0.62
/proc/24882/task/24884/stat : 24884 (java) S 24874 24874 22542 0 -1 64 4175 0 0 0 54 8 0 0 16 0 9 0 2004467977 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24885] ppid=24874 vsize=197104 CPUtime=0
/proc/24882/task/24885/stat : 24885 (java) S 24874 24874 22542 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2004467978 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24886] ppid=24874 vsize=197104 CPUtime=0
/proc/24882/task/24886/stat : 24886 (java) S 24874 24874 22542 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004467978 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24887] ppid=24874 vsize=197104 CPUtime=0
/proc/24882/task/24887/stat : 24887 (java) S 24874 24874 22542 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2004467980 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24888] ppid=24874 vsize=197104 CPUtime=0.17
/proc/24882/task/24888/stat : 24888 (java) S 24874 24874 22542 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 2004467980 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24889] ppid=24874 vsize=197104 CPUtime=0
/proc/24882/task/24889/stat : 24889 (java) S 24874 24874 22542 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2004467980 201834496 7368 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24890] ppid=24874 vsize=197104 CPUtime=0
/proc/24882/task/24890/stat : 24890 (java) S 24874 24874 22542 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004467980 201834496 7368 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) 202464
[startup+12.7032 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 24902
/proc/meminfo: memFree=1420168/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
[pid=24882] ppid=24874 vsize=197428 CPUtime=6.24
/proc/24882/stat : 24882 (java) S 24874 24874 22542 0 -1 0 13873 0 1 0 604 20 0 0 18 0 10 0 2004467975 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24882/statm: 49357 9392 2543 9 0 43940 0
[pid=24892] ppid=24882 vsize=5356 CPUtime=0
/proc/24892/stat : 24892 (abscon) S 24882 24874 22542 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2004468610 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24892/statm: 1339 237 196 169 0 50 0
[pid=24893] ppid=24892 vsize=654956 CPUtime=3.91
/proc/24893/stat : 24893 (java) S 24892 24874 22542 0 -1 0 27608 0 1 0 377 14 0 0 18 0 9 0 2004468611 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24893/statm: 163739 26921 2613 9 0 158267 0
[pid=24893/tid=24895] ppid=24892 vsize=654956 CPUtime=3.31
/proc/24893/task/24895/stat : 24895 (java) R 24892 24874 22542 0 -1 64 12528 0 1 0 324 7 0 0 25 0 9 0 2004468611 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4126817951 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24896] ppid=24892 vsize=654956 CPUtime=0.4
/proc/24893/task/24896/stat : 24896 (java) S 24892 24874 22542 0 -1 64 14148 0 0 0 34 6 0 0 17 0 9 0 2004468613 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24897] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24897/stat : 24897 (java) S 24892 24874 22542 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004468613 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24898] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24898/stat : 24898 (java) S 24892 24874 22542 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004468613 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24899] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24899/stat : 24899 (java) S 24892 24874 22542 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2004468615 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24900] ppid=24892 vsize=654956 CPUtime=0.18
/proc/24893/task/24900/stat : 24900 (java) S 24892 24874 22542 0 -1 64 386 0 0 0 18 0 0 0 15 0 9 0 2004468615 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24901] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24901/stat : 24901 (java) S 24892 24874 22542 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2004468615 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24902] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24902/stat : 24902 (java) S 24892 24874 22542 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004468615 670674944 26921 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24894] ppid=24892 vsize=7044 CPUtime=0
/proc/24894/stat : 24894 (translate) S 24892 24874 22542 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2004468611 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/24894/statm: 1761 213 182 1 0 41 0
[pid=24882/tid=24883] ppid=24874 vsize=197428 CPUtime=4.91
/proc/24882/task/24883/stat : 24883 (java) S 24874 24874 22542 0 -1 64 3852 0 1 0 486 5 0 0 25 0 10 0 2004467976 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24882/tid=24884] ppid=24874 vsize=197428 CPUtime=1.11
/proc/24882/task/24884/stat : 24884 (java) S 24874 24874 22542 0 -1 64 8573 0 0 0 98 13 0 0 16 0 10 0 2004467977 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24885] ppid=24874 vsize=197428 CPUtime=0
/proc/24882/task/24885/stat : 24885 (java) S 24874 24874 22542 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004467978 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24886] ppid=24874 vsize=197428 CPUtime=0
/proc/24882/task/24886/stat : 24886 (java) S 24874 24874 22542 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2004467978 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24887] ppid=24874 vsize=197428 CPUtime=0
/proc/24882/task/24887/stat : 24887 (java) S 24874 24874 22542 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2004467980 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24888] ppid=24874 vsize=197428 CPUtime=0.19
/proc/24882/task/24888/stat : 24888 (java) S 24874 24874 22542 0 -1 64 644 0 0 0 19 0 0 0 15 0 10 0 2004467980 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24889] ppid=24874 vsize=197428 CPUtime=0
/proc/24882/task/24889/stat : 24889 (java) S 24874 24874 22542 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2004467980 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24890] ppid=24874 vsize=197428 CPUtime=0
/proc/24882/task/24890/stat : 24890 (java) S 24874 24874 22542 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 2004467980 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24891] ppid=24874 vsize=197428 CPUtime=0
/proc/24882/task/24891/stat : 24891 (java) S 24874 24874 22542 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 2004468610 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 870144
[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 24902
/proc/meminfo: memFree=1419912/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
[pid=24882] ppid=24874 vsize=197428 CPUtime=6.24
/proc/24882/stat : 24882 (java) S 24874 24874 22542 0 -1 0 13880 0 1 0 604 20 0 0 18 0 10 0 2004467975 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24882/statm: 49357 9392 2543 9 0 43940 0
[pid=24892] ppid=24882 vsize=5356 CPUtime=0
/proc/24892/stat : 24892 (abscon) S 24882 24874 22542 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 2004468610 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24892/statm: 1339 237 196 169 0 50 0
[pid=24893] ppid=24892 vsize=654956 CPUtime=16.7
/proc/24893/stat : 24893 (java) S 24892 24874 22542 0 -1 0 27632 0 1 0 1656 14 0 0 18 0 9 0 2004468611 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24893/statm: 163739 26934 2613 9 0 158267 0
[pid=24893/tid=24895] ppid=24892 vsize=654956 CPUtime=16.07
/proc/24893/task/24895/stat : 24895 (java) R 24892 24874 22542 0 -1 64 12533 0 1 0 1600 7 0 0 25 0 9 0 2004468611 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4126790848 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24896] ppid=24892 vsize=654956 CPUtime=0.4
/proc/24893/task/24896/stat : 24896 (java) S 24892 24874 22542 0 -1 64 14148 0 0 0 34 6 0 0 16 0 9 0 2004468613 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24897] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24897/stat : 24897 (java) S 24892 24874 22542 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004468613 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24898] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24898/stat : 24898 (java) S 24892 24874 22542 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004468613 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24899] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24899/stat : 24899 (java) S 24892 24874 22542 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 2004468615 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24900] ppid=24892 vsize=654956 CPUtime=0.21
/proc/24893/task/24900/stat : 24900 (java) S 24892 24874 22542 0 -1 64 405 0 0 0 21 0 0 0 16 0 9 0 2004468615 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24901] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24901/stat : 24901 (java) S 24892 24874 22542 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 2004468615 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24893/tid=24902] ppid=24892 vsize=654956 CPUtime=0
/proc/24893/task/24902/stat : 24902 (java) S 24892 24874 22542 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004468615 670674944 26934 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24894] ppid=24892 vsize=7044 CPUtime=0
/proc/24894/stat : 24894 (translate) S 24892 24874 22542 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004468611 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 271638560850 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/24894/statm: 1761 213 182 1 0 41 0
[pid=24882/tid=24883] ppid=24874 vsize=197428 CPUtime=4.91
/proc/24882/task/24883/stat : 24883 (java) S 24874 24874 22542 0 -1 64 3852 0 1 0 486 5 0 0 25 0 10 0 2004467976 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24882/tid=24884] ppid=24874 vsize=197428 CPUtime=1.11
/proc/24882/task/24884/stat : 24884 (java) S 24874 24874 22542 0 -1 64 8573 0 0 0 98 13 0 0 16 0 10 0 2004467977 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24885] ppid=24874 vsize=197428 CPUtime=0
/proc/24882/task/24885/stat : 24885 (java) S 24874 24874 22542 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004467978 202166272 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/24882/task/24903/stat : 24903 (java) S 24874 24874 22542 0 -1 64 49 28213 0 1 0 0 3648 17 16 0 10 0 2004472280 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.33
Current children cumulated vsize (KiB) 228232
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 24939
/proc/meminfo: memFree=1614400/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
[pid=24882] ppid=24874 vsize=197752 CPUtime=42.91
/proc/24882/stat : 24882 (java) S 24874 24874 22542 0 -1 0 14032 28213 1 1 605 21 3648 17 18 0 10 0 2004467975 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24882/statm: 49438 9398 2544 9 0 44021 0
[pid=24904] ppid=24882 vsize=5356 CPUtime=0
/proc/24904/stat : 24904 (mistral) S 24882 24874 22542 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 2004472280 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24904/statm: 1339 236 196 169 0 50 0
[pid=24905] ppid=24904 vsize=19764 CPUtime=1606.02
/proc/24905/stat : 24905 (xsolve) R 24904 24874 22542 0 -1 4194304 4285 0 0 0 160596 6 0 0 25 0 1 0 2004472280 20238336 4249 996147200 134512640 135239763 4294955952 18446744073709551615 134789428 0 4 0 0 0 0 0 17 0 0 0
/proc/24905/statm: 4941 4249 393 177 0 3844 0
[pid=24882/tid=24883] ppid=24874 vsize=197752 CPUtime=41.56
/proc/24882/task/24883/stat : 24883 (java) S 24874 24874 22542 0 -1 64 3933 28213 1 1 486 5 3648 17 16 0 10 0 2004467976 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24882/tid=24884] ppid=24874 vsize=197752 CPUtime=37.76
/proc/24882/task/24884/stat : 24884 (java) S 24874 24874 22542 0 -1 64 8585 28213 0 1 98 13 3648 17 16 0 10 0 2004467977 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24882/tid=24885] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24885/stat : 24885 (java) S 24874 24874 22542 0 -1 64 11 28213 0 1 0 0 3648 17 16 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24886] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24886/stat : 24886 (java) S 24874 24874 22542 0 -1 64 5 28213 0 1 0 0 3648 17 15 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24887] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24887/stat : 24887 (java) S 24874 24874 22542 0 -1 64 0 28213 0 1 0 0 3648 17 18 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24888] ppid=24874 vsize=197752 CPUtime=36.84
/proc/24882/task/24888/stat : 24888 (java) S 24874 24874 22542 0 -1 64 644 28213 0 1 19 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24889] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24889/stat : 24889 (java) S 24874 24874 22542 0 -1 64 1 28213 0 1 0 0 3648 17 19 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24890] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24890/stat : 24890 (java) S 24874 24874 22542 0 -1 64 21 28213 0 1 0 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24903] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24903/stat : 24903 (java) S 24874 24874 22542 0 -1 64 49 28213 0 1 0 0 3648 17 16 0 10 0 2004472280 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.3
Current children cumulated vsize (KiB) 228232
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 24939
/proc/meminfo: memFree=1614336/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
[pid=24882] ppid=24874 vsize=197752 CPUtime=42.91
/proc/24882/stat : 24882 (java) S 24874 24874 22542 0 -1 0 14032 28213 1 1 605 21 3648 17 18 0 10 0 2004467975 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24882/statm: 49438 9398 2544 9 0 44021 0
[pid=24904] ppid=24882 vsize=5356 CPUtime=0
/proc/24904/stat : 24904 (mistral) S 24882 24874 22542 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 2004472280 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24904/statm: 1339 236 196 169 0 50 0
[pid=24905] ppid=24904 vsize=19764 CPUtime=1665.99
/proc/24905/stat : 24905 (xsolve) R 24904 24874 22542 0 -1 4194304 4285 0 0 0 166593 6 0 0 25 0 1 0 2004472280 20238336 4249 996147200 134512640 135239763 4294955952 18446744073709551615 134789432 0 4 0 0 0 0 0 17 0 0 0
/proc/24905/statm: 4941 4249 393 177 0 3844 0
[pid=24882/tid=24883] ppid=24874 vsize=197752 CPUtime=41.56
/proc/24882/task/24883/stat : 24883 (java) S 24874 24874 22542 0 -1 64 3933 28213 1 1 486 5 3648 17 16 0 10 0 2004467976 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24882/tid=24884] ppid=24874 vsize=197752 CPUtime=37.76
/proc/24882/task/24884/stat : 24884 (java) S 24874 24874 22542 0 -1 64 8585 28213 0 1 98 13 3648 17 16 0 10 0 2004467977 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24882/tid=24885] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24885/stat : 24885 (java) S 24874 24874 22542 0 -1 64 11 28213 0 1 0 0 3648 17 16 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24886] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24886/stat : 24886 (java) S 24874 24874 22542 0 -1 64 5 28213 0 1 0 0 3648 17 15 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24887] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24887/stat : 24887 (java) S 24874 24874 22542 0 -1 64 0 28213 0 1 0 0 3648 17 18 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24888] ppid=24874 vsize=197752 CPUtime=36.84
/proc/24882/task/24888/stat : 24888 (java) S 24874 24874 22542 0 -1 64 644 28213 0 1 19 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24889] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24889/stat : 24889 (java) S 24874 24874 22542 0 -1 64 1 28213 0 1 0 0 3648 17 19 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24890] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24890/stat : 24890 (java) S 24874 24874 22542 0 -1 64 21 28213 0 1 0 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24903] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24903/stat : 24903 (java) S 24874 24874 22542 0 -1 64 49 28213 0 1 0 0 3648 17 16 0 10 0 2004472280 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.27
Current children cumulated vsize (KiB) 228232
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 24939
/proc/meminfo: memFree=1614272/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
[pid=24882] ppid=24874 vsize=197752 CPUtime=42.91
/proc/24882/stat : 24882 (java) S 24874 24874 22542 0 -1 0 14032 28213 1 1 605 21 3648 17 18 0 10 0 2004467975 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24882/statm: 49438 9398 2544 9 0 44021 0
[pid=24904] ppid=24882 vsize=5356 CPUtime=0
/proc/24904/stat : 24904 (mistral) S 24882 24874 22542 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 2004472280 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24904/statm: 1339 236 196 169 0 50 0
[pid=24905] ppid=24904 vsize=19764 CPUtime=1725.97
/proc/24905/stat : 24905 (xsolve) R 24904 24874 22542 0 -1 4194304 4285 0 0 0 172590 7 0 0 25 0 1 0 2004472280 20238336 4249 996147200 134512640 135239763 4294955952 18446744073709551615 135013685 0 4 0 0 0 0 0 17 0 0 0
/proc/24905/statm: 4941 4249 393 177 0 3844 0
[pid=24882/tid=24883] ppid=24874 vsize=197752 CPUtime=41.56
/proc/24882/task/24883/stat : 24883 (java) S 24874 24874 22542 0 -1 64 3933 28213 1 1 486 5 3648 17 16 0 10 0 2004467976 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24882/tid=24884] ppid=24874 vsize=197752 CPUtime=37.76
/proc/24882/task/24884/stat : 24884 (java) S 24874 24874 22542 0 -1 64 8585 28213 0 1 98 13 3648 17 16 0 10 0 2004467977 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24882/tid=24885] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24885/stat : 24885 (java) S 24874 24874 22542 0 -1 64 11 28213 0 1 0 0 3648 17 16 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24886] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24886/stat : 24886 (java) S 24874 24874 22542 0 -1 64 5 28213 0 1 0 0 3648 17 15 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24887] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24887/stat : 24887 (java) S 24874 24874 22542 0 -1 64 0 28213 0 1 0 0 3648 17 18 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24888] ppid=24874 vsize=197752 CPUtime=36.84
/proc/24882/task/24888/stat : 24888 (java) S 24874 24874 22542 0 -1 64 644 28213 0 1 19 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24889] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24889/stat : 24889 (java) S 24874 24874 22542 0 -1 64 1 28213 0 1 0 0 3648 17 19 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24890] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24890/stat : 24890 (java) S 24874 24874 22542 0 -1 64 21 28213 0 1 0 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24903] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24903/stat : 24903 (java) S 24874 24874 22542 0 -1 64 49 28213 0 1 0 0 3648 17 16 0 10 0 2004472280 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.25
Current children cumulated vsize (KiB) 228232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/85 24939
/proc/meminfo: memFree=1614272/2055920 swapFree=4181480/4192956
[pid=24874] ppid=24872 vsize=5360 CPUtime=2.37
/proc/24874/stat : 24874 (hydra) S 24872 24874 22542 0 -1 4194304 375 4904 0 0 0 0 233 4 18 0 1 0 2004467733 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 271638389572 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24874/statm: 1340 238 196 169 0 51 0
[pid=24882] ppid=24874 vsize=197752 CPUtime=42.91
/proc/24882/stat : 24882 (java) S 24874 24874 22542 0 -1 0 14032 28213 1 1 605 21 3648 17 18 0 10 0 2004467975 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24882/statm: 49438 9398 2544 9 0 44021 0
[pid=24904] ppid=24882 vsize=5356 CPUtime=0
/proc/24904/stat : 24904 (mistral) S 24882 24874 22542 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 2004472280 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 271638389572 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24904/statm: 1339 236 196 169 0 50 0
[pid=24905] ppid=24904 vsize=19764 CPUtime=1754.77
/proc/24905/stat : 24905 (xsolve) R 24904 24874 22542 0 -1 4194304 4285 0 0 0 175470 7 0 0 25 0 1 0 2004472280 20238336 4249 996147200 134512640 135239763 4294955952 18446744073709551615 134820394 0 4 0 0 0 0 0 17 0 0 0
/proc/24905/statm: 4941 4249 393 177 0 3844 0
[pid=24882/tid=24883] ppid=24874 vsize=197752 CPUtime=41.56
/proc/24882/task/24883/stat : 24883 (java) S 24874 24874 22542 0 -1 64 3933 28213 1 1 486 5 3648 17 16 0 10 0 2004467976 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24882/tid=24884] ppid=24874 vsize=197752 CPUtime=37.76
/proc/24882/task/24884/stat : 24884 (java) S 24874 24874 22542 0 -1 64 8585 28213 0 1 98 13 3648 17 16 0 10 0 2004467977 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24882/tid=24885] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24885/stat : 24885 (java) S 24874 24874 22542 0 -1 64 11 28213 0 1 0 0 3648 17 16 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24886] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24886/stat : 24886 (java) S 24874 24874 22542 0 -1 64 5 28213 0 1 0 0 3648 17 15 0 10 0 2004467978 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24887] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24887/stat : 24887 (java) S 24874 24874 22542 0 -1 64 0 28213 0 1 0 0 3648 17 18 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24888] ppid=24874 vsize=197752 CPUtime=36.84
/proc/24882/task/24888/stat : 24888 (java) S 24874 24874 22542 0 -1 64 644 28213 0 1 19 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24889] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24889/stat : 24889 (java) S 24874 24874 22542 0 -1 64 1 28213 0 1 0 0 3648 17 19 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24890] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24890/stat : 24890 (java) S 24874 24874 22542 0 -1 64 21 28213 0 1 0 0 3648 17 15 0 10 0 2004467980 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24882/tid=24903] ppid=24874 vsize=197752 CPUtime=36.65
/proc/24882/task/24903/stat : 24903 (java) S 24874 24874 22542 0 -1 64 49 28213 0 1 0 0 3648 17 16 0 10 0 2004472280 202498048 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 228232
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 24874 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=334645
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=46992
# CPU time returned by wait4() is 2.38164
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1811.13
CPU time (s): 1800.05
CPU user time (s): 1799.56
CPU system time (s): 0.49
CPU usage (%): 99.3883
Max. virtual memory (cumulated for all children) (KiB): 870144
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33465
system time used= 0.046992
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= 33
involuntary context switches= 66
runsolver used 2.77758 second user time and 5.8971 second system time
The end