0.00/0.00 c cpHydra_k_10 version 0.0
7.68/7.88 c CASE TO CLASSIFY:
7.68/7.88 c Case: 0
7.68/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.177100 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.340900 | c 14 > 11.791200 | c 11 > 4.584960 | c 12 > 10.765400 | 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.68/7.90 c choco : 1801.0
7.68/7.90 c mistral : 1801.0
7.68/7.90 c abscon : 1801.0
7.68/7.90 c
7.68/7.90 c
7.78/7.97 c List of same ones: 10
7.78/7.97 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-11_ext.xml
7.78/7.97 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.078000 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.339600 | c 14 > 11.700900 | c 11 > 4.584960 | c 12 > 10.620600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.78/7.98 c choco : 1801.0
7.78/7.98 c mistral : 236.79
7.78/7.98 c abscon : 313.039
7.78/7.98 c
7.78/7.98 c
7.78/7.98 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
7.78/7.98 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.074700 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.378700 | c 14 > 11.838800 | c 11 > 4.584960 | c 12 > 10.591900 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.78/7.99 c choco : 1801.0
7.78/7.99 c mistral : 91.53
7.78/7.99 c abscon : 25.5821
7.78/7.99 c
7.78/7.99 c
7.78/7.99 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
7.78/7.99 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.032400 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.473800 | c 14 > 11.703000 | c 11 > 4.584960 | c 12 > 10.725600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.00 c choco : 1801.0
7.87/8.00 c mistral : 1232.27
7.87/8.00 c abscon : 1800.12
7.87/8.00 c
7.87/8.00 c
7.87/8.00 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.87/8.00 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.87/8.01 c choco : 1801.0
7.87/8.01 c mistral : 62.4135
7.87/8.01 c abscon : 1800.14
7.87/8.01 c
7.87/8.01 c
7.87/8.01 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-13_ext.xml
7.87/8.01 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.201500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.193400 | c 14 > 11.948400 | c 11 > 4.584960 | c 12 > 10.705700 | 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.87/8.02 c choco : 1801.0
7.87/8.02 c mistral : 914.54
7.87/8.02 c abscon : 1800.13
7.87/8.02 c
7.87/8.02 c
7.87/8.02 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-8_ext.xml
7.87/8.02 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.87/8.03 c choco : 1801.0
7.87/8.03 c mistral : 1500.09
7.87/8.03 c abscon : 1800.07
7.87/8.03 c
7.87/8.03 c
7.87/8.03 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-21_ext.xml
7.87/8.03 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.053300 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.345200 | c 14 > 11.724100 | c 11 > 4.584960 | c 12 > 10.562200 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.04 c choco : 1801.0
7.87/8.04 c mistral : 77.8422
7.87/8.04 c abscon : 622.444
7.87/8.04 c
7.87/8.04 c
7.87/8.04 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-35_ext.xml
7.87/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.973600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.455600 | c 14 > 11.724500 | c 11 > 4.584960 | c 12 > 10.696600 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.228820 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.04 c choco : 1801.0
7.87/8.04 c mistral : 699.298
7.87/8.04 c abscon : 1438.19
7.87/8.04 c
7.87/8.04 c
7.87/8.04 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-44_ext.xml
7.87/8.04 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.173500 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.087500 | c 14 > 11.769000 | c 11 > 4.584960 | c 12 > 10.717600 | 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.87/8.05 c choco : 1801.0
7.87/8.05 c mistral : 922.959
7.87/8.05 c abscon : 1380.49
7.87/8.05 c
7.87/8.05 c
7.87/8.05 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-43_ext.xml
7.87/8.05 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.159900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.121200 | c 14 > 11.833300 | c 11 > 4.584960 | c 12 > 10.623700 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.87/8.06 c choco : 1801.0
7.87/8.06 c mistral : 237.0
7.87/8.06 c abscon : 1800.11
7.87/8.06 c
7.87/8.06 c
8.06/8.25 c Length: 10
8.06/8.25 c 0.198289754904281 0.211323938303259 0.2198612673937827 0.2201704160417566 0.22583785532987932 0.23286535186669596 0.2480176947316448 0.25248895025327206 0.2595522916485224 0.266045902242451
8.06/8.25 c
8.06/8.25 c 1.0 0.8386665423937325 0.758512508543078 0.7558964725588083 0.7109457230712097 0.662122470414908 0.5767261675421823 0.5555816239389985 0.5251653884090958 0.5
8.06/8.26 c
8.06/8.26 c solver 0
8.06/8.26 c before 0.0 seconds: {} 0
8.06/8.26 c before 36.0 seconds: {1} 838
8.06/8.26 c before 324.0 seconds: {0, 1} 1838
8.06/8.26 c before 630.0 seconds: {0, 1, 6} 2415
8.06/8.26 c before 1386.0 seconds: {0, 1, 6, 8} 2940
8.06/8.26 c before 1440.0 seconds: {0, 1, 6, 7, 8} 3496
8.06/8.26 c
8.06/8.26 c solver 1
8.06/8.26 c before 0.0 seconds: {} 0
8.06/8.26 c before 72.0 seconds: {3} 755
8.06/8.26 c before 90.0 seconds: {3, 6} 1332
8.06/8.26 c before 108.0 seconds: {1, 3, 6} 2171
8.06/8.26 c before 252.0 seconds: {0, 1, 3, 6, 9} 3671
8.06/8.26 c before 702.0 seconds: {0, 1, 3, 6, 7, 9} 4226
8.06/8.26 c before 918.0 seconds: {0, 1, 3, 4, 6, 7, 9} 4937
8.06/8.26 c before 936.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9} 5462
8.06/8.26 c before 1242.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6221
8.06/8.26 c before 1512.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6883
8.06/8.26 c
8.06/8.26 c solver 2
8.06/8.26 c before 0.0 seconds: {} 0
8.06/8.26 c
8.06/8.26 cTotal time: 164
8.06/8.27 c run abscon for 36.0 seconds {1} 838
8.06/8.27 c run mistral for 1512.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6883
8.06/8.27 c do not run choco
8.06/8.27 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.06/8.27 c On Instance: HOME/instance-1057019-1215107863.xml
8.06/8.27 c Running for: 36 seconds
44.53/44.72 c Starting solver: HOME/cpHydra_k_10/solver/mistral
44.53/44.72 c On Instance: HOME/instance-1057019-1215107863.xml
44.53/44.72 c Running for: 1512 seconds
1525.74/1540.04 c mistral-prime version 1.313
1525.74/1540.04 s UNSATISFIABLE
1525.74/1540.04 d CHECKS 656934964
1525.74/1540.04 d ASSIGNMENTS 3915164
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057019-1215107863/watcher-1057019-1215107863 -o /tmp/evaluation-result-1057019-1215107863/solver-1057019-1215107863 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1057019-1215107863.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.91 1.95 1.76 4/80 31669
/proc/meminfo: memFree=1517040/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=0
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1989755933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 236 195 169 0 51 0
[pid=31671] ppid=31669 vsize=0 CPUtime=0
/proc/31671/stat : 31671 (hydra) R 31669 31669 31471 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1989755933 0 0 996147200 0 0 0 18446744073709551615 213112122663 0 0 4096 0 0 0 0 17 1 0 0
/proc/31671/statm: 0 0 0 0 0 0 0
[startup+0.110635 s]
/proc/loadavg: 1.91 1.95 1.76 4/80 31669
/proc/meminfo: memFree=1517040/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=0
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1989755933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201651 s]
/proc/loadavg: 1.91 1.95 1.76 4/80 31669
/proc/meminfo: memFree=1517040/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=0
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1989755933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301668 s]
/proc/loadavg: 1.91 1.95 1.76 4/80 31669
/proc/meminfo: memFree=1517040/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=0
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1989755933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701734 s]
/proc/loadavg: 1.91 1.95 1.76 4/80 31669
/proc/meminfo: memFree=1517040/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=0
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1989755933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50187 s]
/proc/loadavg: 1.91 1.95 1.76 3/82 31673
/proc/meminfo: memFree=1508256/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=0
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1989755933 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 236 195 169 0 51 0
[pid=31673] ppid=31669 vsize=12288 CPUtime=1.46
/proc/31673/stat : 31673 (xsolve) R 31669 31669 31471 0 -1 4194304 2440 0 0 0 145 1 0 0 25 0 1 0 1989755934 12582912 2399 996147200 134512640 135239763 4294956176 18446744073709551615 134819862 0 0 4096 0 0 0 0 17 1 0 0
/proc/31673/statm: 3072 2399 414 177 0 1975 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 17648
[startup+3.10135 s]
/proc/loadavg: 1.92 1.95 1.76 4/90 31685
/proc/meminfo: memFree=1511392/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197000 CPUtime=1.12
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 4545 0 1 0 108 4 0 0 18 0 9 0 1989756129 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49250 3841 1677 9 0 43833 0
[pid=31677/tid=31678] ppid=31669 vsize=197000 CPUtime=0.9
/proc/31677/task/31678/stat : 31678 (java) R 31669 31669 31471 0 -1 64 2628 0 1 0 88 2 0 0 25 0 9 0 1989756130 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197000 CPUtime=0.06
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 589 0 0 0 6 0 0 0 15 0 9 0 1989756131 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197000 CPUtime=0
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989756132 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197000 CPUtime=0
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989756132 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197000 CPUtime=0
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1989756134 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197000 CPUtime=0.13
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 603 0 0 0 13 0 0 0 16 0 9 0 1989756134 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197000 CPUtime=0
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1989756134 201728000 3841 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197000 CPUtime=0
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989756134 201728000 3841 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) 202360
[startup+6.30269 s]
/proc/loadavg: 1.92 1.95 1.76 3/90 31685
/proc/meminfo: memFree=1498464/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197112 CPUtime=4.28
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 9408 0 1 0 417 11 0 0 18 0 9 0 1989756129 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49278 7796 2540 9 0 43861 0
[pid=31677/tid=31678] ppid=31669 vsize=197112 CPUtime=3.4
/proc/31677/task/31678/stat : 31678 (java) R 31669 31669 31471 0 -1 64 3452 0 1 0 337 3 0 0 25 0 9 0 1989756130 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4126564587 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197112 CPUtime=0.68
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 4601 0 0 0 62 6 0 0 16 0 9 0 1989756131 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197112 CPUtime=0
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1989756132 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197112 CPUtime=0
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1989756132 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197112 CPUtime=0
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1989756134 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197112 CPUtime=0.17
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1989756134 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197112 CPUtime=0
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1989756134 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197112 CPUtime=0
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989756134 201842688 7796 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202472
[startup+12.7028 s]
/proc/loadavg: 1.93 1.96 1.76 3/102 31697
/proc/meminfo: memFree=1416192/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197436 CPUtime=6.22
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 13882 0 1 0 605 17 0 0 18 0 10 0 1989756129 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49359 9393 2543 9 0 43942 0
[pid=31687] ppid=31677 vsize=5356 CPUtime=0
/proc/31687/stat : 31687 (abscon) S 31677 31669 31471 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1989756760 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31687/statm: 1339 237 196 169 0 50 0
[pid=31688] ppid=31687 vsize=654856 CPUtime=4.41
/proc/31688/stat : 31688 (java) S 31687 31669 31471 0 -1 0 21259 0 1 0 429 12 0 0 18 0 9 0 1989756761 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31688/statm: 163714 20571 2613 9 0 158242 0
[pid=31688/tid=31690] ppid=31687 vsize=654856 CPUtime=4.02
/proc/31688/task/31690/stat : 31690 (java) R 31687 31669 31471 0 -1 64 12511 0 1 0 394 8 0 0 25 0 9 0 1989756762 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4126737739 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31691] ppid=31687 vsize=654856 CPUtime=0.17
/proc/31688/task/31691/stat : 31691 (java) S 31687 31669 31471 0 -1 64 7822 0 0 0 15 2 0 0 16 0 9 0 1989756763 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31692] ppid=31687 vsize=654856 CPUtime=0
/proc/31688/task/31692/stat : 31692 (java) S 31687 31669 31471 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1989756763 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31693] ppid=31687 vsize=654856 CPUtime=0
/proc/31688/task/31693/stat : 31693 (java) S 31687 31669 31471 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1989756763 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31694] ppid=31687 vsize=654856 CPUtime=0
/proc/31688/task/31694/stat : 31694 (java) S 31687 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1989756765 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31695] ppid=31687 vsize=654856 CPUtime=0.18
/proc/31688/task/31695/stat : 31695 (java) S 31687 31669 31471 0 -1 64 379 0 0 0 18 0 0 0 15 0 9 0 1989756765 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31696] ppid=31687 vsize=654856 CPUtime=0
/proc/31688/task/31696/stat : 31696 (java) S 31687 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1989756765 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31697] ppid=31687 vsize=654856 CPUtime=0
/proc/31688/task/31697/stat : 31697 (java) S 31687 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1989756765 670572544 20571 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31689] ppid=31687 vsize=7044 CPUtime=0
/proc/31689/stat : 31689 (translate) S 31687 31669 31471 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1989756761 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 213112291410 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/31689/statm: 1761 213 182 1 0 41 0
[pid=31677/tid=31678] ppid=31669 vsize=197436 CPUtime=4.87
/proc/31677/task/31678/stat : 31678 (java) S 31669 31669 31471 0 -1 64 3854 0 1 0 482 5 0 0 25 0 10 0 1989756130 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197436 CPUtime=1.1
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 8571 0 0 0 101 9 0 0 16 0 10 0 1989756131 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197436 CPUtime=0
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1989756132 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197436 CPUtime=0
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1989756132 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197436 CPUtime=0
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1989756134 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197436 CPUtime=0.2
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 647 0 0 0 20 0 0 0 15 0 10 0 1989756134 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197436 CPUtime=0
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1989756134 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197436 CPUtime=0
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1989756134 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31686] ppid=31669 vsize=197436 CPUtime=0
/proc/31677/task/31686/stat : 31686 (java) S 31669 31669 31471 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1989756760 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 870052
[startup+25.504 s]
/proc/loadavg: 1.94 1.96 1.76 3/102 31697
/proc/meminfo: memFree=1416064/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197436 CPUtime=6.22
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 13882 0 1 0 605 17 0 0 18 0 10 0 1989756129 202174464 9393 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49359 9393 2543 9 0 43942 0
[pid=31687] ppid=31677 vsize=5356 CPUtime=0
/proc/31687/stat : 31687 (abscon) S 31677 31669 31471 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1989756760 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31687/statm: 1339 237 196 169 0 50 0
[pid=31688] ppid=31687 vsize=654856 CPUtime=17.2
/proc/31688/stat : 31688 (java) S 31687 31669 31471 0 -1 0 21279 0 1 0 1708 12 0 0 18 0 9 0 1989756761 670572544 20585 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31688/statm: 163714 20585 2613 9 0 158242 0
[pid=31688/tid=31690] ppid=31687 vsize=654856 CPUtime=16.79
/proc/31688/task/31690/stat : 31690 (java) R 31687 31669 31471 0 -1 64 12513 0 1 0 1671 8 0 0 25 0 9 0 1989756762 670572544 20585 996147200 134512640 134550740 4294955808 18446744073709551615 4126737903 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31688/tid=31691] ppid=31687 vsize=654856 CPUtime=0.17
################
# More data... #
################
[pid=31699] ppid=31677 vsize=5356 CPUtime=0
/proc/31699/stat : 31699 (mistral) S 31677 31669 31471 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1989760406 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31699/statm: 1339 236 196 169 0 50 0
[pid=31700] ppid=31699 vsize=12292 CPUtime=1477.21
/proc/31700/stat : 31700 (xsolve) R 31699 31669 31471 0 -1 4194304 2416 0 0 0 147718 3 0 0 25 0 1 0 1989760406 12587008 2380 996147200 134512640 135239763 4294955968 18446744073709551615 135013682 0 4 0 0 0 0 0 17 1 0 0
/proc/31700/statm: 3073 2380 394 177 0 1976 0
[pid=31677/tid=31678] ppid=31669 vsize=197760 CPUtime=41.3
/proc/31677/task/31678/stat : 31678 (java) S 31669 31669 31471 0 -1 64 3931 21856 1 1 482 5 3629 14 16 0 10 0 1989756130 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197760 CPUtime=37.53
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 8584 21856 0 1 101 9 3629 14 16 0 10 0 1989756131 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 21856 0 1 0 0 3629 14 16 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 21856 0 1 0 0 3629 14 15 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 21856 0 1 0 0 3629 14 18 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197760 CPUtime=36.63
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 647 21856 0 1 20 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 21856 0 1 0 0 3629 14 19 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 18 21856 0 1 0 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31698] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31698/stat : 31698 (java) S 31669 31669 31471 0 -1 64 50 21856 0 1 0 0 3629 14 17 0 10 0 1989760405 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1521.78
Current children cumulated vsize (KiB) 220768
[startup+1537.6 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 31748
/proc/meminfo: memFree=1543416/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197760 CPUtime=42.65
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 14033 21856 1 1 605 17 3629 14 18 0 10 0 1989756129 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49440 9399 2544 9 0 44023 0
[pid=31699] ppid=31677 vsize=5356 CPUtime=0
/proc/31699/stat : 31699 (mistral) S 31677 31669 31471 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1989760406 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31699/statm: 1339 236 196 169 0 50 0
[pid=31700] ppid=31699 vsize=12292 CPUtime=1478.8
/proc/31700/stat : 31700 (xsolve) R 31699 31669 31471 0 -1 4194304 2416 0 0 0 147877 3 0 0 25 0 1 0 1989760406 12587008 2380 996147200 134512640 135239763 4294955968 18446744073709551615 134820010 0 4 0 0 0 0 0 17 1 0 0
/proc/31700/statm: 3073 2380 394 177 0 1976 0
[pid=31677/tid=31678] ppid=31669 vsize=197760 CPUtime=41.3
/proc/31677/task/31678/stat : 31678 (java) S 31669 31669 31471 0 -1 64 3931 21856 1 1 482 5 3629 14 16 0 10 0 1989756130 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197760 CPUtime=37.53
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 8584 21856 0 1 101 9 3629 14 16 0 10 0 1989756131 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 21856 0 1 0 0 3629 14 16 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 21856 0 1 0 0 3629 14 15 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 21856 0 1 0 0 3629 14 18 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197760 CPUtime=36.63
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 647 21856 0 1 20 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 21856 0 1 0 0 3629 14 19 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 18 21856 0 1 0 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31698] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31698/stat : 31698 (java) S 31669 31669 31471 0 -1 64 50 21856 0 1 0 0 3629 14 17 0 10 0 1989760405 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1523.37
Current children cumulated vsize (KiB) 220768
[startup+1539.2 s]
/proc/loadavg: 2.00 2.00 1.91 4/94 31748
/proc/meminfo: memFree=1543352/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197760 CPUtime=42.65
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 14033 21856 1 1 605 17 3629 14 18 0 10 0 1989756129 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49440 9399 2544 9 0 44023 0
[pid=31699] ppid=31677 vsize=5356 CPUtime=0
/proc/31699/stat : 31699 (mistral) S 31677 31669 31471 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1989760406 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31699/statm: 1339 236 196 169 0 50 0
[pid=31700] ppid=31699 vsize=12292 CPUtime=1480.38
/proc/31700/stat : 31700 (xsolve) R 31699 31669 31471 0 -1 4194304 2416 0 0 0 148035 3 0 0 25 0 1 0 1989760406 12587008 2380 996147200 134512640 135239763 4294955968 18446744073709551615 134820047 0 4 0 0 0 0 0 17 1 0 0
/proc/31700/statm: 3073 2380 394 177 0 1976 0
[pid=31677/tid=31678] ppid=31669 vsize=197760 CPUtime=41.3
/proc/31677/task/31678/stat : 31678 (java) S 31669 31669 31471 0 -1 64 3931 21856 1 1 482 5 3629 14 16 0 10 0 1989756130 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197760 CPUtime=37.53
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 8584 21856 0 1 101 9 3629 14 16 0 10 0 1989756131 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 21856 0 1 0 0 3629 14 16 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 21856 0 1 0 0 3629 14 15 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 21856 0 1 0 0 3629 14 18 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197760 CPUtime=36.63
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 647 21856 0 1 20 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 21856 0 1 0 0 3629 14 19 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 18 21856 0 1 0 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31698] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31698/stat : 31698 (java) S 31669 31669 31471 0 -1 64 50 21856 0 1 0 0 3629 14 17 0 10 0 1989760405 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1524.95
Current children cumulated vsize (KiB) 220768
[startup+1539.6 s]
/proc/loadavg: 2.00 2.00 1.91 4/94 31748
/proc/meminfo: memFree=1543352/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197760 CPUtime=42.65
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 14033 21856 1 1 605 17 3629 14 18 0 10 0 1989756129 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49440 9399 2544 9 0 44023 0
[pid=31699] ppid=31677 vsize=5356 CPUtime=0
/proc/31699/stat : 31699 (mistral) S 31677 31669 31471 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1989760406 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31699/statm: 1339 236 196 169 0 50 0
[pid=31700] ppid=31699 vsize=12292 CPUtime=1480.78
/proc/31700/stat : 31700 (xsolve) R 31699 31669 31471 0 -1 4194304 2416 0 0 0 148075 3 0 0 25 0 1 0 1989760406 12587008 2380 996147200 134512640 135239763 4294955968 18446744073709551615 135013668 0 4 0 0 0 0 0 17 1 0 0
/proc/31700/statm: 3073 2380 394 177 0 1976 0
[pid=31677/tid=31678] ppid=31669 vsize=197760 CPUtime=41.3
/proc/31677/task/31678/stat : 31678 (java) S 31669 31669 31471 0 -1 64 3931 21856 1 1 482 5 3629 14 16 0 10 0 1989756130 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197760 CPUtime=37.53
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 8584 21856 0 1 101 9 3629 14 16 0 10 0 1989756131 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 21856 0 1 0 0 3629 14 16 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 21856 0 1 0 0 3629 14 15 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 21856 0 1 0 0 3629 14 18 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197760 CPUtime=36.63
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 647 21856 0 1 20 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 21856 0 1 0 0 3629 14 19 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 18 21856 0 1 0 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31698] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31698/stat : 31698 (java) S 31669 31669 31471 0 -1 64 50 21856 0 1 0 0 3629 14 17 0 10 0 1989760405 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1525.35
Current children cumulated vsize (KiB) 220768
[startup+1540 s]
/proc/loadavg: 2.00 2.00 1.91 3/94 31748
/proc/meminfo: memFree=1543352/2055920 swapFree=4180444/4192956
[pid=31669] ppid=31667 vsize=5360 CPUtime=1.92
/proc/31669/stat : 31669 (hydra) S 31667 31669 31471 0 -1 4194304 375 3037 0 0 0 0 190 2 18 0 1 0 1989755933 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213112120132 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31669/statm: 1340 238 196 169 0 51 0
[pid=31677] ppid=31669 vsize=197760 CPUtime=42.65
/proc/31677/stat : 31677 (java) S 31669 31669 31471 0 -1 0 14033 21856 1 1 605 17 3629 14 18 0 10 0 1989756129 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31677/statm: 49440 9399 2544 9 0 44023 0
[pid=31699] ppid=31677 vsize=5356 CPUtime=0
/proc/31699/stat : 31699 (mistral) S 31677 31669 31471 0 -1 4194304 299 0 0 0 0 0 0 0 18 0 1 0 1989760406 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213112120132 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/31699/statm: 1339 236 196 169 0 50 0
[pid=31700] ppid=31699 vsize=12292 CPUtime=1481.17
/proc/31700/stat : 31700 (xsolve) R 31699 31669 31471 0 -1 4194304 2416 0 0 0 148114 3 0 0 25 0 1 0 1989760406 12587008 2380 996147200 134512640 135239763 4294955968 18446744073709551615 134819899 0 4 0 0 0 0 0 17 1 0 0
/proc/31700/statm: 3073 2380 394 177 0 1976 0
[pid=31677/tid=31678] ppid=31669 vsize=197760 CPUtime=41.3
/proc/31677/task/31678/stat : 31678 (java) S 31669 31669 31471 0 -1 64 3931 21856 1 1 482 5 3629 14 16 0 10 0 1989756130 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=31677/tid=31679] ppid=31669 vsize=197760 CPUtime=37.53
/proc/31677/task/31679/stat : 31679 (java) S 31669 31669 31471 0 -1 64 8584 21856 0 1 101 9 3629 14 16 0 10 0 1989756131 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31677/tid=31680] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31680/stat : 31680 (java) S 31669 31669 31471 0 -1 64 11 21856 0 1 0 0 3629 14 16 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31681] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31681/stat : 31681 (java) S 31669 31669 31471 0 -1 64 5 21856 0 1 0 0 3629 14 15 0 10 0 1989756132 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31682] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31682/stat : 31682 (java) S 31669 31669 31471 0 -1 64 1 21856 0 1 0 0 3629 14 18 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31683] ppid=31669 vsize=197760 CPUtime=36.63
/proc/31677/task/31683/stat : 31683 (java) S 31669 31669 31471 0 -1 64 647 21856 0 1 20 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31684] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31684/stat : 31684 (java) S 31669 31669 31471 0 -1 64 0 21856 0 1 0 0 3629 14 19 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31685] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31685/stat : 31685 (java) S 31669 31669 31471 0 -1 64 18 21856 0 1 0 0 3629 14 15 0 10 0 1989756134 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31677/tid=31698] ppid=31669 vsize=197760 CPUtime=36.43
/proc/31677/task/31698/stat : 31698 (java) S 31669 31669 31471 0 -1 64 50 21856 0 1 0 0 3629 14 17 0 10 0 1989760405 202506240 9399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1525.74
Current children cumulated vsize (KiB) 220768
Child status: 0
Real time (s): 1540.08
CPU time (s): 1525.82
CPU user time (s): 1525.43
CPU system time (s): 0.39094
CPU usage (%): 99.074
Max. virtual memory (cumulated for all children) (KiB): 870052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1525.43
system time used= 0.39094
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42184
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= 41871
involuntary context switches= 95999
runsolver used 1.90171 second user time and 5.51616 second system time
The end