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 > 20.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.434900 | c 34 > 10.375000 | c 16 > 3.000000 | c 13 > 7.803300 | c 14 > 9.631180 | c 11 > 7.894820 | c 12 > 7.812570 | c 21 > 8.916450 | c 20 > 100.000000 | c 22 > 8.944270 | 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 > 7.312880 | c 2 > -1.000000 | c 10 > 12.661800 | 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 > 14.940500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.303780 | 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.67/7.83 c List of same ones: 10
7.67/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml
7.67/7.83 c 19 > 0.000000 | c 35 > 20.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.073400 | c 34 > 10.428600 | c 16 > 3.000000 | c 13 > 7.768240 | c 14 > 9.493860 | c 11 > 8.113740 | c 12 > 7.355010 | c 21 > 8.336880 | c 20 > 100.000000 | c 22 > 8.366600 | 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 > 7.118940 | c 2 > -1.000000 | c 10 > 12.279000 | 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 > 14.551500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.108520 | c
7.67/7.83 c choco : 4.77
7.67/7.83 c mistral : 1800.06
7.67/7.83 c abscon : 41.2627
7.67/7.83 c
7.67/7.83 c
7.67/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml
7.67/7.83 c 19 > 0.000000 | c 35 > 20.166700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 18.987900 | c 34 > 10.500000 | c 16 > 3.000000 | c 13 > 8.556550 | c 14 > 10.303800 | c 11 > 7.888740 | c 12 > 8.578890 | c 21 > 7.713900 | c 20 > 100.000000 | c 22 > 7.745970 | 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 > 6.894820 | c 2 > -1.000000 | c 10 > 11.837600 | 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 > 14.101900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.882640 | c
7.67/7.84 c choco : 4.06
7.67/7.84 c mistral : 1800.09
7.67/7.84 c abscon : 19.4
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-80.xml
7.67/7.84 c 19 > 0.000000 | c 35 > 20.125000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.037700 | c 34 > 10.375000 | c 16 > 3.000000 | c 13 > 7.676200 | c 14 > 6.954200 | c 11 > 7.894820 | c 12 > 7.527940 | c 21 > 8.916450 | c 20 > 100.000000 | c 22 > 8.944270 | 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 > 7.312880 | c 2 > -1.000000 | c 10 > 12.661800 | 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 > 14.940500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.303780 | c
7.67/7.85 c choco : 5.54
7.67/7.85 c mistral : 1800.04
7.67/7.85 c abscon : 78.831
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-90.xml
7.67/7.85 c 19 > 0.000000 | c 35 > 20.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.782800 | c 34 > 10.333300 | c 16 > 3.000000 | c 13 > 7.694210 | c 14 > 6.066090 | c 11 > 8.066090 | c 12 > 7.577090 | c 21 > 9.460590 | c 20 > 100.000000 | c 22 > 9.486830 | 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 > 7.483820 | c 2 > -1.000000 | c 10 > 12.999600 | 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 > 15.283100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.475730 | c
7.67/7.86 c choco : 6.42
7.67/7.86 c mistral : 1800.02
7.67/7.86 c abscon : 133.526
7.67/7.86 c
7.67/7.86 c
7.67/7.86 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml
7.67/7.86 c 19 > 0.000000 | c 35 > 20.200000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.610900 | c 34 > 10.600000 | c 16 > 3.000000 | c 13 > 9.356060 | c 14 > 11.174900 | c 11 > 7.622050 | c 12 > 9.409190 | c 21 > 7.035980 | c 20 > 100.000000 | c 22 > 7.071070 | 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 > 6.629360 | c 2 > -1.000000 | c 10 > 11.316300 | 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 > 13.569000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.614710 | c
7.86/8.07 c choco : 3.47
7.86/8.07 c mistral : 25.06
7.86/8.07 c abscon : 7.93379
7.86/8.07 c
7.86/8.07 c
7.86/8.07 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-100.xml
7.86/8.07 c 19 > 0.000000 | c 35 > 20.100000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 16.449100 | c 34 > 10.300000 | c 16 > 3.000000 | c 13 > 7.251880 | c 14 > 5.523560 | c 11 > 8.219170 | c 12 > 7.283660 | c 21 > 9.975090 | c 20 > 100.000000 | c 22 > 10.000000 | 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 > 7.636620 | c 2 > -1.000000 | c 10 > 13.302100 | 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 > 15.589400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 7.629360 | c
7.86/8.08 c choco : 7.48
7.86/8.08 c mistral : 1800.02
7.86/8.08 c abscon : 233.382
7.86/8.08 c
7.86/8.08 c
7.86/8.08 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml
7.86/8.08 c 19 > 0.000000 | c 35 > 20.222200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.700700 | c 34 > 10.666700 | c 16 > 3.000000 | c 13 > 9.470560 | c 14 > 11.063400 | c 11 > 7.467610 | c 12 > 9.504530 | c 21 > 6.671250 | c 20 > 100.000000 | c 22 > 6.708200 | 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 > 6.475730 | c 2 > -1.000000 | c 10 > 11.015400 | 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 > 13.260500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.459430 | c
7.86/8.08 c choco : 3.28
7.86/8.08 c mistral : 1800.02
7.86/8.08 c abscon : 5.34119
7.86/8.08 c
7.86/8.08 c
7.86/8.08 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml
7.86/8.08 c 19 > 0.000000 | c 35 > 20.250000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.533600 | c 34 > 10.750000 | c 16 > 3.000000 | c 13 > 9.269850 | c 14 > 11.296900 | c 11 > 7.294620 | c 12 > 9.328520 | c 21 > 6.285410 | c 20 > 100.000000 | c 22 > 6.324560 | 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 > 6.303780 | c 2 > -1.000000 | c 10 > 10.679500 | 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 > 12.914900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.285400 | c
7.86/8.09 c choco : 2.94
7.86/8.09 c mistral : 1800.01
7.86/8.09 c abscon : 3.38349
7.86/8.09 c
7.86/8.09 c
7.86/8.09 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml
7.86/8.09 c 19 > 0.000000 | c 35 > 20.285700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 19.970600 | c 34 > 10.857100 | c 16 > 3.000000 | c 13 > 9.583130 | c 14 > 11.806500 | c 11 > 7.098030 | c 12 > 9.672770 | c 21 > 5.874290 | c 20 > 100.000000 | c 22 > 5.916080 | 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 > 6.108520 | c 2 > -1.000000 | c 10 > 10.299200 | 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 > 12.522300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 6.087460 | c
7.95/8.10 c choco : 2.63
7.95/8.10 c mistral : 1800.03
7.95/8.10 c abscon : 2.32365
7.95/8.10 c
7.95/8.10 c
7.95/8.10 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-30.xml
7.95/8.10 c 19 > 0.000000 | c 35 > 20.333300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.178300 | c 34 > 11.000000 | c 16 > 3.000000 | c 13 > 10.203700 | c 14 > 12.354500 | c 11 > 6.870360 | c 12 > 10.327600 | c 21 > 5.432170 | c 20 > 100.000000 | c 22 > 5.477230 | 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 > 5.882640 | c 2 > -1.000000 | c 10 > 9.861090 | 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 > 12.067800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 5.857980 | c
7.95/8.11 c choco : 2.42
7.95/8.11 c mistral : 1.26
7.95/8.11 c abscon : 1.59976
7.95/8.11 c
7.95/8.11 c
7.95/8.11 c Length: 10
7.95/8.11 c 1.2060052947644948 2.5587101206271874 3.0357138217065187 4.051993172353575 4.5316007292677485 4.978790630052643 5.153711819805217 5.728902984298127 6.884461428398011 8.271615501013088
7.95/8.11 c
7.95/8.11 c 1.0 0.839314064548207 0.7943065805933482 0.7128628649470882 0.6799605792170009 0.6519055499654501 0.6415515306279066 0.6097083653729231 0.5544235268249518 0.5
7.95/8.12 c
7.95/8.12 c solver 0
7.95/8.12 c before 0.0 seconds: {} 0
7.95/8.12 c before 18.0 seconds: {4, 6, 7, 8, 9} 2985
7.95/8.12 c before 36.0 seconds: {1, 4, 6, 7, 8, 9} 3824
7.95/8.12 c before 54.0 seconds: {0, 1, 4, 6, 7, 8, 9} 4824
7.95/8.12 c before 90.0 seconds: {0, 1, 2, 4, 6, 7, 8, 9} 5619
7.95/8.12 c before 144.0 seconds: {0, 1, 2, 3, 4, 6, 7, 8, 9} 6332
7.95/8.12 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6984
7.95/8.12 c
7.95/8.12 c solver 1
7.95/8.12 c before 0.0 seconds: {} 0
7.95/8.12 c before 18.0 seconds: {9} 500
7.95/8.12 c before 36.0 seconds: {4, 9} 1179
7.95/8.12 c
7.95/8.12 c solver 2
7.95/8.12 c before 0.0 seconds: {} 0
7.95/8.12 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6984
7.95/8.12 c
7.95/8.12 cTotal time: 16
7.95/8.12 c 288.0 seconds unused
7.95/8.12 c 0 c 8 c 0
7.95/8.12 c 0 c 0 c 0
7.95/8.12 c 0 c 8 c 0
7.95/8.12 c is solver0 dominated by:
7.95/8.12 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.95/8.12 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.95/8.12 c is dominated? true
7.95/8.12 c
7.95/8.12 c is solver1 dominated by:
7.95/8.12 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.95/8.12 c is dominated? true
7.95/8.12 c
7.95/8.12 c is solver2 dominated by:
7.95/8.12 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.95/8.12 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.95/8.12 c is dominated? false
7.95/8.12 c
7.95/8.12 c Number of non-dominated solvers: 1
7.95/8.12 c remove dominated solvers
7.95/8.12 c solver 2 is not dominated by another solver
7.95/8.12 c solver 1 is dominated by another solver
7.95/8.12 c solver 0 is dominated by another solver
7.95/8.12 c
7.95/8.12 c solver 0: 0.0
7.95/8.12 c
7.95/8.12 c solver 1: 0.0
7.95/8.12 c
7.95/8.12 c solver 2: 18.0
7.95/8.13 c
7.95/8.13 c+ 1/1 of 99
7.95/8.13 c do not run abscon
7.95/8.13 c do not run mistral
7.95/8.13 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6984
7.95/8.13 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.95/8.13 c On Instance: HOME/instance-1060443-1215126769.xml
7.95/8.13 c Running for: 1800 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060443-1215126769/watcher-1060443-1215126769 -o /tmp/evaluation-result-1060443-1215126769/solver-1060443-1215126769 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060443-1215126769.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 1.80 1.43 4/85 25518
/proc/meminfo: memFree=1278648/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=18572 CPUtime=0
/proc/25518/stat : 25518 (runsolver) R 25516 25518 25331 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 124687939 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 210723466535 0 0 4096 24578 0 0 0 17 1 0 0
/proc/25518/statm: 4643 292 257 25 0 2626 0
[startup+0.0341429 s]
/proc/loadavg: 1.99 1.80 1.43 4/85 25518
/proc/meminfo: memFree=1278648/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=0
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 124687939 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102151 s]
/proc/loadavg: 1.99 1.80 1.43 4/85 25518
/proc/meminfo: memFree=1278648/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=0
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 124687939 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301181 s]
/proc/loadavg: 1.99 1.80 1.43 4/85 25518
/proc/meminfo: memFree=1278648/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=0
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 124687939 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70122 s]
/proc/loadavg: 1.99 1.80 1.43 4/85 25518
/proc/meminfo: memFree=1278648/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=0
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 124687939 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50231 s]
/proc/loadavg: 1.99 1.80 1.43 3/87 25522
/proc/meminfo: memFree=1274408/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=0
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 124687939 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 236 195 169 0 51 0
[pid=25522] ppid=25518 vsize=8760 CPUtime=1.47
/proc/25522/stat : 25522 (xsolve) R 25518 25518 25331 0 -1 4194304 1574 0 0 0 146 1 0 0 25 0 1 0 124687940 8970240 1491 996147200 134512640 135239763 4294956176 18446744073709551615 134805439 0 0 4096 0 0 0 0 17 1 0 0
/proc/25522/statm: 2190 1491 434 177 0 1093 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14120
[startup+3.10151 s]
/proc/loadavg: 1.99 1.80 1.43 4/95 25534
/proc/meminfo: memFree=1272616/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=1.68
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 375 2170 0 0 0 0 167 1 18 0 1 0 124687939 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 238 196 169 0 51 0
[pid=25526] ppid=25518 vsize=197000 CPUtime=1.36
/proc/25526/stat : 25526 (java) S 25518 25518 25331 0 -1 0 4793 0 1 0 131 5 0 0 18 0 9 0 124688110 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25526/statm: 49250 4032 1677 9 0 43833 0
[pid=25526/tid=25527] ppid=25518 vsize=197000 CPUtime=1.05
/proc/25526/task/25527/stat : 25527 (java) R 25518 25518 25331 0 -1 64 2686 0 1 0 104 1 0 0 25 0 9 0 124688112 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4126381565 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25528] ppid=25518 vsize=197000 CPUtime=0.12
/proc/25526/task/25528/stat : 25528 (java) S 25518 25518 25331 0 -1 64 778 0 0 0 11 1 0 0 16 0 9 0 124688113 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25529] ppid=25518 vsize=197000 CPUtime=0
/proc/25526/task/25529/stat : 25529 (java) S 25518 25518 25331 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 124688113 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25530] ppid=25518 vsize=197000 CPUtime=0
/proc/25526/task/25530/stat : 25530 (java) S 25518 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 124688113 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25531] ppid=25518 vsize=197000 CPUtime=0
/proc/25526/task/25531/stat : 25531 (java) S 25518 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 124688115 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25532] ppid=25518 vsize=197000 CPUtime=0.14
/proc/25526/task/25532/stat : 25532 (java) S 25518 25518 25331 0 -1 64 605 0 0 0 14 0 0 0 16 0 9 0 124688115 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25533] ppid=25518 vsize=197000 CPUtime=0
/proc/25526/task/25533/stat : 25533 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 124688115 201728000 4032 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25534] ppid=25518 vsize=197000 CPUtime=0
/proc/25526/task/25534/stat : 25534 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 124688115 201728000 4032 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.30188 s]
/proc/loadavg: 1.99 1.80 1.43 3/95 25534
/proc/meminfo: memFree=1259496/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=1.68
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 375 2170 0 0 0 0 167 1 18 0 1 0 124687939 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 238 196 169 0 51 0
[pid=25526] ppid=25518 vsize=197108 CPUtime=4.51
/proc/25526/stat : 25526 (java) S 25518 25518 25331 0 -1 0 9602 0 1 0 439 12 0 0 18 0 9 0 124688110 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25526/statm: 49277 7956 2540 9 0 43860 0
[pid=25526/tid=25527] ppid=25518 vsize=197108 CPUtime=3.56
/proc/25526/task/25527/stat : 25527 (java) R 25518 25518 25331 0 -1 64 3487 0 1 0 352 4 0 0 25 0 9 0 124688112 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4126442159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25528] ppid=25518 vsize=197108 CPUtime=0.75
/proc/25526/task/25528/stat : 25528 (java) S 25518 25518 25331 0 -1 64 4762 0 0 0 68 7 0 0 16 0 9 0 124688113 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25529] ppid=25518 vsize=197108 CPUtime=0
/proc/25526/task/25529/stat : 25529 (java) S 25518 25518 25331 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 124688113 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25530] ppid=25518 vsize=197108 CPUtime=0
/proc/25526/task/25530/stat : 25530 (java) S 25518 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 124688113 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25531] ppid=25518 vsize=197108 CPUtime=0
/proc/25526/task/25531/stat : 25531 (java) S 25518 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 124688115 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25532] ppid=25518 vsize=197108 CPUtime=0.18
/proc/25526/task/25532/stat : 25532 (java) S 25518 25518 25331 0 -1 64 629 0 0 0 18 0 0 0 16 0 9 0 124688115 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25533] ppid=25518 vsize=197108 CPUtime=0
/proc/25526/task/25533/stat : 25533 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 124688115 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25534] ppid=25518 vsize=197108 CPUtime=0
/proc/25526/task/25534/stat : 25534 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 124688115 201838592 7956 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202468
[startup+12.7026 s]
/proc/loadavg: 1.99 1.81 1.44 3/106 25545
/proc/meminfo: memFree=1191832/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=1.68
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 375 2170 0 0 0 0 167 1 18 0 1 0 124687939 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 238 196 169 0 51 0
[pid=25526] ppid=25518 vsize=197432 CPUtime=6.29
/proc/25526/stat : 25526 (java) S 25518 25518 25331 0 -1 0 13875 0 1 0 610 19 0 0 18 0 10 0 124688110 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25526/statm: 49358 9388 2543 9 0 43941 0
[pid=25536] ppid=25526 vsize=5356 CPUtime=0
/proc/25536/stat : 25536 (choco) S 25526 25518 25331 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 124688752 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25536/statm: 1339 238 197 169 0 50 0
[pid=25537] ppid=25536 vsize=655612 CPUtime=4.46
/proc/25537/stat : 25537 (java) S 25536 25518 25331 0 -1 0 16920 0 1 0 435 11 0 0 25 0 9 0 124688753 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25537/statm: 163903 16487 1932 9 0 158432 0
[pid=25537/tid=25538] ppid=25536 vsize=655612 CPUtime=3.93
/proc/25537/task/25538/stat : 25538 (java) R 25536 25518 25331 0 -1 64 12181 0 1 0 385 8 0 0 25 0 9 0 124688754 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4127316231 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25539] ppid=25536 vsize=655612 CPUtime=0.12
/proc/25537/task/25539/stat : 25539 (java) S 25536 25518 25331 0 -1 64 3505 0 0 0 11 1 0 0 16 0 9 0 124688755 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25540] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25540/stat : 25540 (java) S 25536 25518 25331 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25541] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25541/stat : 25541 (java) S 25536 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25542] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25542/stat : 25542 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 124688757 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25543] ppid=25536 vsize=655612 CPUtime=0.39
/proc/25537/task/25543/stat : 25543 (java) S 25536 25518 25331 0 -1 64 688 0 0 0 38 1 0 0 16 0 9 0 124688757 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25544] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25544/stat : 25544 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 124688757 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25545] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25545/stat : 25545 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 124688757 671346688 16487 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25527] ppid=25518 vsize=197432 CPUtime=4.91
/proc/25526/task/25527/stat : 25527 (java) S 25518 25518 25331 0 -1 64 3859 0 1 0 485 6 0 0 25 0 10 0 124688112 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25526/tid=25528] ppid=25518 vsize=197432 CPUtime=1.14
/proc/25526/task/25528/stat : 25528 (java) S 25518 25518 25331 0 -1 64 8563 0 0 0 103 11 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25529] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25529/stat : 25529 (java) S 25518 25518 25331 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25530] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25530/stat : 25530 (java) S 25518 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25531] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25531/stat : 25531 (java) S 25518 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25532] ppid=25518 vsize=197432 CPUtime=0.21
/proc/25526/task/25532/stat : 25532 (java) S 25518 25518 25331 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25533] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25533/stat : 25533 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25534] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25534/stat : 25534 (java) S 25518 25518 25331 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25535] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25535/stat : 25535 (java) S 25518 25518 25331 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 124688752 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.43
Current children cumulated vsize (KiB) 863760
[startup+25.5031 s]
/proc/loadavg: 1.99 1.81 1.44 3/106 25545
/proc/meminfo: memFree=1191000/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=1.68
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 375 2170 0 0 0 0 167 1 18 0 1 0 124687939 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 238 196 169 0 51 0
[pid=25526] ppid=25518 vsize=197432 CPUtime=6.29
/proc/25526/stat : 25526 (java) S 25518 25518 25331 0 -1 0 13875 0 1 0 610 19 0 0 18 0 10 0 124688110 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25526/statm: 49358 9388 2543 9 0 43941 0
[pid=25536] ppid=25526 vsize=5356 CPUtime=0
/proc/25536/stat : 25536 (choco) S 25526 25518 25331 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 124688752 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25536/statm: 1339 238 197 169 0 50 0
[pid=25537] ppid=25536 vsize=655612 CPUtime=17
/proc/25537/stat : 25537 (java) S 25536 25518 25331 0 -1 0 17008 0 1 0 1670 30 0 0 25 0 9 0 124688753 671346688 16567 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25537/statm: 163903 16567 1935 9 0 158432 0
[pid=25537/tid=25538] ppid=25536 vsize=655612 CPUtime=16.41
/proc/25537/task/25538/stat : 25538 (java) R 25536 25518 25331 0 -1 64 12190 0 1 0 1615 26 0 0 25 0 9 0 124688754 671346688 16567 996147200 134512640 134550740 4294955936 18446744073709551615 4127322999 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25539] ppid=25536 vsize=655612 CPUtime=0.14
/proc/25537/task/25539/stat : 25539 (java) S 25536 25518 25331 0 -1 64 3568 0 0 0 13 1 0 0 17 0 9 0 124688755 671346688 16567 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25540] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25540/stat : 25540 (java) S 25536 25518 25331 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16567 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25541] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25541/stat : 25541 (java) S 25536 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16567 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25542] ppid=25536 vsize=655612 CPUtime=0
################
# More data... #
################
/proc/25526/statm: 49358 9388 2543 9 0 43941 0
[pid=25536] ppid=25526 vsize=5356 CPUtime=0
/proc/25536/stat : 25536 (choco) S 25526 25518 25331 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 124688752 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25536/statm: 1339 238 197 169 0 50 0
[pid=25537] ppid=25536 vsize=655612 CPUtime=1711.99
/proc/25537/stat : 25537 (java) S 25536 25518 25331 0 -1 0 17911 0 1 0 169208 1991 0 0 25 0 9 0 124688753 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25537/statm: 163903 16841 1935 9 0 158432 0
[pid=25537/tid=25538] ppid=25536 vsize=655612 CPUtime=1711.04
/proc/25537/task/25538/stat : 25538 (java) R 25536 25518 25331 0 -1 64 12819 0 1 0 169119 1985 0 0 25 0 9 0 124688754 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25539] ppid=25536 vsize=655612 CPUtime=0.51
/proc/25537/task/25539/stat : 25539 (java) S 25536 25518 25331 0 -1 64 3842 0 0 0 47 4 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25540] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25540/stat : 25540 (java) S 25536 25518 25331 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25541] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25541/stat : 25541 (java) S 25536 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25542] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25542/stat : 25542 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25543] ppid=25536 vsize=655612 CPUtime=0.42
/proc/25537/task/25543/stat : 25543 (java) S 25536 25518 25331 0 -1 64 704 0 0 0 41 1 0 0 16 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25544] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25544/stat : 25544 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25545] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25545/stat : 25545 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25527] ppid=25518 vsize=197432 CPUtime=4.91
/proc/25526/task/25527/stat : 25527 (java) S 25518 25518 25331 0 -1 64 3859 0 1 0 485 6 0 0 25 0 10 0 124688112 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25526/tid=25528] ppid=25518 vsize=197432 CPUtime=1.14
/proc/25526/task/25528/stat : 25528 (java) S 25518 25518 25331 0 -1 64 8563 0 0 0 103 11 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25529] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25529/stat : 25529 (java) S 25518 25518 25331 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25530] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25530/stat : 25530 (java) S 25518 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25531] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25531/stat : 25531 (java) S 25518 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25532] ppid=25518 vsize=197432 CPUtime=0.21
/proc/25526/task/25532/stat : 25532 (java) S 25518 25518 25331 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25533] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25533/stat : 25533 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25534] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25534/stat : 25534 (java) S 25518 25518 25331 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25535] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25535/stat : 25535 (java) S 25518 25518 25331 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 124688752 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.96
Current children cumulated vsize (KiB) 863760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/94 25575
/proc/meminfo: memFree=1360768/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=1.68
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 375 2170 0 0 0 0 167 1 18 0 1 0 124687939 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 238 196 169 0 51 0
[pid=25526] ppid=25518 vsize=197432 CPUtime=6.29
/proc/25526/stat : 25526 (java) S 25518 25518 25331 0 -1 0 13875 0 1 0 610 19 0 0 18 0 10 0 124688110 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25526/statm: 49358 9388 2543 9 0 43941 0
[pid=25536] ppid=25526 vsize=5356 CPUtime=0
/proc/25536/stat : 25536 (choco) S 25526 25518 25331 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 124688752 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25536/statm: 1339 238 197 169 0 50 0
[pid=25537] ppid=25536 vsize=655612 CPUtime=1771.98
/proc/25537/stat : 25537 (java) S 25536 25518 25331 0 -1 0 17929 0 1 0 175175 2023 0 0 25 0 9 0 124688753 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25537/statm: 163903 16841 1935 9 0 158432 0
[pid=25537/tid=25538] ppid=25536 vsize=655612 CPUtime=1771.01
/proc/25537/task/25538/stat : 25538 (java) R 25536 25518 25331 0 -1 64 12837 0 1 0 175085 2016 0 0 25 0 9 0 124688754 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25539] ppid=25536 vsize=655612 CPUtime=0.52
/proc/25537/task/25539/stat : 25539 (java) S 25536 25518 25331 0 -1 64 3842 0 0 0 48 4 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25540] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25540/stat : 25540 (java) S 25536 25518 25331 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25541] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25541/stat : 25541 (java) S 25536 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25542] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25542/stat : 25542 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25543] ppid=25536 vsize=655612 CPUtime=0.42
/proc/25537/task/25543/stat : 25543 (java) S 25536 25518 25331 0 -1 64 704 0 0 0 41 1 0 0 16 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25544] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25544/stat : 25544 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25545] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25545/stat : 25545 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25527] ppid=25518 vsize=197432 CPUtime=4.91
/proc/25526/task/25527/stat : 25527 (java) S 25518 25518 25331 0 -1 64 3859 0 1 0 485 6 0 0 25 0 10 0 124688112 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25526/tid=25528] ppid=25518 vsize=197432 CPUtime=1.14
/proc/25526/task/25528/stat : 25528 (java) S 25518 25518 25331 0 -1 64 8563 0 0 0 103 11 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25529] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25529/stat : 25529 (java) S 25518 25518 25331 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25530] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25530/stat : 25530 (java) S 25518 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25531] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25531/stat : 25531 (java) S 25518 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25532] ppid=25518 vsize=197432 CPUtime=0.21
/proc/25526/task/25532/stat : 25532 (java) S 25518 25518 25331 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25533] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25533/stat : 25533 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25534] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25534/stat : 25534 (java) S 25518 25518 25331 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25535] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25535/stat : 25535 (java) S 25518 25518 25331 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 124688752 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.95
Current children cumulated vsize (KiB) 863760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.88 3/94 25575
/proc/meminfo: memFree=1360768/2055920 swapFree=4181452/4192956
[pid=25518] ppid=25516 vsize=5360 CPUtime=1.68
/proc/25518/stat : 25518 (hydra) S 25516 25518 25331 0 -1 4194304 375 2170 0 0 0 0 167 1 18 0 1 0 124687939 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 210723464004 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25518/statm: 1340 238 196 169 0 51 0
[pid=25526] ppid=25518 vsize=197432 CPUtime=6.29
/proc/25526/stat : 25526 (java) S 25518 25518 25331 0 -1 0 13875 0 1 0 610 19 0 0 18 0 10 0 124688110 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25526/statm: 49358 9388 2543 9 0 43941 0
[pid=25536] ppid=25526 vsize=5356 CPUtime=0
/proc/25536/stat : 25536 (choco) S 25526 25518 25331 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 124688752 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 210723464004 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25536/statm: 1339 238 197 169 0 50 0
[pid=25537] ppid=25536 vsize=655612 CPUtime=1792.07
/proc/25537/stat : 25537 (java) S 25536 25518 25331 0 -1 0 17936 0 1 0 177173 2034 0 0 25 0 9 0 124688753 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25537/statm: 163903 16841 1935 9 0 158432 0
[pid=25537/tid=25538] ppid=25536 vsize=655612 CPUtime=1791.11
/proc/25537/task/25538/stat : 25538 (java) R 25536 25518 25331 0 -1 64 12844 0 1 0 177083 2028 0 0 25 0 9 0 124688754 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4127245932 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25539] ppid=25536 vsize=655612 CPUtime=0.52
/proc/25537/task/25539/stat : 25539 (java) S 25536 25518 25331 0 -1 64 3842 0 0 0 48 4 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25540] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25540/stat : 25540 (java) S 25536 25518 25331 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25541] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25541/stat : 25541 (java) S 25536 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 124688755 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25542] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25542/stat : 25542 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25543] ppid=25536 vsize=655612 CPUtime=0.42
/proc/25537/task/25543/stat : 25543 (java) S 25536 25518 25331 0 -1 64 704 0 0 0 41 1 0 0 16 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25537/tid=25544] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25544/stat : 25544 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25537/tid=25545] ppid=25536 vsize=655612 CPUtime=0
/proc/25537/task/25545/stat : 25545 (java) S 25536 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 124688757 671346688 16841 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25527] ppid=25518 vsize=197432 CPUtime=4.91
/proc/25526/task/25527/stat : 25527 (java) S 25518 25518 25331 0 -1 64 3859 0 1 0 485 6 0 0 25 0 10 0 124688112 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25526/tid=25528] ppid=25518 vsize=197432 CPUtime=1.14
/proc/25526/task/25528/stat : 25528 (java) S 25518 25518 25331 0 -1 64 8563 0 0 0 103 11 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25529] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25529/stat : 25529 (java) S 25518 25518 25331 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25530] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25530/stat : 25530 (java) S 25518 25518 25331 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 124688113 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25531] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25531/stat : 25531 (java) S 25518 25518 25331 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25532] ppid=25518 vsize=197432 CPUtime=0.21
/proc/25526/task/25532/stat : 25532 (java) S 25518 25518 25331 0 -1 64 647 0 0 0 21 0 0 0 16 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25533] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25533/stat : 25533 (java) S 25518 25518 25331 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25534] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25534/stat : 25534 (java) S 25518 25518 25331 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 124688115 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25526/tid=25535] ppid=25518 vsize=197432 CPUtime=0
/proc/25526/task/25535/stat : 25535 (java) S 25518 25518 25331 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 124688752 202170368 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 863760
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25518 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=674745
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=19996
# CPU time returned by wait4() is 1.69474
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1802.44
CPU time (s): 1800.04
CPU user time (s): 1779.5
CPU system time (s): 20.54
CPU usage (%): 99.8671
Max. virtual memory (cumulated for all children) (KiB): 863760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.67474
system time used= 0.019996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2545
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 47
runsolver used 6.70498 second user time and 19.479 second system time
The end