0.00/0.00 c cpHydra_k_10 version 0.0
6.98/7.15 c CASE TO CLASSIFY:
6.98/7.15 c Case: 0
6.98/7.16 c 19 > 75.292900 | c 35 > 38.839200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.079900 | c 15 > 21.037000 | c 34 > 67.231100 | c 16 > 13.000000 | c 13 > 10.112500 | c 14 > 11.436200 | c 11 > 11.288300 | c 12 > 6.961050 | c 21 > 1.327260 | c 20 > 24.707100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.964700 | c 1 > 8.558420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.751100 | c 6 > 3.700440 | c 32 > -1.000000 | c 5 > 17.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.17 c choco : 1801.0
6.98/7.17 c mistral : 1801.0
6.98/7.17 c abscon : 1801.0
6.98/7.17 c
6.98/7.17 c
7.09/7.24 c List of same ones: 10
7.09/7.24 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/44s-smv.xml
7.09/7.24 c 19 > 75.292900 | c 35 > 38.839200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.079900 | c 15 > 19.766000 | c 34 > 67.231100 | c 16 > 13.000000 | c 13 > 9.295790 | c 14 > 10.263300 | c 11 > 11.288300 | c 12 > 5.478330 | c 21 > 1.327260 | c 20 > 24.707100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.964700 | c 1 > 8.558420 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.751100 | c 6 > 3.700440 | c 32 > -1.000000 | c 5 > 17.532800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.25 c choco : 526.57
7.09/7.25 c mistral : 10.6244
7.09/7.25 c abscon : 22.7125
7.09/7.25 c
7.09/7.25 c
7.09/7.25 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/circ-4-3.xml
7.09/7.25 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.26 c choco : 3.29
7.09/7.26 c mistral : 0.25796
7.09/7.26 c abscon : 1.26581
7.09/7.26 c
7.09/7.26 c
7.09/7.26 c /home/eomahony/cpZilla/CSP/pseudoSeries/ttp/data-4-3.xml
7.09/7.26 c 19 > 75.392700 | c 35 > 34.869100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 54.659700 | c 15 > 15.153300 | c 34 > 61.884800 | c 16 > 12.000000 | c 13 > 2.344930 | c 14 > 6.087460 | c 11 > 10.738100 | c 12 > 1.133810 | c 21 > 1.414210 | c 20 > 24.607300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.063400 | c 1 > 7.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 10.611000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 12.696100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.27 c choco : 3.26
7.09/7.27 c mistral : 0.25996
7.09/7.27 c abscon : 1.22581
7.09/7.27 c
7.09/7.27 c
7.09/7.27 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/25s-smv.xml
7.09/7.27 c 19 > 81.899000 | c 35 > 34.137800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.248800 | c 15 > 19.683600 | c 34 > 57.433700 | c 16 > 15.000000 | c 13 > 8.543310 | c 14 > 10.347600 | c 11 > 11.964000 | c 12 > 5.683650 | c 21 > 1.337030 | c 20 > 18.101000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.377800 | c 1 > 11.964000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.025600 | c 6 > 8.285400 | c 32 > -1.000000 | c 5 > 21.753700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.28 c choco : 1801.0
7.09/7.28 c mistral : 7.27
7.09/7.28 c abscon : 1800.14
7.09/7.28 c
7.09/7.28 c
7.09/7.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-floppy1-7.xml
7.09/7.28 c 19 > 67.590200 | c 35 > 36.778400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 46.536700 | c 15 > 16.630700 | c 34 > 65.125600 | c 16 > 25.000000 | c 13 > 3.944160 | c 14 > 0.000000 | c 11 > 11.272600 | c 12 > 3.250140 | c 21 > 1.359890 | c 20 > 32.409800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.302600 | c 1 > 11.272600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.247100 | c 6 > 4.169930 | c 32 > -1.000000 | c 5 > 26.649100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.29 c choco : 8.02
7.09/7.29 c mistral : 1.18
7.09/7.29 c abscon : 399.46
7.09/7.29 c
7.09/7.29 c
7.09/7.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/blast-tlan3.xml
7.09/7.29 c 19 > 86.349600 | c 35 > 46.047300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.464400 | c 15 > 19.541200 | c 34 > 81.365800 | c 16 > 19.000000 | c 13 > 5.094480 | c 14 > 5.807350 | c 11 > 14.283700 | c 12 > 3.553150 | c 21 > 1.414210 | c 20 > 13.650400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.164200 | c 1 > 14.283700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.930600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 26.729100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.09/7.30 c choco : 1801.0
7.09/7.30 c mistral : 8.12976
7.09/7.30 c abscon : 1239.62
7.09/7.30 c
7.09/7.30 c
7.09/7.30 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-98.xml
7.09/7.30 c 19 > 83.428400 | c 35 > 36.655300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.057000 | c 15 > 17.235500 | c 34 > 44.998100 | c 16 > 22.000000 | c 13 > 0.341304 | c 14 > 8.823370 | c 11 > 13.799600 | c 12 > 0.730699 | c 21 > 1.414140 | c 20 > 16.571600 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.775800 | c 1 > 12.174600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.234200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.478800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.30 c choco : 9.0
7.17/7.30 c mistral : 1.57
7.17/7.31 c abscon : 4.20736
7.17/7.31 c
7.17/7.31 c
7.17/7.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-30-4.5-0.95-100.xml
7.17/7.31 c 19 > 83.121800 | c 35 > 36.849800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 49.873100 | c 15 > 17.267300 | c 34 > 45.162000 | c 16 > 23.000000 | c 13 > 0.356037 | c 14 > 8.954200 | c 11 > 13.814000 | c 12 > 0.734359 | c 21 > 1.414140 | c 20 > 16.878200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.791000 | c 1 > 12.172400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.256500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.507700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.31 c choco : 8.83
7.17/7.31 c mistral : 1.53
7.17/7.31 c abscon : 3.86341
7.17/7.31 c
7.17/7.31 c
7.17/7.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/radar/radar-30-70-4.5-0.95-100.xml
7.17/7.31 c 19 > 83.402500 | c 35 > 37.196200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.041500 | c 15 > 18.523500 | c 34 > 45.536500 | c 16 > 24.000000 | c 13 > 0.360403 | c 14 > 9.924810 | c 11 > 13.421900 | c 12 > 1.654670 | c 21 > 1.414180 | c 20 > 16.597500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.058100 | c 1 > 13.421900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.530600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.765900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.32 c choco : 21.59
7.17/7.32 c mistral : 2.67
7.17/7.32 c abscon : 27.9078
7.17/7.32 c
7.17/7.32 c
7.17/7.32 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml
7.17/7.32 c 19 > 84.617700 | c 35 > 27.276000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.976700 | c 15 > 17.621300 | c 34 > 43.879900 | c 16 > 11.000000 | c 13 > 4.848120 | c 14 > 8.252670 | c 11 > 12.330900 | c 12 > 2.439020 | c 21 > 1.410480 | c 20 > 15.382300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.744400 | c 1 > 10.359700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.983000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.359300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.17/7.33 c choco : 7.85
7.17/7.33 c mistral : 0.439932
7.17/7.33 c abscon : 5.2372
7.17/7.33 c
7.17/7.33 c
7.17/7.33 c Length: 10
7.17/7.33 c 2.42004322946926 15.902769520630676 15.902769520630676 17.062080700694153 25.69844182947869 28.873761440924174 30.681027288259383 30.711925112539753 30.834904264393444 30.921351781036346
7.17/7.34 c
7.17/7.34 c 1.0 0.6788606349611827 0.6788606349611827 0.6606188712509752 0.5504339464132971 0.518629691046661 0.5021169378624879 0.5018437656600542 0.5007594284477589 0.5
7.17/7.34 c
7.17/7.34 c solver 0
7.17/7.34 c before 0.0 seconds: {} 0
7.17/7.34 c before 18.0 seconds: {1, 2, 6, 7, 9} 2861
7.17/7.34 c before 36.0 seconds: {0, 1, 2, 6, 7, 8, 9} 4362
7.17/7.34 c before 414.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9} 4912
7.17/7.34 c before 1242.0 seconds: {0, 1, 2, 4, 5, 6, 7, 8, 9} 5431
7.17/7.34 c
7.17/7.34 c solver 1
7.17/7.34 c before 0.0 seconds: {} 0
7.17/7.34 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6092
7.17/7.34 c
7.17/7.34 c solver 2
7.17/7.34 c before 0.0 seconds: {} 0
7.17/7.34 c before 18.0 seconds: {1, 2, 4, 6, 7, 9} 3412
7.17/7.34 c before 36.0 seconds: {1, 2, 4, 6, 7, 8, 9} 3912
7.17/7.34 c before 540.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9} 4912
7.17/7.34 c
7.17/7.34 cTotal time: 100
7.17/7.34 c 1800.0 seconds unused
7.17/7.34 c 0 c 0 c 1
7.17/7.34 c 1 c 0 c 2
7.17/7.34 c 0 c 0 c 0
7.17/7.34 c is solver0 dominated by:
7.17/7.34 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.17/7.34 c is dominated? true
7.17/7.34 c
7.17/7.34 c is solver1 dominated by:
7.17/7.34 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.17/7.34 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.17/7.34 c is dominated? false
7.17/7.34 c
7.17/7.34 c is solver2 dominated by:
7.17/7.34 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.17/7.34 c is dominated? true
7.17/7.34 c
7.17/7.34 c Number of non-dominated solvers: 1
7.17/7.34 c remove dominated solvers
7.17/7.34 c solver 1 is not dominated by another solver
7.17/7.34 c solver 2 is dominated by another solver
7.17/7.34 c solver 0 is dominated by another solver
7.17/7.34 c
7.17/7.34 c solver 0: 0.0
7.17/7.35 c
7.17/7.35 c solver 1: 18.0
7.17/7.35 c
7.17/7.35 c+ 1/1 of 99
7.17/7.35 c
7.17/7.35 c solver 2: 0.0
7.17/7.35 c do not run abscon
7.17/7.35 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6092
7.17/7.35 c do not run choco
7.17/7.35 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.17/7.35 c On Instance: HOME/instance-1063845-1215138878.xml
7.17/7.35 c Running for: 1800 seconds
492.35/497.20 c mistral-prime version 1.313
492.35/497.20 s UNSATISFIABLE
492.35/497.20 d CHECKS 714841197
492.35/497.20 d ASSIGNMENTS 418658
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1063845-1215138878/watcher-1063845-1215138878 -o /tmp/evaluation-result-1063845-1215138878/solver-1063845-1215138878 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1063845-1215138878.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.04 2.01 4/81 21526
/proc/meminfo: memFree=1697000/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=0
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1992861099 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 236 195 169 0 51 0
[pid=21528] ppid=21526 vsize=5360 CPUtime=0
/proc/21528/stat : 21528 (hydra) R 21526 21526 18683 0 -1 4194368 21 0 0 0 0 0 0 0 23 0 1 0 1992861100 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 213116316967 0 0 4096 0 0 0 0 17 1 0 0
/proc/21528/statm: 1340 239 198 169 0 51 0
[startup+0.106117 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 21526
/proc/meminfo: memFree=1697000/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=0
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992861099 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.202122 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 21526
/proc/meminfo: memFree=1697000/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=0
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992861099 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30213 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 21526
/proc/meminfo: memFree=1697000/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=0
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992861099 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702175 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 21526
/proc/meminfo: memFree=1697000/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=0
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992861099 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50227 s]
/proc/loadavg: 2.00 2.04 2.01 3/83 21530
/proc/meminfo: memFree=1690520/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=0
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992861099 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 236 195 169 0 51 0
[pid=21530] ppid=21526 vsize=10612 CPUtime=1.47
/proc/21530/stat : 21530 (xsolve) R 21526 21526 18683 0 -1 4194304 2017 0 0 0 147 0 0 0 25 0 1 0 1992861101 10866688 1976 996147200 134512640 135239763 4294956176 18446744073709551615 135096142 0 0 4096 0 0 0 0 17 1 0 0
/proc/21530/statm: 2653 1976 434 177 0 1556 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15972
[startup+3.10144 s]
/proc/loadavg: 2.00 2.04 2.01 3/91 21542
/proc/meminfo: memFree=1688856/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197024 CPUtime=1.5
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 6356 0 1 0 144 6 0 0 18 0 9 0 1992861257 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49256 5365 2556 9 0 43839 0
[pid=21534/tid=21535] ppid=21526 vsize=197024 CPUtime=1.13
/proc/21534/task/21535/stat : 21535 (java) R 21526 21526 18683 0 -1 64 2769 0 1 0 112 1 0 0 25 0 9 0 1992861258 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197024 CPUtime=0.19
/proc/21534/task/21536/stat : 21536 (java) R 21526 21526 18683 0 -1 64 2251 0 0 0 17 2 0 0 16 0 9 0 1992861259 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 102687684 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992861259 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992861259 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992861261 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197024 CPUtime=0.14
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 612 0 0 0 14 0 0 0 16 0 9 0 1992861261 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992861261 201752576 5365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992861262 201752576 5365 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) 202384
[startup+6.30279 s]
/proc/loadavg: 2.08 2.05 2.01 3/91 21542
/proc/meminfo: memFree=1675608/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197024 CPUtime=4.66
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 10199 0 1 0 452 14 0 0 18 0 9 0 1992861257 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49256 8467 2540 9 0 43839 0
[pid=21534/tid=21535] ppid=21526 vsize=197024 CPUtime=3.68
/proc/21534/task/21535/stat : 21535 (java) R 21526 21526 18683 0 -1 64 3586 0 1 0 365 3 0 0 25 0 9 0 1992861258 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4126506254 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197024 CPUtime=0.78
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 5261 0 0 0 69 9 0 0 16 0 9 0 1992861259 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992861259 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992861259 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992861261 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197024 CPUtime=0.17
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1992861261 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1992861261 201752576 8467 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197024 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1992861262 201752576 8467 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) 202384
[startup+12.7025 s]
/proc/loadavg: 2.07 2.05 2.01 3/94 21545
/proc/meminfo: memFree=1662144/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197348 CPUtime=5.68
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 11442 0 1 0 550 18 0 0 18 0 10 0 1992861257 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49337 9403 2544 9 0 43920 0
[pid=21544] ppid=21534 vsize=5356 CPUtime=0
/proc/21544/stat : 21544 (mistral) S 21534 21526 18683 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1992861835 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21544/statm: 1339 236 196 169 0 50 0
[pid=21545] ppid=21544 vsize=10612 CPUtime=5.28
/proc/21545/stat : 21545 (xsolve) R 21544 21526 18683 0 -1 4194304 1994 0 0 0 527 1 0 0 25 0 1 0 1992861836 10866688 1958 996147200 134512640 135239763 4294955968 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/21545/statm: 2653 1958 416 177 0 1556 0
[pid=21534/tid=21535] ppid=21526 vsize=197348 CPUtime=4.54
/proc/21534/task/21535/stat : 21535 (java) S 21526 21526 18683 0 -1 64 3857 0 1 0 449 5 0 0 23 0 10 0 1992861258 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197348 CPUtime=0.91
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 6128 0 0 0 80 11 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197348 CPUtime=0.2
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 17 0 0 0 0 0 0 0 15 0 10 0 1992861262 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21543] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21543/stat : 21543 (java) S 21526 21526 18683 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992861835 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 218676
[startup+25.5029 s]
/proc/loadavg: 2.05 2.05 2.01 3/94 21545
/proc/meminfo: memFree=1662272/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197348 CPUtime=5.68
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 11442 0 1 0 550 18 0 0 18 0 10 0 1992861257 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49337 9403 2544 9 0 43920 0
[pid=21544] ppid=21534 vsize=5356 CPUtime=0
/proc/21544/stat : 21544 (mistral) S 21534 21526 18683 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1992861835 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21544/statm: 1339 236 196 169 0 50 0
[pid=21545] ppid=21544 vsize=10612 CPUtime=17.95
/proc/21545/stat : 21545 (xsolve) R 21544 21526 18683 0 -1 4194304 1994 0 0 0 1794 1 0 0 25 0 1 0 1992861836 10866688 1958 996147200 134512640 135239763 4294955968 18446744073709551615 135071577 0 4 0 0 0 0 0 17 1 0 0
/proc/21545/statm: 2653 1958 416 177 0 1556 0
[pid=21534/tid=21535] ppid=21526 vsize=197348 CPUtime=4.54
/proc/21534/task/21535/stat : 21535 (java) S 21526 21526 18683 0 -1 64 3857 0 1 0 449 5 0 0 23 0 10 0 1992861258 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197348 CPUtime=0.91
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 6128 0 0 0 80 11 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197348 CPUtime=0.2
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 17 0 0 0 0 0 0 0 15 0 10 0 1992861262 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21543] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21543/stat : 21543 (java) S 21526 21526 18683 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992861835 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 218676
[startup+51.1027 s]
################
# More data... #
################
/proc/loadavg: 1.92 1.98 1.99 3/82 21580
/proc/meminfo: memFree=1771952/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197348 CPUtime=5.68
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 11442 0 1 0 550 18 0 0 18 0 10 0 1992861257 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49337 9403 2544 9 0 43920 0
[pid=21544] ppid=21534 vsize=5356 CPUtime=0
/proc/21544/stat : 21544 (mistral) S 21534 21526 18683 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1992861835 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21544/statm: 1339 236 196 169 0 50 0
[pid=21545] ppid=21544 vsize=10612 CPUtime=480.84
/proc/21545/stat : 21545 (xsolve) R 21544 21526 18683 0 -1 4194304 1994 0 0 0 48082 2 0 0 25 0 1 0 1992861836 10866688 1958 996147200 134512640 135239763 4294955968 18446744073709551615 135071032 0 4 0 0 0 0 0 17 1 0 0
/proc/21545/statm: 2653 1958 416 177 0 1556 0
[pid=21534/tid=21535] ppid=21526 vsize=197348 CPUtime=4.54
/proc/21534/task/21535/stat : 21535 (java) S 21526 21526 18683 0 -1 64 3857 0 1 0 449 5 0 0 23 0 10 0 1992861258 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197348 CPUtime=0.91
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 6128 0 0 0 80 11 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197348 CPUtime=0.2
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 17 0 0 0 0 0 0 0 15 0 10 0 1992861262 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21543] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21543/stat : 21543 (java) S 21526 21526 18683 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992861835 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 488.06
Current children cumulated vsize (KiB) 218676
[startup+494.403 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 21595
/proc/meminfo: memFree=1777400/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197348 CPUtime=5.68
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 11442 0 1 0 550 18 0 0 18 0 10 0 1992861257 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49337 9403 2544 9 0 43920 0
[pid=21544] ppid=21534 vsize=5356 CPUtime=0
/proc/21544/stat : 21544 (mistral) S 21534 21526 18683 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1992861835 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21544/statm: 1339 236 196 169 0 50 0
[pid=21545] ppid=21544 vsize=10612 CPUtime=482.43
/proc/21545/stat : 21545 (xsolve) R 21544 21526 18683 0 -1 4194304 1994 0 0 0 48241 2 0 0 25 0 1 0 1992861836 10866688 1958 996147200 134512640 135239763 4294955968 18446744073709551615 135030850 0 4 0 0 0 0 0 17 0 0 0
/proc/21545/statm: 2653 1958 416 177 0 1556 0
[pid=21534/tid=21535] ppid=21526 vsize=197348 CPUtime=4.54
/proc/21534/task/21535/stat : 21535 (java) S 21526 21526 18683 0 -1 64 3857 0 1 0 449 5 0 0 23 0 10 0 1992861258 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197348 CPUtime=0.91
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 6128 0 0 0 80 11 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197348 CPUtime=0.2
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 17 0 0 0 0 0 0 0 15 0 10 0 1992861262 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21543] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21543/stat : 21543 (java) S 21526 21526 18683 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992861835 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 489.65
Current children cumulated vsize (KiB) 218676
[startup+496.002 s]
/proc/loadavg: 2.01 2.00 2.00 3/95 21615
/proc/meminfo: memFree=1750280/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197348 CPUtime=5.68
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 11442 0 1 0 550 18 0 0 18 0 10 0 1992861257 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49337 9403 2544 9 0 43920 0
[pid=21544] ppid=21534 vsize=5356 CPUtime=0
/proc/21544/stat : 21544 (mistral) S 21534 21526 18683 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1992861835 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21544/statm: 1339 236 196 169 0 50 0
[pid=21545] ppid=21544 vsize=10612 CPUtime=484.03
/proc/21545/stat : 21545 (xsolve) R 21544 21526 18683 0 -1 4194304 1994 0 0 0 48401 2 0 0 25 0 1 0 1992861836 10866688 1958 996147200 134512640 135239763 4294955968 18446744073709551615 135096163 0 4 0 0 0 0 0 17 0 0 0
/proc/21545/statm: 2653 1958 416 177 0 1556 0
[pid=21534/tid=21535] ppid=21526 vsize=197348 CPUtime=4.54
/proc/21534/task/21535/stat : 21535 (java) S 21526 21526 18683 0 -1 64 3857 0 1 0 449 5 0 0 23 0 10 0 1992861258 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197348 CPUtime=0.91
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 6128 0 0 0 80 11 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197348 CPUtime=0.2
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 17 0 0 0 0 0 0 0 15 0 10 0 1992861262 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21543] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21543/stat : 21543 (java) S 21526 21526 18683 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992861835 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 491.25
Current children cumulated vsize (KiB) 218676
[startup+496.802 s]
/proc/loadavg: 2.01 2.00 2.00 4/95 21625
/proc/meminfo: memFree=1753032/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197348 CPUtime=5.68
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 11442 0 1 0 550 18 0 0 18 0 10 0 1992861257 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49337 9403 2544 9 0 43920 0
[pid=21544] ppid=21534 vsize=5356 CPUtime=0
/proc/21544/stat : 21544 (mistral) S 21534 21526 18683 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 1992861835 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 213116314436 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21544/statm: 1339 236 196 169 0 50 0
[pid=21545] ppid=21544 vsize=10612 CPUtime=484.83
/proc/21545/stat : 21545 (xsolve) R 21544 21526 18683 0 -1 4194304 1994 0 0 0 48481 2 0 0 25 0 1 0 1992861836 10866688 1958 996147200 134512640 135239763 4294955968 18446744073709551615 134803410 0 4 0 0 0 0 0 17 0 0 0
/proc/21545/statm: 2653 1958 416 177 0 1556 0
[pid=21534/tid=21535] ppid=21526 vsize=197348 CPUtime=4.54
/proc/21534/task/21535/stat : 21535 (java) S 21526 21526 18683 0 -1 64 3857 0 1 0 449 5 0 0 23 0 10 0 1992861258 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197348 CPUtime=0.91
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 6128 0 0 0 80 11 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992861259 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197348 CPUtime=0.2
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1992861261 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 17 0 0 0 0 0 0 0 15 0 10 0 1992861262 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21543] ppid=21526 vsize=197348 CPUtime=0
/proc/21534/task/21543/stat : 21543 (java) S 21526 21526 18683 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992861835 202084352 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 492.05
Current children cumulated vsize (KiB) 218676
[startup+497.202 s]
/proc/loadavg: 2.01 2.00 2.00 5/94 21625
/proc/meminfo: memFree=1734864/2055920 swapFree=4179916/4192956
[pid=21526] ppid=21524 vsize=5360 CPUtime=1.54
/proc/21526/stat : 21526 (hydra) S 21524 21526 18683 0 -1 4194304 375 2613 0 0 0 0 153 1 18 0 1 0 1992861099 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21526/statm: 1340 238 196 169 0 51 0
[pid=21534] ppid=21526 vsize=197348 CPUtime=490.93
/proc/21534/stat : 21534 (java) S 21526 21526 18683 0 -1 0 11527 2309 1 0 551 18 48521 3 18 0 9 0 1992861257 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21534/statm: 49337 9405 2545 9 0 43920 0
[pid=21534/tid=21535] ppid=21526 vsize=197348 CPUtime=489.78
/proc/21534/task/21535/stat : 21535 (java) S 21526 21526 18683 0 -1 64 3909 2309 1 0 449 5 48521 3 16 0 9 0 1992861258 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21534/tid=21536] ppid=21526 vsize=197348 CPUtime=486.15
/proc/21534/task/21536/stat : 21536 (java) S 21526 21526 18683 0 -1 64 6149 2309 0 0 80 11 48521 3 16 0 9 0 1992861259 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21534/tid=21537] ppid=21526 vsize=197348 CPUtime=485.24
/proc/21534/task/21537/stat : 21537 (java) S 21526 21526 18683 0 -1 64 11 2309 0 0 0 0 48521 3 16 0 9 0 1992861259 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21538] ppid=21526 vsize=197348 CPUtime=485.24
/proc/21534/task/21538/stat : 21538 (java) S 21526 21526 18683 0 -1 64 5 2309 0 0 0 0 48521 3 16 0 9 0 1992861259 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21539] ppid=21526 vsize=197348 CPUtime=485.24
/proc/21534/task/21539/stat : 21539 (java) S 21526 21526 18683 0 -1 64 1 2309 0 0 0 0 48521 3 18 0 9 0 1992861261 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21540] ppid=21526 vsize=197348 CPUtime=485.44
/proc/21534/task/21540/stat : 21540 (java) S 21526 21526 18683 0 -1 64 646 2309 0 0 20 0 48521 3 16 0 9 0 1992861261 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21541] ppid=21526 vsize=197348 CPUtime=485.24
/proc/21534/task/21541/stat : 21541 (java) S 21526 21526 18683 0 -1 64 0 2309 0 0 0 0 48521 3 19 0 9 0 1992861261 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21534/tid=21542] ppid=21526 vsize=197348 CPUtime=485.24
/proc/21534/task/21542/stat : 21542 (java) S 21526 21526 18683 0 -1 64 17 2309 0 0 0 0 48521 3 15 0 9 0 1992861262 202084352 9405 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 492.47
Current children cumulated vsize (KiB) 202708
Child status: 0
Real time (s): 497.228
CPU time (s): 492.506
CPU user time (s): 492.263
CPU system time (s): 0.242963
CPU usage (%): 99.0505
Max. virtual memory (cumulated for all children) (KiB): 218676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 492.263
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16865
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19074
involuntary context switches= 33265
runsolver used 0.560914 second user time and 1.74973 second system time
The end