0.00/0.00 c cpHydra_k_10 version 0.0
7.62/7.78 c CASE TO CLASSIFY:
7.62/7.78 c Case: 0
7.62/7.78 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.309200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.826400 | c 14 > 12.057700 | c 11 > 4.584960 | c 12 > 11.047900 | 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.62/7.79 c choco : 1801.0
7.62/7.79 c mistral : 1801.0
7.62/7.79 c abscon : 1801.0
7.62/7.79 c
7.62/7.79 c
7.91/8.05 c List of same ones: 10
7.91/8.05 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.91/8.05 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.91/8.06 c choco : 1801.0
7.91/8.06 c mistral : 976.11
7.91/8.06 c abscon : 1800.09
7.91/8.06 c
7.91/8.06 c
7.91/8.06 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.91/8.06 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.91/8.07 c choco : 1801.0
7.91/8.07 c mistral : 40.01
7.91/8.07 c abscon : 320.414
7.91/8.07 c
7.91/8.07 c
7.91/8.07 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.91/8.07 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.91/8.08 c choco : 1801.0
7.91/8.08 c mistral : 772.763
7.91/8.08 c abscon : 1274.72
7.91/8.08 c
7.91/8.08 c
7.91/8.08 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.91/8.08 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.91/8.08 c choco : 1801.0
7.91/8.08 c mistral : 1487.13
7.91/8.08 c abscon : 1800.05
7.91/8.09 c
7.91/8.09 c
7.91/8.09 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.91/8.09 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.91/8.10 c choco : 1801.0
7.91/8.10 c mistral : 62.4135
7.91/8.10 c abscon : 1800.14
7.91/8.10 c
7.91/8.10 c
7.91/8.10 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.91/8.10 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.00/8.11 c choco : 1801.0
8.00/8.11 c mistral : 402.946
8.00/8.11 c abscon : 15.4397
8.00/8.11 c
8.00/8.11 c
8.00/8.11 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
8.00/8.11 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.00/8.11 c choco : 1801.0
8.00/8.11 c mistral : 1232.27
8.00/8.11 c abscon : 1800.12
8.00/8.11 c
8.00/8.11 c
8.00/8.11 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
8.00/8.11 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.913900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.591000 | c 14 > 11.644300 | c 11 > 4.584960 | c 12 > 10.803300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.00/8.12 c choco : 1801.0
8.00/8.12 c mistral : 109.18
8.00/8.12 c abscon : 77.3452
8.00/8.12 c
8.00/8.12 c
8.00/8.12 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
8.00/8.12 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.00/8.13 c choco : 1801.0
8.00/8.13 c mistral : 699.298
8.00/8.13 c abscon : 1438.19
8.00/8.13 c
8.00/8.13 c
8.00/8.13 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
8.00/8.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.00/8.14 c choco : 1801.0
8.00/8.14 c mistral : 91.53
8.00/8.14 c abscon : 25.5821
8.00/8.14 c
8.00/8.14 c
8.00/8.14 c Length: 10
8.00/8.14 c 0.3508170134129775 0.37440590273124885 0.42239028161168696 0.49252676769897524 0.5468129223966832 0.5578999660333387 0.6565131962877829 0.6654165363890502 0.696099080591261 0.715299899972032
8.00/8.14 c
8.00/8.14 c 1.0 0.9392151380632019 0.8358622681556473 0.720047778550428 0.6503062907243335 0.6376918660540218 0.5438589523050232 0.5367285051729804 0.5135261816462388 0.5
8.00/8.15 c
8.00/8.15 c solver 0
8.00/8.15 c before 0.0 seconds: {} 0
8.00/8.15 c before 18.0 seconds: {5} 637
8.00/8.15 c before 36.0 seconds: {5, 9} 1137
8.00/8.15 c before 90.0 seconds: {5, 7, 9} 1674
8.00/8.15 c before 324.0 seconds: {1, 5, 7, 9} 2613
8.00/8.15 c before 1278.0 seconds: {1, 2, 5, 7, 9} 3449
8.00/8.15 c before 1440.0 seconds: {1, 2, 5, 7, 8, 9} 3963
8.00/8.15 c
8.00/8.15 c solver 1
8.00/8.15 c before 0.0 seconds: {} 0
8.00/8.15 c before 54.0 seconds: {1} 939
8.00/8.15 c before 72.0 seconds: {1, 4} 1589
8.00/8.15 c before 108.0 seconds: {1, 4, 9} 2089
8.00/8.15 c before 126.0 seconds: {1, 4, 7, 9} 2626
8.00/8.15 c before 414.0 seconds: {1, 4, 5, 7, 9} 3263
8.00/8.15 c before 702.0 seconds: {1, 4, 5, 7, 8, 9} 3777
8.00/8.15 c before 774.0 seconds: {1, 2, 4, 5, 7, 8, 9} 4613
8.00/8.15 c before 990.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9} 5613
8.00/8.15 c before 1242.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 6157
8.00/8.15 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
8.00/8.15 c
8.00/8.15 c solver 2
8.00/8.15 c before 0.0 seconds: {} 0
8.00/8.15 c
8.00/8.15 cTotal time: 163
8.00/8.15 c run abscon for 90.0 seconds {5, 7, 9} 1674
8.00/8.15 c run mistral for 1494.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6877
8.00/8.15 c do not run choco
8.00/8.15 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.00/8.15 c On Instance: HOME/instance-1056720-1215105703.xml
8.00/8.15 c Running for: 90 seconds
98.41/99.05 c Starting solver: HOME/cpHydra_k_10/solver/mistral
98.41/99.05 c On Instance: HOME/instance-1056720-1215105703.xml
98.41/99.05 c Running for: 1494 seconds
526.48/529.09 c mistral-prime version 1.313
526.48/529.09 s SATISFIABLE
526.48/529.09 v 15 22 8 21 12 19 22 3 13 2 13 18 15 16 14 22 8 3 15 18 23 16 3 2
526.48/529.09 d CHECKS 195661075
526.48/529.09 d ASSIGNMENTS 1183128
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056720-1215105703/watcher-1056720-1215105703 -o /tmp/evaluation-result-1056720-1215105703/solver-1056720-1215105703 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1056720-1215105703.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: 0.23 0.05 0.02 4/72 1936
/proc/meminfo: memFree=1502904/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=18572 CPUtime=0
/proc/1936/stat : 1936 (runsolver) R 1934 1936 1856 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1989542685 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 208717540647 0 0 4096 24578 0 0 0 17 1 0 0
/proc/1936/statm: 4643 292 257 25 0 2626 0
[startup+0.092827 s]
/proc/loadavg: 0.23 0.05 0.02 4/72 1936
/proc/meminfo: memFree=1502904/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=0
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1989542685 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10282 s]
/proc/loadavg: 0.23 0.05 0.02 4/72 1936
/proc/meminfo: memFree=1502904/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=0
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1989542685 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302868 s]
/proc/loadavg: 0.23 0.05 0.02 4/72 1936
/proc/meminfo: memFree=1502904/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=0
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1989542685 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701933 s]
/proc/loadavg: 0.23 0.05 0.02 4/72 1936
/proc/meminfo: memFree=1502904/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=0
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1989542685 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50108 s]
/proc/loadavg: 0.23 0.05 0.02 3/74 1940
/proc/meminfo: memFree=1567912/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=0
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 330 247 0 0 0 0 0 0 20 0 1 0 1989542685 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 236 195 169 0 51 0
[pid=1940] ppid=1936 vsize=12288 CPUtime=1.47
/proc/1940/stat : 1940 (xsolve) R 1936 1936 1856 0 -1 4194304 2439 0 0 0 146 1 0 0 25 0 1 0 1989542686 12582912 2398 996147200 134512640 135239763 4294956176 18446744073709551615 135013641 0 0 4096 0 0 0 0 17 1 0 0
/proc/1940/statm: 3072 2398 413 177 0 1975 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17648
[startup+3.10239 s]
/proc/loadavg: 0.23 0.05 0.02 4/82 1954
/proc/meminfo: memFree=1570144/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197000 CPUtime=1.15
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 4625 0 1 0 112 3 0 0 18 0 9 0 1989542878 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49250 3907 1677 9 0 43833 0
[pid=1945/tid=1946] ppid=1936 vsize=197000 CPUtime=0.9
/proc/1945/task/1946/stat : 1946 (java) R 1936 1936 1856 0 -1 64 2644 0 1 0 89 1 0 0 25 0 9 0 1989542879 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4126441132 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1947] ppid=1936 vsize=197000 CPUtime=0.09
/proc/1945/task/1947/stat : 1947 (java) S 1936 1936 1856 0 -1 64 652 0 0 0 8 1 0 0 16 0 9 0 1989542880 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1948] ppid=1936 vsize=197000 CPUtime=0
/proc/1945/task/1948/stat : 1948 (java) S 1936 1936 1856 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1989542880 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1949] ppid=1936 vsize=197000 CPUtime=0
/proc/1945/task/1949/stat : 1949 (java) S 1936 1936 1856 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989542880 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1950] ppid=1936 vsize=197000 CPUtime=0
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1989542882 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197000 CPUtime=0.13
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1989542882 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197000 CPUtime=0
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1989542883 201728000 3907 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197000 CPUtime=0
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989542883 201728000 3907 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) 202360
[startup+6.30199 s]
/proc/loadavg: 0.45 0.10 0.03 3/82 1954
/proc/meminfo: memFree=1557664/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197112 CPUtime=4.33
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 9500 0 1 0 421 12 0 0 18 0 9 0 1989542878 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49278 7874 2540 9 0 43861 0
[pid=1945/tid=1946] ppid=1936 vsize=197112 CPUtime=3.41
/proc/1945/task/1946/stat : 1946 (java) R 1936 1936 1856 0 -1 64 3468 0 1 0 337 4 0 0 25 0 9 0 1989542879 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4126549990 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1947] ppid=1936 vsize=197112 CPUtime=0.71
/proc/1945/task/1947/stat : 1947 (java) S 1936 1936 1856 0 -1 64 4678 0 0 0 65 6 0 0 16 0 9 0 1989542880 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1948] ppid=1936 vsize=197112 CPUtime=0
/proc/1945/task/1948/stat : 1948 (java) S 1936 1936 1856 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1989542880 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1949] ppid=1936 vsize=197112 CPUtime=0
/proc/1945/task/1949/stat : 1949 (java) S 1936 1936 1856 0 -1 64 5 0 0 0 0 0 0 0 17 0 9 0 1989542880 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1950] ppid=1936 vsize=197112 CPUtime=0
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1989542882 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197112 CPUtime=0.17
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1989542882 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197112 CPUtime=0
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1989542883 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197112 CPUtime=0
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989542883 201842688 7874 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202472
[startup+12.7022 s]
/proc/loadavg: 0.58 0.13 0.04 3/94 1967
/proc/meminfo: memFree=1474048/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197436 CPUtime=6.14
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 13988 0 1 0 597 17 0 0 18 0 10 0 1989542878 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49359 9506 2543 9 0 43942 0
[pid=1956] ppid=1945 vsize=5356 CPUtime=0
/proc/1956/stat : 1956 (abscon) S 1945 1936 1856 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1989543501 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1956/statm: 1339 237 196 169 0 50 0
[pid=1957] ppid=1956 vsize=654940 CPUtime=4.49
/proc/1957/stat : 1957 (java) S 1956 1936 1856 0 -1 0 21254 0 1 0 439 10 0 0 18 0 9 0 1989543502 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1957/statm: 163735 20567 2613 9 0 158263 0
[pid=1957/tid=1959] ppid=1956 vsize=654940 CPUtime=4.1
/proc/1957/task/1959/stat : 1959 (java) R 1956 1936 1856 0 -1 64 12509 0 1 0 404 6 0 0 25 0 9 0 1989543503 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4126772530 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1961] ppid=1956 vsize=654940 CPUtime=0.18
/proc/1957/task/1961/stat : 1961 (java) S 1956 1936 1856 0 -1 64 7822 0 0 0 15 3 0 0 16 0 9 0 1989543504 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1962] ppid=1956 vsize=654940 CPUtime=0
/proc/1957/task/1962/stat : 1962 (java) S 1956 1936 1856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989543504 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1963] ppid=1956 vsize=654940 CPUtime=0
/proc/1957/task/1963/stat : 1963 (java) S 1956 1936 1856 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1989543504 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1964] ppid=1956 vsize=654940 CPUtime=0
/proc/1957/task/1964/stat : 1964 (java) S 1956 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 1989543506 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1965] ppid=1956 vsize=654940 CPUtime=0.18
/proc/1957/task/1965/stat : 1965 (java) S 1956 1936 1856 0 -1 64 377 0 0 0 18 0 0 0 15 0 9 0 1989543506 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1966] ppid=1956 vsize=654940 CPUtime=0
/proc/1957/task/1966/stat : 1966 (java) S 1956 1936 1856 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1989543506 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1967] ppid=1956 vsize=654940 CPUtime=0
/proc/1957/task/1967/stat : 1967 (java) S 1956 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989543506 670658560 20567 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1958] ppid=1956 vsize=7044 CPUtime=0
/proc/1958/stat : 1958 (translate) S 1956 1936 1856 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1989543502 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 208717709394 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/1958/statm: 1761 213 182 1 0 41 0
[pid=1945/tid=1946] ppid=1936 vsize=197436 CPUtime=4.79
/proc/1945/task/1946/stat : 1946 (java) S 1936 1936 1856 0 -1 64 3985 0 1 0 474 5 0 0 25 0 10 0 1989542879 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=1945/tid=1947] ppid=1936 vsize=197436 CPUtime=1.12
/proc/1945/task/1947/stat : 1947 (java) S 1936 1936 1856 0 -1 64 8550 0 0 0 102 10 0 0 16 0 10 0 1989542880 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1948] ppid=1936 vsize=197436 CPUtime=0
/proc/1945/task/1948/stat : 1948 (java) S 1936 1936 1856 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1989542880 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1949] ppid=1936 vsize=197436 CPUtime=0
/proc/1945/task/1949/stat : 1949 (java) S 1936 1936 1856 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1989542880 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1950] ppid=1936 vsize=197436 CPUtime=0
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1989542882 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197436 CPUtime=0.2
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 645 0 0 0 20 0 0 0 15 0 10 0 1989542882 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197436 CPUtime=0
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1989542883 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197436 CPUtime=0
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1989542883 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1955] ppid=1936 vsize=197436 CPUtime=0
/proc/1945/task/1955/stat : 1955 (java) S 1936 1936 1856 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1989543501 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 870136
[startup+25.5036 s]
/proc/loadavg: 0.89 0.22 0.07 3/94 1967
/proc/meminfo: memFree=1473728/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197436 CPUtime=6.14
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 13988 0 1 0 597 17 0 0 18 0 10 0 1989542878 202174464 9506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49359 9506 2543 9 0 43942 0
[pid=1956] ppid=1945 vsize=5356 CPUtime=0
/proc/1956/stat : 1956 (abscon) S 1945 1936 1856 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1989543501 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/1956/statm: 1339 237 196 169 0 50 0
[pid=1957] ppid=1956 vsize=654940 CPUtime=17.24
/proc/1957/stat : 1957 (java) S 1956 1936 1856 0 -1 0 21274 0 1 0 1713 11 0 0 18 0 9 0 1989543502 670658560 20581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1957/statm: 163735 20581 2613 9 0 158263 0
[pid=1957/tid=1959] ppid=1956 vsize=654940 CPUtime=16.82
/proc/1957/task/1959/stat : 1959 (java) R 1956 1936 1856 0 -1 64 12510 0 1 0 1676 6 0 0 25 0 9 0 1989543503 670658560 20581 996147200 134512640 134550740 4294955808 18446744073709551615 4126764457 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1961] ppid=1956 vsize=654940 CPUtime=0.18
/proc/1957/task/1961/stat : 1961 (java) S 1956 1936 1856 0 -1 64 7822 0 0 0 15 3 0 0 16 0 9 0 1989543504 670658560 20581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1957/tid=1962] ppid=1956 vsize=654940 CPUtime=0
/proc/1957/task/1962/stat : 1962 (java) S 1956 1936 1856 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989543504 670658560 20581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=1945/tid=1950] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 18 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197760 CPUtime=90.62
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 645 21852 0 1 20 0 9029 13 15 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 19 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 19 21852 0 1 0 0 9029 13 15 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1968] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1968/stat : 1968 (java) S 1936 1936 1856 0 -1 64 52 21852 0 1 0 0 9029 13 17 0 10 0 1989552590 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 519.8
Current children cumulated vsize (KiB) 220768
Solver just ended. Dumping a history of the last processes samples
[startup+524.707 s]
/proc/loadavg: 1.99 1.65 0.86 3/85 1970
/proc/meminfo: memFree=1536192/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197760 CPUtime=96.57
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 14144 21852 1 1 597 18 9029 13 18 0 10 0 1989542878 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49440 9512 2544 9 0 44023 0
[pid=1969] ppid=1945 vsize=5356 CPUtime=0
/proc/1969/stat : 1969 (mistral) S 1945 1936 1856 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1989552590 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1969/statm: 1339 236 196 169 0 50 0
[pid=1970] ppid=1969 vsize=12292 CPUtime=423.72
/proc/1970/stat : 1970 (xsolve) R 1969 1936 1856 0 -1 4194304 2415 0 0 0 42370 2 0 0 25 0 1 0 1989552591 12587008 2379 996147200 134512640 135239763 4294955968 18446744073709551615 135013673 0 4 0 0 0 0 0 17 0 0 0
/proc/1970/statm: 3073 2379 393 177 0 1976 0
[pid=1945/tid=1946] ppid=1936 vsize=197760 CPUtime=95.21
/proc/1945/task/1946/stat : 1946 (java) S 1936 1936 1856 0 -1 64 4063 21852 1 1 474 5 9029 13 16 0 10 0 1989542879 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1945/tid=1947] ppid=1936 vsize=197760 CPUtime=91.54
/proc/1945/task/1947/stat : 1947 (java) S 1936 1936 1856 0 -1 64 8565 21852 0 1 102 10 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1948] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1948/stat : 1948 (java) S 1936 1936 1856 0 -1 64 10 21852 0 1 0 0 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1949] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1949/stat : 1949 (java) S 1936 1936 1856 0 -1 64 5 21852 0 1 0 0 9029 13 15 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1950] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 18 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197760 CPUtime=90.62
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 645 21852 0 1 20 0 9029 13 15 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 19 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 19 21852 0 1 0 0 9029 13 15 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1968] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1968/stat : 1968 (java) S 1936 1936 1856 0 -1 64 52 21852 0 1 0 0 9029 13 17 0 10 0 1989552590 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 220768
[startup+526.302 s]
/proc/loadavg: 1.99 1.65 0.86 3/85 1970
/proc/meminfo: memFree=1536192/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197760 CPUtime=96.57
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 14144 21852 1 1 597 18 9029 13 18 0 10 0 1989542878 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49440 9512 2544 9 0 44023 0
[pid=1969] ppid=1945 vsize=5356 CPUtime=0
/proc/1969/stat : 1969 (mistral) S 1945 1936 1856 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1989552590 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1969/statm: 1339 236 196 169 0 50 0
[pid=1970] ppid=1969 vsize=12292 CPUtime=425.31
/proc/1970/stat : 1970 (xsolve) R 1969 1936 1856 0 -1 4194304 2415 0 0 0 42529 2 0 0 25 0 1 0 1989552591 12587008 2379 996147200 134512640 135239763 4294955968 18446744073709551615 134819917 0 4 0 0 0 0 0 17 0 0 0
/proc/1970/statm: 3073 2379 393 177 0 1976 0
[pid=1945/tid=1946] ppid=1936 vsize=197760 CPUtime=95.21
/proc/1945/task/1946/stat : 1946 (java) S 1936 1936 1856 0 -1 64 4063 21852 1 1 474 5 9029 13 16 0 10 0 1989542879 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1945/tid=1947] ppid=1936 vsize=197760 CPUtime=91.54
/proc/1945/task/1947/stat : 1947 (java) S 1936 1936 1856 0 -1 64 8565 21852 0 1 102 10 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1948] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1948/stat : 1948 (java) S 1936 1936 1856 0 -1 64 10 21852 0 1 0 0 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1949] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1949/stat : 1949 (java) S 1936 1936 1856 0 -1 64 5 21852 0 1 0 0 9029 13 15 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1950] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 18 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197760 CPUtime=90.62
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 645 21852 0 1 20 0 9029 13 15 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 19 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 19 21852 0 1 0 0 9029 13 15 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1968] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1968/stat : 1968 (java) S 1936 1936 1856 0 -1 64 52 21852 0 1 0 0 9029 13 17 0 10 0 1989552590 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 523.78
Current children cumulated vsize (KiB) 220768
[startup+527.902 s]
/proc/loadavg: 1.99 1.65 0.86 3/85 1970
/proc/meminfo: memFree=1536192/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197760 CPUtime=96.57
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 14144 21852 1 1 597 18 9029 13 18 0 10 0 1989542878 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49440 9512 2544 9 0 44023 0
[pid=1969] ppid=1945 vsize=5356 CPUtime=0
/proc/1969/stat : 1969 (mistral) S 1945 1936 1856 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1989552590 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1969/statm: 1339 236 196 169 0 50 0
[pid=1970] ppid=1969 vsize=12292 CPUtime=426.91
/proc/1970/stat : 1970 (xsolve) R 1969 1936 1856 0 -1 4194304 2415 0 0 0 42689 2 0 0 25 0 1 0 1989552591 12587008 2379 996147200 134512640 135239763 4294955968 18446744073709551615 135013685 0 4 0 0 0 0 0 17 0 0 0
/proc/1970/statm: 3073 2379 393 177 0 1976 0
[pid=1945/tid=1946] ppid=1936 vsize=197760 CPUtime=95.21
/proc/1945/task/1946/stat : 1946 (java) S 1936 1936 1856 0 -1 64 4063 21852 1 1 474 5 9029 13 16 0 10 0 1989542879 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1945/tid=1947] ppid=1936 vsize=197760 CPUtime=91.54
/proc/1945/task/1947/stat : 1947 (java) S 1936 1936 1856 0 -1 64 8565 21852 0 1 102 10 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1948] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1948/stat : 1948 (java) S 1936 1936 1856 0 -1 64 10 21852 0 1 0 0 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1949] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1949/stat : 1949 (java) S 1936 1936 1856 0 -1 64 5 21852 0 1 0 0 9029 13 15 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1950] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 18 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197760 CPUtime=90.62
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 645 21852 0 1 20 0 9029 13 15 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 19 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 19 21852 0 1 0 0 9029 13 15 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1968] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1968/stat : 1968 (java) S 1936 1936 1856 0 -1 64 52 21852 0 1 0 0 9029 13 17 0 10 0 1989552590 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 525.38
Current children cumulated vsize (KiB) 220768
[startup+528.703 s]
/proc/loadavg: 1.99 1.65 0.86 3/85 1970
/proc/meminfo: memFree=1536192/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=197760 CPUtime=96.57
/proc/1945/stat : 1945 (java) S 1936 1936 1856 0 -1 0 14144 21852 1 1 597 18 9029 13 18 0 10 0 1989542878 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/1945/statm: 49440 9512 2544 9 0 44023 0
[pid=1969] ppid=1945 vsize=5356 CPUtime=0
/proc/1969/stat : 1969 (mistral) S 1945 1936 1856 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1989552590 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 208717538116 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/1969/statm: 1339 236 196 169 0 50 0
[pid=1970] ppid=1969 vsize=12292 CPUtime=427.7
/proc/1970/stat : 1970 (xsolve) R 1969 1936 1856 0 -1 4194304 2415 0 0 0 42768 2 0 0 25 0 1 0 1989552591 12587008 2379 996147200 134512640 135239763 4294955968 18446744073709551615 135030652 0 4 0 0 0 0 0 17 0 0 0
/proc/1970/statm: 3073 2379 393 177 0 1976 0
[pid=1945/tid=1946] ppid=1936 vsize=197760 CPUtime=95.21
/proc/1945/task/1946/stat : 1946 (java) S 1936 1936 1856 0 -1 64 4063 21852 1 1 474 5 9029 13 16 0 10 0 1989542879 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=1945/tid=1947] ppid=1936 vsize=197760 CPUtime=91.54
/proc/1945/task/1947/stat : 1947 (java) S 1936 1936 1856 0 -1 64 8565 21852 0 1 102 10 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1948] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1948/stat : 1948 (java) S 1936 1936 1856 0 -1 64 10 21852 0 1 0 0 9029 13 16 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1949] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1949/stat : 1949 (java) S 1936 1936 1856 0 -1 64 5 21852 0 1 0 0 9029 13 15 0 10 0 1989542880 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1950] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1950/stat : 1950 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 18 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1952] ppid=1936 vsize=197760 CPUtime=90.62
/proc/1945/task/1952/stat : 1952 (java) S 1936 1936 1856 0 -1 64 645 21852 0 1 20 0 9029 13 15 0 10 0 1989542882 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1953] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1953/stat : 1953 (java) S 1936 1936 1856 0 -1 64 1 21852 0 1 0 0 9029 13 19 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1945/tid=1954] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1954/stat : 1954 (java) S 1936 1936 1856 0 -1 64 19 21852 0 1 0 0 9029 13 15 0 10 0 1989542883 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1945/tid=1968] ppid=1936 vsize=197760 CPUtime=90.42
/proc/1945/task/1968/stat : 1968 (java) S 1936 1936 1856 0 -1 64 52 21852 0 1 0 0 9029 13 17 0 10 0 1989552590 202506240 9512 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 526.17
Current children cumulated vsize (KiB) 220768
[startup+529.107 s]
/proc/loadavg: 1.99 1.66 0.86 3/85 1970
/proc/meminfo: memFree=1536128/2055920 swapFree=4117652/4192956
[pid=1936] ppid=1934 vsize=5360 CPUtime=1.9
/proc/1936/stat : 1936 (hydra) S 1934 1936 1856 0 -1 4194304 375 3036 0 0 0 0 188 2 18 0 1 0 1989542685 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/1936/statm: 1340 238 196 169 0 51 0
[pid=1945] ppid=1936 vsize=0 CPUtime=524.68
/proc/1945/stat : 1945 (java) R 1936 1936 1856 0 -1 1028 14347 24590 1 1 598 18 51837 15 16 0 1 0 1989542878 0 0 996147200 0 0 0 0 0 0 0 0 16800975 0 0 0 17 0 0 0
/proc/1945/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 526.58
Current children cumulated vsize (KiB) 5360
Child status: 0
Real time (s): 529.107
CPU time (s): 526.616
CPU user time (s): 526.241
CPU system time (s): 0.374943
CPU usage (%): 99.5291
Max. virtual memory (cumulated for all children) (KiB): 870136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 526.241
system time used= 0.374943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42360
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= 22589
involuntary context switches= 30019
runsolver used 1.01984 second user time and 2.34864 second system time
The end