0.00/0.00 c cpHydra_k_10 version 0.0
8.08/8.28 c CASE TO CLASSIFY:
8.08/8.28 c Case: 0
8.08/8.29 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.059300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.490600 | c 14 > 11.740600 | c 11 > 4.807350 | c 12 > 10.627300 | 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.30 c choco : 1801.0
8.08/8.30 c mistral : 1801.0
8.08/8.30 c abscon : 1801.0
8.08/8.30 c
8.08/8.30 c
8.17/8.37 c List of same ones: 10
8.17/8.37 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28/rand-3-28-28-93-632-46_ext.xml
8.17/8.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.17/8.38 c choco : 1801.0
8.17/8.38 c mistral : 81.2966
8.17/8.38 c abscon : 1800.06
8.17/8.38 c
8.17/8.38 c
8.17/8.38 c /home/eomahony/cpZilla/CSP/random/rand-3-28-28-fcd/rand-3-28-28-93-632-fcd-23_ext.xml
8.17/8.38 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.17/8.39 c choco : 1801.0
8.17/8.39 c mistral : 84.17
8.17/8.39 c abscon : 1800.06
8.17/8.39 c
8.17/8.39 c
8.17/8.39 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
8.17/8.39 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.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.27/8.40 c choco : 1801.0
8.27/8.40 c mistral : 699.298
8.27/8.40 c abscon : 1438.19
8.27/8.40 c
8.27/8.40 c
8.27/8.40 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
8.27/8.40 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.27/8.42 c choco : 1801.0
8.27/8.42 c mistral : 1232.27
8.27/8.42 c abscon : 1800.12
8.27/8.42 c
8.27/8.42 c
8.27/8.42 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
8.27/8.42 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.27/8.43 c choco : 1801.0
8.27/8.43 c mistral : 91.53
8.27/8.43 c abscon : 25.5821
8.27/8.43 c
8.27/8.43 c
8.27/8.43 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
8.27/8.43 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.27/8.44 c choco : 1801.0
8.27/8.44 c mistral : 236.79
8.27/8.44 c abscon : 313.039
8.27/8.44 c
8.27/8.44 c
8.27/8.44 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-21_ext.xml
8.27/8.44 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.27/8.44 c choco : 1801.0
8.27/8.44 c mistral : 77.8422
8.27/8.45 c abscon : 622.444
8.27/8.45 c
8.27/8.45 c
8.27/8.45 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-20_ext.xml
8.27/8.45 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.27/8.45 c choco : 1801.0
8.27/8.45 c mistral : 633.91
8.27/8.45 c abscon : 1745.68
8.27/8.45 c
8.27/8.45 c
8.27/8.45 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
8.27/8.45 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.27/8.46 c choco : 1801.0
8.27/8.46 c mistral : 109.18
8.27/8.46 c abscon : 77.3452
8.27/8.46 c
8.27/8.46 c
8.27/8.46 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
8.27/8.46 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.980700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.492000 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.925300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.27/8.47 c choco : 1801.0
8.27/8.47 c mistral : 402.946
8.27/8.47 c abscon : 15.4397
8.27/8.47 c
8.27/8.47 c
8.45/8.69 c Length: 10
8.45/8.69 c 0.545304557105477 0.6883366459080906 0.8454761256238995 0.8518679225678121 0.8586335816283914 0.8592834965830541 0.8598161882053627 0.8703160783876165 0.8860403306283519 0.8867829758740298
8.45/8.69 c
8.45/8.69 c 1.0 0.7047905327799219 0.5321879927285466 0.5269388904819277 0.5214944061296418 0.5209773213657701 0.5205542657804607 0.5123534478893715 0.500544290381283 0.5
8.45/8.69 c
8.45/8.69 c solver 0
8.45/8.69 c before 0.0 seconds: {} 0
8.45/8.69 c before 18.0 seconds: {9} 500
8.45/8.69 c before 36.0 seconds: {4, 9} 1021
8.45/8.69 c before 90.0 seconds: {4, 8, 9} 1522
8.45/8.69 c before 324.0 seconds: {4, 5, 8, 9} 2043
8.45/8.69 c before 630.0 seconds: {4, 5, 6, 8, 9} 2563
8.45/8.69 c before 1440.0 seconds: {2, 4, 5, 6, 8, 9} 3095
8.45/8.69 c before 1746.0 seconds: {2, 4, 5, 6, 7, 8, 9} 3608
8.45/8.69 c
8.45/8.69 c solver 1
8.45/8.69 c before 0.0 seconds: {} 0
8.45/8.69 c before 90.0 seconds: {0, 1, 6} 2225
8.45/8.69 c before 108.0 seconds: {0, 1, 4, 6} 2746
8.45/8.69 c before 126.0 seconds: {0, 1, 4, 6, 8} 3247
8.45/8.69 c before 252.0 seconds: {0, 1, 4, 5, 6, 8} 3768
8.45/8.69 c before 414.0 seconds: {0, 1, 4, 5, 6, 8, 9} 4268
8.45/8.69 c before 648.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9} 4780
8.45/8.69 c before 702.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5312
8.45/8.69 c before 1242.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5839
8.45/8.69 c
8.45/8.69 c solver 2
8.45/8.69 c before 0.0 seconds: {} 0
8.45/8.69 c
8.45/8.69 cTotal time: 166
8.54/8.70 c run abscon for 324.0 seconds {4, 5, 8, 9} 2043
8.54/8.70 c run mistral for 1242.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5839
8.54/8.70 c do not run choco
8.54/8.70 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.54/8.70 c On Instance: HOME/instance-1058606-1215116570.xml
8.54/8.70 c Running for: 324 seconds
333.24/339.92 c Starting solver: HOME/cpHydra_k_10/solver/mistral
333.24/339.92 c On Instance: HOME/instance-1058606-1215116570.xml
333.24/339.92 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-1058606-1215116570/watcher-1058606-1215116570 -o /tmp/evaluation-result-1058606-1215116570/solver-1058606-1215116570 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1058606-1215116570.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.97 1.99 4/74 24598
/proc/meminfo: memFree=1588392/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=18572 CPUtime=0
/proc/24598/stat : 24598 (runsolver) R 24596 24598 23730 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1990631467 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/24598/statm: 4643 292 257 25 0 2626 0
[startup+0.107671 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 24598
/proc/meminfo: memFree=1588392/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=0
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990631467 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202686 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 24598
/proc/meminfo: memFree=1588392/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=0
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990631467 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302703 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 24598
/proc/meminfo: memFree=1588392/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=0
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990631467 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702783 s]
/proc/loadavg: 1.91 1.97 1.99 4/74 24598
/proc/meminfo: memFree=1588392/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=0
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990631467 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50192 s]
/proc/loadavg: 1.91 1.97 1.99 3/76 24602
/proc/meminfo: memFree=1571928/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=0
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1990631467 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 236 195 169 0 51 0
[pid=24602] ppid=24598 vsize=19760 CPUtime=1.46
/proc/24602/stat : 24602 (xsolve) R 24598 24598 23730 0 -1 4194304 4307 0 0 0 143 3 0 0 25 0 1 0 1990631468 20234240 4266 996147200 134512640 135239763 4294956176 18446744073709551615 135013616 0 0 4096 0 0 0 0 17 1 0 0
/proc/24602/statm: 4940 4266 412 177 0 3843 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 25120
[startup+3.10123 s]
/proc/loadavg: 1.91 1.97 1.99 3/76 24602
/proc/meminfo: memFree=1572760/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 5360
[startup+6.30284 s]
/proc/loadavg: 1.92 1.97 1.99 3/84 24614
/proc/meminfo: memFree=1571288/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
[pid=24606] ppid=24598 vsize=197092 CPUtime=3.81
/proc/24606/stat : 24606 (java) S 24598 24598 23730 0 -1 0 9025 0 1 0 368 13 0 0 18 0 9 0 1990631711 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24606/statm: 49273 7477 2540 9 0 43856 0
[pid=24606/tid=24607] ppid=24598 vsize=197092 CPUtime=2.92
/proc/24606/task/24607/stat : 24607 (java) R 24598 24598 23730 0 -1 64 3388 0 1 0 288 4 0 0 25 0 9 0 1990631712 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4126439443 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24608] ppid=24598 vsize=197092 CPUtime=0.69
/proc/24606/task/24608/stat : 24608 (java) S 24598 24598 23730 0 -1 64 4287 0 0 0 62 7 0 0 16 0 9 0 1990631713 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24609] ppid=24598 vsize=197092 CPUtime=0
/proc/24606/task/24609/stat : 24609 (java) S 24598 24598 23730 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1990631713 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24610] ppid=24598 vsize=197092 CPUtime=0
/proc/24606/task/24610/stat : 24610 (java) S 24598 24598 23730 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990631713 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24611] ppid=24598 vsize=197092 CPUtime=0
/proc/24606/task/24611/stat : 24611 (java) S 24598 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1990631716 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24612] ppid=24598 vsize=197092 CPUtime=0.17
/proc/24606/task/24612/stat : 24612 (java) S 24598 24598 23730 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1990631716 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24613] ppid=24598 vsize=197092 CPUtime=0
/proc/24606/task/24613/stat : 24613 (java) S 24598 24598 23730 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1990631716 201822208 7477 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24614] ppid=24598 vsize=197092 CPUtime=0
/proc/24606/task/24614/stat : 24614 (java) S 24598 24598 23730 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1990631716 201822208 7477 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) 202452
[startup+12.702 s]
/proc/loadavg: 2.01 1.98 1.99 3/96 24626
/proc/meminfo: memFree=1461688/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
[pid=24606] ppid=24598 vsize=197416 CPUtime=6.16
/proc/24606/stat : 24606 (java) S 24598 24598 23730 0 -1 0 13864 0 1 0 596 20 0 0 18 0 10 0 1990631711 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24606/statm: 49354 9387 2543 9 0 43937 0
[pid=24616] ppid=24606 vsize=5356 CPUtime=0
/proc/24616/stat : 24616 (abscon) S 24606 24598 23730 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1990632337 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24616/statm: 1339 237 196 169 0 50 0
[pid=24617] ppid=24616 vsize=654872 CPUtime=3.89
/proc/24617/stat : 24617 (java) S 24616 24598 23730 0 -1 0 27707 0 1 0 372 17 0 0 18 0 9 0 1990632338 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24617/statm: 163718 27020 2613 9 0 158246 0
[pid=24617/tid=24619] ppid=24616 vsize=654872 CPUtime=3.19
/proc/24617/task/24619/stat : 24619 (java) R 24616 24598 23730 0 -1 64 12529 0 1 0 310 9 0 0 25 0 9 0 1990632339 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4126790628 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24620] ppid=24616 vsize=654872 CPUtime=0.46
/proc/24617/task/24620/stat : 24620 (java) S 24616 24598 23730 0 -1 64 14250 0 0 0 40 6 0 0 17 0 9 0 1990632340 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24621] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24621/stat : 24621 (java) S 24616 24598 23730 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1990632340 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24622] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24622/stat : 24622 (java) S 24616 24598 23730 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990632341 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24623] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24623/stat : 24623 (java) S 24616 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990632342 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24617/tid=24624] ppid=24616 vsize=654872 CPUtime=0.2
/proc/24617/task/24624/stat : 24624 (java) S 24616 24598 23730 0 -1 64 382 0 0 0 20 0 0 0 15 0 9 0 1990632342 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24625] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24625/stat : 24625 (java) S 24616 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1990632343 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24617/tid=24626] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24626/stat : 24626 (java) S 24616 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990632343 670588928 27020 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24618] ppid=24616 vsize=7044 CPUtime=0
/proc/24618/stat : 24618 (translate) S 24616 24598 23730 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1990632338 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/24618/statm: 1761 213 182 1 0 41 0
[pid=24606/tid=24607] ppid=24598 vsize=197416 CPUtime=4.72
/proc/24606/task/24607/stat : 24607 (java) S 24598 24598 23730 0 -1 64 3852 0 1 0 467 5 0 0 25 0 10 0 1990631712 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24606/tid=24608] ppid=24598 vsize=197416 CPUtime=1.19
/proc/24606/task/24608/stat : 24608 (java) S 24598 24598 23730 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1990631713 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24609] ppid=24598 vsize=197416 CPUtime=0
/proc/24606/task/24609/stat : 24609 (java) S 24598 24598 23730 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990631713 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24610] ppid=24598 vsize=197416 CPUtime=0
/proc/24606/task/24610/stat : 24610 (java) S 24598 24598 23730 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990631713 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24611] ppid=24598 vsize=197416 CPUtime=0
/proc/24606/task/24611/stat : 24611 (java) S 24598 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1990631716 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24612] ppid=24598 vsize=197416 CPUtime=0.21
/proc/24606/task/24612/stat : 24612 (java) S 24598 24598 23730 0 -1 64 642 0 0 0 20 1 0 0 15 0 10 0 1990631716 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24613] ppid=24598 vsize=197416 CPUtime=0
/proc/24606/task/24613/stat : 24613 (java) S 24598 24598 23730 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1990631716 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24614] ppid=24598 vsize=197416 CPUtime=0
/proc/24606/task/24614/stat : 24614 (java) S 24598 24598 23730 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1990631716 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24615] ppid=24598 vsize=197416 CPUtime=0
/proc/24606/task/24615/stat : 24615 (java) S 24598 24598 23730 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1990632337 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 870048
[startup+25.5034 s]
/proc/loadavg: 2.00 1.98 1.99 3/96 24626
/proc/meminfo: memFree=1461560/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
[pid=24606] ppid=24598 vsize=197416 CPUtime=6.16
/proc/24606/stat : 24606 (java) S 24598 24598 23730 0 -1 0 13871 0 1 0 596 20 0 0 18 0 10 0 1990631711 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24606/statm: 49354 9387 2543 9 0 43937 0
[pid=24616] ppid=24606 vsize=5356 CPUtime=0
/proc/24616/stat : 24616 (abscon) S 24606 24598 23730 0 -1 4194304 305 0 0 0 0 0 0 0 25 0 1 0 1990632337 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24616/statm: 1339 237 196 169 0 50 0
[pid=24617] ppid=24616 vsize=654872 CPUtime=16.44
/proc/24617/stat : 24617 (java) S 24616 24598 23730 0 -1 0 27732 0 1 0 1626 18 0 0 18 0 9 0 1990632338 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/24617/statm: 163718 27036 2613 9 0 158246 0
[pid=24617/tid=24619] ppid=24616 vsize=654872 CPUtime=15.7
/proc/24617/task/24619/stat : 24619 (java) R 24616 24598 23730 0 -1 64 12534 0 1 0 1561 9 0 0 25 0 9 0 1990632339 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4126790716 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24620] ppid=24616 vsize=654872 CPUtime=0.46
/proc/24617/task/24620/stat : 24620 (java) S 24616 24598 23730 0 -1 64 14250 0 0 0 40 6 0 0 16 0 9 0 1990632340 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=24617/tid=24621] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24621/stat : 24621 (java) S 24616 24598 23730 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1990632340 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24622] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24622/stat : 24622 (java) S 24616 24598 23730 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990632341 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24623] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24623/stat : 24623 (java) S 24616 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990632342 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24617/tid=24624] ppid=24616 vsize=654872 CPUtime=0.24
/proc/24617/task/24624/stat : 24624 (java) S 24616 24598 23730 0 -1 64 402 0 0 0 24 0 0 0 16 0 9 0 1990632342 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24617/tid=24625] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24625/stat : 24625 (java) S 24616 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1990632343 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24617/tid=24626] ppid=24616 vsize=654872 CPUtime=0
/proc/24617/task/24626/stat : 24626 (java) S 24616 24598 23730 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990632343 670588928 27036 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=24618] ppid=24616 vsize=7044 CPUtime=0
/proc/24618/stat : 24618 (translate) S 24616 24598 23730 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1990632338 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 255236735058 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/24618/statm: 1761 213 182 1 0 41 0
[pid=24606/tid=24607] ppid=24598 vsize=197416 CPUtime=4.72
/proc/24606/task/24607/stat : 24607 (java) S 24598 24598 23730 0 -1 64 3852 0 1 0 467 5 0 0 25 0 10 0 1990631712 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24606/tid=24608] ppid=24598 vsize=197416 CPUtime=1.19
/proc/24606/task/24608/stat : 24608 (java) S 24598 24598 23730 0 -1 64 8570 0 0 0 107 12 0 0 16 0 10 0 1990631713 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24609] ppid=24598 vsize=197416 CPUtime=0
/proc/24606/task/24609/stat : 24609 (java) S 24598 24598 23730 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1990631713 202153984 9387 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/24606/task/24628/stat : 24628 (java) S 24598 24598 23730 0 -1 64 51 28320 0 1 0 0 32452 20 18 0 10 0 1990665459 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.56
Current children cumulated vsize (KiB) 228220
[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/85 24661
/proc/meminfo: memFree=1577800/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
[pid=24606] ppid=24598 vsize=197740 CPUtime=330.89
/proc/24606/stat : 24606 (java) S 24598 24598 23730 0 -1 0 14024 28320 1 1 596 21 32452 20 18 0 10 0 1990631711 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24606/statm: 49435 9393 2544 9 0 44018 0
[pid=24629] ppid=24606 vsize=5356 CPUtime=0
/proc/24629/stat : 24629 (mistral) S 24606 24598 23730 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1990665459 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24629/statm: 1339 236 196 169 0 50 0
[pid=24630] ppid=24629 vsize=19764 CPUtime=1318.26
/proc/24630/stat : 24630 (xsolve) R 24629 24598 23730 0 -1 4194304 4285 0 0 0 131822 4 0 0 25 0 1 0 1990665461 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 134819917 0 4 0 0 0 0 0 17 0 0 0
/proc/24630/statm: 4941 4249 393 177 0 3844 0
[pid=24606/tid=24607] ppid=24598 vsize=197740 CPUtime=329.44
/proc/24606/task/24607/stat : 24607 (java) S 24598 24598 23730 0 -1 64 3931 28320 1 1 467 5 32452 20 16 0 10 0 1990631712 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24606/tid=24608] ppid=24598 vsize=197740 CPUtime=325.91
/proc/24606/task/24608/stat : 24608 (java) S 24598 24598 23730 0 -1 64 8584 28320 0 1 107 12 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24609] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24609/stat : 24609 (java) S 24598 24598 23730 0 -1 64 11 28320 0 1 0 0 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24610] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24610/stat : 24610 (java) S 24598 24598 23730 0 -1 64 5 28320 0 1 0 0 32452 20 15 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24611] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24611/stat : 24611 (java) S 24598 24598 23730 0 -1 64 1 28320 0 1 0 0 32452 20 18 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24612] ppid=24598 vsize=197740 CPUtime=324.93
/proc/24606/task/24612/stat : 24612 (java) S 24598 24598 23730 0 -1 64 642 28320 0 1 20 1 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24613] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24613/stat : 24613 (java) S 24598 24598 23730 0 -1 64 0 28320 0 1 0 0 32452 20 19 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24614] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24614/stat : 24614 (java) S 24598 24598 23730 0 -1 64 18 28320 0 1 0 0 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24628] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24628/stat : 24628 (java) S 24598 24598 23730 0 -1 64 51 28320 0 1 0 0 32452 20 18 0 10 0 1990665459 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.54
Current children cumulated vsize (KiB) 228220
[startup+1722.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/85 24661
/proc/meminfo: memFree=1577800/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
[pid=24606] ppid=24598 vsize=197740 CPUtime=330.89
/proc/24606/stat : 24606 (java) S 24598 24598 23730 0 -1 0 14024 28320 1 1 596 21 32452 20 18 0 10 0 1990631711 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24606/statm: 49435 9393 2544 9 0 44018 0
[pid=24629] ppid=24606 vsize=5356 CPUtime=0
/proc/24629/stat : 24629 (mistral) S 24606 24598 23730 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1990665459 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24629/statm: 1339 236 196 169 0 50 0
[pid=24630] ppid=24629 vsize=19764 CPUtime=1378.23
/proc/24630/stat : 24630 (xsolve) R 24629 24598 23730 0 -1 4194304 4285 0 0 0 137819 4 0 0 25 0 1 0 1990665461 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 135013675 0 4 0 0 0 0 0 17 0 0 0
/proc/24630/statm: 4941 4249 393 177 0 3844 0
[pid=24606/tid=24607] ppid=24598 vsize=197740 CPUtime=329.44
/proc/24606/task/24607/stat : 24607 (java) S 24598 24598 23730 0 -1 64 3931 28320 1 1 467 5 32452 20 16 0 10 0 1990631712 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24606/tid=24608] ppid=24598 vsize=197740 CPUtime=325.91
/proc/24606/task/24608/stat : 24608 (java) S 24598 24598 23730 0 -1 64 8584 28320 0 1 107 12 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24609] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24609/stat : 24609 (java) S 24598 24598 23730 0 -1 64 11 28320 0 1 0 0 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24610] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24610/stat : 24610 (java) S 24598 24598 23730 0 -1 64 5 28320 0 1 0 0 32452 20 15 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24611] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24611/stat : 24611 (java) S 24598 24598 23730 0 -1 64 1 28320 0 1 0 0 32452 20 18 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24612] ppid=24598 vsize=197740 CPUtime=324.93
/proc/24606/task/24612/stat : 24612 (java) S 24598 24598 23730 0 -1 64 642 28320 0 1 20 1 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24613] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24613/stat : 24613 (java) S 24598 24598 23730 0 -1 64 0 28320 0 1 0 0 32452 20 19 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24614] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24614/stat : 24614 (java) S 24598 24598 23730 0 -1 64 18 28320 0 1 0 0 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24628] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24628/stat : 24628 (java) S 24598 24598 23730 0 -1 64 51 28320 0 1 0 0 32452 20 18 0 10 0 1990665459 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.51
Current children cumulated vsize (KiB) 228220
[startup+1782.3 s]
/proc/loadavg: 1.99 1.97 1.99 3/85 24661
/proc/meminfo: memFree=1577800/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
[pid=24606] ppid=24598 vsize=197740 CPUtime=330.89
/proc/24606/stat : 24606 (java) S 24598 24598 23730 0 -1 0 14024 28320 1 1 596 21 32452 20 18 0 10 0 1990631711 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24606/statm: 49435 9393 2544 9 0 44018 0
[pid=24629] ppid=24606 vsize=5356 CPUtime=0
/proc/24629/stat : 24629 (mistral) S 24606 24598 23730 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1990665459 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24629/statm: 1339 236 196 169 0 50 0
[pid=24630] ppid=24629 vsize=19764 CPUtime=1438.2
/proc/24630/stat : 24630 (xsolve) R 24629 24598 23730 0 -1 4194304 4285 0 0 0 143816 4 0 0 25 0 1 0 1990665461 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 135103354 0 4 0 0 0 0 0 17 0 0 0
/proc/24630/statm: 4941 4249 393 177 0 3844 0
[pid=24606/tid=24607] ppid=24598 vsize=197740 CPUtime=329.44
/proc/24606/task/24607/stat : 24607 (java) S 24598 24598 23730 0 -1 64 3931 28320 1 1 467 5 32452 20 16 0 10 0 1990631712 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24606/tid=24608] ppid=24598 vsize=197740 CPUtime=325.91
/proc/24606/task/24608/stat : 24608 (java) S 24598 24598 23730 0 -1 64 8584 28320 0 1 107 12 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24609] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24609/stat : 24609 (java) S 24598 24598 23730 0 -1 64 11 28320 0 1 0 0 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24610] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24610/stat : 24610 (java) S 24598 24598 23730 0 -1 64 5 28320 0 1 0 0 32452 20 15 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24611] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24611/stat : 24611 (java) S 24598 24598 23730 0 -1 64 1 28320 0 1 0 0 32452 20 18 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24612] ppid=24598 vsize=197740 CPUtime=324.93
/proc/24606/task/24612/stat : 24612 (java) S 24598 24598 23730 0 -1 64 642 28320 0 1 20 1 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24613] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24613/stat : 24613 (java) S 24598 24598 23730 0 -1 64 0 28320 0 1 0 0 32452 20 19 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24614] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24614/stat : 24614 (java) R 24598 24598 23730 0 -1 64 18 28320 0 1 0 0 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24628] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24628/stat : 24628 (java) S 24598 24598 23730 0 -1 64 51 28320 0 1 0 0 32452 20 18 0 10 0 1990665459 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.48
Current children cumulated vsize (KiB) 228220
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.9 s]
/proc/loadavg: 1.99 1.97 1.99 3/85 24661
/proc/meminfo: memFree=1577800/2055920 swapFree=4180456/4192956
[pid=24598] ppid=24596 vsize=5360 CPUtime=2.39
/proc/24598/stat : 24598 (hydra) S 24596 24598 23730 0 -1 4194304 375 4904 0 0 0 0 235 4 18 0 1 0 1990631467 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/24598/statm: 1340 238 196 169 0 51 0
[pid=24606] ppid=24598 vsize=197740 CPUtime=330.89
/proc/24606/stat : 24606 (java) S 24598 24598 23730 0 -1 0 14024 28320 1 1 596 21 32452 20 18 0 10 0 1990631711 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24606/statm: 49435 9393 2544 9 0 44018 0
[pid=24629] ppid=24606 vsize=5356 CPUtime=0
/proc/24629/stat : 24629 (mistral) S 24606 24598 23730 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1990665459 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 255236563780 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/24629/statm: 1339 236 196 169 0 50 0
[pid=24630] ppid=24629 vsize=19764 CPUtime=1466.79
/proc/24630/stat : 24630 (xsolve) R 24629 24598 23730 0 -1 4194304 4285 0 0 0 146675 4 0 0 25 0 1 0 1990665461 20238336 4249 996147200 134512640 135239763 4294955968 18446744073709551615 134819947 0 4 0 0 0 0 0 17 0 0 0
/proc/24630/statm: 4941 4249 393 177 0 3844 0
[pid=24606/tid=24607] ppid=24598 vsize=197740 CPUtime=329.44
/proc/24606/task/24607/stat : 24607 (java) S 24598 24598 23730 0 -1 64 3931 28320 1 1 467 5 32452 20 16 0 10 0 1990631712 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=24606/tid=24608] ppid=24598 vsize=197740 CPUtime=325.91
/proc/24606/task/24608/stat : 24608 (java) S 24598 24598 23730 0 -1 64 8584 28320 0 1 107 12 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24609] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24609/stat : 24609 (java) S 24598 24598 23730 0 -1 64 11 28320 0 1 0 0 32452 20 16 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24610] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24610/stat : 24610 (java) S 24598 24598 23730 0 -1 64 5 28320 0 1 0 0 32452 20 15 0 10 0 1990631713 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24611] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24611/stat : 24611 (java) S 24598 24598 23730 0 -1 64 1 28320 0 1 0 0 32452 20 18 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24612] ppid=24598 vsize=197740 CPUtime=324.93
/proc/24606/task/24612/stat : 24612 (java) S 24598 24598 23730 0 -1 64 642 28320 0 1 20 1 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24613] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24613/stat : 24613 (java) S 24598 24598 23730 0 -1 64 0 28320 0 1 0 0 32452 20 19 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24614] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24614/stat : 24614 (java) S 24598 24598 23730 0 -1 64 18 28320 0 1 0 0 32452 20 15 0 10 0 1990631716 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24606/tid=24628] ppid=24598 vsize=197740 CPUtime=324.72
/proc/24606/task/24628/stat : 24628 (java) S 24598 24598 23730 0 -1 64 51 28320 0 1 0 0 32452 20 18 0 10 0 1990665459 202485760 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 228220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24598 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=355641
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=46992
# CPU time returned by wait4() is 2.40263
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1810.93
CPU time (s): 1800.07
CPU user time (s): 1799.58
CPU system time (s): 0.49
CPU usage (%): 99.4004
Max. virtual memory (cumulated for all children) (KiB): 870048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.35564
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5279
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33
involuntary context switches= 64
runsolver used 2.99754 second user time and 8.63469 second system time
The end