0.00/0.00 c cpHydra_k_10 version 0.0
7.12/7.22 c CASE TO CLASSIFY:
7.12/7.22 c Case: 0
7.12/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.504000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.952200 | c 14 > 12.211300 | c 11 > 4.584960 | c 12 > 11.293700 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.23 c choco : 1801.0
7.12/7.23 c mistral : 1801.0
7.12/7.23 c abscon : 1801.0
7.12/7.23 c
7.12/7.23 c
7.22/7.30 c List of same ones: 10
7.22/7.30 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.22/7.30 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.982800 | c 14 > 12.188000 | c 11 > 4.584960 | c 12 > 11.415800 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.31 c choco : 1801.0
7.22/7.31 c mistral : 772.763
7.22/7.31 c abscon : 1274.72
7.22/7.31 c
7.22/7.31 c
7.22/7.31 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.22/7.31 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.029500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.902200 | c 14 > 11.847800 | c 11 > 4.584960 | c 12 > 11.158100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.32 c choco : 1801.0
7.22/7.32 c mistral : 40.01
7.22/7.32 c abscon : 320.414
7.22/7.32 c
7.22/7.32 c
7.22/7.32 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.22/7.32 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.050900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.626600 | c 14 > 11.937000 | c 11 > 4.584960 | c 12 > 11.009300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.33 c choco : 1801.0
7.22/7.33 c mistral : 976.11
7.22/7.33 c abscon : 1800.09
7.22/7.33 c
7.22/7.33 c
7.22/7.33 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.22/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.298700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.376100 | c 14 > 12.166500 | c 11 > 4.584960 | c 12 > 10.882100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.33 c choco : 1801.0
7.22/7.33 c mistral : 1487.13
7.22/7.33 c abscon : 1800.05
7.22/7.33 c
7.22/7.33 c
7.22/7.33 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.22/7.33 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.061600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.457500 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.899500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.169930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.34 c choco : 1801.0
7.22/7.34 c mistral : 62.4135
7.22/7.34 c abscon : 1800.14
7.22/7.34 c
7.22/7.34 c
7.22/7.34 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.22/7.34 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.980700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.492000 | c 14 > 11.781800 | c 11 > 4.584960 | c 12 > 10.925300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.35 c choco : 1801.0
7.22/7.35 c mistral : 402.946
7.22/7.35 c abscon : 15.4397
7.22/7.35 c
7.22/7.35 c
7.22/7.35 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-39_ext.xml
7.22/7.35 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.309100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.766300 | c 14 > 12.179000 | c 11 > 4.321930 | c 12 > 11.425500 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 5.882640 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.36 c choco : 1801.0
7.22/7.36 c mistral : 95.35
7.22/7.36 c abscon : 225.117
7.22/7.36 c
7.22/7.36 c
7.22/7.36 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
7.22/7.36 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.319500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.711900 | c 14 > 12.207300 | c 11 > 4.321930 | c 12 > 11.348800 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 5.882640 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.37 c choco : 1801.0
7.22/7.37 c mistral : 19.81
7.22/7.37 c abscon : 89.5534
7.22/7.37 c
7.22/7.37 c
7.22/7.37 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-27_ext.xml
7.22/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.199700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.825100 | c 14 > 12.277600 | c 11 > 4.321930 | c 12 > 11.403900 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 5.906890 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.37 c choco : 1801.0
7.22/7.37 c mistral : 28.63
7.22/7.37 c abscon : 14.7738
7.22/7.37 c
7.22/7.37 c
7.22/7.37 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-25_ext.xml
7.22/7.37 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.451200 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.706000 | c 14 > 12.255300 | c 11 > 4.321930 | c 12 > 11.502000 | c 21 > 4.472140 | c 20 > 0.000000 | c 22 > 4.472140 | 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 > 5.882640 | 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 > 8.643860 | c 31 > -1.000000 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.22/7.38 c choco : 1801.0
7.22/7.38 c mistral : 31.21
7.22/7.38 c abscon : 9.34158
7.22/7.38 c
7.22/7.38 c
7.39/7.57 c Length: 10
7.39/7.57 c 0.20155173554202158 0.6152520232392596 0.684776993188295 0.7395550083665182 0.8867884415124058 0.8976724012689707 1.0019481583395426 1.0038810248231613 1.0104973475967178 1.0107759059257406
7.39/7.57 c
7.39/7.57 c 1.0 0.6617123118574088 0.6261166996817614 0.6006589120962944 0.5414823386731326 0.5375673074845074 0.5027421827303884 0.5021392033448313 0.5000860720339874 0.5
7.39/7.57 c
7.39/7.57 c solver 0
7.39/7.57 c before 0.0 seconds: {} 0
7.39/7.57 c before 18.0 seconds: {5, 8, 9} 1537
7.39/7.57 c before 90.0 seconds: {5, 7, 8, 9} 2039
7.39/7.57 c before 234.0 seconds: {5, 6, 7, 8, 9} 2542
7.39/7.57 c before 324.0 seconds: {1, 5, 6, 7, 8, 9} 3204
7.39/7.58 c before 1278.0 seconds: {0, 1, 5, 6, 7, 8, 9} 4204
7.39/7.58 c
7.39/7.58 c solver 1
7.39/7.58 c before 0.0 seconds: {} 0
7.39/7.58 c before 36.0 seconds: {7, 8, 9} 1502
7.39/7.58 c before 54.0 seconds: {1, 7, 8, 9} 2163
7.39/7.58 c before 72.0 seconds: {1, 4, 7, 8, 9} 2705
7.39/7.58 c before 108.0 seconds: {1, 4, 6, 7, 8, 9} 3208
7.39/7.58 c before 414.0 seconds: {1, 4, 5, 6, 7, 8, 9} 3745
7.39/7.58 c before 774.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9} 4745
7.39/7.58 c before 990.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5371
7.39/7.58 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5972
7.39/7.58 c
7.39/7.58 c solver 2
7.39/7.58 c before 0.0 seconds: {} 0
7.39/7.58 c
7.39/7.58 cTotal time: 154
7.39/7.58 c run abscon for 234.0 seconds {5, 6, 7, 8, 9} 2542
7.39/7.58 c run mistral for 1494.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5972
7.39/7.58 c do not run choco
7.39/7.58 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.39/7.58 c On Instance: HOME/instance-1056789-1215105747.xml
7.39/7.58 c Running for: 234 seconds
241.81/245.34 c Starting solver: HOME/cpHydra_k_10/solver/mistral
241.81/245.34 c On Instance: HOME/instance-1056789-1215105747.xml
241.81/245.34 c Running for: 1494 seconds
1767.77/1778.75 c mistral-prime version 1.313
1767.77/1778.75 s UNSATISFIABLE
1767.77/1778.75 d CHECKS 694204624
1767.77/1778.75 d ASSIGNMENTS 4377022
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056789-1215105747/watcher-1056789-1215105747 -o /tmp/evaluation-result-1056789-1215105747/solver-1056789-1215105747 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1056789-1215105747.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.00 0.00 0.00 4/80 2515
/proc/meminfo: memFree=1603688/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=18572 CPUtime=0
/proc/2515/stat : 2515 (runsolver) R 2513 2515 2460 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 1989549609 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 262910045479 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2515/statm: 4643 292 257 25 0 2626 0
[startup+0.264716 s]
/proc/loadavg: 0.00 0.00 0.00 4/80 2515
/proc/meminfo: memFree=1603688/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=0
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1989549609 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301714 s]
/proc/loadavg: 0.00 0.00 0.00 4/80 2515
/proc/meminfo: memFree=1603688/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=0
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1989549609 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401728 s]
/proc/loadavg: 0.00 0.00 0.00 4/80 2515
/proc/meminfo: memFree=1603688/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=0
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1989549609 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701757 s]
/proc/loadavg: 0.00 0.00 0.00 4/80 2515
/proc/meminfo: memFree=1603688/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=0
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1989549609 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50185 s]
/proc/loadavg: 0.00 0.00 0.00 4/84 2523
/proc/meminfo: memFree=1537544/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=0
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 330 247 0 0 0 0 0 0 18 0 1 0 1989549609 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 236 195 169 0 51 0
[pid=2519] ppid=2515 vsize=12416 CPUtime=1.47
/proc/2519/stat : 2519 (xsolve) R 2515 2515 2460 0 -1 4194304 2481 0 0 0 146 1 0 0 25 0 1 0 1989549611 12713984 2440 996147200 134512640 135239763 4294956176 18446744073709551615 134820122 0 0 4096 0 0 0 0 17 0 0 0
/proc/2519/statm: 3104 2440 413 177 0 2007 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17776
[startup+3.10206 s]
/proc/loadavg: 0.00 0.00 0.00 3/90 2535
/proc/meminfo: memFree=1538008/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197016 CPUtime=1.17
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 4942 0 1 0 111 6 0 0 22 0 9 0 1989549801 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49254 4151 1678 9 0 43837 0
[pid=2527/tid=2528] ppid=2515 vsize=197016 CPUtime=0.88
/proc/2527/task/2528/stat : 2528 (java) R 2515 2515 2460 0 -1 64 2715 0 1 0 86 2 0 0 25 0 9 0 1989549802 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2529] ppid=2515 vsize=197016 CPUtime=0.11
/proc/2527/task/2529/stat : 2529 (java) S 2515 2515 2460 0 -1 64 890 0 0 0 10 1 0 0 15 0 9 0 1989549803 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2530] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2530/stat : 2530 (java) S 2515 2515 2460 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989549803 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2531] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2531/stat : 2531 (java) S 2515 2515 2460 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989549803 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2532] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2532/stat : 2532 (java) S 2515 2515 2460 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1989549805 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2533] ppid=2515 vsize=197016 CPUtime=0.14
/proc/2527/task/2533/stat : 2533 (java) S 2515 2515 2460 0 -1 64 613 0 0 0 14 0 0 0 16 0 9 0 1989549805 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2534] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2534/stat : 2534 (java) S 2515 2515 2460 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1989549805 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2535] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2535/stat : 2535 (java) S 2515 2515 2460 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1989549805 201744384 4151 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202376
[startup+6.30142 s]
/proc/loadavg: 0.16 0.03 0.01 3/90 2535
/proc/meminfo: memFree=1523800/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197016 CPUtime=4.34
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 10058 0 1 0 420 14 0 0 22 0 9 0 1989549801 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49254 8338 2540 9 0 43837 0
[pid=2527/tid=2528] ppid=2515 vsize=197016 CPUtime=3.4
/proc/2527/task/2528/stat : 2528 (java) R 2515 2515 2460 0 -1 64 3560 0 1 0 336 4 0 0 25 0 9 0 1989549802 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4126469815 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2529] ppid=2515 vsize=197016 CPUtime=0.74
/proc/2527/task/2529/stat : 2529 (java) S 2515 2515 2460 0 -1 64 5145 0 0 0 67 7 0 0 16 0 9 0 1989549803 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2530] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2530/stat : 2530 (java) S 2515 2515 2460 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989549803 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2531] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2531/stat : 2531 (java) S 2515 2515 2460 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989549803 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2532] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2532/stat : 2532 (java) S 2515 2515 2460 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1989549805 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2533] ppid=2515 vsize=197016 CPUtime=0.17
/proc/2527/task/2533/stat : 2533 (java) S 2515 2515 2460 0 -1 64 629 0 0 0 16 1 0 0 16 0 9 0 1989549805 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2534] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2534/stat : 2534 (java) S 2515 2515 2460 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1989549805 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2535] ppid=2515 vsize=197016 CPUtime=0
/proc/2527/task/2535/stat : 2535 (java) S 2515 2515 2460 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1989549805 201744384 8338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202376
[startup+12.7032 s]
/proc/loadavg: 0.31 0.07 0.02 3/102 2547
/proc/meminfo: memFree=1443704/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197340 CPUtime=5.59
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 13858 0 1 0 541 18 0 0 22 0 10 0 1989549801 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49335 9386 2543 9 0 43918 0
[pid=2537] ppid=2527 vsize=5356 CPUtime=0
/proc/2537/stat : 2537 (abscon) S 2527 2515 2460 0 -1 4194304 304 0 0 0 0 0 0 0 19 0 1 0 1989550368 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2537/statm: 1339 237 196 169 0 50 0
[pid=2538] ppid=2537 vsize=654940 CPUtime=5.02
/proc/2538/stat : 2538 (java) S 2537 2515 2460 0 -1 0 21392 0 1 0 491 11 0 0 18 0 9 0 1989550369 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2538/statm: 163735 20705 2613 9 0 158263 0
[pid=2538/tid=2540] ppid=2537 vsize=654940 CPUtime=4.65
/proc/2538/task/2540/stat : 2540 (java) R 2537 2515 2460 0 -1 64 12522 0 1 0 458 7 0 0 25 0 9 0 1989550370 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4126728410 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2541] ppid=2537 vsize=654940 CPUtime=0.19
/proc/2538/task/2541/stat : 2541 (java) S 2537 2515 2460 0 -1 64 7944 0 0 0 16 3 0 0 17 0 9 0 1989550371 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2542] ppid=2537 vsize=654940 CPUtime=0
/proc/2538/task/2542/stat : 2542 (java) S 2537 2515 2460 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989550371 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2543] ppid=2537 vsize=654940 CPUtime=0
/proc/2538/task/2543/stat : 2543 (java) S 2537 2515 2460 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1989550371 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2544] ppid=2537 vsize=654940 CPUtime=0
/proc/2538/task/2544/stat : 2544 (java) S 2537 2515 2460 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1989550373 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2545] ppid=2537 vsize=654940 CPUtime=0.17
/proc/2538/task/2545/stat : 2545 (java) S 2537 2515 2460 0 -1 64 380 0 0 0 17 0 0 0 15 0 9 0 1989550373 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2546] ppid=2537 vsize=654940 CPUtime=0
/proc/2538/task/2546/stat : 2546 (java) S 2537 2515 2460 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1989550373 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2547] ppid=2537 vsize=654940 CPUtime=0
/proc/2538/task/2547/stat : 2547 (java) S 2537 2515 2460 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989550373 670658560 20705 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2539] ppid=2537 vsize=7044 CPUtime=0
/proc/2539/stat : 2539 (translate) S 2537 2515 2460 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1989550369 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 262910214226 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/2539/statm: 1761 213 182 1 0 41 0
[pid=2527/tid=2528] ppid=2515 vsize=197340 CPUtime=4.3
/proc/2527/task/2528/stat : 2528 (java) S 2515 2515 2460 0 -1 64 3852 0 1 0 424 6 0 0 25 0 10 0 1989549802 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=2527/tid=2529] ppid=2515 vsize=197340 CPUtime=1.07
/proc/2527/task/2529/stat : 2529 (java) S 2515 2515 2460 0 -1 64 8558 0 0 0 97 10 0 0 16 0 10 0 1989549803 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2530] ppid=2515 vsize=197340 CPUtime=0
/proc/2527/task/2530/stat : 2530 (java) S 2515 2515 2460 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1989549803 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2531] ppid=2515 vsize=197340 CPUtime=0
/proc/2527/task/2531/stat : 2531 (java) S 2515 2515 2460 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1989549803 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2532] ppid=2515 vsize=197340 CPUtime=0
/proc/2527/task/2532/stat : 2532 (java) S 2515 2515 2460 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 1989549805 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2533] ppid=2515 vsize=197340 CPUtime=0.19
/proc/2527/task/2533/stat : 2533 (java) S 2515 2515 2460 0 -1 64 644 0 0 0 18 1 0 0 16 0 10 0 1989549805 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2534] ppid=2515 vsize=197340 CPUtime=0
/proc/2527/task/2534/stat : 2534 (java) S 2515 2515 2460 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1989549805 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2535] ppid=2515 vsize=197340 CPUtime=0
/proc/2527/task/2535/stat : 2535 (java) S 2515 2515 2460 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 1989549805 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2536] ppid=2515 vsize=197340 CPUtime=0
/proc/2527/task/2536/stat : 2536 (java) S 2515 2515 2460 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1989550368 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 870040
[startup+25.5077 s]
/proc/loadavg: 0.68 0.16 0.05 3/102 2547
/proc/meminfo: memFree=1443704/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197340 CPUtime=5.59
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 13858 0 1 0 541 18 0 0 22 0 10 0 1989549801 202076160 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49335 9386 2543 9 0 43918 0
[pid=2537] ppid=2527 vsize=5356 CPUtime=0
/proc/2537/stat : 2537 (abscon) S 2527 2515 2460 0 -1 4194304 304 0 0 0 0 0 0 0 19 0 1 0 1989550368 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/2537/statm: 1339 237 196 169 0 50 0
[pid=2538] ppid=2537 vsize=654940 CPUtime=17.65
/proc/2538/stat : 2538 (java) S 2537 2515 2460 0 -1 0 21412 0 1 0 1754 11 0 0 18 0 9 0 1989550369 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2538/statm: 163735 20718 2613 9 0 158263 0
[pid=2538/tid=2540] ppid=2537 vsize=654940 CPUtime=17.25
/proc/2538/task/2540/stat : 2540 (java) R 2537 2515 2460 0 -1 64 12525 0 1 0 1718 7 0 0 25 0 9 0 1989550370 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4126739280 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2541] ppid=2537 vsize=654940 CPUtime=0.19
/proc/2538/task/2541/stat : 2541 (java) S 2537 2515 2460 0 -1 64 7944 0 0 0 16 3 0 0 16 0 9 0 1989550371 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2538/tid=2542] ppid=2537 vsize=654940 CPUtime=0
/proc/2538/task/2542/stat : 2542 (java) S 2537 2515 2460 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989550371 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197664 CPUtime=239.97
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 14009 21991 1 1 541 18 23424 14 22 0 10 0 1989549801 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49416 9392 2544 9 0 43999 0
[pid=2549] ppid=2527 vsize=5356 CPUtime=0
/proc/2549/stat : 2549 (mistral) S 2527 2515 2460 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989574144 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2549/statm: 1339 236 196 169 0 50 0
[pid=2550] ppid=2549 vsize=12420 CPUtime=1523.32
/proc/2550/stat : 2550 (xsolve) R 2549 2515 2460 0 -1 4194304 2457 0 0 0 152331 1 0 0 25 0 1 0 1989574145 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 135103299 0 4 0 0 0 0 0 17 1 0 0
/proc/2550/statm: 3105 2421 393 177 0 2008 0
[pid=2527/tid=2528] ppid=2515 vsize=197664 CPUtime=238.68
/proc/2527/task/2528/stat : 2528 (java) S 2515 2515 2460 0 -1 64 3932 21991 1 1 424 6 23424 14 16 0 10 0 1989549802 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2527/tid=2529] ppid=2515 vsize=197664 CPUtime=235.45
/proc/2527/task/2529/stat : 2529 (java) S 2515 2515 2460 0 -1 64 8569 21991 0 1 97 10 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2530] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2530/stat : 2530 (java) S 2515 2515 2460 0 -1 64 11 21991 0 1 0 0 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2531] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2531/stat : 2531 (java) S 2515 2515 2460 0 -1 64 5 21991 0 1 0 0 23424 14 15 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2532] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2532/stat : 2532 (java) S 2515 2515 2460 0 -1 64 1 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2533] ppid=2515 vsize=197664 CPUtime=234.57
/proc/2527/task/2533/stat : 2533 (java) S 2515 2515 2460 0 -1 64 644 21991 0 1 18 1 23424 14 16 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2534] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2534/stat : 2534 (java) S 2515 2515 2460 0 -1 64 0 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2535] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2535/stat : 2535 (java) S 2515 2515 2460 0 -1 64 17 21991 0 1 0 0 23424 14 15 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2548] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2548/stat : 2548 (java) S 2515 2515 2460 0 -1 64 49 21991 0 1 0 0 23424 14 17 0 10 0 1989574144 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1765.18
Current children cumulated vsize (KiB) 220800
[startup+1777.7 s]
/proc/loadavg: 1.99 1.97 1.66 3/93 2552
/proc/meminfo: memFree=1507384/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197664 CPUtime=239.97
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 14009 21991 1 1 541 18 23424 14 22 0 10 0 1989549801 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49416 9392 2544 9 0 43999 0
[pid=2549] ppid=2527 vsize=5356 CPUtime=0
/proc/2549/stat : 2549 (mistral) S 2527 2515 2460 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989574144 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2549/statm: 1339 236 196 169 0 50 0
[pid=2550] ppid=2549 vsize=12420 CPUtime=1524.92
/proc/2550/stat : 2550 (xsolve) R 2549 2515 2460 0 -1 4194304 2457 0 0 0 152491 1 0 0 25 0 1 0 1989574145 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 134789428 0 4 0 0 0 0 0 17 1 0 0
/proc/2550/statm: 3105 2421 393 177 0 2008 0
[pid=2527/tid=2528] ppid=2515 vsize=197664 CPUtime=238.68
/proc/2527/task/2528/stat : 2528 (java) S 2515 2515 2460 0 -1 64 3932 21991 1 1 424 6 23424 14 16 0 10 0 1989549802 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2527/tid=2529] ppid=2515 vsize=197664 CPUtime=235.45
/proc/2527/task/2529/stat : 2529 (java) S 2515 2515 2460 0 -1 64 8569 21991 0 1 97 10 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2530] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2530/stat : 2530 (java) S 2515 2515 2460 0 -1 64 11 21991 0 1 0 0 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2531] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2531/stat : 2531 (java) S 2515 2515 2460 0 -1 64 5 21991 0 1 0 0 23424 14 15 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2532] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2532/stat : 2532 (java) S 2515 2515 2460 0 -1 64 1 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2533] ppid=2515 vsize=197664 CPUtime=234.57
/proc/2527/task/2533/stat : 2533 (java) S 2515 2515 2460 0 -1 64 644 21991 0 1 18 1 23424 14 16 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2534] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2534/stat : 2534 (java) S 2515 2515 2460 0 -1 64 0 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2535] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2535/stat : 2535 (java) R 2515 2515 2460 0 -1 64 17 21991 0 1 0 0 23424 14 15 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2548] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2548/stat : 2548 (java) S 2515 2515 2460 0 -1 64 49 21991 0 1 0 0 23424 14 17 0 10 0 1989574144 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1766.78
Current children cumulated vsize (KiB) 220800
[startup+1778.5 s]
/proc/loadavg: 1.99 1.97 1.66 3/93 2552
/proc/meminfo: memFree=1507384/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197664 CPUtime=239.97
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 14009 21991 1 1 541 18 23424 14 22 0 10 0 1989549801 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49416 9392 2544 9 0 43999 0
[pid=2549] ppid=2527 vsize=5356 CPUtime=0
/proc/2549/stat : 2549 (mistral) S 2527 2515 2460 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989574144 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2549/statm: 1339 236 196 169 0 50 0
[pid=2550] ppid=2549 vsize=12420 CPUtime=1525.71
/proc/2550/stat : 2550 (xsolve) R 2549 2515 2460 0 -1 4194304 2457 0 0 0 152570 1 0 0 25 0 1 0 1989574145 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 135103332 0 4 0 0 0 0 0 17 1 0 0
/proc/2550/statm: 3105 2421 393 177 0 2008 0
[pid=2527/tid=2528] ppid=2515 vsize=197664 CPUtime=238.68
/proc/2527/task/2528/stat : 2528 (java) S 2515 2515 2460 0 -1 64 3932 21991 1 1 424 6 23424 14 16 0 10 0 1989549802 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2527/tid=2529] ppid=2515 vsize=197664 CPUtime=235.45
/proc/2527/task/2529/stat : 2529 (java) S 2515 2515 2460 0 -1 64 8569 21991 0 1 97 10 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2530] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2530/stat : 2530 (java) S 2515 2515 2460 0 -1 64 11 21991 0 1 0 0 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2531] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2531/stat : 2531 (java) S 2515 2515 2460 0 -1 64 5 21991 0 1 0 0 23424 14 15 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2532] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2532/stat : 2532 (java) S 2515 2515 2460 0 -1 64 1 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2533] ppid=2515 vsize=197664 CPUtime=234.57
/proc/2527/task/2533/stat : 2533 (java) S 2515 2515 2460 0 -1 64 644 21991 0 1 18 1 23424 14 16 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2534] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2534/stat : 2534 (java) S 2515 2515 2460 0 -1 64 0 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2535] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2535/stat : 2535 (java) S 2515 2515 2460 0 -1 64 17 21991 0 1 0 0 23424 14 15 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2548] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2548/stat : 2548 (java) S 2515 2515 2460 0 -1 64 49 21991 0 1 0 0 23424 14 17 0 10 0 1989574144 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.57
Current children cumulated vsize (KiB) 220800
[startup+1778.7 s]
/proc/loadavg: 1.99 1.97 1.66 3/93 2552
/proc/meminfo: memFree=1507384/2055920 swapFree=4179968/4192956
[pid=2515] ppid=2513 vsize=5360 CPUtime=1.89
/proc/2515/stat : 2515 (hydra) S 2513 2515 2460 0 -1 4194304 375 3078 0 0 0 0 187 2 19 0 1 0 1989549609 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/2515/statm: 1340 238 196 169 0 51 0
[pid=2527] ppid=2515 vsize=197664 CPUtime=239.97
/proc/2527/stat : 2527 (java) S 2515 2515 2460 0 -1 0 14009 21991 1 1 541 18 23424 14 22 0 10 0 1989549801 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2527/statm: 49416 9392 2544 9 0 43999 0
[pid=2549] ppid=2527 vsize=5356 CPUtime=0
/proc/2549/stat : 2549 (mistral) S 2527 2515 2460 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989574144 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 262910042948 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/2549/statm: 1339 236 196 169 0 50 0
[pid=2550] ppid=2549 vsize=12420 CPUtime=1525.91
/proc/2550/stat : 2550 (xsolve) R 2549 2515 2460 0 -1 4194304 2457 0 0 0 152590 1 0 0 25 0 1 0 1989574145 12718080 2421 996147200 134512640 135239763 4294955968 18446744073709551615 134819862 0 4 0 0 0 0 0 17 1 0 0
/proc/2550/statm: 3105 2421 393 177 0 2008 0
[pid=2527/tid=2528] ppid=2515 vsize=197664 CPUtime=238.68
/proc/2527/task/2528/stat : 2528 (java) S 2515 2515 2460 0 -1 64 3932 21991 1 1 424 6 23424 14 16 0 10 0 1989549802 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=2527/tid=2529] ppid=2515 vsize=197664 CPUtime=235.45
/proc/2527/task/2529/stat : 2529 (java) S 2515 2515 2460 0 -1 64 8569 21991 0 1 97 10 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2530] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2530/stat : 2530 (java) S 2515 2515 2460 0 -1 64 11 21991 0 1 0 0 23424 14 16 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2531] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2531/stat : 2531 (java) S 2515 2515 2460 0 -1 64 5 21991 0 1 0 0 23424 14 15 0 10 0 1989549803 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2532] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2532/stat : 2532 (java) S 2515 2515 2460 0 -1 64 1 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2533] ppid=2515 vsize=197664 CPUtime=234.57
/proc/2527/task/2533/stat : 2533 (java) S 2515 2515 2460 0 -1 64 644 21991 0 1 18 1 23424 14 16 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2534] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2534/stat : 2534 (java) S 2515 2515 2460 0 -1 64 0 21991 0 1 0 0 23424 14 25 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2535] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2535/stat : 2535 (java) S 2515 2515 2460 0 -1 64 17 21991 0 1 0 0 23424 14 15 0 10 0 1989549805 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2527/tid=2548] ppid=2515 vsize=197664 CPUtime=234.38
/proc/2527/task/2548/stat : 2548 (java) S 2515 2515 2460 0 -1 64 49 21991 0 1 0 0 23424 14 17 0 10 0 1989574144 202407936 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1767.77
Current children cumulated vsize (KiB) 220800
[startup+1778.8 s]
/proc/loadavg: 1.99 1.97 1.67 4/83 2552
/proc/meminfo: memFree=1537160/2055920 swapFree=4179968/4192956
[pid=2515] ppid=-1 vsize=0 CPUtime=0
/proc/2515/stat : -- couldn't open stat file --/proc/2515/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 2515 and gives
# childrusage.ru_utime.tv_sec=1767
# childrusage.ru_utime.tv_usec=486301
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=391940
# CPU time returned by wait4() is 1767.88
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 1767.77
# lost CPU user time (s): 1767.42
# lost CPU system time (s): 0.35
Real time (s): 1778.8
CPU time (s): 1767.77
CPU user time (s): 1767.42
CPU system time (s): 0.35
CPU usage (%): 99.3796
Max. virtual memory (cumulated for all children) (KiB): 870040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1767.49
system time used= 0.39194
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42380
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51213
involuntary context switches= 68086
runsolver used 2.78158 second user time and 7.54085 second system time
The end