0.00/0.00 c cpHydra_k_10 version 0.0
7.61/7.72 c CASE TO CLASSIFY:
7.61/7.73 c Case: 0
7.61/7.73 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.364100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 11.040600 | c 14 > 12.281900 | c 11 > 4.584960 | c 12 > 11.351200 | 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.61/7.74 c choco : 1801.0
7.61/7.74 c mistral : 1801.0
7.61/7.74 c abscon : 1801.0
7.61/7.74 c
7.61/7.74 c
7.71/7.81 c List of same ones: 10
7.71/7.81 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.71/7.81 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.71/7.82 c choco : 1801.0
7.71/7.82 c mistral : 772.763
7.71/7.82 c abscon : 1274.72
7.71/7.82 c
7.71/7.82 c
7.71/7.82 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.71/7.82 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.71/7.83 c choco : 1801.0
7.71/7.83 c mistral : 40.01
7.71/7.83 c abscon : 320.414
7.71/7.83 c
7.71/7.83 c
7.71/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.71/7.83 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.71/7.84 c choco : 1801.0
7.71/7.84 c mistral : 976.11
7.71/7.84 c abscon : 1800.09
7.71/7.84 c
7.71/7.84 c
7.71/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.71/7.84 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.71/7.84 c choco : 1801.0
7.71/7.85 c mistral : 1487.13
7.71/7.85 c abscon : 1800.05
7.71/7.85 c
7.71/7.85 c
7.71/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.71/7.85 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.71/7.86 c choco : 1801.0
7.71/7.86 c mistral : 402.946
7.71/7.86 c abscon : 15.4397
7.71/7.86 c
7.71/7.86 c
7.71/7.86 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.71/7.86 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.71/7.87 c choco : 1801.0
7.71/7.87 c mistral : 62.4135
7.71/7.87 c abscon : 1800.14
7.71/7.87 c
7.71/7.87 c
7.71/7.87 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-27_ext.xml
7.71/7.87 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.71/7.87 c choco : 1801.0
7.71/7.87 c mistral : 28.63
7.71/7.87 c abscon : 14.7738
7.71/7.87 c
7.71/7.87 c
7.71/7.87 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-39_ext.xml
7.71/7.87 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.71/7.88 c choco : 1801.0
7.71/7.88 c mistral : 95.35
7.71/7.88 c abscon : 225.117
7.71/7.88 c
7.71/7.88 c
7.71/7.88 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20/rand-3-20-20-60-632-9_ext.xml
7.71/7.88 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.218800 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.793100 | c 14 > 12.103000 | c 11 > 4.321930 | c 12 > 11.370300 | 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.71/7.89 c choco : 1801.0
7.71/7.89 c mistral : 11.7202
7.71/7.89 c abscon : 41.5317
7.71/7.89 c
7.71/7.89 c
7.71/7.89 c /home/eomahony/cpZilla/CSP/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
7.71/7.89 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.71/7.90 c choco : 1801.0
7.71/7.90 c mistral : 19.81
7.71/7.90 c abscon : 89.5534
7.78/7.90 c
7.78/7.90 c
7.78/7.90 c Length: 10
7.78/7.90 c 0.13003677210697012 0.5976682458521635 0.7119147212974332 0.825039447784166 0.937789070100521 0.9443139096719912 0.9859389684458165 1.0036509114228915 1.0137450971521391 1.0141718453989939
7.78/7.90 c
7.78/7.90 c 1.0 0.6540589980051351 0.6030881443296223 0.5598847053521088 0.5225732447073098 0.5205656598793974 0.5081127219071481 0.502992728968569 0.5001206974122414 0.5
7.78/7.90 c
7.78/7.90 c solver 0
7.78/7.90 c before 0.0 seconds: {} 0
7.78/7.90 c before 18.0 seconds: {4, 6} 1030
7.78/7.90 c before 54.0 seconds: {4, 6, 8} 1530
7.78/7.90 c before 90.0 seconds: {4, 6, 8, 9} 2030
7.78/7.90 c before 234.0 seconds: {4, 6, 7, 8, 9} 2533
7.78/7.90 c before 324.0 seconds: {1, 4, 6, 7, 8, 9} 3187
7.78/7.90 c before 1278.0 seconds: {0, 1, 4, 6, 7, 8, 9} 4187
7.78/7.90 c
7.78/7.90 c solver 1
7.78/7.91 c before 0.0 seconds: {} 0
7.78/7.91 c before 18.0 seconds: {8} 500
7.78/7.91 c before 36.0 seconds: {6, 8, 9} 1508
7.78/7.91 c before 54.0 seconds: {1, 6, 8, 9} 2162
7.78/7.91 c before 72.0 seconds: {1, 5, 6, 8, 9} 2682
7.78/7.91 c before 108.0 seconds: {1, 5, 6, 7, 8, 9} 3185
7.78/7.91 c before 414.0 seconds: {1, 4, 5, 6, 7, 8, 9} 3708
7.78/7.91 c before 774.0 seconds: {0, 1, 4, 5, 6, 7, 8, 9} 4708
7.78/7.91 c before 990.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5311
7.78/7.91 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5871
7.78/7.91 c
7.78/7.91 c solver 2
7.78/7.91 c before 0.0 seconds: {} 0
7.78/7.91 c
7.78/7.91 cTotal time: 154
7.78/7.91 c run abscon for 234.0 seconds {4, 6, 7, 8, 9} 2533
7.78/7.91 c run mistral for 1494.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5871
7.78/7.91 c do not run choco
7.78/7.91 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.78/7.91 c On Instance: HOME/instance-1072281-1215173007.xml
7.78/7.91 c Running for: 234 seconds
242.19/245.81 c Starting solver: HOME/cpHydra_k_10/solver/mistral
242.19/245.81 c On Instance: HOME/instance-1072281-1215173007.xml
242.19/245.81 c Running for: 1494 seconds
1391.90/1401.98 c mistral-prime version 1.313
1391.90/1401.98 s SATISFIABLE
1391.90/1401.98 v 9 12 21 6 22 19 13 16 21 22 19 11 15 0 15 0 22 1 13 22 5 1 3 20
1391.90/1401.98 d CHECKS 595561301
1391.90/1401.98 d ASSIGNMENTS 3594496
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1072281-1215173007/watcher-1072281-1215173007 -o /tmp/evaluation-result-1072281-1215173007/solver-1072281-1215173007 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1072281-1215173007.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: 2.00 2.00 2.00 4/81 31460
/proc/meminfo: memFree=1691568/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=0
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1546974853 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 236 195 169 0 51 0
[pid=31462] ppid=31460 vsize=5360 CPUtime=0
/proc/31462/stat : 31462 (hydra) R 31460 31460 30101 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1546974854 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 212234464551 0 0 4096 0 0 0 0 17 1 0 0
/proc/31462/statm: 1340 239 198 169 0 51 0
[startup+0.0308029 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 31460
/proc/meminfo: memFree=1691568/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=0
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1546974853 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101816 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 31460
/proc/meminfo: memFree=1691568/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=0
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1546974853 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301856 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 31460
/proc/meminfo: memFree=1691568/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=0
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1546974853 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701916 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 31460
/proc/meminfo: memFree=1691568/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=0
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1546974853 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50712 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 31464
/proc/meminfo: memFree=1683104/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=0
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1546974853 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 236 195 169 0 51 0
[pid=31464] ppid=31460 vsize=12416 CPUtime=1.46
/proc/31464/stat : 31464 (xsolve) R 31460 31460 30101 0 -1 4194304 2481 0 0 0 145 1 0 0 25 0 1 0 1546974854 12713984 2440 996147200 134512640 135239763 4294956176 18446744073709551615 135013622 0 0 4096 0 0 0 0 17 1 0 0
/proc/31464/statm: 3104 2440 413 177 0 2007 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17776
[startup+3.10115 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 31476
/proc/meminfo: memFree=1685216/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=196996 CPUtime=1.13
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 4580 0 1 0 109 4 0 0 18 0 9 0 1546975049 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49249 3871 1677 9 0 43832 0
[pid=31468/tid=31469] ppid=31460 vsize=196996 CPUtime=0.89
/proc/31468/task/31469/stat : 31469 (java) R 31460 31460 30101 0 -1 64 2635 0 1 0 88 1 0 0 25 0 9 0 1546975050 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31470] ppid=31460 vsize=196996 CPUtime=0.08
/proc/31468/task/31470/stat : 31470 (java) R 31460 31460 30101 0 -1 64 619 0 0 0 7 1 0 0 15 0 9 0 1546975051 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31471] ppid=31460 vsize=196996 CPUtime=0
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1546975051 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=196996 CPUtime=0
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1546975051 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=196996 CPUtime=0
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1546975053 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=196996 CPUtime=0.13
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 603 0 0 0 13 0 0 0 16 0 9 0 1546975053 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31475] ppid=31460 vsize=196996 CPUtime=0
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1546975054 201723904 3871 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=196996 CPUtime=0
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1546975054 201723904 3873 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) 202356
[startup+6.3027 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 31476
/proc/meminfo: memFree=1673184/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197108 CPUtime=4.31
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 9533 0 1 0 418 13 0 0 18 0 9 0 1546975049 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49277 7901 2540 9 0 43860 0
[pid=31468/tid=31469] ppid=31460 vsize=197108 CPUtime=3.44
/proc/31468/task/31469/stat : 31469 (java) R 31460 31460 30101 0 -1 64 3489 0 1 0 340 4 0 0 25 0 9 0 1546975050 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4126431424 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31470] ppid=31460 vsize=197108 CPUtime=0.66
/proc/31468/task/31470/stat : 31470 (java) S 31460 31460 30101 0 -1 64 4691 0 0 0 60 6 0 0 16 0 9 0 1546975051 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31471] ppid=31460 vsize=197108 CPUtime=0
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1546975051 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=197108 CPUtime=0
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1546975051 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=197108 CPUtime=0
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1546975053 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=197108 CPUtime=0.17
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1546975053 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31475] ppid=31460 vsize=197108 CPUtime=0
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1546975054 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=197108 CPUtime=0
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1546975054 201838592 7901 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 202468
[startup+12.7028 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 31488
/proc/meminfo: memFree=1590208/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197432 CPUtime=5.9
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 11416 0 1 0 573 17 0 0 18 0 10 0 1546975049 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49358 9384 2544 9 0 43941 0
[pid=31478] ppid=31468 vsize=5356 CPUtime=0
/proc/31478/stat : 31478 (abscon) S 31468 31460 30101 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1546975646 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31478/statm: 1339 237 196 169 0 50 0
[pid=31479] ppid=31478 vsize=654940 CPUtime=4.7
/proc/31479/stat : 31479 (java) S 31478 31460 30101 0 -1 0 21392 0 1 0 459 11 0 0 18 0 9 0 1546975646 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31479/statm: 163735 20704 2613 9 0 158263 0
[pid=31479/tid=31481] ppid=31478 vsize=654940 CPUtime=4.31
/proc/31479/task/31481/stat : 31481 (java) R 31478 31460 30101 0 -1 64 12527 0 1 0 424 7 0 0 25 0 9 0 1546975647 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4126738732 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31482] ppid=31478 vsize=654940 CPUtime=0.17
/proc/31479/task/31482/stat : 31482 (java) S 31478 31460 30101 0 -1 64 7945 0 0 0 15 2 0 0 16 0 9 0 1546975648 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31483] ppid=31478 vsize=654940 CPUtime=0
/proc/31479/task/31483/stat : 31483 (java) S 31478 31460 30101 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1546975648 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31484] ppid=31478 vsize=654940 CPUtime=0
/proc/31479/task/31484/stat : 31484 (java) S 31478 31460 30101 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1546975648 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31485] ppid=31478 vsize=654940 CPUtime=0
/proc/31479/task/31485/stat : 31485 (java) S 31478 31460 30101 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1546975650 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31486] ppid=31478 vsize=654940 CPUtime=0.18
/proc/31479/task/31486/stat : 31486 (java) S 31478 31460 30101 0 -1 64 375 0 0 0 18 0 0 0 15 0 9 0 1546975650 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31487] ppid=31478 vsize=654940 CPUtime=0
/proc/31479/task/31487/stat : 31487 (java) S 31478 31460 30101 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1546975650 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31488] ppid=31478 vsize=654940 CPUtime=0
/proc/31479/task/31488/stat : 31488 (java) S 31478 31460 30101 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1546975650 670658560 20704 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31480] ppid=31478 vsize=7044 CPUtime=0
/proc/31480/stat : 31480 (translate) S 31478 31460 30101 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1546975646 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 212234633298 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/31480/statm: 1761 213 182 1 0 41 0
[pid=31468/tid=31469] ppid=31460 vsize=197432 CPUtime=4.79
/proc/31468/task/31469/stat : 31469 (java) S 31460 31460 30101 0 -1 64 3859 0 1 0 474 5 0 0 25 0 10 0 1546975050 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31468/tid=31470] ppid=31460 vsize=197432 CPUtime=0.87
/proc/31468/task/31470/stat : 31470 (java) S 31460 31460 30101 0 -1 64 6105 0 0 0 78 9 0 0 16 0 10 0 1546975051 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31471] ppid=31460 vsize=197432 CPUtime=0
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1546975051 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=197432 CPUtime=0
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1546975051 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=197432 CPUtime=0
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1546975053 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=197432 CPUtime=0.2
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 1546975053 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31475] ppid=31460 vsize=197432 CPUtime=0
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1546975054 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=197432 CPUtime=0
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1546975054 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31477] ppid=31460 vsize=197432 CPUtime=0
/proc/31468/task/31477/stat : 31477 (java) S 31460 31460 30101 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1546975645 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 870132
[startup+25.502 s]
/proc/loadavg: 2.07 2.02 2.00 3/103 31488
/proc/meminfo: memFree=1590272/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197432 CPUtime=5.9
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 11416 0 1 0 573 17 0 0 18 0 10 0 1546975049 202170368 9384 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49358 9384 2544 9 0 43941 0
[pid=31478] ppid=31468 vsize=5356 CPUtime=0
/proc/31478/stat : 31478 (abscon) S 31468 31460 30101 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1546975646 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31478/statm: 1339 237 196 169 0 50 0
[pid=31479] ppid=31478 vsize=654940 CPUtime=17.31
/proc/31479/stat : 31479 (java) S 31478 31460 30101 0 -1 0 21411 0 1 0 1720 11 0 0 18 0 9 0 1546975646 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31479/statm: 163735 20718 2613 9 0 158263 0
[pid=31479/tid=31481] ppid=31478 vsize=654940 CPUtime=16.9
/proc/31479/task/31481/stat : 31481 (java) R 31478 31460 30101 0 -1 64 12531 0 1 0 1683 7 0 0 25 0 9 0 1546975647 670658560 20718 996147200 134512640 134550740 4294955808 18446744073709551615 4126738661 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31479/tid=31482] ppid=31478 vsize=654940 CPUtime=0.17
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/86 31543
/proc/meminfo: memFree=1501568/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197756 CPUtime=240.3
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 11583 21990 1 1 573 17 23426 14 18 0 10 0 1546975049 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49439 9390 2545 9 0 44022 0
[pid=31490] ppid=31468 vsize=5356 CPUtime=0
/proc/31490/stat : 31490 (mistral) S 31468 31460 30101 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1546999435 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/31490/statm: 1339 236 196 169 0 50 0
[pid=31491] ppid=31490 vsize=12420 CPUtime=1147.69
/proc/31491/stat : 31491 (xsolve) R 31490 31460 30101 0 -1 4194304 2457 0 0 0 114766 3 0 0 25 0 1 0 1546999436 12718080 2421 996147200 134512640 135239763 4294955952 18446744073709551615 135103296 0 4 0 0 0 0 0 17 0 0 0
/proc/31491/statm: 3105 2421 393 177 0 2008 0
[pid=31468/tid=31469] ppid=31460 vsize=197756 CPUtime=239.19
/proc/31468/task/31469/stat : 31469 (java) S 31460 31460 30101 0 -1 64 3942 21990 1 1 474 5 23426 14 16 0 10 0 1546975050 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=31468/tid=31470] ppid=31460 vsize=197756 CPUtime=235.27
/proc/31468/task/31470/stat : 31470 (java) S 31460 31460 30101 0 -1 64 6128 21990 0 1 78 9 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31468/tid=31471] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 21990 0 1 0 0 23426 14 18 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=197756 CPUtime=234.6
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 646 21990 0 1 20 0 23426 14 15 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31475] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 21990 0 1 0 0 23426 14 19 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 18 21990 0 1 0 0 23426 14 15 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31489] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31489/stat : 31489 (java) S 31460 31460 30101 0 -1 64 50 21990 0 1 0 0 23426 14 17 0 10 0 1546999435 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1389.9
Current children cumulated vsize (KiB) 220892
[startup+1400.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 31543
/proc/meminfo: memFree=1501504/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197756 CPUtime=240.3
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 11583 21990 1 1 573 17 23426 14 18 0 10 0 1546975049 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49439 9390 2545 9 0 44022 0
[pid=31490] ppid=31468 vsize=5356 CPUtime=0
/proc/31490/stat : 31490 (mistral) S 31468 31460 30101 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1546999435 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/31490/statm: 1339 236 196 169 0 50 0
[pid=31491] ppid=31490 vsize=12420 CPUtime=1148.49
/proc/31491/stat : 31491 (xsolve) R 31490 31460 30101 0 -1 4194304 2457 0 0 0 114846 3 0 0 25 0 1 0 1546999436 12718080 2421 996147200 134512640 135239763 4294955952 18446744073709551615 135095126 0 4 0 0 0 0 0 17 0 0 0
/proc/31491/statm: 3105 2421 393 177 0 2008 0
[pid=31468/tid=31469] ppid=31460 vsize=197756 CPUtime=239.19
/proc/31468/task/31469/stat : 31469 (java) S 31460 31460 30101 0 -1 64 3942 21990 1 1 474 5 23426 14 16 0 10 0 1546975050 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=31468/tid=31470] ppid=31460 vsize=197756 CPUtime=235.27
/proc/31468/task/31470/stat : 31470 (java) S 31460 31460 30101 0 -1 64 6128 21990 0 1 78 9 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31468/tid=31471] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 21990 0 1 0 0 23426 14 18 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=197756 CPUtime=234.6
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 646 21990 0 1 20 0 23426 14 15 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31475] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 21990 0 1 0 0 23426 14 19 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 18 21990 0 1 0 0 23426 14 15 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31489] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31489/stat : 31489 (java) S 31460 31460 30101 0 -1 64 50 21990 0 1 0 0 23426 14 17 0 10 0 1546999435 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1390.7
Current children cumulated vsize (KiB) 220892
[startup+1401.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 31543
/proc/meminfo: memFree=1501504/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197756 CPUtime=240.3
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 11583 21990 1 1 573 17 23426 14 18 0 10 0 1546975049 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49439 9390 2545 9 0 44022 0
[pid=31490] ppid=31468 vsize=5356 CPUtime=0
/proc/31490/stat : 31490 (mistral) S 31468 31460 30101 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1546999435 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/31490/statm: 1339 236 196 169 0 50 0
[pid=31491] ppid=31490 vsize=12420 CPUtime=1149.29
/proc/31491/stat : 31491 (xsolve) R 31490 31460 30101 0 -1 4194304 2457 0 0 0 114926 3 0 0 25 0 1 0 1546999436 12718080 2421 996147200 134512640 135239763 4294955952 18446744073709551615 135096735 0 4 0 0 0 0 0 17 0 0 0
/proc/31491/statm: 3105 2421 393 177 0 2008 0
[pid=31468/tid=31469] ppid=31460 vsize=197756 CPUtime=239.19
/proc/31468/task/31469/stat : 31469 (java) S 31460 31460 30101 0 -1 64 3942 21990 1 1 474 5 23426 14 16 0 10 0 1546975050 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=31468/tid=31470] ppid=31460 vsize=197756 CPUtime=235.27
/proc/31468/task/31470/stat : 31470 (java) S 31460 31460 30101 0 -1 64 6128 21990 0 1 78 9 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31468/tid=31471] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 21990 0 1 0 0 23426 14 18 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=197756 CPUtime=234.6
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 646 21990 0 1 20 0 23426 14 15 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31475] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 21990 0 1 0 0 23426 14 19 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 18 21990 0 1 0 0 23426 14 15 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31489] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31489/stat : 31489 (java) S 31460 31460 30101 0 -1 64 50 21990 0 1 0 0 23426 14 17 0 10 0 1546999435 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1391.5
Current children cumulated vsize (KiB) 220892
[startup+1401.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 31543
/proc/meminfo: memFree=1501504/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197756 CPUtime=240.3
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 11583 21990 1 1 573 17 23426 14 18 0 10 0 1546975049 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49439 9390 2545 9 0 44022 0
[pid=31490] ppid=31468 vsize=5356 CPUtime=0
/proc/31490/stat : 31490 (mistral) S 31468 31460 30101 0 -1 4194304 298 0 0 0 0 0 0 0 18 0 1 0 1546999435 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 212234462020 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/31490/statm: 1339 236 196 169 0 50 0
[pid=31491] ppid=31490 vsize=12420 CPUtime=1149.69
/proc/31491/stat : 31491 (xsolve) R 31490 31460 30101 0 -1 4194304 2457 0 0 0 114966 3 0 0 25 0 1 0 1546999436 12718080 2421 996147200 134512640 135239763 4294955952 18446744073709551615 135013617 0 4 0 0 0 0 0 17 0 0 0
/proc/31491/statm: 3105 2421 393 177 0 2008 0
[pid=31468/tid=31469] ppid=31460 vsize=197756 CPUtime=239.19
/proc/31468/task/31469/stat : 31469 (java) S 31460 31460 30101 0 -1 64 3942 21990 1 1 474 5 23426 14 16 0 10 0 1546975050 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=31468/tid=31470] ppid=31460 vsize=197756 CPUtime=235.27
/proc/31468/task/31470/stat : 31470 (java) S 31460 31460 30101 0 -1 64 6128 21990 0 1 78 9 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31468/tid=31471] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 21990 0 1 0 0 23426 14 16 0 10 0 1546975051 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 21990 0 1 0 0 23426 14 18 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=197756 CPUtime=234.6
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 646 21990 0 1 20 0 23426 14 15 0 10 0 1546975053 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31475] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 21990 0 1 0 0 23426 14 19 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 18 21990 0 1 0 0 23426 14 15 0 10 0 1546975054 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31489] ppid=31460 vsize=197756 CPUtime=234.4
/proc/31468/task/31489/stat : 31489 (java) S 31460 31460 30101 0 -1 64 50 21990 0 1 0 0 23426 14 17 0 10 0 1546999435 202502144 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1391.9
Current children cumulated vsize (KiB) 220892
[startup+1402 s]
/proc/loadavg: 2.00 2.00 2.00 3/86 31543
/proc/meminfo: memFree=1501504/2055920 swapFree=4121364/4192956
[pid=31460] ppid=31458 vsize=5360 CPUtime=1.91
/proc/31460/stat : 31460 (hydra) S 31458 31460 30101 0 -1 4194304 375 3078 0 0 0 0 189 2 20 0 1 0 1546974853 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 212234462020 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31460/statm: 1340 238 196 169 0 51 0
[pid=31468] ppid=31460 vsize=197756 CPUtime=1390.08
/proc/31468/stat : 31468 (java) S 31460 31460 30101 0 -1 0 11754 24770 1 1 573 17 138400 18 18 0 9 0 1546975049 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31468/statm: 49439 9391 2545 9 0 44022 0
[pid=31468/tid=31469] ppid=31460 vsize=197756 CPUtime=1388.97
/proc/31468/task/31469/stat : 31469 (java) S 31460 31460 30101 0 -1 64 4012 24770 1 1 474 5 138400 18 16 0 9 0 1546975050 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31468/tid=31470] ppid=31460 vsize=197756 CPUtime=1385.05
/proc/31468/task/31470/stat : 31470 (java) S 31460 31460 30101 0 -1 64 6147 24770 0 1 78 9 138400 18 16 0 9 0 1546975051 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31468/tid=31471] ppid=31460 vsize=197756 CPUtime=1384.18
/proc/31468/task/31471/stat : 31471 (java) S 31460 31460 30101 0 -1 64 11 24770 0 1 0 0 138400 18 16 0 9 0 1546975051 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31472] ppid=31460 vsize=197756 CPUtime=1384.18
/proc/31468/task/31472/stat : 31472 (java) S 31460 31460 30101 0 -1 64 5 24770 0 1 0 0 138400 18 16 0 9 0 1546975051 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31473] ppid=31460 vsize=197756 CPUtime=1384.18
/proc/31468/task/31473/stat : 31473 (java) S 31460 31460 30101 0 -1 64 1 24770 0 1 0 0 138400 18 18 0 9 0 1546975053 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31474] ppid=31460 vsize=197756 CPUtime=1384.38
/proc/31468/task/31474/stat : 31474 (java) S 31460 31460 30101 0 -1 64 719 24770 0 1 20 0 138400 18 16 0 9 0 1546975053 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31468/tid=31475] ppid=31460 vsize=197756 CPUtime=1384.18
/proc/31468/task/31475/stat : 31475 (java) S 31460 31460 30101 0 -1 64 0 24770 0 1 0 0 138400 18 19 0 9 0 1546975054 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31468/tid=31476] ppid=31460 vsize=197756 CPUtime=1384.18
/proc/31468/task/31476/stat : 31476 (java) S 31460 31460 30101 0 -1 64 18 24770 0 1 0 0 138400 18 15 0 9 0 1546975054 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1391.99
Current children cumulated vsize (KiB) 203116
Child status: 0
Real time (s): 1402.04
CPU time (s): 1392.03
CPU user time (s): 1391.63
CPU system time (s): 0.400939
CPU usage (%): 99.2861
Max. virtual memory (cumulated for all children) (KiB): 870132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1391.63
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40020
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= 43097
involuntary context switches= 36828
runsolver used 2.25766 second user time and 6.34004 second system time
The end