0.00/0.00 c cpHydra_k_10 version 0.0
7.58/7.74 c CASE TO CLASSIFY:
7.58/7.74 c Case: 0
7.58/7.74 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 19.295900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.653600 | c 14 > 11.873800 | c 11 > 4.584960 | c 12 > 11.244400 | 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.58/7.75 c choco : 1801.0
7.58/7.75 c mistral : 1801.0
7.58/7.75 c abscon : 1801.0
7.58/7.75 c
7.58/7.75 c
7.68/7.83 c List of same ones: 10
7.68/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-3_ext.xml
7.68/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.68/7.83 c choco : 1801.0
7.68/7.83 c mistral : 976.11
7.68/7.83 c abscon : 1800.09
7.68/7.83 c
7.68/7.83 c
7.68/7.83 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-35_ext.xml
7.68/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.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.68/7.84 c choco : 1801.0
7.68/7.84 c mistral : 40.01
7.68/7.84 c abscon : 320.414
7.68/7.84 c
7.68/7.84 c
7.68/7.84 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-31_ext.xml
7.68/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.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.68/7.85 c choco : 1801.0
7.68/7.85 c mistral : 62.4135
7.68/7.85 c abscon : 1800.14
7.68/7.85 c
7.68/7.85 c
7.68/7.85 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-33_ext.xml
7.68/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.68/7.86 c choco : 1801.0
7.68/7.86 c mistral : 402.946
7.68/7.86 c abscon : 15.4397
7.68/7.86 c
7.68/7.86 c
7.68/7.86 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-39_ext.xml
7.68/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.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.68/7.87 c choco : 1801.0
7.68/7.87 c mistral : 772.763
7.68/7.87 c abscon : 1274.72
7.68/7.87 c
7.68/7.87 c
7.68/7.87 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-9_ext.xml
7.68/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.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.68/7.88 c choco : 1801.0
7.68/7.88 c mistral : 1487.13
7.68/7.88 c abscon : 1800.05
7.68/7.88 c
7.68/7.88 c
7.68/7.88 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-41_ext.xml
7.68/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.202600 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.126500 | c 14 > 11.807000 | c 11 > 4.584960 | c 12 > 10.935000 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.247930 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.68/7.89 c choco : 1801.0
7.68/7.89 c mistral : 239.524
7.68/7.89 c abscon : 1800.1
7.68/7.89 c
7.68/7.89 c
7.68/7.89 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-8_ext.xml
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.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.68/7.90 c choco : 1801.0
7.68/7.90 c mistral : 1500.09
7.68/7.90 c abscon : 1800.07
7.76/7.90 c
7.76/7.90 c
7.76/7.90 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-16_ext.xml
7.76/7.90 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.913900 | c 34 > -1.000000 | c 16 > 3.000000 | c 13 > 10.591000 | c 14 > 11.644300 | c 11 > 4.584960 | c 12 > 10.803300 | c 21 > 4.898980 | c 20 > 0.000000 | c 22 > 4.898980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 10.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 6.209450 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.91 c choco : 1801.0
7.76/7.91 c mistral : 109.18
7.76/7.91 c abscon : 77.3452
7.76/7.91 c
7.76/7.91 c
7.76/7.91 c /home/eomahony/cpZilla/CSP/random/rand-3-24-24/rand-3-24-24-76-632-11_ext.xml
7.76/7.91 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.76/7.92 c choco : 1801.0
7.76/7.92 c mistral : 1232.27
7.76/7.92 c abscon : 1800.12
7.76/7.92 c
7.76/7.92 c
7.76/7.92 c Length: 10
7.76/7.92 c 0.34868622054793197 0.3799508416887644 0.46986350145547734 0.4917706884311027 0.4927608264665524 0.5436087751315295 0.6267486737121991 0.629090383013444 0.6313826497457773 0.6337572093475552
7.76/7.92 c
7.76/7.92 c 1.0 0.9011662925121917 0.701716191936295 0.665811878256226 0.6642756964260279 0.5939058821298064 0.506222801837975 0.5041264645525715 0.5020911376089112 0.5
7.76/7.92 c
7.76/7.92 c solver 0
7.76/7.92 c before 0.0 seconds: {} 0
7.76/7.92 c before 18.0 seconds: {3} 665
7.76/7.92 c before 90.0 seconds: {3, 8} 1167
7.76/7.92 c before 324.0 seconds: {1, 3, 8} 2069
7.76/7.92 c before 1278.0 seconds: {1, 3, 4, 8} 2733
7.76/7.92 c
7.76/7.92 c solver 1
7.76/7.92 c before 0.0 seconds: {} 0
7.76/7.92 c before 54.0 seconds: {1} 901
7.76/7.92 c before 72.0 seconds: {1, 2} 1602
7.76/7.92 c before 126.0 seconds: {1, 2, 8} 2104
7.76/7.92 c before 252.0 seconds: {1, 2, 6, 8} 2611
7.76/7.92 c before 414.0 seconds: {1, 2, 3, 6, 8} 3277
7.76/7.92 c before 774.0 seconds: {1, 2, 3, 4, 6, 8} 3941
7.76/7.92 c before 990.0 seconds: {0, 1, 2, 3, 4, 6, 8} 4941
7.76/7.92 c before 1242.0 seconds: {0, 1, 2, 3, 4, 6, 8, 9} 5441
7.76/7.92 c before 1494.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6035
7.76/7.92 c before 1512.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6539
7.76/7.92 c
7.76/7.92 c solver 2
7.76/7.92 c before 0.0 seconds: {} 0
7.76/7.92 c
7.76/7.92 cTotal time: 155
7.76/7.93 c run abscon for 90.0 seconds {3, 8} 1167
7.76/7.93 c run mistral for 1512.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6539
7.76/7.93 c do not run choco
7.76/7.93 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.76/7.93 c On Instance: HOME/instance-1072005-1215170671.xml
7.76/7.93 c Running for: 90 seconds
98.08/98.39 c Starting solver: HOME/cpHydra_k_10/solver/mistral
98.08/98.39 c On Instance: HOME/instance-1072005-1215170671.xml
98.08/98.39 c Running for: 1512 seconds
336.54/336.90 c mistral-prime version 1.313
336.54/336.90 s SATISFIABLE
336.54/336.90 v 2 3 0 20 8 13 17 14 7 5 14 14 12 12 20 8 0 18 7 17 8 7 2 9
336.54/336.90 d CHECKS 113957852
336.54/336.90 d ASSIGNMENTS 644331
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1072005-1215170671/watcher-1072005-1215170671 -o /tmp/evaluation-result-1072005-1215170671/solver-1072005-1215170671 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1072005-1215170671.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 10560
/proc/meminfo: memFree=1083408/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=0
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 285 0 0 0 0 0 0 0 21 0 1 0 1001469672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 236 195 169 0 51 0
[pid=10561] ppid=10560 vsize=144 CPUtime=0
/proc/10561/stat : 10561 (rm) R 10560 10560 9564 0 -1 4194304 44 0 0 0 0 0 0 0 23 0 1 0 1001469672 147456 22 996147200 4194304 4227748 548682069024 18446744073709551615 266131797385 0 0 4096 0 0 0 0 17 1 0 0
/proc/10561/statm: 36 22 16 8 0 3 0
[startup+0.161266 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10560
/proc/meminfo: memFree=1083408/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=0
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1001469672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202271 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10560
/proc/meminfo: memFree=1083408/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=0
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1001469672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302292 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10560
/proc/meminfo: memFree=1083408/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=0
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1001469672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701366 s]
/proc/loadavg: 2.00 2.00 2.00 4/81 10560
/proc/meminfo: memFree=1083408/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=0
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1001469672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50152 s]
/proc/loadavg: 2.00 2.00 2.00 3/83 10564
/proc/meminfo: memFree=1075648/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=0
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1001469672 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 236 195 169 0 51 0
[pid=10564] ppid=10560 vsize=11764 CPUtime=1.47
/proc/10564/stat : 10564 (xsolve) R 10560 10560 9564 0 -1 4194304 2314 0 0 0 146 1 0 0 25 0 1 0 1001469673 12046336 2273 996147200 134512640 135239763 4294956176 18446744073709551615 134819862 0 0 4096 0 0 0 0 17 1 0 0
/proc/10564/statm: 2941 2273 413 177 0 1844 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 17124
[startup+3.10283 s]
/proc/loadavg: 2.00 2.00 2.00 4/91 10576
/proc/meminfo: memFree=1077312/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197000 CPUtime=1.16
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 4667 0 1 0 112 4 0 0 18 0 9 0 1001469863 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49250 3942 1677 9 0 43833 0
[pid=10568/tid=10569] ppid=10560 vsize=197000 CPUtime=0.89
/proc/10568/task/10569/stat : 10569 (java) R 10560 10560 9564 0 -1 64 2654 0 1 0 87 2 0 0 25 0 9 0 1001469864 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4126471140 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197000 CPUtime=0.1
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 686 0 0 0 9 1 0 0 16 0 9 0 1001469866 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197000 CPUtime=0
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1001469866 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197000 CPUtime=0
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1001469866 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197000 CPUtime=0
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1001469868 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197000 CPUtime=0.14
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 601 0 0 0 14 0 0 0 16 0 9 0 1001469868 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197000 CPUtime=0
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1001469868 201728000 3942 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197000 CPUtime=0
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1001469868 201728000 3942 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.30144 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 10576
/proc/meminfo: memFree=1064640/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197108 CPUtime=4.33
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 9533 0 1 0 419 14 0 0 18 0 9 0 1001469863 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49277 7896 2540 9 0 43860 0
[pid=10568/tid=10569] ppid=10560 vsize=197108 CPUtime=3.41
/proc/10568/task/10569/stat : 10569 (java) R 10560 10560 9564 0 -1 64 3482 0 1 0 336 5 0 0 25 0 9 0 1001469864 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 102064736 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197108 CPUtime=0.7
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 4699 0 0 0 63 7 0 0 16 0 9 0 1001469866 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197108 CPUtime=0
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1001469866 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197108 CPUtime=0
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1001469866 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197108 CPUtime=0
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1001469868 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197108 CPUtime=0.18
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 626 0 0 0 18 0 0 0 16 0 9 0 1001469868 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197108 CPUtime=0
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1001469868 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197108 CPUtime=0
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1001469868 201838592 7896 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202468
[startup+12.7027 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 10588
/proc/meminfo: memFree=984160/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197432 CPUtime=5.91
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 11421 0 1 0 573 18 0 0 18 0 10 0 1001469863 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49358 9345 2543 9 0 43941 0
[pid=10578] ppid=10568 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (abscon) S 10568 10560 9564 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1001470465 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 237 196 169 0 50 0
[pid=10579] ppid=10578 vsize=654848 CPUtime=4.74
/proc/10579/stat : 10579 (java) S 10578 10560 9564 0 -1 0 20900 0 1 0 463 11 0 0 18 0 9 0 1001470466 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10579/statm: 163712 20213 2613 9 0 158240 0
[pid=10579/tid=10581] ppid=10578 vsize=654848 CPUtime=4.38
/proc/10579/task/10581/stat : 10581 (java) R 10578 10560 9564 0 -1 64 12526 0 1 0 431 7 0 0 25 0 9 0 1001470467 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4126726676 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10582] ppid=10578 vsize=654848 CPUtime=0.16
/proc/10579/task/10582/stat : 10582 (java) S 10578 10560 9564 0 -1 64 7453 0 0 0 14 2 0 0 16 0 9 0 1001470468 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10583] ppid=10578 vsize=654848 CPUtime=0
/proc/10579/task/10583/stat : 10583 (java) S 10578 10560 9564 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1001470468 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10584] ppid=10578 vsize=654848 CPUtime=0
/proc/10579/task/10584/stat : 10584 (java) S 10578 10560 9564 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1001470468 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10585] ppid=10578 vsize=654848 CPUtime=0
/proc/10579/task/10585/stat : 10585 (java) S 10578 10560 9564 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1001470470 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10586] ppid=10578 vsize=654848 CPUtime=0.17
/proc/10579/task/10586/stat : 10586 (java) S 10578 10560 9564 0 -1 64 375 0 0 0 17 0 0 0 15 0 9 0 1001470470 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10587] ppid=10578 vsize=654848 CPUtime=0
/proc/10579/task/10587/stat : 10587 (java) S 10578 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1001470470 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10588] ppid=10578 vsize=654848 CPUtime=0
/proc/10579/task/10588/stat : 10588 (java) S 10578 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1001470470 670564352 20213 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10580] ppid=10578 vsize=7044 CPUtime=0
/proc/10580/stat : 10580 (translate) S 10578 10560 9564 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1001470466 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 266134585426 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/10580/statm: 1761 213 182 1 0 41 0
[pid=10568/tid=10569] ppid=10560 vsize=197432 CPUtime=4.76
/proc/10568/task/10569/stat : 10569 (java) S 10560 10560 9564 0 -1 64 3859 0 1 0 469 7 0 0 25 0 10 0 1001469864 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197432 CPUtime=0.9
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 6111 0 0 0 81 9 0 0 16 0 10 0 1001469866 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197432 CPUtime=0
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1001469866 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197432 CPUtime=0
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1001469866 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197432 CPUtime=0
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1001469868 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197432 CPUtime=0.21
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 641 0 0 0 21 0 0 0 15 0 10 0 1001469868 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197432 CPUtime=0
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1001469868 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197432 CPUtime=0
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1001469868 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10577] ppid=10560 vsize=197432 CPUtime=0
/proc/10568/task/10577/stat : 10577 (java) S 10560 10560 9564 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1001470465 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 870040
[startup+25.5031 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 10588
/proc/meminfo: memFree=983968/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197432 CPUtime=5.91
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 11421 0 1 0 573 18 0 0 18 0 10 0 1001469863 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49358 9345 2543 9 0 43941 0
[pid=10578] ppid=10568 vsize=5356 CPUtime=0
/proc/10578/stat : 10578 (abscon) S 10568 10560 9564 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1001470465 5484544 237 996147200 4194304 4889804 548682068576 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10578/statm: 1339 237 196 169 0 50 0
[pid=10579] ppid=10578 vsize=654848 CPUtime=17.54
/proc/10579/stat : 10579 (java) S 10578 10560 9564 0 -1 0 20920 0 1 0 1742 12 0 0 18 0 9 0 1001470466 670564352 20226 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10579/statm: 163712 20226 2613 9 0 158240 0
[pid=10579/tid=10581] ppid=10578 vsize=654848 CPUtime=17.15
/proc/10579/task/10581/stat : 10581 (java) R 10578 10560 9564 0 -1 64 12529 0 1 0 1707 8 0 0 25 0 9 0 1001470467 670564352 20226 996147200 134512640 134550740 4294955808 18446744073709551615 4126726726 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10579/tid=10582] ppid=10578 vsize=654848 CPUtime=0.16
################
# More data... #
################
[pid=10590] ppid=10568 vsize=5356 CPUtime=0
/proc/10590/stat : 10590 (mistral) S 10568 10560 9564 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001479512 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10590/statm: 1339 236 196 169 0 50 0
[pid=10591] ppid=10590 vsize=11768 CPUtime=235.87
/proc/10591/stat : 10591 (xsolve) R 10590 10560 9564 0 -1 4194304 2290 0 0 0 23586 1 0 0 25 0 1 0 1001479513 12050432 2254 996147200 134512640 135239763 4294955952 18446744073709551615 134819899 0 4 0 0 0 0 0 17 0 0 0
/proc/10591/statm: 2942 2254 393 177 0 1845 0
[pid=10568/tid=10569] ppid=10560 vsize=197756 CPUtime=95.16
/proc/10568/task/10569/stat : 10569 (java) S 10560 10560 9564 0 -1 64 3938 21498 1 1 470 7 9025 14 16 0 10 0 1001469864 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197756 CPUtime=91.29
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 6124 21498 0 1 81 9 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 18 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197756 CPUtime=90.6
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 641 21498 0 1 21 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 19 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 20 21498 0 1 0 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10589] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10589/stat : 10589 (java) S 10560 10560 9564 0 -1 64 50 21498 0 1 0 0 9025 14 17 0 10 0 1001479512 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 334.05
Current children cumulated vsize (KiB) 220240
[startup+336.002 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 10591
/proc/meminfo: memFree=1047264/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197756 CPUtime=96.3
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 11575 21498 1 1 573 18 9025 14 18 0 10 0 1001469863 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49439 9351 2544 9 0 44022 0
[pid=10590] ppid=10568 vsize=5356 CPUtime=0
/proc/10590/stat : 10590 (mistral) S 10568 10560 9564 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001479512 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10590/statm: 1339 236 196 169 0 50 0
[pid=10591] ppid=10590 vsize=11768 CPUtime=237.46
/proc/10591/stat : 10591 (xsolve) R 10590 10560 9564 0 -1 4194304 2290 0 0 0 23745 1 0 0 25 0 1 0 1001479513 12050432 2254 996147200 134512640 135239763 4294955952 18446744073709551615 135103323 0 4 0 0 0 0 0 17 0 0 0
/proc/10591/statm: 2942 2254 393 177 0 1845 0
[pid=10568/tid=10569] ppid=10560 vsize=197756 CPUtime=95.16
/proc/10568/task/10569/stat : 10569 (java) S 10560 10560 9564 0 -1 64 3938 21498 1 1 470 7 9025 14 16 0 10 0 1001469864 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197756 CPUtime=91.29
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 6124 21498 0 1 81 9 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 18 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197756 CPUtime=90.6
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 641 21498 0 1 21 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 19 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 20 21498 0 1 0 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10589] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10589/stat : 10589 (java) S 10560 10560 9564 0 -1 64 50 21498 0 1 0 0 9025 14 17 0 10 0 1001479512 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 335.64
Current children cumulated vsize (KiB) 220240
[startup+336.402 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 10591
/proc/meminfo: memFree=1047264/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197756 CPUtime=96.3
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 11575 21498 1 1 573 18 9025 14 18 0 10 0 1001469863 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49439 9351 2544 9 0 44022 0
[pid=10590] ppid=10568 vsize=5356 CPUtime=0
/proc/10590/stat : 10590 (mistral) S 10568 10560 9564 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001479512 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10590/statm: 1339 236 196 169 0 50 0
[pid=10591] ppid=10590 vsize=11768 CPUtime=237.86
/proc/10591/stat : 10591 (xsolve) R 10590 10560 9564 0 -1 4194304 2290 0 0 0 23785 1 0 0 25 0 1 0 1001479513 12050432 2254 996147200 134512640 135239763 4294955952 18446744073709551615 135013628 0 4 0 0 0 0 0 17 0 0 0
/proc/10591/statm: 2942 2254 393 177 0 1845 0
[pid=10568/tid=10569] ppid=10560 vsize=197756 CPUtime=95.16
/proc/10568/task/10569/stat : 10569 (java) S 10560 10560 9564 0 -1 64 3938 21498 1 1 470 7 9025 14 16 0 10 0 1001469864 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197756 CPUtime=91.29
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 6124 21498 0 1 81 9 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 18 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197756 CPUtime=90.6
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 641 21498 0 1 21 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 19 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 20 21498 0 1 0 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10589] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10589/stat : 10589 (java) S 10560 10560 9564 0 -1 64 50 21498 0 1 0 0 9025 14 17 0 10 0 1001479512 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.04
Current children cumulated vsize (KiB) 220240
[startup+336.801 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 10591
/proc/meminfo: memFree=1047264/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197756 CPUtime=96.3
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 11575 21498 1 1 573 18 9025 14 18 0 10 0 1001469863 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49439 9351 2544 9 0 44022 0
[pid=10590] ppid=10568 vsize=5356 CPUtime=0
/proc/10590/stat : 10590 (mistral) S 10568 10560 9564 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001479512 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10590/statm: 1339 236 196 169 0 50 0
[pid=10591] ppid=10590 vsize=11768 CPUtime=238.26
/proc/10591/stat : 10591 (xsolve) R 10590 10560 9564 0 -1 4194304 2290 0 0 0 23825 1 0 0 25 0 1 0 1001479513 12050432 2254 996147200 134512640 135239763 4294955952 18446744073709551615 135096720 0 4 0 0 0 0 0 17 0 0 0
/proc/10591/statm: 2942 2254 393 177 0 1845 0
[pid=10568/tid=10569] ppid=10560 vsize=197756 CPUtime=95.16
/proc/10568/task/10569/stat : 10569 (java) S 10560 10560 9564 0 -1 64 3938 21498 1 1 470 7 9025 14 16 0 10 0 1001469864 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197756 CPUtime=91.29
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 6124 21498 0 1 81 9 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 18 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197756 CPUtime=90.6
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 641 21498 0 1 21 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 19 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 20 21498 0 1 0 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10589] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10589/stat : 10589 (java) S 10560 10560 9564 0 -1 64 50 21498 0 1 0 0 9025 14 17 0 10 0 1001479512 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.44
Current children cumulated vsize (KiB) 220240
[startup+336.902 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 10591
/proc/meminfo: memFree=1047264/2055920 swapFree=4174728/4192956
[pid=10560] ppid=10558 vsize=5360 CPUtime=1.88
/proc/10560/stat : 10560 (hydra) S 10558 10560 9564 0 -1 4194304 375 2911 0 0 0 0 186 2 18 0 1 0 1001469672 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10560/statm: 1340 238 196 169 0 51 0
[pid=10568] ppid=10560 vsize=197756 CPUtime=96.3
/proc/10568/stat : 10568 (java) S 10560 10560 9564 0 -1 0 11575 21498 1 1 573 18 9025 14 18 0 10 0 1001469863 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10568/statm: 49439 9351 2544 9 0 44022 0
[pid=10590] ppid=10568 vsize=5356 CPUtime=0
/proc/10590/stat : 10590 (mistral) S 10568 10560 9564 0 -1 4194304 297 0 0 0 0 0 0 0 18 0 1 0 1001479512 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 266134414148 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/10590/statm: 1339 236 196 169 0 50 0
[pid=10591] ppid=10590 vsize=11768 CPUtime=238.36
/proc/10591/stat : 10591 (xsolve) R 10590 10560 9564 0 -1 4194304 2305 0 0 0 23835 1 0 0 25 0 1 0 1001479513 12050432 2269 996147200 134512640 135239763 4294955952 18446744073709551615 1894238 0 4 0 0 0 0 0 17 0 0 0
/proc/10591/statm: 2942 2269 408 177 0 1845 0
[pid=10568/tid=10569] ppid=10560 vsize=197756 CPUtime=95.16
/proc/10568/task/10569/stat : 10569 (java) S 10560 10560 9564 0 -1 64 3938 21498 1 1 470 7 9025 14 16 0 10 0 1001469864 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=10568/tid=10570] ppid=10560 vsize=197756 CPUtime=91.29
/proc/10568/task/10570/stat : 10570 (java) S 10560 10560 9564 0 -1 64 6124 21498 0 1 81 9 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10568/tid=10571] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10571/stat : 10571 (java) S 10560 10560 9564 0 -1 64 11 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10572] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10572/stat : 10572 (java) S 10560 10560 9564 0 -1 64 5 21498 0 1 0 0 9025 14 16 0 10 0 1001469866 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10573] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10573/stat : 10573 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 18 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10574] ppid=10560 vsize=197756 CPUtime=90.6
/proc/10568/task/10574/stat : 10574 (java) S 10560 10560 9564 0 -1 64 641 21498 0 1 21 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10575] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10575/stat : 10575 (java) S 10560 10560 9564 0 -1 64 1 21498 0 1 0 0 9025 14 19 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10576] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10576/stat : 10576 (java) S 10560 10560 9564 0 -1 64 20 21498 0 1 0 0 9025 14 15 0 10 0 1001469868 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10568/tid=10589] ppid=10560 vsize=197756 CPUtime=90.39
/proc/10568/task/10589/stat : 10589 (java) S 10560 10560 9564 0 -1 64 50 21498 0 1 0 0 9025 14 17 0 10 0 1001479512 202502144 9351 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.54
Current children cumulated vsize (KiB) 220240
Child status: 0
Real time (s): 336.918
CPU time (s): 336.601
CPU user time (s): 336.212
CPU system time (s): 0.38894
CPU usage (%): 99.906
Max. virtual memory (cumulated for all children) (KiB): 870040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 336.212
system time used= 0.38894
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39114
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= 18871
involuntary context switches= 15286
runsolver used 0.681896 second user time and 1.78373 second system time
The end