0.00/0.00 c cpHydra_k_10 version 0.0
7.04/7.13 c CASE TO CLASSIFY:
7.04/7.13 c Case: 0
7.04/7.13 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.340300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.555000 | c 14 > 11.981200 | c 11 > 4.584960 | c 12 > 11.204000 | 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.04/7.14 c choco : 1801.0
7.04/7.14 c mistral : 1801.0
7.04/7.14 c abscon : 1801.0
7.04/7.14 c
7.04/7.14 c
7.14/7.21 c List of same ones: 10
7.14/7.21 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.14/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.14/7.22 c choco : 1801.0
7.14/7.22 c mistral : 976.11
7.14/7.22 c abscon : 1800.09
7.14/7.22 c
7.14/7.22 c
7.14/7.22 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.14/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.14/7.23 c choco : 1801.0
7.14/7.23 c mistral : 1487.13
7.14/7.23 c abscon : 1800.05
7.14/7.23 c
7.14/7.23 c
7.14/7.23 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.14/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.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.14/7.24 c choco : 1801.0
7.14/7.24 c mistral : 62.4135
7.14/7.24 c abscon : 1800.14
7.14/7.24 c
7.14/7.24 c
7.14/7.24 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.14/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.029500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.902200 | c 14 > 11.847800 | c 11 > 4.584960 | c 12 > 11.158100 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.24 c choco : 1801.0
7.14/7.24 c mistral : 40.01
7.14/7.24 c abscon : 320.414
7.14/7.24 c
7.14/7.24 c
7.14/7.24 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.14/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 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.14/7.25 c choco : 1801.0
7.14/7.25 c mistral : 402.946
7.14/7.25 c abscon : 15.4397
7.14/7.25 c
7.14/7.25 c
7.14/7.25 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.14/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.349500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.982800 | c 14 > 12.188000 | c 11 > 4.584960 | c 12 > 11.415800 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.26 c choco : 1801.0
7.14/7.26 c mistral : 772.763
7.14/7.26 c abscon : 1274.72
7.14/7.26 c
7.14/7.26 c
7.14/7.26 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-8_ext.xml
7.14/7.26 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.143000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.163400 | c 14 > 11.867300 | c 11 > 4.584960 | c 12 > 10.889500 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.27 c choco : 1801.0
7.14/7.27 c mistral : 1500.09
7.14/7.27 c abscon : 1800.07
7.14/7.27 c
7.14/7.27 c
7.14/7.27 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-41_ext.xml
7.14/7.27 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.202600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.126500 | c 14 > 11.807000 | c 11 > 4.584960 | c 12 > 10.935000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.28 c choco : 1801.0
7.14/7.28 c mistral : 239.524
7.14/7.28 c abscon : 1800.1
7.14/7.28 c
7.14/7.28 c
7.14/7.28 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-26_ext.xml
7.14/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.186000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.061300 | c 14 > 11.823000 | c 11 > 4.584960 | c 12 > 11.051200 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.28 c choco : 1801.0
7.14/7.28 c mistral : 1250.43
7.14/7.28 c abscon : 1800.07
7.14/7.28 c
7.14/7.28 c
7.14/7.28 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-41_ext.xml
7.14/7.28 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.293400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.066000 | c 14 > 11.811000 | c 11 > 4.584960 | c 12 > 10.912300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.14/7.29 c choco : 1801.0
7.14/7.29 c mistral : 799.067
7.14/7.29 c abscon : 1800.13
7.14/7.29 c
7.14/7.29 c
7.31/7.48 c Length: 10
7.31/7.48 c 0.358804473216264 0.4143566941657885 0.4703428328357949 0.4872597324836118 0.5021911193957934 0.5206708719527147 0.5528490032549573 0.5538599916946512 0.5624041757490783 0.5973761381240459
7.31/7.49 c
7.31/7.49 c 1.0 0.8111264551411661 0.6814191202604952 0.6500113457451573 0.6246013189990441 0.5957766919973417 0.5514626306056314 0.5501769124453634 0.5395457111768617 0.5
7.31/7.49 c
7.31/7.49 c solver 0
7.31/7.49 c before 0.0 seconds: {} 0
7.31/7.49 c before 18.0 seconds: {4} 624
7.31/7.49 c before 324.0 seconds: {3, 4} 1274
7.31/7.49 c before 1278.0 seconds: {3, 4, 5} 1870
7.31/7.49 c
7.31/7.49 c solver 1
7.31/7.49 c before 0.0 seconds: {} 0
7.31/7.49 c before 54.0 seconds: {3} 650
7.31/7.49 c before 72.0 seconds: {2, 3} 1331
7.31/7.49 c before 252.0 seconds: {2, 3, 7} 1881
7.31/7.49 c before 414.0 seconds: {2, 3, 4, 7} 2506
7.31/7.49 c before 774.0 seconds: {2, 3, 4, 5, 7} 3101
7.31/7.49 c before 810.0 seconds: {2, 3, 4, 5, 7, 9} 3601
7.31/7.49 c before 990.0 seconds: {0, 2, 3, 4, 5, 7, 9} 4601
7.31/7.49 c before 1260.0 seconds: {0, 2, 3, 4, 5, 7, 8, 9} 5141
7.31/7.49 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 5952
7.31/7.49 c before 1512.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6504
7.31/7.49 c
7.31/7.49 c solver 2
7.31/7.49 c before 0.0 seconds: {} 0
7.31/7.49 c
7.31/7.49 cTotal time: 155
7.31/7.49 c run abscon for 18.0 seconds {4} 624
7.31/7.49 c run mistral for 1512.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6504
7.31/7.49 c do not run choco
7.31/7.49 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.31/7.49 c On Instance: HOME/instance-1056812-1215105811.xml
7.31/7.49 c Running for: 18 seconds
25.79/25.93 c Starting solver: HOME/cpHydra_k_10/solver/mistral
25.79/25.93 c On Instance: HOME/instance-1056812-1215105811.xml
25.79/25.93 c Running for: 1512 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-1056812-1215105811/watcher-1056812-1215105811 -o /tmp/evaluation-result-1056812-1215105811/solver-1056812-1215105811 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1056812-1215105811.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.72 0.73 0.27 4/72 17595
/proc/meminfo: memFree=1472400/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=18572 CPUtime=0
/proc/17595/stat : 17595 (runsolver) R 17593 17595 17492 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1989549909 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 231962373415 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17595/statm: 4643 292 257 25 0 2626 0
[startup+0.222256 s]
/proc/loadavg: 1.72 0.73 0.27 4/72 17595
/proc/meminfo: memFree=1472400/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=0
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989549909 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30227 s]
/proc/loadavg: 1.72 0.73 0.27 4/72 17595
/proc/meminfo: memFree=1472400/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=0
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989549909 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.402287 s]
/proc/loadavg: 1.72 0.73 0.27 4/72 17595
/proc/meminfo: memFree=1472400/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=0
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989549909 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701316 s]
/proc/loadavg: 1.72 0.73 0.27 4/72 17595
/proc/meminfo: memFree=1472400/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=0
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989549909 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50243 s]
/proc/loadavg: 1.72 0.73 0.27 3/74 17599
/proc/meminfo: memFree=1463616/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=0
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 330 247 0 0 0 0 0 0 19 0 1 0 1989549909 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 236 195 169 0 51 0
[pid=17599] ppid=17595 vsize=12156 CPUtime=1.47
/proc/17599/stat : 17599 (xsolve) R 17595 17595 17492 0 -1 4194304 2398 0 0 0 145 2 0 0 25 0 1 0 1989549910 12447744 2357 996147200 134512640 135239763 4294956176 18446744073709551615 134819887 0 0 4096 0 0 0 0 17 1 0 0
/proc/17599/statm: 3039 2357 413 177 0 1942 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17516
[startup+3.10165 s]
/proc/loadavg: 1.72 0.73 0.27 4/82 17611
/proc/meminfo: memFree=1465664/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=196984 CPUtime=1.15
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 4918 0 1 0 110 5 0 0 18 0 9 0 1989550103 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49246 4130 1677 9 0 43829 0
[pid=17603/tid=17604] ppid=17595 vsize=196984 CPUtime=0.87
/proc/17603/task/17604/stat : 17604 (java) R 17595 17595 17492 0 -1 64 2712 0 1 0 85 2 0 0 25 0 9 0 1989550104 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4126469095 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17605] ppid=17595 vsize=196984 CPUtime=0.12
/proc/17603/task/17605/stat : 17605 (java) S 17595 17595 17492 0 -1 64 879 0 0 0 11 1 0 0 16 0 9 0 1989550105 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17606] ppid=17595 vsize=196984 CPUtime=0
/proc/17603/task/17606/stat : 17606 (java) S 17595 17595 17492 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989550105 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17607] ppid=17595 vsize=196984 CPUtime=0
/proc/17603/task/17607/stat : 17607 (java) S 17595 17595 17492 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989550105 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17608] ppid=17595 vsize=196984 CPUtime=0
/proc/17603/task/17608/stat : 17608 (java) S 17595 17595 17492 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1989550107 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17609] ppid=17595 vsize=196984 CPUtime=0.13
/proc/17603/task/17609/stat : 17609 (java) S 17595 17595 17492 0 -1 64 602 0 0 0 13 0 0 0 16 0 9 0 1989550107 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17610] ppid=17595 vsize=196984 CPUtime=0
/proc/17603/task/17610/stat : 17610 (java) S 17595 17595 17492 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1989550107 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17611] ppid=17595 vsize=196984 CPUtime=0
/proc/17603/task/17611/stat : 17611 (java) S 17595 17595 17492 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989550107 201711616 4130 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202344
[startup+6.30208 s]
/proc/loadavg: 1.75 0.75 0.28 4/82 17611
/proc/meminfo: memFree=1451264/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=197092 CPUtime=4.35
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 10130 0 1 0 421 14 0 0 18 0 9 0 1989550103 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49273 8398 2540 9 0 43856 0
[pid=17603/tid=17604] ppid=17595 vsize=197092 CPUtime=3.42
/proc/17603/task/17604/stat : 17604 (java) R 17595 17595 17492 0 -1 64 3572 0 1 0 337 5 0 0 25 0 9 0 1989550104 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17605] ppid=17595 vsize=197092 CPUtime=0.73
/proc/17603/task/17605/stat : 17605 (java) R 17595 17595 17492 0 -1 64 5207 0 0 0 66 7 0 0 15 0 9 0 1989550105 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17606] ppid=17595 vsize=197092 CPUtime=0
/proc/17603/task/17606/stat : 17606 (java) S 17595 17595 17492 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989550105 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17607] ppid=17595 vsize=197092 CPUtime=0
/proc/17603/task/17607/stat : 17607 (java) S 17595 17595 17492 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989550105 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17608] ppid=17595 vsize=197092 CPUtime=0
/proc/17603/task/17608/stat : 17608 (java) S 17595 17595 17492 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1989550107 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17609] ppid=17595 vsize=197092 CPUtime=0.16
/proc/17603/task/17609/stat : 17609 (java) S 17595 17595 17492 0 -1 64 626 0 0 0 16 0 0 0 16 0 9 0 1989550107 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17610] ppid=17595 vsize=197092 CPUtime=0
/proc/17603/task/17610/stat : 17610 (java) S 17595 17595 17492 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1989550107 201822208 8398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17611] ppid=17595 vsize=197092 CPUtime=0
/proc/17603/task/17611/stat : 17611 (java) S 17595 17595 17492 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989550107 201822208 8399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 202452
[startup+12.7029 s]
/proc/loadavg: 1.77 0.77 0.29 3/94 17623
/proc/meminfo: memFree=1371808/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=197416 CPUtime=5.52
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 13858 0 1 0 533 19 0 0 18 0 10 0 1989550103 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49354 9386 2543 9 0 43937 0
[pid=17613] ppid=17603 vsize=5356 CPUtime=0
/proc/17613/stat : 17613 (abscon) S 17603 17595 17492 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1989550659 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17613/statm: 1339 237 196 169 0 50 0
[pid=17614] ppid=17613 vsize=654856 CPUtime=5.18
/proc/17614/stat : 17614 (java) S 17613 17595 17492 0 -1 0 21152 0 1 0 506 12 0 0 25 0 9 0 1989550660 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17614/statm: 163714 20465 2613 9 0 158242 0
[pid=17614/tid=17616] ppid=17613 vsize=654856 CPUtime=4.79
/proc/17614/task/17616/stat : 17616 (java) R 17613 17595 17492 0 -1 64 12523 0 1 0 472 7 0 0 25 0 9 0 1989550661 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4126727091 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17617] ppid=17613 vsize=654856 CPUtime=0.18
/proc/17614/task/17617/stat : 17617 (java) S 17613 17595 17492 0 -1 64 7700 0 0 0 15 3 0 0 16 0 9 0 1989550662 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17618] ppid=17613 vsize=654856 CPUtime=0
/proc/17614/task/17618/stat : 17618 (java) S 17613 17595 17492 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989550662 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17619] ppid=17613 vsize=654856 CPUtime=0
/proc/17614/task/17619/stat : 17619 (java) S 17613 17595 17492 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1989550662 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17620] ppid=17613 vsize=654856 CPUtime=0
/proc/17614/task/17620/stat : 17620 (java) S 17613 17595 17492 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1989550664 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17621] ppid=17613 vsize=654856 CPUtime=0.18
/proc/17614/task/17621/stat : 17621 (java) S 17613 17595 17492 0 -1 64 384 0 0 0 18 0 0 0 16 0 9 0 1989550664 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17622] ppid=17613 vsize=654856 CPUtime=0
/proc/17614/task/17622/stat : 17622 (java) S 17613 17595 17492 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1989550664 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17623] ppid=17613 vsize=654856 CPUtime=0
/proc/17614/task/17623/stat : 17623 (java) S 17613 17595 17492 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1989550664 670572544 20465 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17615] ppid=17613 vsize=7044 CPUtime=0
/proc/17615/stat : 17615 (translate) S 17613 17595 17492 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1989550660 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 231962542162 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/17615/statm: 1761 213 182 1 0 41 0
[pid=17603/tid=17604] ppid=17595 vsize=197416 CPUtime=4.23
/proc/17603/task/17604/stat : 17604 (java) S 17595 17595 17492 0 -1 64 3851 0 1 0 417 6 0 0 25 0 10 0 1989550104 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=17603/tid=17605] ppid=17595 vsize=197416 CPUtime=1.07
/proc/17603/task/17605/stat : 17605 (java) S 17595 17595 17492 0 -1 64 8560 0 0 0 96 11 0 0 16 0 10 0 1989550105 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17606] ppid=17595 vsize=197416 CPUtime=0
/proc/17603/task/17606/stat : 17606 (java) S 17595 17595 17492 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1989550105 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17607] ppid=17595 vsize=197416 CPUtime=0
/proc/17603/task/17607/stat : 17607 (java) S 17595 17595 17492 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1989550105 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17608] ppid=17595 vsize=197416 CPUtime=0
/proc/17603/task/17608/stat : 17608 (java) S 17595 17595 17492 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1989550107 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17609] ppid=17595 vsize=197416 CPUtime=0.19
/proc/17603/task/17609/stat : 17609 (java) S 17595 17595 17492 0 -1 64 641 0 0 0 19 0 0 0 16 0 10 0 1989550107 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17610] ppid=17595 vsize=197416 CPUtime=0
/proc/17603/task/17610/stat : 17610 (java) S 17595 17595 17492 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1989550107 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17611] ppid=17595 vsize=197416 CPUtime=0
/proc/17603/task/17611/stat : 17611 (java) S 17595 17595 17492 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1989550107 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17612] ppid=17595 vsize=197416 CPUtime=0
/proc/17603/task/17612/stat : 17612 (java) S 17595 17595 17492 0 -1 64 69 0 0 0 0 0 0 0 25 0 10 0 1989550659 202153984 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.59
Current children cumulated vsize (KiB) 870032
[startup+25.5087 s]
/proc/loadavg: 1.82 0.83 0.31 3/94 17623
/proc/meminfo: memFree=1371552/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=197416 CPUtime=5.52
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 13858 0 1 0 533 19 0 0 18 0 10 0 1989550103 202153984 9386 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49354 9386 2543 9 0 43937 0
[pid=17613] ppid=17603 vsize=5356 CPUtime=0
/proc/17613/stat : 17613 (abscon) S 17603 17595 17492 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1989550659 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/17613/statm: 1339 237 196 169 0 50 0
[pid=17614] ppid=17613 vsize=654856 CPUtime=17.98
/proc/17614/stat : 17614 (java) S 17613 17595 17492 0 -1 0 21161 0 1 0 1786 12 0 0 25 0 9 0 1989550660 670572544 20470 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/17614/statm: 163714 20470 2613 9 0 158242 0
[pid=17614/tid=17616] ppid=17613 vsize=654856 CPUtime=17.57
/proc/17614/task/17616/stat : 17616 (java) R 17613 17595 17492 0 -1 64 12526 0 1 0 1750 7 0 0 25 0 9 0 1989550661 670572544 20470 996147200 134512640 134550740 4294955808 18446744073709551615 4126784872 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17617] ppid=17613 vsize=654856 CPUtime=0.18
/proc/17614/task/17617/stat : 17617 (java) S 17613 17595 17492 0 -1 64 7700 0 0 0 15 3 0 0 16 0 9 0 1989550662 670572544 20470 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17614/tid=17618] ppid=17613 vsize=654856 CPUtime=0
/proc/17614/task/17618/stat : 17618 (java) S 17613 17595 17492 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989550662 670572544 20470 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/17603/task/17624/stat : 17624 (java) S 17595 17595 17492 0 -1 64 50 21736 0 1 0 0 1828 13 16 0 10 0 1989552502 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1588.75
Current children cumulated vsize (KiB) 220616
[startup+1662.31 s]
/proc/loadavg: 2.02 2.06 1.72 3/85 17628
/proc/meminfo: memFree=1432480/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=197740 CPUtime=23.93
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 14010 21736 1 1 533 19 1828 13 18 0 10 0 1989550103 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49435 9392 2544 9 0 44018 0
[pid=17625] ppid=17603 vsize=5356 CPUtime=0
/proc/17625/stat : 17625 (mistral) S 17603 17595 17492 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989552502 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17625/statm: 1339 236 196 169 0 50 0
[pid=17626] ppid=17625 vsize=12160 CPUtime=1622.42
/proc/17626/stat : 17626 (xsolve) R 17625 17595 17492 0 -1 4194304 2374 0 0 0 162241 1 0 0 25 0 1 0 1989552503 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 134820085 0 4 0 0 0 0 0 17 1 0 0
/proc/17626/statm: 3040 2338 393 177 0 1943 0
[pid=17603/tid=17604] ppid=17595 vsize=197740 CPUtime=22.64
/proc/17603/task/17604/stat : 17604 (java) S 17595 17595 17492 0 -1 64 3932 21736 1 1 417 6 1828 13 16 0 10 0 1989550104 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17603/tid=17605] ppid=17595 vsize=197740 CPUtime=19.48
/proc/17603/task/17605/stat : 17605 (java) S 17595 17595 17492 0 -1 64 8569 21736 0 1 96 11 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17606] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17606/stat : 17606 (java) S 17595 17595 17492 0 -1 64 11 21736 0 1 0 0 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17607] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17607/stat : 17607 (java) S 17595 17595 17492 0 -1 64 5 21736 0 1 0 0 1828 13 15 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17608] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17608/stat : 17608 (java) S 17595 17595 17492 0 -1 64 0 21736 0 1 0 0 1828 13 18 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17609] ppid=17595 vsize=197740 CPUtime=18.6
/proc/17603/task/17609/stat : 17609 (java) S 17595 17595 17492 0 -1 64 641 21736 0 1 19 0 1828 13 16 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17610] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17610/stat : 17610 (java) S 17595 17595 17492 0 -1 64 1 21736 0 1 0 0 1828 13 19 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17611] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17611/stat : 17611 (java) S 17595 17595 17492 0 -1 64 20 21736 0 1 0 0 1828 13 15 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17624] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17624/stat : 17624 (java) S 17595 17595 17492 0 -1 64 50 21736 0 1 0 0 1828 13 16 0 10 0 1989552502 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1648.24
Current children cumulated vsize (KiB) 220616
[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 1.74 3/93 17668
/proc/meminfo: memFree=1368096/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=197740 CPUtime=23.93
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 14010 21736 1 1 533 19 1828 13 18 0 10 0 1989550103 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49435 9392 2544 9 0 44018 0
[pid=17625] ppid=17603 vsize=5356 CPUtime=0
/proc/17625/stat : 17625 (mistral) S 17603 17595 17492 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989552502 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17625/statm: 1339 236 196 169 0 50 0
[pid=17626] ppid=17625 vsize=12160 CPUtime=1682.34
/proc/17626/stat : 17626 (xsolve) R 17625 17595 17492 0 -1 4194304 2374 0 0 0 168232 2 0 0 25 0 1 0 1989552503 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 134820073 0 4 0 0 0 0 0 17 0 0 0
/proc/17626/statm: 3040 2338 393 177 0 1943 0
[pid=17603/tid=17604] ppid=17595 vsize=197740 CPUtime=22.64
/proc/17603/task/17604/stat : 17604 (java) S 17595 17595 17492 0 -1 64 3932 21736 1 1 417 6 1828 13 16 0 10 0 1989550104 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17603/tid=17605] ppid=17595 vsize=197740 CPUtime=19.48
/proc/17603/task/17605/stat : 17605 (java) S 17595 17595 17492 0 -1 64 8569 21736 0 1 96 11 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17606] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17606/stat : 17606 (java) S 17595 17595 17492 0 -1 64 11 21736 0 1 0 0 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17607] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17607/stat : 17607 (java) S 17595 17595 17492 0 -1 64 5 21736 0 1 0 0 1828 13 15 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17608] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17608/stat : 17608 (java) S 17595 17595 17492 0 -1 64 0 21736 0 1 0 0 1828 13 18 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17609] ppid=17595 vsize=197740 CPUtime=18.6
/proc/17603/task/17609/stat : 17609 (java) S 17595 17595 17492 0 -1 64 641 21736 0 1 19 0 1828 13 16 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17610] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17610/stat : 17610 (java) S 17595 17595 17492 0 -1 64 1 21736 0 1 0 0 1828 13 19 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17611] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17611/stat : 17611 (java) S 17595 17595 17492 0 -1 64 20 21736 0 1 0 0 1828 13 15 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17624] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17624/stat : 17624 (java) S 17595 17595 17492 0 -1 64 50 21736 0 1 0 0 1828 13 16 0 10 0 1989552502 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1708.16
Current children cumulated vsize (KiB) 220616
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 1.75 3/93 17668
/proc/meminfo: memFree=1367776/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=197740 CPUtime=23.93
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 14010 21736 1 1 533 19 1828 13 18 0 10 0 1989550103 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49435 9392 2544 9 0 44018 0
[pid=17625] ppid=17603 vsize=5356 CPUtime=0
/proc/17625/stat : 17625 (mistral) S 17603 17595 17492 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989552502 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17625/statm: 1339 236 196 169 0 50 0
[pid=17626] ppid=17625 vsize=12160 CPUtime=1742.32
/proc/17626/stat : 17626 (xsolve) R 17625 17595 17492 0 -1 4194304 2374 0 0 0 174229 3 0 0 25 0 1 0 1989552503 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 134819923 0 4 0 0 0 0 0 17 0 0 0
/proc/17626/statm: 3040 2338 393 177 0 1943 0
[pid=17603/tid=17604] ppid=17595 vsize=197740 CPUtime=22.64
/proc/17603/task/17604/stat : 17604 (java) S 17595 17595 17492 0 -1 64 3932 21736 1 1 417 6 1828 13 16 0 10 0 1989550104 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17603/tid=17605] ppid=17595 vsize=197740 CPUtime=19.48
/proc/17603/task/17605/stat : 17605 (java) S 17595 17595 17492 0 -1 64 8569 21736 0 1 96 11 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17606] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17606/stat : 17606 (java) S 17595 17595 17492 0 -1 64 11 21736 0 1 0 0 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17607] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17607/stat : 17607 (java) S 17595 17595 17492 0 -1 64 5 21736 0 1 0 0 1828 13 15 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17608] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17608/stat : 17608 (java) S 17595 17595 17492 0 -1 64 0 21736 0 1 0 0 1828 13 18 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17609] ppid=17595 vsize=197740 CPUtime=18.6
/proc/17603/task/17609/stat : 17609 (java) S 17595 17595 17492 0 -1 64 641 21736 0 1 19 0 1828 13 16 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17610] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17610/stat : 17610 (java) S 17595 17595 17492 0 -1 64 1 21736 0 1 0 0 1828 13 19 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17611] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17611/stat : 17611 (java) S 17595 17595 17492 0 -1 64 20 21736 0 1 0 0 1828 13 15 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17624] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17624/stat : 17624 (java) S 17595 17595 17492 0 -1 64 50 21736 0 1 0 0 1828 13 16 0 10 0 1989552502 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1768.14
Current children cumulated vsize (KiB) 220616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.2 s]
/proc/loadavg: 2.01 2.05 1.76 3/93 17668
/proc/meminfo: memFree=1367840/2055920 swapFree=4180436/4192956
[pid=17595] ppid=17593 vsize=5360 CPUtime=1.89
/proc/17595/stat : 17595 (hydra) S 17593 17595 17492 0 -1 4194304 375 2995 0 0 0 0 186 3 18 0 1 0 1989549909 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17595/statm: 1340 238 196 169 0 51 0
[pid=17603] ppid=17595 vsize=197740 CPUtime=23.93
/proc/17603/stat : 17603 (java) S 17595 17595 17492 0 -1 0 14010 21736 1 1 533 19 1828 13 18 0 10 0 1989550103 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/17603/statm: 49435 9392 2544 9 0 44018 0
[pid=17625] ppid=17603 vsize=5356 CPUtime=0
/proc/17625/stat : 17625 (mistral) S 17603 17595 17492 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1989552502 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 231962370884 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/17625/statm: 1339 236 196 169 0 50 0
[pid=17626] ppid=17625 vsize=12160 CPUtime=1774.22
/proc/17626/stat : 17626 (xsolve) R 17625 17595 17492 0 -1 4194304 2374 0 0 0 177419 3 0 0 25 0 1 0 1989552503 12451840 2338 996147200 134512640 135239763 4294955968 18446744073709551615 134820140 0 4 0 0 0 0 0 17 0 0 0
/proc/17626/statm: 3040 2338 393 177 0 1943 0
[pid=17603/tid=17604] ppid=17595 vsize=197740 CPUtime=22.64
/proc/17603/task/17604/stat : 17604 (java) S 17595 17595 17492 0 -1 64 3932 21736 1 1 417 6 1828 13 16 0 10 0 1989550104 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=17603/tid=17605] ppid=17595 vsize=197740 CPUtime=19.48
/proc/17603/task/17605/stat : 17605 (java) S 17595 17595 17492 0 -1 64 8569 21736 0 1 96 11 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17606] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17606/stat : 17606 (java) S 17595 17595 17492 0 -1 64 11 21736 0 1 0 0 1828 13 16 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17607] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17607/stat : 17607 (java) S 17595 17595 17492 0 -1 64 5 21736 0 1 0 0 1828 13 15 0 10 0 1989550105 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17608] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17608/stat : 17608 (java) S 17595 17595 17492 0 -1 64 0 21736 0 1 0 0 1828 13 18 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17609] ppid=17595 vsize=197740 CPUtime=18.6
/proc/17603/task/17609/stat : 17609 (java) S 17595 17595 17492 0 -1 64 641 21736 0 1 19 0 1828 13 16 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=17603/tid=17610] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17610/stat : 17610 (java) S 17595 17595 17492 0 -1 64 1 21736 0 1 0 0 1828 13 19 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17611] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17611/stat : 17611 (java) S 17595 17595 17492 0 -1 64 20 21736 0 1 0 0 1828 13 15 0 10 0 1989550107 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=17603/tid=17624] ppid=17595 vsize=197740 CPUtime=18.41
/proc/17603/task/17624/stat : 17624 (java) S 17595 17595 17492 0 -1 64 50 21736 0 1 0 0 1828 13 16 0 10 0 1989552502 202485760 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 220616
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 17595 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=868715
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=43993
# CPU time returned by wait4() is 1.91271
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1814.23
CPU time (s): 1800.04
CPU user time (s): 1799.66
CPU system time (s): 0.38
CPU usage (%): 99.218
Max. virtual memory (cumulated for all children) (KiB): 870032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.86871
system time used= 0.043993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3370
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= 36
involuntary context switches= 59
runsolver used 2.26865 second user time and 6.23005 second system time
The end