0.00/0.00 c cpHydra_k_10 version 0.0
6.86/6.97 c CASE TO CLASSIFY:
6.86/6.97 c Case: 0
6.86/6.97 c 19 > 0.000000 | c 35 > 20.100000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 17.083600 | c 34 > 10.300000 | c 16 > 3.000000 | c 13 > 7.843180 | c 14 > 6.209450 | c 11 > 8.219170 | c 12 > 7.725360 | 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
6.86/6.98 c choco : 1801.0
6.86/6.98 c mistral : 1801.0
6.86/6.98 c abscon : 1801.0
6.86/6.98 c
6.86/6.98 c
6.96/7.05 c List of same ones: 10
6.96/7.05 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-90.xml
6.96/7.05 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
6.96/7.06 c choco : 6.42
6.96/7.06 c mistral : 1800.02
6.96/7.06 c abscon : 133.526
6.96/7.06 c
6.96/7.06 c
6.96/7.06 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-100.xml
6.96/7.06 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
6.96/7.07 c choco : 7.48
6.96/7.07 c mistral : 1800.02
6.96/7.07 c abscon : 233.382
6.96/7.07 c
6.96/7.07 c
6.96/7.07 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-80.xml
6.96/7.07 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
6.96/7.08 c choco : 5.54
6.96/7.08 c mistral : 1800.04
6.96/7.08 c abscon : 78.831
6.96/7.08 c
6.96/7.08 c
6.96/7.08 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-70.xml
6.96/7.08 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
6.96/7.08 c choco : 4.77
6.96/7.08 c mistral : 1800.06
6.96/7.08 c abscon : 41.2627
6.96/7.08 c
6.96/7.08 c
6.96/7.08 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-60.xml
6.96/7.08 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
6.96/7.09 c choco : 4.06
6.96/7.09 c mistral : 1800.09
6.96/7.09 c abscon : 19.4
6.96/7.09 c
6.96/7.09 c
6.96/7.09 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-50.xml
6.96/7.09 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.04/7.10 c choco : 3.47
7.04/7.10 c mistral : 25.06
7.04/7.10 c abscon : 7.93379
7.04/7.10 c
7.04/7.10 c
7.04/7.10 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-45.xml
7.04/7.10 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.04/7.11 c choco : 3.28
7.04/7.11 c mistral : 1800.02
7.04/7.11 c abscon : 5.34119
7.04/7.11 c
7.04/7.11 c
7.04/7.11 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-40.xml
7.04/7.11 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.04/7.12 c choco : 2.94
7.04/7.12 c mistral : 1800.01
7.04/7.12 c abscon : 3.38349
7.04/7.12 c
7.04/7.12 c
7.04/7.12 c /home/eomahony/cpZilla/CSP/allIntervalSeries/series-35.xml
7.04/7.12 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.04/7.12 c choco : 2.63
7.04/7.12 c mistral : 1800.03
7.04/7.12 c abscon : 2.32365
7.04/7.12 c
7.04/7.12 c
7.04/7.12 c /home/ehebrard/new_instances/competition_4c/data/langford2/langford-2-40.xml
7.04/7.13 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.04/7.13 c choco : 12.21
7.04/7.13 c mistral : 0.21
7.04/7.13 c abscon : 7.79
7.04/7.13 c
7.04/7.13 c
7.23/7.31 c Length: 10
7.23/7.31 c 0.9696411839438339 1.1907014412101802 2.0030524152652625 4.467022111116083 6.118824189384754 7.99437829460803 8.488732450254279 9.072277505273965 10.233053721108865 10.61798218530715
7.23/7.31 c
7.23/7.31 c 1.0 0.9776014520563693 0.903254521467056 0.7339529204873529 0.6520240140801117 0.578677850396638 0.5620142168570614 0.5435385796492767 0.5101769638498641 0.5
7.23/7.32 c
7.23/7.32 c solver 0
7.23/7.32 c before 0.0 seconds: {} 0
7.23/7.32 c before 18.0 seconds: {5, 6, 7, 8, 9} 2694
7.23/7.32 c before 36.0 seconds: {4, 5, 6, 7, 8, 9} 3346
7.23/7.32 c before 54.0 seconds: {3, 4, 5, 6, 7, 8, 9} 4080
7.23/7.32 c before 90.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4983
7.23/7.32 c before 144.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5983
7.23/7.32 c before 234.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6961
7.23/7.32 c
7.23/7.32 c solver 1
7.23/7.32 c before 0.0 seconds: {} 0
7.23/7.32 c before 18.0 seconds: {9} 500
7.23/7.32 c before 36.0 seconds: {5, 9} 1078
7.23/7.32 c
7.23/7.32 c solver 2
7.23/7.32 c before 0.0 seconds: {} 0
7.23/7.32 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6961
7.23/7.32 c
7.23/7.32 cTotal time: 16
7.23/7.32 c 288.0 seconds unused
7.23/7.32 c 0 c 8 c 0
7.23/7.32 c 0 c 0 c 0
7.23/7.32 c 0 c 8 c 0
7.23/7.32 c is solver0 dominated by:
7.23/7.32 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.23/7.32 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.23/7.32 c is dominated? true
7.23/7.32 c
7.23/7.32 c is solver1 dominated by:
7.23/7.32 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.23/7.32 c is dominated? true
7.23/7.32 c
7.23/7.32 c is solver2 dominated by:
7.23/7.32 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.23/7.32 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.23/7.32 c is dominated? false
7.23/7.32 c
7.23/7.32 c Number of non-dominated solvers: 1
7.23/7.32 c remove dominated solvers
7.23/7.32 c solver 2 is not dominated by another solver
7.23/7.32 c solver 1 is dominated by another solver
7.23/7.32 c solver 0 is dominated by another solver
7.23/7.32 c
7.23/7.32 c solver 0: 0.0
7.23/7.32 c
7.23/7.32 c solver 1: 0.0
7.23/7.32 c
7.23/7.32 c solver 2: 18.0
7.23/7.32 c
7.23/7.32 c+ 1/1 of 99
7.23/7.33 c do not run abscon
7.23/7.33 c do not run mistral
7.23/7.33 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6961
7.23/7.33 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.23/7.33 c On Instance: HOME/instance-1060548-1215127340.xml
7.23/7.33 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-1060548-1215127340/watcher-1060548-1215127340 -o /tmp/evaluation-result-1060548-1215127340/solver-1060548-1215127340 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060548-1215127340.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.97 2.08 2.02 4/81 29074
/proc/meminfo: memFree=1664384/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5356 CPUtime=0
/proc/29074/stat : 29074 (hydra) R 29072 29074 29037 0 -1 4194304 189 0 0 0 0 0 0 0 20 0 1 0 1991709118 5484544 157 996147200 4194304 4889804 548682068816 18446744073709551615 228706422672 0 0 4096 0 0 0 0 17 1 0 0
/proc/29074/statm: 1339 157 128 169 0 50 0
[startup+0.088744 s]
/proc/loadavg: 1.97 2.08 2.02 4/81 29074
/proc/meminfo: memFree=1664384/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=0
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1991709118 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29074/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101744 s]
/proc/loadavg: 1.97 2.08 2.02 4/81 29074
/proc/meminfo: memFree=1664384/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=0
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1991709118 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29074/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301762 s]
/proc/loadavg: 1.97 2.08 2.02 4/81 29074
/proc/meminfo: memFree=1664384/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=0
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1991709118 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29074/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.7018 s]
/proc/loadavg: 1.97 2.08 2.02 4/81 29074
/proc/meminfo: memFree=1664384/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=0
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1991709118 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29074/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50188 s]
/proc/loadavg: 1.97 2.08 2.02 3/83 29078
/proc/meminfo: memFree=1658216/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=0
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 1991709118 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/29074/statm: 1340 236 195 169 0 51 0
[pid=29078] ppid=29074 vsize=10284 CPUtime=1.48
/proc/29078/stat : 29078 (xsolve) R 29074 29074 29037 0 -1 4194304 1998 0 0 0 148 0 0 0 25 0 1 0 1991709119 10530816 1890 996147200 134512640 135239763 4294956176 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29078/statm: 2571 1890 434 177 0 1474 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15644
[startup+3.10203 s]
/proc/loadavg: 1.98 2.08 2.02 3/91 29090
/proc/meminfo: memFree=1657704/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=1.81
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 375 2594 0 0 0 0 180 1 18 0 1 0 1991709118 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29074/statm: 1340 238 196 169 0 51 0
[pid=29082] ppid=29074 vsize=196984 CPUtime=1.26
/proc/29082/stat : 29082 (java) S 29074 29074 29037 0 -1 0 5074 0 1 0 122 4 0 0 18 0 9 0 1991709300 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29082/statm: 49246 4252 1678 9 0 43829 0
[pid=29082/tid=29083] ppid=29074 vsize=196984 CPUtime=0.95
/proc/29082/task/29083/stat : 29083 (java) R 29074 29074 29037 0 -1 64 2746 0 1 0 94 1 0 0 25 0 9 0 1991709301 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29084] ppid=29074 vsize=196984 CPUtime=0.13
/proc/29082/task/29084/stat : 29084 (java) S 29074 29074 29037 0 -1 64 993 0 0 0 12 1 0 0 16 0 9 0 1991709302 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29085] ppid=29074 vsize=196984 CPUtime=0
/proc/29082/task/29085/stat : 29085 (java) S 29074 29074 29037 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991709303 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29086] ppid=29074 vsize=196984 CPUtime=0
/proc/29082/task/29086/stat : 29086 (java) S 29074 29074 29037 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991709303 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29087] ppid=29074 vsize=196984 CPUtime=0
/proc/29082/task/29087/stat : 29087 (java) S 29074 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991709305 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29088] ppid=29074 vsize=196984 CPUtime=0.14
/proc/29082/task/29088/stat : 29088 (java) S 29074 29074 29037 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 1991709305 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29089] ppid=29074 vsize=196984 CPUtime=0
/proc/29082/task/29089/stat : 29089 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991709305 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29090] ppid=29074 vsize=196984 CPUtime=0
/proc/29082/task/29090/stat : 29090 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991709305 201711616 4252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 202344
[startup+6.30233 s]
/proc/loadavg: 1.98 2.08 2.02 3/91 29090
/proc/meminfo: memFree=1643304/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=1.81
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 375 2594 0 0 0 0 180 1 18 0 1 0 1991709118 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29074/statm: 1340 238 196 169 0 51 0
[pid=29082] ppid=29074 vsize=197092 CPUtime=4.45
/proc/29082/stat : 29082 (java) S 29074 29074 29037 0 -1 0 10311 0 1 0 432 13 0 0 18 0 9 0 1991709300 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29082/statm: 49273 8549 2540 9 0 43856 0
[pid=29082/tid=29083] ppid=29074 vsize=197092 CPUtime=3.51
/proc/29082/task/29083/stat : 29083 (java) R 29074 29074 29037 0 -1 64 3602 0 1 0 346 5 0 0 25 0 9 0 1991709301 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4126495199 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29084] ppid=29074 vsize=197092 CPUtime=0.75
/proc/29082/task/29084/stat : 29084 (java) S 29074 29074 29037 0 -1 64 5358 0 0 0 69 6 0 0 16 0 9 0 1991709302 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29085] ppid=29074 vsize=197092 CPUtime=0
/proc/29082/task/29085/stat : 29085 (java) S 29074 29074 29037 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991709303 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29086] ppid=29074 vsize=197092 CPUtime=0
/proc/29082/task/29086/stat : 29086 (java) S 29074 29074 29037 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991709303 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29087] ppid=29074 vsize=197092 CPUtime=0
/proc/29082/task/29087/stat : 29087 (java) S 29074 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991709305 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29088] ppid=29074 vsize=197092 CPUtime=0.16
/proc/29082/task/29088/stat : 29088 (java) S 29074 29074 29037 0 -1 64 626 0 0 0 16 0 0 0 16 0 9 0 1991709305 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29089] ppid=29074 vsize=197092 CPUtime=0
/proc/29082/task/29089/stat : 29089 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991709305 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29090] ppid=29074 vsize=197092 CPUtime=0
/proc/29082/task/29090/stat : 29090 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991709305 201822208 8549 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 202452
[startup+12.7029 s]
/proc/loadavg: 2.06 2.09 2.03 3/102 29101
/proc/meminfo: memFree=1572688/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=1.81
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 375 2594 0 0 0 0 180 1 18 0 1 0 1991709118 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29074/statm: 1340 238 196 169 0 51 0
[pid=29082] ppid=29074 vsize=197416 CPUtime=5.45
/proc/29082/stat : 29082 (java) S 29074 29074 29037 0 -1 0 13869 0 1 0 528 17 0 0 18 0 10 0 1991709300 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29082/statm: 49354 9389 2543 9 0 43937 0
[pid=29092] ppid=29082 vsize=5356 CPUtime=0
/proc/29092/stat : 29092 (choco) S 29082 29074 29037 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1991709851 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/29092/statm: 1339 238 197 169 0 50 0
[pid=29093] ppid=29092 vsize=655628 CPUtime=5.35
/proc/29093/stat : 29093 (java) S 29092 29074 29037 0 -1 0 18001 0 1 0 524 11 0 0 18 0 9 0 1991709852 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29093/statm: 163907 17562 1935 9 0 158436 0
[pid=29093/tid=29094] ppid=29092 vsize=655628 CPUtime=4.8
/proc/29093/task/29094/stat : 29094 (java) R 29092 29074 29037 0 -1 64 12179 0 1 0 473 7 0 0 25 0 9 0 1991709853 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29095] ppid=29092 vsize=655628 CPUtime=0.17
/proc/29093/task/29095/stat : 29095 (java) S 29092 29074 29037 0 -1 64 4569 0 0 0 16 1 0 0 16 0 9 0 1991709854 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29096] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29096/stat : 29096 (java) S 29092 29074 29037 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991709854 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29097] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29097/stat : 29097 (java) S 29092 29074 29037 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1991709854 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29098] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29098/stat : 29098 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991709856 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29099] ppid=29092 vsize=655628 CPUtime=0.35
/proc/29093/task/29099/stat : 29099 (java) S 29092 29074 29037 0 -1 64 700 0 0 0 34 1 0 0 15 0 9 0 1991709856 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29100] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29100/stat : 29100 (java) S 29092 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1991709856 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29101] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29101/stat : 29101 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991709856 671363072 17562 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29083] ppid=29074 vsize=197416 CPUtime=4.2
/proc/29082/task/29083/stat : 29083 (java) S 29074 29074 29037 0 -1 64 3854 0 1 0 413 7 0 0 25 0 10 0 1991709301 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=29082/tid=29084] ppid=29074 vsize=197416 CPUtime=1.03
/proc/29082/task/29084/stat : 29084 (java) S 29074 29074 29037 0 -1 64 8561 0 0 0 94 9 0 0 16 0 10 0 1991709302 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29085] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29085/stat : 29085 (java) S 29074 29074 29037 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29086] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29086/stat : 29086 (java) S 29074 29074 29037 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29087] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29087/stat : 29087 (java) S 29074 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29088] ppid=29074 vsize=197416 CPUtime=0.19
/proc/29082/task/29088/stat : 29088 (java) S 29074 29074 29037 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29089] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29089/stat : 29089 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29090] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29090/stat : 29090 (java) S 29074 29074 29037 0 -1 64 18 0 0 0 0 0 0 0 15 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29091] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29091/stat : 29091 (java) S 29074 29074 29037 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991709851 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 863760
[startup+25.5021 s]
/proc/loadavg: 2.13 2.10 2.03 3/102 29101
/proc/meminfo: memFree=1571920/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=1.81
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 375 2594 0 0 0 0 180 1 18 0 1 0 1991709118 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29074/statm: 1340 238 196 169 0 51 0
[pid=29082] ppid=29074 vsize=197416 CPUtime=5.45
/proc/29082/stat : 29082 (java) S 29074 29074 29037 0 -1 0 13869 0 1 0 528 17 0 0 18 0 10 0 1991709300 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29082/statm: 49354 9389 2543 9 0 43937 0
[pid=29092] ppid=29082 vsize=5356 CPUtime=0
/proc/29092/stat : 29092 (choco) S 29082 29074 29037 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1991709851 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/29092/statm: 1339 238 197 169 0 50 0
[pid=29093] ppid=29092 vsize=655628 CPUtime=18.14
/proc/29093/stat : 29093 (java) S 29092 29074 29037 0 -1 0 18195 0 1 0 1792 22 0 0 18 0 9 0 1991709852 671363072 17748 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29093/statm: 163907 17748 1938 9 0 158436 0
[pid=29093/tid=29094] ppid=29092 vsize=655628 CPUtime=17.55
/proc/29093/task/29094/stat : 29094 (java) R 29092 29074 29037 0 -1 64 12188 0 1 0 1736 19 0 0 25 0 9 0 1991709853 671363072 17748 996147200 134512640 134550740 4294955936 18446744073709551615 4127286453 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29095] ppid=29092 vsize=655628 CPUtime=0.19
/proc/29093/task/29095/stat : 29095 (java) S 29092 29074 29037 0 -1 64 4735 0 0 0 18 1 0 0 16 0 9 0 1991709854 671363072 17748 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29096] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29096/stat : 29096 (java) S 29092 29074 29037 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991709854 671363072 17748 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29097] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29097/stat : 29097 (java) S 29092 29074 29037 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1991709854 671363072 17748 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29098] ppid=29092 vsize=655628 CPUtime=0
################
# More data... #
################
/proc/29082/statm: 49354 9389 2543 9 0 43937 0
[pid=29092] ppid=29082 vsize=5356 CPUtime=0
/proc/29092/stat : 29092 (choco) S 29082 29074 29037 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1991709851 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/29092/statm: 1339 238 197 169 0 50 0
[pid=29093] ppid=29092 vsize=655628 CPUtime=1708.86
/proc/29093/stat : 29093 (java) S 29092 29074 29037 0 -1 0 19187 0 1 0 169718 1168 0 0 18 0 9 0 1991709852 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29093/statm: 163907 18023 1938 9 0 158436 0
[pid=29093/tid=29094] ppid=29092 vsize=655628 CPUtime=1707.85
/proc/29093/task/29094/stat : 29094 (java) R 29092 29074 29037 0 -1 64 12905 0 1 0 169626 1159 0 0 25 0 9 0 1991709853 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29095] ppid=29092 vsize=655628 CPUtime=0.6
/proc/29093/task/29095/stat : 29095 (java) S 29092 29074 29037 0 -1 64 5010 0 0 0 54 6 0 0 16 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29096] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29096/stat : 29096 (java) S 29092 29074 29037 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29097] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29097/stat : 29097 (java) S 29092 29074 29037 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29098] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29098/stat : 29098 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29099] ppid=29092 vsize=655628 CPUtime=0.38
/proc/29093/task/29099/stat : 29099 (java) S 29092 29074 29037 0 -1 64 719 0 0 0 37 1 0 0 15 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29100] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29100/stat : 29100 (java) S 29092 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29101] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29101/stat : 29101 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29083] ppid=29074 vsize=197416 CPUtime=4.2
/proc/29082/task/29083/stat : 29083 (java) S 29074 29074 29037 0 -1 64 3854 0 1 0 413 7 0 0 25 0 10 0 1991709301 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=29082/tid=29084] ppid=29074 vsize=197416 CPUtime=1.03
/proc/29082/task/29084/stat : 29084 (java) S 29074 29074 29037 0 -1 64 8561 0 0 0 94 9 0 0 16 0 10 0 1991709302 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29085] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29085/stat : 29085 (java) S 29074 29074 29037 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29086] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29086/stat : 29086 (java) S 29074 29074 29037 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29087] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29087/stat : 29087 (java) S 29074 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29088] ppid=29074 vsize=197416 CPUtime=0.19
/proc/29082/task/29088/stat : 29088 (java) S 29074 29074 29037 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29089] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29089/stat : 29089 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29090] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29090/stat : 29090 (java) S 29074 29074 29037 0 -1 64 18 0 0 0 0 0 0 0 15 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29082/tid=29091] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29091/stat : 29091 (java) S 29074 29074 29037 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991709851 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.12
Current children cumulated vsize (KiB) 863760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 29172
/proc/meminfo: memFree=1590216/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=1.81
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 375 2594 0 0 0 0 180 1 18 0 1 0 1991709118 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29074/statm: 1340 238 196 169 0 51 0
[pid=29082] ppid=29074 vsize=197416 CPUtime=5.45
/proc/29082/stat : 29082 (java) S 29074 29074 29037 0 -1 0 13869 0 1 0 528 17 0 0 18 0 10 0 1991709300 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29082/statm: 49354 9389 2543 9 0 43937 0
[pid=29092] ppid=29082 vsize=5356 CPUtime=0
/proc/29092/stat : 29092 (choco) S 29082 29074 29037 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1991709851 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/29092/statm: 1339 238 197 169 0 50 0
[pid=29093] ppid=29092 vsize=655628 CPUtime=1768.84
/proc/29093/stat : 29093 (java) S 29092 29074 29037 0 -1 0 19215 0 1 0 175688 1196 0 0 18 0 9 0 1991709852 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29093/statm: 163907 18023 1938 9 0 158436 0
[pid=29093/tid=29094] ppid=29092 vsize=655628 CPUtime=1767.81
/proc/29093/task/29094/stat : 29094 (java) R 29092 29074 29037 0 -1 64 12933 0 1 0 175594 1187 0 0 25 0 9 0 1991709853 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29095] ppid=29092 vsize=655628 CPUtime=0.61
/proc/29093/task/29095/stat : 29095 (java) S 29092 29074 29037 0 -1 64 5010 0 0 0 55 6 0 0 16 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29096] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29096/stat : 29096 (java) S 29092 29074 29037 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29097] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29097/stat : 29097 (java) S 29092 29074 29037 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29098] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29098/stat : 29098 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29099] ppid=29092 vsize=655628 CPUtime=0.38
/proc/29093/task/29099/stat : 29099 (java) S 29092 29074 29037 0 -1 64 719 0 0 0 37 1 0 0 15 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29100] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29100/stat : 29100 (java) S 29092 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29101] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29101/stat : 29101 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29083] ppid=29074 vsize=197416 CPUtime=4.2
/proc/29082/task/29083/stat : 29083 (java) S 29074 29074 29037 0 -1 64 3854 0 1 0 413 7 0 0 25 0 10 0 1991709301 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=29082/tid=29084] ppid=29074 vsize=197416 CPUtime=1.03
/proc/29082/task/29084/stat : 29084 (java) S 29074 29074 29037 0 -1 64 8561 0 0 0 94 9 0 0 16 0 10 0 1991709302 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29085] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29085/stat : 29085 (java) S 29074 29074 29037 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29086] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29086/stat : 29086 (java) S 29074 29074 29037 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29087] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29087/stat : 29087 (java) S 29074 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29088] ppid=29074 vsize=197416 CPUtime=0.19
/proc/29082/task/29088/stat : 29088 (java) S 29074 29074 29037 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29089] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29089/stat : 29089 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29090] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29090/stat : 29090 (java) S 29074 29074 29037 0 -1 64 18 0 0 0 0 0 0 0 15 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29082/tid=29091] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29091/stat : 29091 (java) S 29074 29074 29037 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991709851 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.1
Current children cumulated vsize (KiB) 863760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1806.21 s]
/proc/loadavg: 2.00 2.00 2.00 3/103 29172
/proc/meminfo: memFree=1590152/2055920 swapFree=4179560/4192956
[pid=29074] ppid=29072 vsize=5360 CPUtime=1.81
/proc/29074/stat : 29074 (hydra) S 29072 29074 29037 0 -1 4194304 375 2594 0 0 0 0 180 1 18 0 1 0 1991709118 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228706542404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/29074/statm: 1340 238 196 169 0 51 0
[pid=29082] ppid=29074 vsize=197416 CPUtime=5.45
/proc/29082/stat : 29082 (java) S 29074 29074 29037 0 -1 0 13869 0 1 0 528 17 0 0 18 0 10 0 1991709300 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29082/statm: 49354 9389 2543 9 0 43937 0
[pid=29092] ppid=29082 vsize=5356 CPUtime=0
/proc/29092/stat : 29092 (choco) S 29082 29074 29037 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 1991709851 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 228706542404 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/29092/statm: 1339 238 197 169 0 50 0
[pid=29093] ppid=29092 vsize=655628 CPUtime=1792.75
/proc/29093/stat : 29093 (java) S 29092 29074 29037 0 -1 0 19226 0 1 0 178068 1207 0 0 18 0 9 0 1991709852 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/29093/statm: 163907 18023 1938 9 0 158436 0
[pid=29093/tid=29094] ppid=29092 vsize=655628 CPUtime=1791.72
/proc/29093/task/29094/stat : 29094 (java) R 29092 29074 29037 0 -1 64 12944 0 1 0 177974 1198 0 0 25 0 9 0 1991709853 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29095] ppid=29092 vsize=655628 CPUtime=0.62
/proc/29093/task/29095/stat : 29095 (java) S 29092 29074 29037 0 -1 64 5010 0 0 0 56 6 0 0 16 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29096] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29096/stat : 29096 (java) S 29092 29074 29037 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29097] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29097/stat : 29097 (java) S 29092 29074 29037 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1991709854 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29098] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29098/stat : 29098 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29099] ppid=29092 vsize=655628 CPUtime=0.38
/proc/29093/task/29099/stat : 29099 (java) S 29092 29074 29037 0 -1 64 719 0 0 0 37 1 0 0 15 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29100] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29100/stat : 29100 (java) S 29092 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29093/tid=29101] ppid=29092 vsize=655628 CPUtime=0
/proc/29093/task/29101/stat : 29101 (java) S 29092 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991709856 671363072 18023 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29083] ppid=29074 vsize=197416 CPUtime=4.2
/proc/29082/task/29083/stat : 29083 (java) S 29074 29074 29037 0 -1 64 3854 0 1 0 413 7 0 0 25 0 10 0 1991709301 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=29082/tid=29084] ppid=29074 vsize=197416 CPUtime=1.03
/proc/29082/task/29084/stat : 29084 (java) S 29074 29074 29037 0 -1 64 8561 0 0 0 94 9 0 0 16 0 10 0 1991709302 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29085] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29085/stat : 29085 (java) S 29074 29074 29037 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29086] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29086/stat : 29086 (java) S 29074 29074 29037 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1991709303 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29087] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29087/stat : 29087 (java) S 29074 29074 29037 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29088] ppid=29074 vsize=197416 CPUtime=0.19
/proc/29082/task/29088/stat : 29088 (java) S 29074 29074 29037 0 -1 64 642 0 0 0 19 0 0 0 16 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29089] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29089/stat : 29089 (java) S 29074 29074 29037 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=29082/tid=29090] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29090/stat : 29090 (java) S 29074 29074 29037 0 -1 64 18 0 0 0 0 0 0 0 15 0 10 0 1991709305 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29082/tid=29091] ppid=29074 vsize=197416 CPUtime=0
/proc/29082/task/29091/stat : 29091 (java) S 29074 29074 29037 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1991709851 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
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 29074 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=804725
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 1.82072
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1806.24
CPU time (s): 1800.01
CPU user time (s): 1787.76
CPU system time (s): 12.25
CPU usage (%): 99.6552
Max. virtual memory (cumulated for all children) (KiB): 863760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.80472
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2969
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= 10
runsolver used 15.5366 second user time and 9.05462 second system time
The end