0.00/0.00 c cpHydra_k_10 version 0.0
7.39/7.54 c CASE TO CLASSIFY:
7.39/7.54 c Case: 0
7.39/7.55 c 19 > 0.000000 | c 35 > 20.111100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.332000 | c 34 > 10.333300 | c 16 > 3.000000 | c 13 > 8.086280 | c 14 > 6.942510 | c 11 > 8.066090 | c 12 > 7.889450 | 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.39/7.56 c choco : 1801.0
7.39/7.56 c mistral : 1801.0
7.39/7.56 c abscon : 1801.0
7.39/7.56 c
7.39/7.56 c
7.68/7.81 c List of same ones: 10
7.68/7.81 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-80.xml
7.68/7.81 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.68/7.82 c choco : 5.54
7.68/7.82 c mistral : 1800.04
7.68/7.82 c abscon : 78.831
7.68/7.82 c
7.68/7.82 c
7.68/7.82 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-90.xml
7.68/7.82 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.68/7.83 c choco : 6.42
7.68/7.83 c mistral : 1800.02
7.68/7.83 c abscon : 133.526
7.68/7.83 c
7.68/7.83 c
7.68/7.83 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-100.xml
7.68/7.83 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.68/7.84 c choco : 7.48
7.68/7.84 c mistral : 1800.02
7.68/7.84 c abscon : 233.382
7.68/7.84 c
7.68/7.84 c
7.68/7.84 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml
7.68/7.84 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.68/7.85 c choco : 4.77
7.68/7.85 c mistral : 1800.06
7.68/7.85 c abscon : 41.2627
7.68/7.85 c
7.68/7.85 c
7.68/7.85 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml
7.68/7.85 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.68/7.86 c choco : 4.06
7.68/7.86 c mistral : 1800.09
7.68/7.86 c abscon : 19.4
7.68/7.86 c
7.68/7.86 c
7.68/7.86 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml
7.68/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.68/7.87 c choco : 3.47
7.68/7.87 c mistral : 25.06
7.68/7.87 c abscon : 7.93379
7.68/7.87 c
7.68/7.87 c
7.68/7.87 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml
7.68/7.87 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.68/7.87 c choco : 3.28
7.68/7.87 c mistral : 1800.02
7.68/7.87 c abscon : 5.34119
7.68/7.87 c
7.68/7.87 c
7.68/7.88 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml
7.68/7.88 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.68/7.88 c choco : 2.94
7.68/7.88 c mistral : 1800.01
7.68/7.88 c abscon : 3.38349
7.68/7.88 c
7.68/7.88 c
7.68/7.88 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml
7.68/7.88 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.68/7.89 c choco : 2.63
7.68/7.89 c mistral : 1800.03
7.68/7.89 c abscon : 2.32365
7.68/7.89 c
7.68/7.89 c
7.68/7.89 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-40.xml
7.68/7.89 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 14.823200 | c 34 > 10.125000 | c 16 > 2.000000 | c 13 > 4.707480 | c 14 > 7.636620 | c 11 > 6.321930 | c 12 > 6.573460 | c 21 > 8.944270 | 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 > 6.321930 | c 2 > -1.000000 | c 10 > 11.644300 | 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.643900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.76/7.90 c choco : 12.21
7.76/7.90 c mistral : 0.21
7.76/7.90 c abscon : 7.79
7.76/7.90 c
7.76/7.90 c
7.76/7.90 c Length: 10
7.76/7.90 c 1.1391226118377251 1.1493564768599862 2.154328581902028 3.361297833530969 4.932014154166631 6.801646118506899 7.2922657341802894 7.870828930208049 9.034827852482856 10.323418585371805
7.76/7.90 c
7.76/7.90 c 1.0 0.9988869615736797 0.9004651427414565 0.8051829366278466 0.7077262282222113 0.6186035996315856 0.598815481262658 0.5770479172527907 0.5377222084685569 0.5
7.76/7.91 c
7.76/7.91 c solver 0
7.76/7.91 c before 0.0 seconds: {} 0
7.76/7.91 c before 18.0 seconds: {5, 6, 7, 8, 9} 2832
7.76/7.91 c before 36.0 seconds: {4, 5, 6, 7, 8, 9} 3539
7.76/7.91 c before 54.0 seconds: {3, 4, 5, 6, 7, 8, 9} 4345
7.76/7.91 c before 90.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9} 5345
7.76/7.91 c before 144.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6343
7.76/7.91 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7244
7.76/7.91 c
7.76/7.91 c solver 1
7.76/7.91 c before 0.0 seconds: {} 0
7.76/7.91 c before 18.0 seconds: {9} 500
7.76/7.91 c before 36.0 seconds: {5, 9} 1118
7.76/7.91 c
7.76/7.91 c solver 2
7.76/7.91 c before 0.0 seconds: {} 0
7.76/7.91 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7244
7.76/7.91 c
7.76/7.91 cTotal time: 16
7.76/7.91 c 288.0 seconds unused
7.76/7.91 c 0 c 8 c 0
7.76/7.91 c 0 c 0 c 0
7.76/7.91 c 0 c 8 c 0
7.76/7.91 c is solver0 dominated by:
7.76/7.91 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.76/7.91 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.76/7.91 c is dominated? true
7.76/7.91 c
7.76/7.91 c is solver1 dominated by:
7.76/7.91 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.76/7.91 c is dominated? true
7.76/7.91 c
7.76/7.91 c is solver2 dominated by:
7.76/7.91 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.76/7.91 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.76/7.91 c is dominated? false
7.76/7.91 c
7.76/7.91 c Number of non-dominated solvers: 1
7.76/7.91 c remove dominated solvers
7.76/7.91 c solver 2 is not dominated by another solver
7.76/7.91 c solver 1 is dominated by another solver
7.76/7.91 c solver 0 is dominated by another solver
7.76/7.92 c
7.76/7.92 c solver 0: 0.0
7.76/7.92 c
7.76/7.92 c solver 1: 0.0
7.76/7.92 c
7.76/7.92 c solver 2: 18.0
7.76/7.92 c
7.76/7.92 c+ 1/1 of 99
7.76/7.92 c do not run abscon
7.76/7.92 c do not run mistral
7.76/7.92 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7244
7.76/7.92 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.76/7.92 c On Instance: HOME/instance-1060506-1215127000.xml
7.76/7.92 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-1060506-1215127000/watcher-1060506-1215127000 -o /tmp/evaluation-result-1060506-1215127000/solver-1060506-1215127000 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060506-1215127000.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.98 1.99 4/73 10011
/proc/meminfo: memFree=1753664/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=18572 CPUtime=0
/proc/10011/stat : 10011 (runsolver) R 10009 10011 9710 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1542370407 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 266890439975 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10011/statm: 4643 292 257 25 0 2626 0
[startup+0.0347851 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 10011
/proc/meminfo: memFree=1753664/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=0
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1542370407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101791 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 10011
/proc/meminfo: memFree=1753664/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=0
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1542370407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301821 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 10011
/proc/meminfo: memFree=1753664/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=0
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1542370407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701857 s]
/proc/loadavg: 1.99 1.98 1.99 4/73 10011
/proc/meminfo: memFree=1753664/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=0
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1542370407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50195 s]
/proc/loadavg: 1.99 1.98 1.99 3/75 10015
/proc/meminfo: memFree=1748592/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=0
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1542370407 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 236 195 169 0 51 0
[pid=10015] ppid=10011 vsize=9260 CPUtime=1.47
/proc/10015/stat : 10015 (xsolve) R 10011 10011 9710 0 -1 4194304 1698 0 0 0 147 0 0 0 25 0 1 0 1542370408 9482240 1629 996147200 134512640 135239763 4294956176 18446744073709551615 135020425 0 0 4096 0 0 0 0 17 1 0 0
/proc/10015/statm: 2315 1629 434 177 0 1218 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14620
[startup+3.10213 s]
/proc/loadavg: 1.99 1.98 1.99 4/83 10027
/proc/meminfo: memFree=1747056/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=1.75
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 375 2354 0 0 0 0 174 1 18 0 1 0 1542370407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 238 196 169 0 51 0
[pid=10019] ppid=10011 vsize=197000 CPUtime=1.28
/proc/10019/stat : 10019 (java) S 10011 10011 9710 0 -1 0 4764 0 1 0 124 4 0 0 18 0 9 0 1542370586 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10019/statm: 49250 4014 1677 9 0 43833 0
[pid=10019/tid=10020] ppid=10011 vsize=197000 CPUtime=1.02
/proc/10019/task/10020/stat : 10020 (java) R 10011 10011 9710 0 -1 64 2676 0 1 0 101 1 0 0 25 0 9 0 1542370587 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4126523050 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10021] ppid=10011 vsize=197000 CPUtime=0.1
/proc/10019/task/10021/stat : 10021 (java) S 10011 10011 9710 0 -1 64 759 0 0 0 9 1 0 0 16 0 9 0 1542370589 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10022] ppid=10011 vsize=197000 CPUtime=0
/proc/10019/task/10022/stat : 10022 (java) S 10011 10011 9710 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1542370589 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10023] ppid=10011 vsize=197000 CPUtime=0
/proc/10019/task/10023/stat : 10023 (java) S 10011 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1542370589 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10024] ppid=10011 vsize=197000 CPUtime=0
/proc/10019/task/10024/stat : 10024 (java) S 10011 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1542370591 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10025] ppid=10011 vsize=197000 CPUtime=0.13
/proc/10019/task/10025/stat : 10025 (java) S 10011 10011 9710 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1542370591 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10026] ppid=10011 vsize=197000 CPUtime=0
/proc/10019/task/10026/stat : 10026 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1542370591 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10027] ppid=10011 vsize=197000 CPUtime=0
/proc/10019/task/10027/stat : 10027 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1542370591 201728000 4014 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 202360
[startup+6.3025 s]
/proc/loadavg: 2.07 2.00 2.00 3/83 10027
/proc/meminfo: memFree=1734512/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=1.75
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 375 2354 0 0 0 0 174 1 18 0 1 0 1542370407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 238 196 169 0 51 0
[pid=10019] ppid=10011 vsize=197108 CPUtime=4.44
/proc/10019/stat : 10019 (java) S 10011 10011 9710 0 -1 0 9722 0 1 0 432 12 0 0 18 0 9 0 1542370586 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10019/statm: 49277 8059 2540 9 0 43860 0
[pid=10019/tid=10020] ppid=10011 vsize=197108 CPUtime=3.54
/proc/10019/task/10020/stat : 10020 (java) R 10011 10011 9710 0 -1 64 3505 0 1 0 351 3 0 0 25 0 9 0 1542370587 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4126487300 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10021] ppid=10011 vsize=197108 CPUtime=0.71
/proc/10019/task/10021/stat : 10021 (java) S 10011 10011 9710 0 -1 64 4863 0 0 0 64 7 0 0 16 0 9 0 1542370589 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10022] ppid=10011 vsize=197108 CPUtime=0
/proc/10019/task/10022/stat : 10022 (java) S 10011 10011 9710 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1542370589 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10023] ppid=10011 vsize=197108 CPUtime=0
/proc/10019/task/10023/stat : 10023 (java) S 10011 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1542370589 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10024] ppid=10011 vsize=197108 CPUtime=0
/proc/10019/task/10024/stat : 10024 (java) S 10011 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1542370591 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10025] ppid=10011 vsize=197108 CPUtime=0.17
/proc/10019/task/10025/stat : 10025 (java) S 10011 10011 9710 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 1542370591 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10026] ppid=10011 vsize=197108 CPUtime=0
/proc/10019/task/10026/stat : 10026 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1542370591 201838592 8059 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10027] ppid=10011 vsize=197108 CPUtime=0
/proc/10019/task/10027/stat : 10027 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1542370591 201838592 8059 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.7022 s]
/proc/loadavg: 2.07 2.00 2.00 3/94 10038
/proc/meminfo: memFree=1663576/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=1.75
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 375 2354 0 0 0 0 174 1 18 0 1 0 1542370407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 238 196 169 0 51 0
[pid=10019] ppid=10011 vsize=197432 CPUtime=6.03
/proc/10019/stat : 10019 (java) S 10011 10011 9710 0 -1 0 13993 0 1 0 586 17 0 0 18 0 10 0 1542370586 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10019/statm: 49358 9508 2543 9 0 43941 0
[pid=10029] ppid=10019 vsize=5356 CPUtime=0
/proc/10029/stat : 10029 (choco) S 10019 10011 9710 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1542371199 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10029/statm: 1339 238 197 169 0 50 0
[pid=10030] ppid=10029 vsize=655600 CPUtime=4.68
/proc/10030/stat : 10030 (java) S 10029 10011 9710 0 -1 0 17505 0 1 0 457 11 0 0 18 0 9 0 1542371200 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10030/statm: 163900 17070 1933 9 0 158429 0
[pid=10030/tid=10031] ppid=10029 vsize=655600 CPUtime=4.16
/proc/10030/task/10031/stat : 10031 (java) R 10029 10011 9710 0 -1 64 12182 0 1 0 408 8 0 0 25 0 9 0 1542371201 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4127330304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10032] ppid=10029 vsize=655600 CPUtime=0.14
/proc/10030/task/10032/stat : 10032 (java) S 10029 10011 9710 0 -1 64 4084 0 0 0 13 1 0 0 17 0 9 0 1542371202 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10033] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10033/stat : 10033 (java) S 10029 10011 9710 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10034] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10034/stat : 10034 (java) S 10029 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10035] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10035/stat : 10035 (java) S 10029 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1542371204 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10036] ppid=10029 vsize=655600 CPUtime=0.36
/proc/10030/task/10036/stat : 10036 (java) S 10029 10011 9710 0 -1 64 694 0 0 0 35 1 0 0 15 0 9 0 1542371204 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10037] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10037/stat : 10037 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1542371204 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10038] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10038/stat : 10038 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1542371204 671334400 17070 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10020] ppid=10011 vsize=197432 CPUtime=4.74
/proc/10019/task/10020/stat : 10020 (java) S 10011 10011 9710 0 -1 64 3986 0 1 0 469 5 0 0 25 0 10 0 1542370587 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10019/tid=10021] ppid=10011 vsize=197432 CPUtime=1.05
/proc/10019/task/10021/stat : 10021 (java) S 10011 10011 9710 0 -1 64 8552 0 0 0 95 10 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10022] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10022/stat : 10022 (java) S 10011 10011 9710 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10023] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10023/stat : 10023 (java) S 10011 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10024] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10024/stat : 10024 (java) S 10011 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10025] ppid=10011 vsize=197432 CPUtime=0.2
/proc/10019/task/10025/stat : 10025 (java) S 10011 10011 9710 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10026] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10026/stat : 10026 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10027] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10027/stat : 10027 (java) S 10011 10011 9710 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10028] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10028/stat : 10028 (java) S 10011 10011 9710 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1542371199 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 863748
[startup+25.5026 s]
/proc/loadavg: 2.05 2.00 2.00 3/94 10038
/proc/meminfo: memFree=1663000/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=1.75
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 375 2354 0 0 0 0 174 1 18 0 1 0 1542370407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 238 196 169 0 51 0
[pid=10019] ppid=10011 vsize=197432 CPUtime=6.03
/proc/10019/stat : 10019 (java) S 10011 10011 9710 0 -1 0 13993 0 1 0 586 17 0 0 18 0 10 0 1542370586 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10019/statm: 49358 9508 2543 9 0 43941 0
[pid=10029] ppid=10019 vsize=5356 CPUtime=0
/proc/10029/stat : 10029 (choco) S 10019 10011 9710 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1542371199 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10029/statm: 1339 238 197 169 0 50 0
[pid=10030] ppid=10029 vsize=655600 CPUtime=17.23
/proc/10030/stat : 10030 (java) S 10029 10011 9710 0 -1 0 17650 0 1 0 1702 21 0 0 18 0 9 0 1542371200 671334400 17206 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10030/statm: 163900 17206 1936 9 0 158429 0
[pid=10030/tid=10031] ppid=10029 vsize=655600 CPUtime=16.65
/proc/10030/task/10031/stat : 10031 (java) R 10029 10011 9710 0 -1 64 12192 0 1 0 1648 17 0 0 25 0 9 0 1542371201 671334400 17206 996147200 134512640 134550740 4294955936 18446744073709551615 4126654503 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10032] ppid=10029 vsize=655600 CPUtime=0.16
/proc/10030/task/10032/stat : 10032 (java) S 10029 10011 9710 0 -1 64 4201 0 0 0 15 1 0 0 16 0 9 0 1542371202 671334400 17206 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10033] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10033/stat : 10033 (java) S 10029 10011 9710 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17206 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10034] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10034/stat : 10034 (java) S 10029 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17206 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10035] ppid=10029 vsize=655600 CPUtime=0
################
# More data... #
################
/proc/10019/statm: 49358 9508 2543 9 0 43941 0
[pid=10029] ppid=10019 vsize=5356 CPUtime=0
/proc/10029/stat : 10029 (choco) S 10019 10011 9710 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1542371199 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10029/statm: 1339 238 197 169 0 50 0
[pid=10030] ppid=10029 vsize=655600 CPUtime=1761.71
/proc/10030/stat : 10030 (java) S 10029 10011 9710 0 -1 0 18677 0 1 0 175231 940 0 0 18 0 9 0 1542371200 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10030/statm: 163900 17552 1936 9 0 158429 0
[pid=10030/tid=10031] ppid=10029 vsize=655600 CPUtime=1760.73
/proc/10030/task/10031/stat : 10031 (java) R 10029 10011 9710 0 -1 64 12873 0 1 0 175141 932 0 0 25 0 9 0 1542371201 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4127196996 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10030/tid=10032] ppid=10029 vsize=655600 CPUtime=0.56
/proc/10030/task/10032/stat : 10032 (java) S 10029 10011 9710 0 -1 64 4547 0 0 0 50 6 0 0 17 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10030/tid=10033] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10033/stat : 10033 (java) S 10029 10011 9710 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10034] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10034/stat : 10034 (java) S 10029 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10035] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10035/stat : 10035 (java) S 10029 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10036] ppid=10029 vsize=655600 CPUtime=0.39
/proc/10030/task/10036/stat : 10036 (java) S 10029 10011 9710 0 -1 64 712 0 0 0 38 1 0 0 16 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10037] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10037/stat : 10037 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10038] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10038/stat : 10038 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10019/tid=10020] ppid=10011 vsize=197432 CPUtime=4.74
/proc/10019/task/10020/stat : 10020 (java) S 10011 10011 9710 0 -1 64 3986 0 1 0 469 5 0 0 25 0 10 0 1542370587 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10019/tid=10021] ppid=10011 vsize=197432 CPUtime=1.05
/proc/10019/task/10021/stat : 10021 (java) S 10011 10011 9710 0 -1 64 8552 0 0 0 95 10 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10022] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10022/stat : 10022 (java) S 10011 10011 9710 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10023] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10023/stat : 10023 (java) S 10011 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10024] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10024/stat : 10024 (java) S 10011 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10025] ppid=10011 vsize=197432 CPUtime=0.2
/proc/10019/task/10025/stat : 10025 (java) S 10011 10011 9710 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10026] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10026/stat : 10026 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10027] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10027/stat : 10027 (java) S 10011 10011 9710 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10019/tid=10028] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10028/stat : 10028 (java) S 10011 10011 9710 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1542371199 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.49
Current children cumulated vsize (KiB) 863748
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 10069
/proc/meminfo: memFree=1650536/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=1.75
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 375 2354 0 0 0 0 174 1 18 0 1 0 1542370407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 238 196 169 0 51 0
[pid=10019] ppid=10011 vsize=197432 CPUtime=6.03
/proc/10019/stat : 10019 (java) S 10011 10011 9710 0 -1 0 13993 0 1 0 586 17 0 0 18 0 10 0 1542370586 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10019/statm: 49358 9508 2543 9 0 43941 0
[pid=10029] ppid=10019 vsize=5356 CPUtime=0
/proc/10029/stat : 10029 (choco) S 10019 10011 9710 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1542371199 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10029/statm: 1339 238 197 169 0 50 0
[pid=10030] ppid=10029 vsize=655600 CPUtime=1792.28
/proc/10030/stat : 10030 (java) S 10029 10011 9710 0 -1 0 18691 0 1 0 178273 955 0 0 18 0 9 0 1542371200 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10030/statm: 163900 17552 1936 9 0 158429 0
[pid=10030/tid=10031] ppid=10029 vsize=655600 CPUtime=1791.3
/proc/10030/task/10031/stat : 10031 (java) R 10029 10011 9710 0 -1 64 12887 0 1 0 178183 947 0 0 25 0 9 0 1542371201 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4127205770 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10030/tid=10032] ppid=10029 vsize=655600 CPUtime=0.57
/proc/10030/task/10032/stat : 10032 (java) S 10029 10011 9710 0 -1 64 4547 0 0 0 51 6 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10030/tid=10033] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10033/stat : 10033 (java) S 10029 10011 9710 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10034] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10034/stat : 10034 (java) S 10029 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10035] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10035/stat : 10035 (java) S 10029 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10036] ppid=10029 vsize=655600 CPUtime=0.39
/proc/10030/task/10036/stat : 10036 (java) S 10029 10011 9710 0 -1 64 712 0 0 0 38 1 0 0 16 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10037] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10037/stat : 10037 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10038] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10038/stat : 10038 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10019/tid=10020] ppid=10011 vsize=197432 CPUtime=4.74
/proc/10019/task/10020/stat : 10020 (java) S 10011 10011 9710 0 -1 64 3986 0 1 0 469 5 0 0 25 0 10 0 1542370587 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10019/tid=10021] ppid=10011 vsize=197432 CPUtime=1.05
/proc/10019/task/10021/stat : 10021 (java) S 10011 10011 9710 0 -1 64 8552 0 0 0 95 10 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10022] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10022/stat : 10022 (java) S 10011 10011 9710 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10023] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10023/stat : 10023 (java) S 10011 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10024] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10024/stat : 10024 (java) S 10011 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10025] ppid=10011 vsize=197432 CPUtime=0.2
/proc/10019/task/10025/stat : 10025 (java) S 10011 10011 9710 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10026] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10026/stat : 10026 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10027] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10027/stat : 10027 (java) S 10011 10011 9710 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10019/tid=10028] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10028/stat : 10028 (java) S 10011 10011 9710 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1542371199 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 863748
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 10069
/proc/meminfo: memFree=1650536/2055920 swapFree=4112040/4192956
[pid=10011] ppid=10009 vsize=5360 CPUtime=1.75
/proc/10011/stat : 10011 (hydra) S 10009 10011 9710 0 -1 4194304 375 2354 0 0 0 0 174 1 18 0 1 0 1542370407 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 266890437444 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10011/statm: 1340 238 196 169 0 51 0
[pid=10019] ppid=10011 vsize=197432 CPUtime=6.03
/proc/10019/stat : 10019 (java) S 10011 10011 9710 0 -1 0 13993 0 1 0 586 17 0 0 18 0 10 0 1542370586 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10019/statm: 49358 9508 2543 9 0 43941 0
[pid=10029] ppid=10019 vsize=5356 CPUtime=0
/proc/10029/stat : 10029 (choco) S 10019 10011 9710 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1542371199 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 266890437444 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10029/statm: 1339 238 197 169 0 50 0
[pid=10030] ppid=10029 vsize=655600 CPUtime=1792.28
/proc/10030/stat : 10030 (java) S 10029 10011 9710 0 -1 0 18691 0 1 0 178273 955 0 0 18 0 9 0 1542371200 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10030/statm: 163900 17552 1936 9 0 158429 0
[pid=10030/tid=10031] ppid=10029 vsize=655600 CPUtime=1791.3
/proc/10030/task/10031/stat : 10031 (java) R 10029 10011 9710 0 -1 64 12887 0 1 0 178183 947 0 0 25 0 9 0 1542371201 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4127205770 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10030/tid=10032] ppid=10029 vsize=655600 CPUtime=0.57
/proc/10030/task/10032/stat : 10032 (java) S 10029 10011 9710 0 -1 64 4547 0 0 0 51 6 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10030/tid=10033] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10033/stat : 10033 (java) S 10029 10011 9710 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10034] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10034/stat : 10034 (java) S 10029 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1542371202 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10035] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10035/stat : 10035 (java) S 10029 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10036] ppid=10029 vsize=655600 CPUtime=0.39
/proc/10030/task/10036/stat : 10036 (java) S 10029 10011 9710 0 -1 64 712 0 0 0 38 1 0 0 16 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10037] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10037/stat : 10037 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10030/tid=10038] ppid=10029 vsize=655600 CPUtime=0
/proc/10030/task/10038/stat : 10038 (java) S 10029 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1542371204 671334400 17552 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10019/tid=10020] ppid=10011 vsize=197432 CPUtime=4.74
/proc/10019/task/10020/stat : 10020 (java) S 10011 10011 9710 0 -1 64 3986 0 1 0 469 5 0 0 25 0 10 0 1542370587 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10019/tid=10021] ppid=10011 vsize=197432 CPUtime=1.05
/proc/10019/task/10021/stat : 10021 (java) S 10011 10011 9710 0 -1 64 8552 0 0 0 95 10 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10022] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10022/stat : 10022 (java) S 10011 10011 9710 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10023] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10023/stat : 10023 (java) S 10011 10011 9710 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1542370589 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10024] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10024/stat : 10024 (java) S 10011 10011 9710 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10025] ppid=10011 vsize=197432 CPUtime=0.2
/proc/10019/task/10025/stat : 10025 (java) S 10011 10011 9710 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10026] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10026/stat : 10026 (java) S 10011 10011 9710 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10019/tid=10027] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10027/stat : 10027 (java) S 10011 10011 9710 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 1542370591 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10019/tid=10028] ppid=10011 vsize=197432 CPUtime=0
/proc/10019/task/10028/stat : 10028 (java) S 10011 10011 9710 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1542371199 202170368 9508 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 863748
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10011 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=747734
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=16997
# CPU time returned by wait4() is 1.76473
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1812.93
CPU time (s): 1800.06
CPU user time (s): 1790.33
CPU system time (s): 9.73
CPU usage (%): 99.2899
Max. virtual memory (cumulated for all children) (KiB): 863748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.74773
system time used= 0.016997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2729
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= 46
runsolver used 6.43102 second user time and 19.785 second system time
The end