0.00/0.00 c cpHydra_k_10 version 0.0
6.96/7.08 c CASE TO CLASSIFY:
6.96/7.08 c Case: 0
6.96/7.08 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.355600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.635400 | c 14 > 11.929300 | c 11 > 4.584960 | c 12 > 11.042700 | 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
6.96/7.09 c choco : 1801.0
6.96/7.09 c mistral : 1801.0
6.96/7.09 c abscon : 1801.0
6.96/7.09 c
6.96/7.09 c
7.05/7.16 c List of same ones: 10
7.05/7.16 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.05/7.16 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.050900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.626600 | c 14 > 11.937000 | c 11 > 4.584960 | c 12 > 11.009300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.05/7.17 c choco : 1801.0
7.05/7.17 c mistral : 976.11
7.05/7.17 c abscon : 1800.09
7.05/7.17 c
7.05/7.17 c
7.05/7.17 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.05/7.17 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.298700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.376100 | c 14 > 12.166500 | c 11 > 4.584960 | c 12 > 10.882100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.05/7.18 c choco : 1801.0
7.05/7.18 c mistral : 1487.13
7.05/7.18 c abscon : 1800.05
7.05/7.18 c
7.05/7.18 c
7.05/7.18 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.05/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.061600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.457500 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.899500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.05/7.19 c choco : 1801.0
7.05/7.19 c mistral : 62.4135
7.05/7.19 c abscon : 1800.14
7.05/7.19 c
7.05/7.19 c
7.05/7.19 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.05/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.980700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.492000 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.925300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.05/7.19 c choco : 1801.0
7.05/7.19 c mistral : 402.946
7.05/7.19 c abscon : 15.4397
7.05/7.19 c
7.05/7.19 c
7.05/7.19 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.05/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.029500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.902200 | c 14 > 11.847800 | c 11 > 4.584960 | c 12 > 11.158100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.20 c choco : 1801.0
7.14/7.20 c mistral : 40.01
7.14/7.20 c abscon : 320.414
7.14/7.20 c
7.14/7.20 c
7.14/7.20 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
7.14/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.032400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.473800 | c 14 > 11.703000 | c 11 > 4.584960 | c 12 > 10.725600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.21 c choco : 1801.0
7.14/7.21 c mistral : 1232.27
7.14/7.21 c abscon : 1800.12
7.14/7.21 c
7.14/7.21 c
7.14/7.21 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-8_ext.xml
7.14/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.143000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.163400 | c 14 > 11.867300 | c 11 > 4.584960 | c 12 > 10.889500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.22 c choco : 1801.0
7.14/7.22 c mistral : 1500.09
7.14/7.22 c abscon : 1800.07
7.14/7.22 c
7.14/7.22 c
7.14/7.22 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-41_ext.xml
7.14/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.202600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.126500 | c 14 > 11.807000 | c 11 > 4.584960 | c 12 > 10.935000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.23 c choco : 1801.0
7.14/7.23 c mistral : 239.524
7.14/7.23 c abscon : 1800.1
7.14/7.23 c
7.14/7.23 c
7.14/7.23 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.14/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.982800 | c 14 > 12.188000 | c 11 > 4.584960 | c 12 > 11.415800 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.23 c choco : 1801.0
7.14/7.23 c mistral : 772.763
7.14/7.23 c abscon : 1274.72
7.14/7.23 c
7.14/7.23 c
7.14/7.24 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-13_ext.xml
7.14/7.24 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
7.14/7.24 c choco : 1801.0
7.14/7.24 c mistral : 914.54
7.14/7.24 c abscon : 1800.13
7.14/7.24 c
7.14/7.24 c
7.33/7.43 c Length: 10
7.33/7.43 c 0.3091522123485457 0.39244236570482627 0.40795943425786896 0.44345527395668644 0.44480113770088314 0.5327453523025799 0.5434123664400732 0.5558280219636285 0.5720301234200872 0.5783816477033135
7.33/7.43 c
7.33/7.43 c 1.0 0.7637290067742831 0.731528857359384 0.6671815464208191 0.664963755742758 0.5463009383976961 0.5347269159047531 0.5218583024301323 0.5059682734375721 0.5
7.33/7.43 c
7.33/7.43 c solver 0
7.33/7.43 c before 0.0 seconds: {} 0
7.33/7.43 c before 18.0 seconds: {3} 667
7.33/7.43 c before 324.0 seconds: {3, 4} 1332
7.33/7.43 c before 1278.0 seconds: {3, 4, 8} 1838
7.33/7.43 c
7.33/7.43 c solver 1
7.33/7.43 c before 0.0 seconds: {} 0
7.33/7.43 c before 54.0 seconds: {4} 664
7.33/7.43 c before 72.0 seconds: {2, 4} 1396
7.33/7.43 c before 252.0 seconds: {2, 4, 7} 1918
7.33/7.43 c before 414.0 seconds: {2, 3, 4, 7} 2585
7.33/7.43 c before 774.0 seconds: {2, 3, 4, 7, 8} 3091
7.33/7.43 c before 918.0 seconds: {2, 3, 4, 7, 8, 9} 3591
7.33/7.43 c before 990.0 seconds: {0, 2, 3, 4, 7, 8, 9} 4591
7.33/7.43 c before 1242.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9} 5137
7.33/7.43 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 5901
7.33/7.43 c before 1512.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6436
7.33/7.43 c
7.33/7.43 c solver 2
7.33/7.43 c before 0.0 seconds: {} 0
7.33/7.43 c
7.33/7.43 cTotal time: 155
7.33/7.43 c run abscon for 18.0 seconds {3} 667
7.33/7.43 c run mistral for 1512.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6436
7.33/7.43 c do not run choco
7.33/7.43 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.33/7.43 c On Instance: HOME/instance-1057088-1215109286.xml
7.33/7.43 c Running for: 18 seconds
25.69/26.07 c Starting solver: HOME/cpHydra_k_10/solver/mistral
25.69/26.07 c On Instance: HOME/instance-1057088-1215109286.xml
25.69/26.07 c Running for: 1512 seconds
216.66/217.18 c mistral-prime version 1.313
216.66/217.18 s UNSATISFIABLE
216.66/217.18 d CHECKS 84727100
216.66/217.18 d ASSIGNMENTS 530504
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057088-1215109286/watcher-1057088-1215109286 -o /tmp/evaluation-result-1057088-1215109286/solver-1057088-1215109286 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1057088-1215109286.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.07 2.02 1.91 4/82 13202
/proc/meminfo: memFree=1313184/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=0
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 624146478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 236 195 169 0 51 0
[pid=13203] ppid=13202 vsize=5360 CPUtime=0
/proc/13203/stat : 13203 (hydra) R 13202 13202 12914 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 624146478 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 228043844903 0 0 4096 0 0 0 0 17 1 0 0
/proc/13203/statm: 1340 239 198 169 0 51 0
[startup+0.0388071 s]
/proc/loadavg: 2.07 2.02 1.91 4/82 13202
/proc/meminfo: memFree=1313184/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=0
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624146478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13202/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101819 s]
/proc/loadavg: 2.07 2.02 1.91 4/82 13202
/proc/meminfo: memFree=1313184/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=0
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624146478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13202/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301858 s]
/proc/loadavg: 2.07 2.02 1.91 4/82 13202
/proc/meminfo: memFree=1313184/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=0
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624146478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13202/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701938 s]
/proc/loadavg: 2.07 2.02 1.91 4/82 13202
/proc/meminfo: memFree=1313184/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=0
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624146478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13202/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50109 s]
/proc/loadavg: 2.07 2.02 1.91 3/84 13206
/proc/meminfo: memFree=1304144/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=0
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 624146478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13202/statm: 1340 236 195 169 0 51 0
[pid=13206] ppid=13202 vsize=12416 CPUtime=1.47
/proc/13206/stat : 13206 (xsolve) R 13202 13202 12914 0 -1 4194304 2481 0 0 0 147 0 0 0 25 0 1 0 624146479 12713984 2440 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/13206/statm: 3104 2440 413 177 0 2007 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17776
[startup+3.10241 s]
/proc/loadavg: 2.07 2.02 1.91 4/92 13218
/proc/meminfo: memFree=1304848/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=196992 CPUtime=1.17
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 4934 0 1 0 112 5 0 0 21 0 9 0 624146670 201719808 4144 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49248 4144 1678 9 0 43831 0
[pid=13210/tid=13211] ppid=13202 vsize=196992 CPUtime=0.9
/proc/13210/task/13211/stat : 13211 (java) R 13202 13202 12914 0 -1 64 2714 0 1 0 88 2 0 0 25 0 9 0 624146670 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=196992 CPUtime=0.11
/proc/13210/task/13212/stat : 13212 (java) S 13202 13202 12914 0 -1 64 884 0 0 0 10 1 0 0 16 0 9 0 624146671 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13213] ppid=13202 vsize=196992 CPUtime=0
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 624146672 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=196992 CPUtime=0
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 624146672 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=196992 CPUtime=0
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 624146674 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=196992 CPUtime=0.13
/proc/13210/task/13216/stat : 13216 (java) R 13202 13202 12914 0 -1 64 610 0 0 0 13 0 0 0 16 0 9 0 624146674 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 101660476 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=196992 CPUtime=0
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624146674 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=196992 CPUtime=0
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624146674 201719808 4145 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202352
[startup+6.30204 s]
/proc/loadavg: 2.31 2.07 1.93 4/92 13218
/proc/meminfo: memFree=1288272/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197100 CPUtime=4.37
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 10176 0 1 0 424 13 0 0 21 0 9 0 624146670 201830400 8436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49275 8436 2540 9 0 43858 0
[pid=13210/tid=13211] ppid=13202 vsize=197100 CPUtime=3.48
/proc/13210/task/13211/stat : 13211 (java) R 13202 13202 12914 0 -1 64 3580 0 1 0 344 4 0 0 25 0 9 0 624146670 201830400 8436 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=197100 CPUtime=0.7
/proc/13210/task/13212/stat : 13212 (java) R 13202 13202 12914 0 -1 64 5241 0 0 0 63 7 0 0 15 0 9 0 624146671 201830400 8437 996147200 134512640 134550740 4294955968 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13213] ppid=13202 vsize=197100 CPUtime=0
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 624146672 201830400 8437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=197100 CPUtime=0
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 0 0 0 0 0 0 0 16 0 9 0 624146672 201830400 8437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=197100 CPUtime=0
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 624146674 201830400 8437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=197100 CPUtime=0.15
/proc/13210/task/13216/stat : 13216 (java) S 13202 13202 12914 0 -1 64 629 0 0 0 15 0 0 0 16 0 9 0 624146674 201830400 8437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=197100 CPUtime=0
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624146674 201830400 8437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=197100 CPUtime=0
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624146674 201830400 8437 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 202460
[startup+12.7023 s]
/proc/loadavg: 2.36 2.08 1.94 3/104 13230
/proc/meminfo: memFree=1203120/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197424 CPUtime=5.49
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 13861 0 1 0 532 17 0 0 21 0 10 0 624146670 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49356 9388 2543 9 0 43939 0
[pid=13220] ppid=13210 vsize=5356 CPUtime=0
/proc/13220/stat : 13220 (abscon) S 13210 13202 12914 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 624147222 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13220/statm: 1339 237 196 169 0 50 0
[pid=13221] ppid=13220 vsize=654940 CPUtime=5.23
/proc/13221/stat : 13221 (java) S 13220 13202 12914 0 -1 0 21392 0 1 0 513 10 0 0 25 0 9 0 624147223 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13221/statm: 163735 20705 2613 9 0 158263 0
[pid=13221/tid=13223] ppid=13220 vsize=654940 CPUtime=4.86
/proc/13221/task/13223/stat : 13223 (java) R 13220 13202 12914 0 -1 64 12523 0 1 0 479 7 0 0 25 0 9 0 624147224 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4126739467 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13221/tid=13224] ppid=13220 vsize=654940 CPUtime=0.17
/proc/13221/task/13224/stat : 13224 (java) S 13220 13202 12914 0 -1 64 7944 0 0 0 15 2 0 0 17 0 9 0 624147225 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13221/tid=13225] ppid=13220 vsize=654940 CPUtime=0
/proc/13221/task/13225/stat : 13225 (java) S 13220 13202 12914 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 624147225 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13221/tid=13226] ppid=13220 vsize=654940 CPUtime=0
/proc/13221/task/13226/stat : 13226 (java) S 13220 13202 12914 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 624147225 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13221/tid=13227] ppid=13220 vsize=654940 CPUtime=0
/proc/13221/task/13227/stat : 13227 (java) S 13220 13202 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 624147227 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13221/tid=13228] ppid=13220 vsize=654940 CPUtime=0.17
/proc/13221/task/13228/stat : 13228 (java) S 13220 13202 12914 0 -1 64 379 0 0 0 17 0 0 0 15 0 9 0 624147227 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13221/tid=13229] ppid=13220 vsize=654940 CPUtime=0
/proc/13221/task/13229/stat : 13229 (java) S 13220 13202 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 624147227 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13221/tid=13230] ppid=13220 vsize=654940 CPUtime=0
/proc/13221/task/13230/stat : 13230 (java) S 13220 13202 12914 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 624147227 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13222] ppid=13220 vsize=7044 CPUtime=0
/proc/13222/stat : 13222 (translate) S 13220 13202 12914 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 624147223 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/13222/statm: 1761 213 182 1 0 41 0
[pid=13210/tid=13211] ppid=13202 vsize=197424 CPUtime=4.28
/proc/13210/task/13211/stat : 13211 (java) S 13202 13202 12914 0 -1 64 3851 0 1 0 422 6 0 0 25 0 10 0 624146670 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=197424 CPUtime=0.98
/proc/13210/task/13212/stat : 13212 (java) S 13202 13202 12914 0 -1 64 8559 0 0 0 90 8 0 0 16 0 10 0 624146671 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13213] ppid=13202 vsize=197424 CPUtime=0
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 624146672 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=197424 CPUtime=0
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 624146672 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=197424 CPUtime=0
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 624146674 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=197424 CPUtime=0.18
/proc/13210/task/13216/stat : 13216 (java) S 13202 13202 12914 0 -1 64 644 0 0 0 18 0 0 0 16 0 10 0 624146674 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=197424 CPUtime=0
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 624146674 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=197424 CPUtime=0
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 624146674 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13219] ppid=13202 vsize=197424 CPUtime=0
/proc/13210/task/13219/stat : 13219 (java) S 13202 13202 12914 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 624147222 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 870124
[startup+25.5028 s]
/proc/loadavg: 2.57 2.14 1.96 3/96 13231
/proc/meminfo: memFree=1355696/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197424 CPUtime=5.49
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 13861 0 1 0 532 17 0 0 21 0 10 0 624146670 202162176 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49356 9388 2543 9 0 43939 0
[pid=13220] ppid=13210 vsize=5356 CPUtime=0
/proc/13220/stat : 13220 (abscon) S 13210 13202 12914 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 624147222 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13220/statm: 1339 237 196 169 0 50 0
[pid=13221] ppid=13220 vsize=654940 CPUtime=17.83
/proc/13221/stat : 13221 (java) S 13220 13202 12914 0 -1 0 21410 0 1 0 1772 11 0 0 25 0 9 0 624147223 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13221/statm: 163735 20718 2613 9 0 158263 0
[pid=13221/tid=13223] ppid=13220 vsize=654940 CPUtime=17.43
/proc/13221/task/13223/stat : 13223 (java) R 13220 13202 12914 0 -1 64 12526 0 1 0 1735 8 0 0 24 0 9 0 624147224 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4126783157 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13221/tid=13224] ppid=13220 vsize=654940 CPUtime=0.17
################
# More data... #
################
/proc/loadavg: 2.04 2.10 1.97 3/87 13234
/proc/meminfo: memFree=1402992/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197748 CPUtime=23.89
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 14016 21984 1 1 532 17 1827 13 21 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49437 9394 2544 9 0 44020 0
[pid=13233] ppid=13210 vsize=5356 CPUtime=0
/proc/13233/stat : 13233 (mistral) S 13210 13202 12914 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 624149086 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13233/statm: 1339 236 196 169 0 50 0
[pid=13234] ppid=13233 vsize=12420 CPUtime=188.09
/proc/13234/stat : 13234 (xsolve) R 13233 13202 12914 0 -1 4194304 2457 0 0 0 18807 2 0 0 25 0 1 0 624149086 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 134819871 0 4 0 0 0 0 0 17 0 0 0
/proc/13234/statm: 3105 2421 393 177 0 2008 0
[pid=13210/tid=13211] ppid=13202 vsize=197748 CPUtime=22.68
/proc/13210/task/13211/stat : 13211 (java) S 13202 13202 12914 0 -1 64 3932 21984 1 1 422 6 1827 13 16 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=197748 CPUtime=19.38
/proc/13210/task/13212/stat : 13212 (java) S 13202 13202 12914 0 -1 64 8571 21984 0 1 90 8 1827 13 16 0 10 0 624146671 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13210/tid=13213] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 21984 0 1 0 0 1827 13 16 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 21984 0 1 0 0 1827 13 15 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=197748 CPUtime=18.58
/proc/13210/task/13216/stat : 13216 (java) S 13202 13202 12914 0 -1 64 644 21984 0 1 18 0 1827 13 16 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 17 21984 0 1 0 0 1827 13 15 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13232] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13232/stat : 13232 (java) S 13202 13202 12914 0 -1 64 49 21984 0 1 0 0 1827 13 16 0 10 0 624149085 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 213.86
Current children cumulated vsize (KiB) 220884
[startup+215.902 s]
/proc/loadavg: 2.03 2.10 1.97 3/87 13234
/proc/meminfo: memFree=1402928/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197748 CPUtime=23.89
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 14016 21984 1 1 532 17 1827 13 21 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49437 9394 2544 9 0 44020 0
[pid=13233] ppid=13210 vsize=5356 CPUtime=0
/proc/13233/stat : 13233 (mistral) S 13210 13202 12914 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 624149086 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13233/statm: 1339 236 196 169 0 50 0
[pid=13234] ppid=13233 vsize=12420 CPUtime=189.69
/proc/13234/stat : 13234 (xsolve) R 13233 13202 12914 0 -1 4194304 2457 0 0 0 18967 2 0 0 25 0 1 0 624149086 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 134819953 0 4 0 0 0 0 0 17 0 0 0
/proc/13234/statm: 3105 2421 393 177 0 2008 0
[pid=13210/tid=13211] ppid=13202 vsize=197748 CPUtime=22.68
/proc/13210/task/13211/stat : 13211 (java) S 13202 13202 12914 0 -1 64 3932 21984 1 1 422 6 1827 13 16 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=197748 CPUtime=19.38
/proc/13210/task/13212/stat : 13212 (java) S 13202 13202 12914 0 -1 64 8571 21984 0 1 90 8 1827 13 16 0 10 0 624146671 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13210/tid=13213] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 21984 0 1 0 0 1827 13 16 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 21984 0 1 0 0 1827 13 15 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=197748 CPUtime=18.58
/proc/13210/task/13216/stat : 13216 (java) S 13202 13202 12914 0 -1 64 644 21984 0 1 18 0 1827 13 16 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 17 21984 0 1 0 0 1827 13 15 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13232] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13232/stat : 13232 (java) S 13202 13202 12914 0 -1 64 49 21984 0 1 0 0 1827 13 16 0 10 0 624149085 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 215.46
Current children cumulated vsize (KiB) 220884
[startup+216.71 s]
/proc/loadavg: 2.03 2.10 1.97 3/87 13234
/proc/meminfo: memFree=1402864/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197748 CPUtime=23.89
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 14016 21984 1 1 532 17 1827 13 21 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49437 9394 2544 9 0 44020 0
[pid=13233] ppid=13210 vsize=5356 CPUtime=0
/proc/13233/stat : 13233 (mistral) S 13210 13202 12914 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 624149086 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13233/statm: 1339 236 196 169 0 50 0
[pid=13234] ppid=13233 vsize=12420 CPUtime=190.5
/proc/13234/stat : 13234 (xsolve) R 13233 13202 12914 0 -1 4194304 2457 0 0 0 19048 2 0 0 25 0 1 0 624149086 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 134820021 0 4 0 0 0 0 0 17 0 0 0
/proc/13234/statm: 3105 2421 393 177 0 2008 0
[pid=13210/tid=13211] ppid=13202 vsize=197748 CPUtime=22.68
/proc/13210/task/13211/stat : 13211 (java) S 13202 13202 12914 0 -1 64 3932 21984 1 1 422 6 1827 13 16 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=197748 CPUtime=19.38
/proc/13210/task/13212/stat : 13212 (java) S 13202 13202 12914 0 -1 64 8571 21984 0 1 90 8 1827 13 16 0 10 0 624146671 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13210/tid=13213] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 21984 0 1 0 0 1827 13 16 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 21984 0 1 0 0 1827 13 15 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=197748 CPUtime=18.58
/proc/13210/task/13216/stat : 13216 (java) S 13202 13202 12914 0 -1 64 644 21984 0 1 18 0 1827 13 16 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 17 21984 0 1 0 0 1827 13 15 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13232] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13232/stat : 13232 (java) S 13202 13202 12914 0 -1 64 49 21984 0 1 0 0 1827 13 16 0 10 0 624149085 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 216.27
Current children cumulated vsize (KiB) 220884
[startup+217.103 s]
/proc/loadavg: 2.03 2.10 1.97 3/87 13234
/proc/meminfo: memFree=1402864/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197748 CPUtime=23.89
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 14016 21984 1 1 532 17 1827 13 21 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49437 9394 2544 9 0 44020 0
[pid=13233] ppid=13210 vsize=5356 CPUtime=0
/proc/13233/stat : 13233 (mistral) S 13210 13202 12914 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 624149086 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13233/statm: 1339 236 196 169 0 50 0
[pid=13234] ppid=13233 vsize=12420 CPUtime=190.89
/proc/13234/stat : 13234 (xsolve) R 13233 13202 12914 0 -1 4194304 2457 0 0 0 19087 2 0 0 25 0 1 0 624149086 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 135103299 0 4 0 0 0 0 0 17 0 0 0
/proc/13234/statm: 3105 2421 393 177 0 2008 0
[pid=13210/tid=13211] ppid=13202 vsize=197748 CPUtime=22.68
/proc/13210/task/13211/stat : 13211 (java) S 13202 13202 12914 0 -1 64 3932 21984 1 1 422 6 1827 13 16 0 10 0 624146670 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=197748 CPUtime=19.38
/proc/13210/task/13212/stat : 13212 (java) S 13202 13202 12914 0 -1 64 8571 21984 0 1 90 8 1827 13 16 0 10 0 624146671 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13210/tid=13213] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 21984 0 1 0 0 1827 13 16 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 21984 0 1 0 0 1827 13 15 0 10 0 624146672 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=197748 CPUtime=18.58
/proc/13210/task/13216/stat : 13216 (java) S 13202 13202 12914 0 -1 64 644 21984 0 1 18 0 1827 13 16 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 21984 0 1 0 0 1827 13 25 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 17 21984 0 1 0 0 1827 13 15 0 10 0 624146674 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13232] ppid=13202 vsize=197748 CPUtime=18.4
/proc/13210/task/13232/stat : 13232 (java) S 13202 13202 12914 0 -1 64 49 21984 0 1 0 0 1827 13 16 0 10 0 624149085 202493952 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 216.66
Current children cumulated vsize (KiB) 220884
[startup+217.203 s]
/proc/loadavg: 2.03 2.10 1.97 3/87 13234
/proc/meminfo: memFree=1402864/2055920 swapFree=4165996/4192956
[pid=13202] ppid=13200 vsize=5360 CPUtime=1.88
/proc/13202/stat : 13202 (hydra) S 13200 13202 12914 0 -1 4194304 375 3078 0 0 0 0 187 1 19 0 1 0 624146478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13202/statm: 1340 238 196 169 0 51 0
[pid=13210] ppid=13202 vsize=197748 CPUtime=214.87
/proc/13210/stat : 13210 (java) S 13202 13202 12914 0 -1 0 14123 24762 1 1 532 17 20922 16 21 0 9 0 624146670 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13210/statm: 49437 9395 2544 9 0 44020 0
[pid=13210/tid=13211] ppid=13202 vsize=197748 CPUtime=213.66
/proc/13210/task/13211/stat : 13211 (java) S 13202 13202 12914 0 -1 64 3998 24762 1 1 422 6 20922 16 16 0 9 0 624146670 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13212] ppid=13202 vsize=197748 CPUtime=210.36
/proc/13210/task/13212/stat : 13212 (java) S 13202 13202 12914 0 -1 64 8599 24762 0 1 90 8 20922 16 15 0 9 0 624146671 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13213] ppid=13202 vsize=197748 CPUtime=209.38
/proc/13210/task/13213/stat : 13213 (java) S 13202 13202 12914 0 -1 64 11 24762 0 1 0 0 20922 16 16 0 9 0 624146672 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13214] ppid=13202 vsize=197748 CPUtime=209.38
/proc/13210/task/13214/stat : 13214 (java) S 13202 13202 12914 0 -1 64 7 24762 0 1 0 0 20922 16 15 0 9 0 624146672 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13215] ppid=13202 vsize=197748 CPUtime=209.38
/proc/13210/task/13215/stat : 13215 (java) S 13202 13202 12914 0 -1 64 0 24762 0 1 0 0 20922 16 25 0 9 0 624146674 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13216] ppid=13202 vsize=197748 CPUtime=209.56
/proc/13210/task/13216/stat : 13216 (java) S 13202 13202 12914 0 -1 64 644 24762 0 1 18 0 20922 16 16 0 9 0 624146674 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13217] ppid=13202 vsize=197748 CPUtime=209.38
/proc/13210/task/13217/stat : 13217 (java) S 13202 13202 12914 0 -1 64 1 24762 0 1 0 0 20922 16 25 0 9 0 624146674 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13210/tid=13218] ppid=13202 vsize=197748 CPUtime=209.38
/proc/13210/task/13218/stat : 13218 (java) S 13202 13202 12914 0 -1 64 17 24762 0 1 0 0 20922 16 15 0 9 0 624146674 202493952 9395 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 216.75
Current children cumulated vsize (KiB) 203108
Child status: 0
Real time (s): 217.231
CPU time (s): 216.8
CPU user time (s): 216.433
CPU system time (s): 0.366944
CPU usage (%): 99.8014
Max. virtual memory (cumulated for all children) (KiB): 870124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 216.433
system time used= 0.366944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42379
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15091
involuntary context switches= 16991
runsolver used 0.449931 second user time and 0.820875 second system time
The end