0.00/0.00 c cpHydra_k_10 version 0.0
8.08/8.21 c CASE TO CLASSIFY:
8.08/8.21 c Case: 0
8.08/8.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.241600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.482200 | c 14 > 11.728800 | c 11 > 4.807350 | c 12 > 10.643600 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.08/8.22 c choco : 1801.0
8.08/8.22 c mistral : 1801.0
8.08/8.22 c abscon : 1801.0
8.08/8.22 c
8.08/8.22 c
8.08/8.30 c List of same ones: 10
8.08/8.30 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28/rand-3-28-28-93-632-46_ext.xml
8.08/8.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.740600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.363600 | c 14 > 11.318500 | c 11 > 4.807350 | c 12 > 10.665900 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.31 c choco : 1801.0
8.18/8.31 c mistral : 81.2966
8.18/8.31 c abscon : 1800.06
8.18/8.31 c
8.18/8.31 c
8.18/8.31 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-23_ext.xml
8.18/8.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.092800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 9.871190 | c 14 > 11.604100 | c 11 > 4.807350 | c 12 > 10.362000 | c 21 > 5.291500 | c 20 > 0.000000 | c 22 > 5.291500 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.539160 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.614710 | c 31 > -1.000000 | c 4 > 4.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.31 c choco : 1801.0
8.18/8.31 c mistral : 84.17
8.18/8.31 c abscon : 1800.06
8.18/8.31 c
8.18/8.31 c
8.18/8.31 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
8.18/8.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.078000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.339600 | c 14 > 11.700900 | c 11 > 4.584960 | c 12 > 10.620600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.18/8.32 c choco : 1801.0
8.18/8.32 c mistral : 236.79
8.18/8.32 c abscon : 313.039
8.18/8.32 c
8.18/8.32 c
8.18/8.32 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
8.18/8.32 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.18/8.33 c choco : 1801.0
8.18/8.33 c mistral : 1232.27
8.18/8.33 c abscon : 1800.12
8.18/8.33 c
8.18/8.33 c
8.18/8.33 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
8.18/8.33 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.18/8.34 c choco : 1801.0
8.18/8.34 c mistral : 91.53
8.18/8.34 c abscon : 25.5821
8.18/8.34 c
8.18/8.34 c
8.18/8.34 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-21_ext.xml
8.18/8.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.053300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.345200 | c 14 > 11.724100 | c 11 > 4.584960 | c 12 > 10.562200 | 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.18/8.35 c choco : 1801.0
8.18/8.35 c mistral : 77.8422
8.18/8.35 c abscon : 622.444
8.18/8.35 c
8.18/8.35 c
8.18/8.35 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
8.18/8.35 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.18/8.36 c choco : 1801.0
8.18/8.36 c mistral : 699.298
8.18/8.36 c abscon : 1438.19
8.18/8.36 c
8.18/8.36 c
8.18/8.36 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-20_ext.xml
8.18/8.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.922100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.430100 | c 14 > 11.549300 | c 11 > 4.584960 | c 12 > 10.720400 | 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.18/8.37 c choco : 1801.0
8.18/8.37 c mistral : 633.91
8.18/8.37 c abscon : 1745.68
8.18/8.37 c
8.18/8.37 c
8.18/8.37 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-43_ext.xml
8.18/8.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.159900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.121200 | c 14 > 11.833300 | c 11 > 4.584960 | c 12 > 10.623700 | 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.18/8.38 c choco : 1801.0
8.18/8.38 c mistral : 237.0
8.18/8.38 c abscon : 1800.11
8.18/8.38 c
8.18/8.38 c
8.18/8.38 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
8.18/8.38 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.18/8.38 c choco : 1801.0
8.18/8.38 c mistral : 402.946
8.18/8.39 c abscon : 15.4397
8.18/8.39 c
8.18/8.39 c
8.18/8.39 c Length: 10
8.18/8.39 c 0.6587187108318674 0.7002308977044636 0.8729281685797515 0.8745406208404497 0.8757495118468518 0.8800399976705596 0.8812251352520526 0.9124778552381413 0.9154315027898045 0.9165322832830276
8.18/8.39 c
8.18/8.39 c 1.0 0.8613143520745375 0.5461885458055816 0.5443290927281267 0.542943302811488 0.5380814345950061 0.5367537769205475 0.5039627094167496 0.50106970271046 0.5
8.18/8.39 c
8.18/8.39 c solver 0
8.18/8.39 c before 0.0 seconds: {} 0
8.18/8.39 c before 18.0 seconds: {9} 500
8.18/8.39 c before 36.0 seconds: {4, 9} 1042
8.18/8.39 c before 324.0 seconds: {2, 4, 9} 1589
8.18/8.39 c before 630.0 seconds: {2, 4, 5, 9} 2127
8.18/8.39 c before 1440.0 seconds: {2, 4, 5, 6, 9} 2663
8.18/8.39 c before 1746.0 seconds: {2, 4, 5, 6, 7, 9} 3167
8.18/8.39 c
8.18/8.39 c solver 1
8.18/8.39 c before 0.0 seconds: {} 0
8.18/8.39 c before 90.0 seconds: {0, 1, 5} 2399
8.18/8.39 c before 108.0 seconds: {0, 1, 4, 5} 2942
8.18/8.39 c before 252.0 seconds: {0, 1, 2, 4, 5, 8} 3989
8.18/8.39 c before 414.0 seconds: {0, 1, 2, 4, 5, 8, 9} 4489
8.18/8.39 c before 648.0 seconds: {0, 1, 2, 4, 5, 7, 8, 9} 4993
8.18/8.39 c before 702.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5530
8.18/8.39 c before 1242.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6074
8.18/8.39 c
8.18/8.39 c solver 2
8.18/8.39 c before 0.0 seconds: {} 0
8.18/8.39 c
8.18/8.39 cTotal time: 166
8.18/8.40 c run abscon for 324.0 seconds {2, 4, 9} 1589
8.18/8.40 c run mistral for 1242.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6074
8.18/8.40 c do not run choco
8.18/8.40 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.18/8.40 c On Instance: HOME/instance-1095593-1215256791.xml
8.18/8.40 c Running for: 324 seconds
332.76/333.19 c Starting solver: HOME/cpHydra_k_10/solver/mistral
332.76/333.19 c On Instance: HOME/instance-1095593-1215256791.xml
332.76/333.19 c Running for: 1242 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1095593-1215256791/watcher-1095593-1215256791 -o /tmp/evaluation-result-1095593-1215256791/solver-1095593-1215256791 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1095593-1215256791.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.95 1.98 4/73 21159
/proc/meminfo: memFree=1608064/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=0
/proc/21159/stat : 21159 (hydra) R 21157 21159 18968 0 -1 4194304 264 0 0 0 0 0 0 0 21 0 1 0 2004653627 5488640 232 996147200 4194304 4889804 548682068816 18446744073709551615 227848680867 0 0 4100 65536 0 0 0 17 1 0 0
/proc/21159/statm: 1340 232 193 169 0 51 0
[startup+0.0578359 s]
/proc/loadavg: 1.91 1.95 1.98 4/73 21159
/proc/meminfo: memFree=1608064/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=0
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004653627 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10284 s]
/proc/loadavg: 1.91 1.95 1.98 4/73 21159
/proc/meminfo: memFree=1608064/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=0
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004653627 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302874 s]
/proc/loadavg: 1.91 1.95 1.98 4/73 21159
/proc/meminfo: memFree=1608064/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=0
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004653627 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701946 s]
/proc/loadavg: 1.91 1.95 1.98 4/73 21159
/proc/meminfo: memFree=1608064/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=0
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004653627 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/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: 1.91 1.95 1.98 3/75 21163
/proc/meminfo: memFree=1592304/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=0
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2004653627 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 236 195 169 0 51 0
[pid=21163] ppid=21159 vsize=19760 CPUtime=1.47
/proc/21163/stat : 21163 (xsolve) R 21159 21159 18968 0 -1 4194304 4307 0 0 0 145 2 0 0 25 0 1 0 2004653628 20234240 4266 996147200 134512640 135239763 4294956176 18446744073709551615 135096904 0 0 4096 0 0 0 0 17 1 0 0
/proc/21163/statm: 4940 4266 412 177 0 3843 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25120
[startup+3.10137 s]
/proc/loadavg: 2.00 1.97 1.99 3/75 21163
/proc/meminfo: memFree=1591536/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 5360
[startup+6.30194 s]
/proc/loadavg: 2.00 1.97 1.99 3/83 21175
/proc/meminfo: memFree=1591600/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
[pid=21167] ppid=21159 vsize=197108 CPUtime=3.84
/proc/21167/stat : 21167 (java) S 21159 21159 18968 0 -1 0 8996 0 1 0 373 11 0 0 18 0 9 0 2004653868 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21167/statm: 49277 7449 2540 9 0 43860 0
[pid=21167/tid=21168] ppid=21159 vsize=197108 CPUtime=3.04
/proc/21167/task/21168/stat : 21168 (java) R 21159 21159 18968 0 -1 64 3389 0 1 0 300 4 0 0 25 0 9 0 2004653869 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4126455025 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21169] ppid=21159 vsize=197108 CPUtime=0.61
/proc/21167/task/21169/stat : 21169 (java) S 21159 21159 18968 0 -1 64 4256 0 0 0 55 6 0 0 16 0 9 0 2004653870 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21170] ppid=21159 vsize=197108 CPUtime=0
/proc/21167/task/21170/stat : 21170 (java) S 21159 21159 18968 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2004653870 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21171] ppid=21159 vsize=197108 CPUtime=0
/proc/21167/task/21171/stat : 21171 (java) S 21159 21159 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004653870 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21172] ppid=21159 vsize=197108 CPUtime=0
/proc/21167/task/21172/stat : 21172 (java) S 21159 21159 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2004653872 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21173] ppid=21159 vsize=197108 CPUtime=0.17
/proc/21167/task/21173/stat : 21173 (java) S 21159 21159 18968 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 2004653872 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21174] ppid=21159 vsize=197108 CPUtime=0
/proc/21167/task/21174/stat : 21174 (java) S 21159 21159 18968 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2004653873 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21175] ppid=21159 vsize=197108 CPUtime=0
/proc/21167/task/21175/stat : 21175 (java) S 21159 21159 18968 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2004653873 201838592 7449 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7021 s]
/proc/loadavg: 2.00 1.97 1.99 3/95 21187
/proc/meminfo: memFree=1481488/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
[pid=21167] ppid=21159 vsize=197432 CPUtime=5.9
/proc/21167/stat : 21167 (java) S 21159 21159 18968 0 -1 0 11415 0 1 0 574 16 0 0 18 0 10 0 2004653868 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21167/statm: 49358 9344 2543 9 0 43941 0
[pid=21177] ppid=21167 vsize=5356 CPUtime=0
/proc/21177/stat : 21177 (abscon) S 21167 21159 18968 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2004654467 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 237 196 169 0 50 0
[pid=21178] ppid=21177 vsize=654944 CPUtime=4.28
/proc/21178/stat : 21178 (java) S 21177 21159 18968 0 -1 0 27793 0 1 0 413 15 0 0 18 0 9 0 2004654468 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21178/statm: 163736 27105 2613 9 0 158264 0
[pid=21178/tid=21180] ppid=21177 vsize=654944 CPUtime=3.68
/proc/21178/task/21180/stat : 21180 (java) R 21177 21159 18968 0 -1 64 12530 0 1 0 361 7 0 0 25 0 9 0 2004654469 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4126790772 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21181] ppid=21177 vsize=654944 CPUtime=0.38
/proc/21178/task/21181/stat : 21181 (java) S 21177 21159 18968 0 -1 64 14334 0 0 0 33 5 0 0 16 0 9 0 2004654470 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21182] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21182/stat : 21182 (java) S 21177 21159 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004654470 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21183] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21183/stat : 21183 (java) S 21177 21159 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004654470 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21184] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21184/stat : 21184 (java) S 21177 21159 18968 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004654472 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21185] ppid=21177 vsize=654944 CPUtime=0.18
/proc/21178/task/21185/stat : 21185 (java) S 21177 21159 18968 0 -1 64 383 0 0 0 18 0 0 0 15 0 9 0 2004654472 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21186] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21186/stat : 21186 (java) S 21177 21159 18968 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004654472 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21187] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21187/stat : 21187 (java) S 21177 21159 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004654472 670662656 27105 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21179] ppid=21177 vsize=7044 CPUtime=0
/proc/21179/stat : 21179 (translate) S 21177 21159 18968 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004654468 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 227848978514 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/21179/statm: 1761 213 182 1 0 41 0
[pid=21167/tid=21168] ppid=21159 vsize=197432 CPUtime=4.8
/proc/21167/task/21168/stat : 21168 (java) S 21159 21159 18968 0 -1 64 3859 0 1 0 475 5 0 0 25 0 10 0 2004653869 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21167/tid=21169] ppid=21159 vsize=197432 CPUtime=0.87
/proc/21167/task/21169/stat : 21169 (java) S 21159 21159 18968 0 -1 64 6113 0 0 0 78 9 0 0 16 0 10 0 2004653870 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21170] ppid=21159 vsize=197432 CPUtime=0
/proc/21167/task/21170/stat : 21170 (java) S 21159 21159 18968 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004653870 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21171] ppid=21159 vsize=197432 CPUtime=0
/proc/21167/task/21171/stat : 21171 (java) S 21159 21159 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2004653870 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21172] ppid=21159 vsize=197432 CPUtime=0
/proc/21167/task/21172/stat : 21172 (java) S 21159 21159 18968 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2004653872 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21173] ppid=21159 vsize=197432 CPUtime=0.19
/proc/21167/task/21173/stat : 21173 (java) S 21159 21159 18968 0 -1 64 643 0 0 0 19 0 0 0 16 0 10 0 2004653872 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21174] ppid=21159 vsize=197432 CPUtime=0
/proc/21167/task/21174/stat : 21174 (java) S 21159 21159 18968 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2004653873 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21175] ppid=21159 vsize=197432 CPUtime=0
/proc/21167/task/21175/stat : 21175 (java) S 21159 21159 18968 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2004653873 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21176] ppid=21159 vsize=197432 CPUtime=0
/proc/21167/task/21176/stat : 21176 (java) S 21159 21159 18968 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2004654467 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 870136
[startup+25.5033 s]
/proc/loadavg: 2.07 1.99 1.99 3/95 21187
/proc/meminfo: memFree=1481424/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
[pid=21167] ppid=21159 vsize=197432 CPUtime=5.9
/proc/21167/stat : 21167 (java) S 21159 21159 18968 0 -1 0 11422 0 1 0 574 16 0 0 18 0 10 0 2004653868 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21167/statm: 49358 9344 2543 9 0 43941 0
[pid=21177] ppid=21167 vsize=5356 CPUtime=0
/proc/21177/stat : 21177 (abscon) S 21167 21159 18968 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 2004654467 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21177/statm: 1339 237 196 169 0 50 0
[pid=21178] ppid=21177 vsize=654944 CPUtime=17.07
/proc/21178/stat : 21178 (java) S 21177 21159 18968 0 -1 0 27821 0 1 0 1692 15 0 0 18 0 9 0 2004654468 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/21178/statm: 163736 27123 2613 9 0 158264 0
[pid=21178/tid=21180] ppid=21177 vsize=654944 CPUtime=16.45
/proc/21178/task/21180/stat : 21180 (java) R 21177 21159 18968 0 -1 64 12531 0 1 0 1637 8 0 0 25 0 9 0 2004654469 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4126790121 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21181] ppid=21177 vsize=654944 CPUtime=0.38
/proc/21178/task/21181/stat : 21181 (java) S 21177 21159 18968 0 -1 64 14334 0 0 0 33 5 0 0 17 0 9 0 2004654470 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21182] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21182/stat : 21182 (java) S 21177 21159 18968 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2004654470 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21183] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21183/stat : 21183 (java) S 21177 21159 18968 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2004654470 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21184] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21184/stat : 21184 (java) S 21177 21159 18968 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2004654472 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21185] ppid=21177 vsize=654944 CPUtime=0.21
/proc/21178/task/21185/stat : 21185 (java) S 21177 21159 18968 0 -1 64 410 0 0 0 21 0 0 0 17 0 9 0 2004654472 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21186] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21186/stat : 21186 (java) S 21177 21159 18968 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2004654472 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21178/tid=21187] ppid=21177 vsize=654944 CPUtime=0
/proc/21178/task/21187/stat : 21187 (java) S 21177 21159 18968 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2004654472 670662656 27123 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21179] ppid=21177 vsize=7044 CPUtime=0
/proc/21179/stat : 21179 (translate) S 21177 21159 18968 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2004654468 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 227848978514 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/21179/statm: 1761 213 182 1 0 41 0
[pid=21167/tid=21168] ppid=21159 vsize=197432 CPUtime=4.8
/proc/21167/task/21168/stat : 21168 (java) S 21159 21159 18968 0 -1 64 3859 0 1 0 475 5 0 0 25 0 10 0 2004653869 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21167/tid=21169] ppid=21159 vsize=197432 CPUtime=0.87
/proc/21167/task/21169/stat : 21169 (java) S 21159 21159 18968 0 -1 64 6113 0 0 0 78 9 0 0 16 0 10 0 2004653870 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21170] ppid=21159 vsize=197432 CPUtime=0
/proc/21167/task/21170/stat : 21170 (java) S 21159 21159 18968 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2004653870 202170368 9344 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/21167/task/21189/stat : 21189 (java) S 21159 21159 18968 0 -1 64 50 28400 0 1 0 0 32442 18 17 0 10 0 2004686946 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.35
Current children cumulated vsize (KiB) 228236
[startup+1722.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/94 21268
/proc/meminfo: memFree=1658904/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
[pid=21167] ppid=21159 vsize=197756 CPUtime=330.51
/proc/21167/stat : 21167 (java) S 21159 21159 18968 0 -1 0 11572 28400 1 1 574 17 32442 18 18 0 10 0 2004653868 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21167/statm: 49439 9350 2544 9 0 44022 0
[pid=21190] ppid=21167 vsize=5356 CPUtime=0
/proc/21190/stat : 21190 (mistral) S 21167 21159 18968 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2004686946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21190/statm: 1339 236 196 169 0 50 0
[pid=21191] ppid=21190 vsize=19764 CPUtime=1388.45
/proc/21191/stat : 21191 (xsolve) R 21190 21159 18968 0 -1 4194304 4284 0 0 0 138839 6 0 0 25 0 1 0 2004686947 20238336 4248 996147200 134512640 135239763 4294955952 18446744073709551615 135095110 0 4 0 0 0 0 0 17 0 0 0
/proc/21191/statm: 4941 4248 393 177 0 3844 0
[pid=21167/tid=21168] ppid=21159 vsize=197756 CPUtime=329.4
/proc/21167/task/21168/stat : 21168 (java) S 21159 21159 18968 0 -1 64 3938 28400 1 1 475 5 32442 18 16 0 10 0 2004653869 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21167/tid=21169] ppid=21159 vsize=197756 CPUtime=325.47
/proc/21167/task/21169/stat : 21169 (java) S 21159 21159 18968 0 -1 64 6125 28400 0 1 78 9 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21167/tid=21170] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21170/stat : 21170 (java) S 21159 21159 18968 0 -1 64 11 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21171] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21171/stat : 21171 (java) S 21159 21159 18968 0 -1 64 5 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21172] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21172/stat : 21172 (java) S 21159 21159 18968 0 -1 64 1 28400 0 1 0 0 32442 18 18 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21173] ppid=21159 vsize=197756 CPUtime=324.79
/proc/21167/task/21173/stat : 21173 (java) S 21159 21159 18968 0 -1 64 643 28400 0 1 19 0 32442 18 16 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21174] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21174/stat : 21174 (java) S 21159 21159 18968 0 -1 64 0 28400 0 1 0 0 32442 18 19 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21175] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21175/stat : 21175 (java) S 21159 21159 18968 0 -1 64 18 28400 0 1 0 0 32442 18 15 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21189] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21189/stat : 21189 (java) S 21159 21159 18968 0 -1 64 50 28400 0 1 0 0 32442 18 17 0 10 0 2004686946 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.32
Current children cumulated vsize (KiB) 228236
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/94 21268
/proc/meminfo: memFree=1658712/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
[pid=21167] ppid=21159 vsize=197756 CPUtime=330.51
/proc/21167/stat : 21167 (java) S 21159 21159 18968 0 -1 0 11572 28400 1 1 574 17 32442 18 18 0 10 0 2004653868 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21167/statm: 49439 9350 2544 9 0 44022 0
[pid=21190] ppid=21167 vsize=5356 CPUtime=0
/proc/21190/stat : 21190 (mistral) S 21167 21159 18968 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2004686946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21190/statm: 1339 236 196 169 0 50 0
[pid=21191] ppid=21190 vsize=19764 CPUtime=1448.42
/proc/21191/stat : 21191 (xsolve) R 21190 21159 18968 0 -1 4194304 4284 0 0 0 144836 6 0 0 25 0 1 0 2004686947 20238336 4248 996147200 134512640 135239763 4294955952 18446744073709551615 134820073 0 4 0 0 0 0 0 17 0 0 0
/proc/21191/statm: 4941 4248 393 177 0 3844 0
[pid=21167/tid=21168] ppid=21159 vsize=197756 CPUtime=329.4
/proc/21167/task/21168/stat : 21168 (java) S 21159 21159 18968 0 -1 64 3938 28400 1 1 475 5 32442 18 16 0 10 0 2004653869 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21167/tid=21169] ppid=21159 vsize=197756 CPUtime=325.47
/proc/21167/task/21169/stat : 21169 (java) S 21159 21159 18968 0 -1 64 6125 28400 0 1 78 9 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21167/tid=21170] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21170/stat : 21170 (java) S 21159 21159 18968 0 -1 64 11 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21171] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21171/stat : 21171 (java) S 21159 21159 18968 0 -1 64 5 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21172] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21172/stat : 21172 (java) S 21159 21159 18968 0 -1 64 1 28400 0 1 0 0 32442 18 18 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21173] ppid=21159 vsize=197756 CPUtime=324.79
/proc/21167/task/21173/stat : 21173 (java) S 21159 21159 18968 0 -1 64 643 28400 0 1 19 0 32442 18 16 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21174] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21174/stat : 21174 (java) S 21159 21159 18968 0 -1 64 0 28400 0 1 0 0 32442 18 19 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21175] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21175/stat : 21175 (java) R 21159 21159 18968 0 -1 64 18 28400 0 1 0 0 32442 18 15 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21189] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21189/stat : 21189 (java) S 21159 21159 18968 0 -1 64 50 28400 0 1 0 0 32442 18 17 0 10 0 2004686946 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.29
Current children cumulated vsize (KiB) 228236
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.1 s]
/proc/loadavg: 2.09 2.03 2.00 3/94 21268
/proc/meminfo: memFree=1658712/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
[pid=21167] ppid=21159 vsize=197756 CPUtime=330.51
/proc/21167/stat : 21167 (java) S 21159 21159 18968 0 -1 0 11572 28400 1 1 574 17 32442 18 18 0 10 0 2004653868 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21167/statm: 49439 9350 2544 9 0 44022 0
[pid=21190] ppid=21167 vsize=5356 CPUtime=0
/proc/21190/stat : 21190 (mistral) S 21167 21159 18968 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2004686946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21190/statm: 1339 236 196 169 0 50 0
[pid=21191] ppid=21190 vsize=19764 CPUtime=1467.21
/proc/21191/stat : 21191 (xsolve) R 21190 21159 18968 0 -1 4194304 4284 0 0 0 146715 6 0 0 25 0 1 0 2004686947 20238336 4248 996147200 134512640 135239763 4294955952 18446744073709551615 135095120 0 4 0 0 0 0 0 17 0 0 0
/proc/21191/statm: 4941 4248 393 177 0 3844 0
[pid=21167/tid=21168] ppid=21159 vsize=197756 CPUtime=329.4
/proc/21167/task/21168/stat : 21168 (java) S 21159 21159 18968 0 -1 64 3938 28400 1 1 475 5 32442 18 16 0 10 0 2004653869 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21167/tid=21169] ppid=21159 vsize=197756 CPUtime=325.47
/proc/21167/task/21169/stat : 21169 (java) S 21159 21159 18968 0 -1 64 6125 28400 0 1 78 9 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21167/tid=21170] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21170/stat : 21170 (java) S 21159 21159 18968 0 -1 64 11 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21171] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21171/stat : 21171 (java) S 21159 21159 18968 0 -1 64 5 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21172] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21172/stat : 21172 (java) S 21159 21159 18968 0 -1 64 1 28400 0 1 0 0 32442 18 18 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21173] ppid=21159 vsize=197756 CPUtime=324.79
/proc/21167/task/21173/stat : 21173 (java) S 21159 21159 18968 0 -1 64 643 28400 0 1 19 0 32442 18 16 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21174] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21174/stat : 21174 (java) S 21159 21159 18968 0 -1 64 0 28400 0 1 0 0 32442 18 19 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21175] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21175/stat : 21175 (java) S 21159 21159 18968 0 -1 64 18 28400 0 1 0 0 32442 18 15 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21189] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21189/stat : 21189 (java) S 21159 21159 18968 0 -1 64 50 28400 0 1 0 0 32442 18 17 0 10 0 2004686946 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 228236
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1801.1 s]
/proc/loadavg: 2.09 2.03 2.00 3/94 21268
/proc/meminfo: memFree=1658712/2055920 swapFree=4180540/4192956
[pid=21159] ppid=21157 vsize=5360 CPUtime=2.36
/proc/21159/stat : 21159 (hydra) S 21157 21159 18968 0 -1 4194304 375 4904 0 0 0 0 233 3 20 0 1 0 2004653627 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 227848807236 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21159/statm: 1340 238 196 169 0 51 0
[pid=21167] ppid=21159 vsize=197756 CPUtime=330.51
/proc/21167/stat : 21167 (java) S 21159 21159 18968 0 -1 0 11572 28400 1 1 574 17 32442 18 18 0 10 0 2004653868 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21167/statm: 49439 9350 2544 9 0 44022 0
[pid=21190] ppid=21167 vsize=5356 CPUtime=0
/proc/21190/stat : 21190 (mistral) S 21167 21159 18968 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 2004686946 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 227848807236 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/21190/statm: 1339 236 196 169 0 50 0
[pid=21191] ppid=21190 vsize=19764 CPUtime=1467.21
/proc/21191/stat : 21191 (xsolve) R 21190 21159 18968 0 -1 4194304 4284 0 0 0 146715 6 0 0 25 0 1 0 2004686947 20238336 4248 996147200 134512640 135239763 4294955952 18446744073709551615 135095120 0 4 0 0 0 0 0 17 0 0 0
/proc/21191/statm: 4941 4248 393 177 0 3844 0
[pid=21167/tid=21168] ppid=21159 vsize=197756 CPUtime=329.4
/proc/21167/task/21168/stat : 21168 (java) S 21159 21159 18968 0 -1 64 3938 28400 1 1 475 5 32442 18 16 0 10 0 2004653869 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=21167/tid=21169] ppid=21159 vsize=197756 CPUtime=325.47
/proc/21167/task/21169/stat : 21169 (java) S 21159 21159 18968 0 -1 64 6125 28400 0 1 78 9 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21167/tid=21170] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21170/stat : 21170 (java) S 21159 21159 18968 0 -1 64 11 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21171] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21171/stat : 21171 (java) S 21159 21159 18968 0 -1 64 5 28400 0 1 0 0 32442 18 16 0 10 0 2004653870 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21172] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21172/stat : 21172 (java) S 21159 21159 18968 0 -1 64 1 28400 0 1 0 0 32442 18 18 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21173] ppid=21159 vsize=197756 CPUtime=324.79
/proc/21167/task/21173/stat : 21173 (java) S 21159 21159 18968 0 -1 64 643 28400 0 1 19 0 32442 18 16 0 10 0 2004653872 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21174] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21174/stat : 21174 (java) S 21159 21159 18968 0 -1 64 0 28400 0 1 0 0 32442 18 19 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21175] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21175/stat : 21175 (java) S 21159 21159 18968 0 -1 64 18 28400 0 1 0 0 32442 18 15 0 10 0 2004653873 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21167/tid=21189] ppid=21159 vsize=197756 CPUtime=324.6
/proc/21167/task/21189/stat : 21189 (java) S 21159 21159 18968 0 -1 64 50 28400 0 1 0 0 32442 18 17 0 10 0 2004686946 202502144 9350 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 228236
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21159 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=335644
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 2.37264
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.13
CPU time (s): 1800.08
CPU user time (s): 1799.64
CPU system time (s): 0.44
CPU usage (%): 99.9418
Max. virtual memory (cumulated for all children) (KiB): 870136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33564
system time used= 0.036994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 61
runsolver used 3.17152 second user time and 8.05678 second system time
The end