0.00/0.00 c cpHydra_k_10 version 0.0
7.28/7.47 c CASE TO CLASSIFY:
7.28/7.47 c Case: 0
7.28/7.48 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.124400 | c 34 > 0.000000 | c 16 > 31.000000 | c 13 > 6.131790 | c 14 > 11.160500 | c 11 > 12.837200 | c 12 > 3.611530 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.414200 | c 1 > 10.861100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.414200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.045700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.49 c choco : 1801.0
7.28/7.49 c mistral : 1801.0
7.28/7.49 c abscon : 1801.0
7.28/7.49 c
7.28/7.49 c
7.37/7.56 c List of same ones: 10
7.37/7.56 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-4.xml
7.37/7.56 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.357900 | c 34 > 0.000000 | c 16 > 28.000000 | c 13 > 5.250700 | c 14 > 11.671100 | c 11 > 8.149750 | c 12 > 3.483250 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.189820 | c 1 > 4.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 9.144660 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.607200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.57 c choco : 3.4
7.37/7.57 c mistral : 0.6499
7.37/7.57 c abscon : 1800.09
7.37/7.57 c
7.37/7.57 c
7.37/7.57 c /home/eomahony/cpZilla/CSP/mknap/mknap-1-5.xml
7.37/7.57 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 21.681500 | c 34 > 0.000000 | c 16 > 39.000000 | c 13 > 7.137040 | c 14 > 12.284800 | c 11 > 7.813780 | c 12 > 6.405690 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.721100 | c 1 > 5.285400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 8.633000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.955800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.58 c choco : 13.25
7.37/7.58 c mistral : 1800.06
7.37/7.58 c abscon : 1800.12
7.37/7.58 c
7.37/7.58 c
7.37/7.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
7.37/7.58 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.37/7.59 c choco : 1801.0
7.37/7.59 c mistral : 158.081
7.37/7.59 c abscon : 1800.11
7.37/7.59 c
7.37/7.59 c
7.37/7.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
7.37/7.59 c 19 > 5.219890 | c 35 > 18.138100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.131940 | c 15 > 19.632900 | c 34 > 19.182100 | c 16 > 32.000000 | c 13 > 5.469140 | c 14 > 7.312880 | c 11 > 9.573650 | c 12 > 5.562700 | c 21 > 1.414210 | c 20 > 94.780100 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.808400 | c 1 > 9.573650 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.646000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.60 c choco : 1801.0
7.47/7.60 c mistral : 68.1926
7.47/7.60 c abscon : 1398.64
7.47/7.60 c
7.47/7.60 c
7.47/7.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
7.47/7.61 c 19 > 5.164820 | c 35 > 18.205000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.098890 | c 15 > 19.645000 | c 34 > 19.238000 | c 16 > 32.000000 | c 13 > 5.455050 | c 14 > 7.266790 | c 11 > 9.596190 | c 12 > 5.548950 | c 21 > 1.414210 | c 20 > 94.835200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.809200 | c 1 > 9.596190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.635700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.62 c choco : 1801.0
7.47/7.62 c mistral : 38.2112
7.47/7.62 c abscon : 762.347
7.47/7.62 c
7.47/7.62 c
7.47/7.62 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
7.47/7.62 c 19 > 4.293470 | c 35 > 18.659300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.576080 | c 15 > 19.700800 | c 34 > 19.518000 | c 16 > 32.000000 | c 13 > 5.665320 | c 14 > 7.247930 | c 11 > 10.027900 | c 12 > 5.597150 | c 21 > 1.414210 | c 20 > 95.706500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.227600 | c 1 > 10.027900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.207900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.956300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 1801.0
7.47/7.63 c mistral : 28.4527
7.47/7.63 c abscon : 1800.08
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
7.47/7.63 c 19 > 5.721800 | c 35 > 18.132200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.433080 | c 15 > 19.664900 | c 34 > 19.276600 | c 16 > 32.000000 | c 13 > 5.224600 | c 14 > 7.276120 | c 11 > 9.442940 | c 12 > 5.434720 | c 21 > 1.414210 | c 20 > 94.278200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.548000 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.526900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.386700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.63 c choco : 1801.0
7.47/7.63 c mistral : 34.6827
7.47/7.63 c abscon : 227.057
7.47/7.63 c
7.47/7.63 c
7.47/7.63 c /home/ehebrard/new_instances/competition_4c/data/lexHerald/crossword-m1-lex-19-04.xml
7.47/7.63 c 19 > 0.000000 | c 35 > 0.219982 | c 17 > 5.704410 | c 18 > 0.000000 | c 33 > 0.164986 | c 15 > 18.983300 | c 34 > 0.164986 | c 16 > 26.000000 | c 13 > 4.530690 | c 14 > 8.092760 | c 11 > 13.550300 | c 12 > 2.089750 | c 21 > 5.099020 | c 20 > 94.295600 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 6.060610 | c 28 > 3.939390 | c 29 > -1.000000 | c 3 > 8.209450 | c 2 > -1.000000 | c 10 > 13.774600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.514200 | c 32 > -1.000000 | c 5 > 14.924400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.64 c choco : 1801.0
7.47/7.64 c mistral : 20.21
7.47/7.64 c abscon : 40.24
7.47/7.64 c
7.47/7.64 c
7.47/7.64 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-07.xml
7.47/7.64 c 19 > 0.000000 | c 35 > 0.146325 | c 17 > 4.266160 | c 18 > 0.000000 | c 33 > 0.109744 | c 15 > 18.484500 | c 34 > 0.109744 | c 16 > 30.000000 | c 13 > 6.031070 | c 14 > 8.005620 | c 11 > 8.184880 | c 12 > 5.939650 | c 21 > 5.099020 | c 20 > 95.733800 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.910450 | c 28 > 2.089550 | c 29 > -1.000000 | c 3 > 8.184880 | c 2 > -1.000000 | c 10 > 14.275500 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 14.026700 | c 32 > -1.000000 | c 5 > 15.321400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.65 c choco : 46.54
7.47/7.65 c mistral : 2.92
7.47/7.65 c abscon : 26.63
7.47/7.65 c
7.47/7.65 c
7.47/7.65 c /home/ehebrard/new_instances/competition_4c/data/wordsHerald/crossword-m1-words-19-09.xml
7.47/7.65 c 19 > 0.000000 | c 35 > 0.249124 | c 17 > 4.816600 | c 18 > 0.000000 | c 33 > 0.186843 | c 15 > 18.312000 | c 34 > 0.186843 | c 16 > 30.000000 | c 13 > 4.751900 | c 14 > 7.651050 | c 11 > 8.204570 | c 12 > 5.544980 | c 21 > 5.099020 | c 20 > 95.183400 | c 22 > 5.099020 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 0.000000 | c 27 > 7.230770 | c 28 > 2.769230 | c 29 > -1.000000 | c 3 > 8.204570 | c 2 > -1.000000 | c 10 > 14.090200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > 13.847600 | c 32 > -1.000000 | c 5 > 15.181200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.66 c choco : 19.91
7.47/7.66 c mistral : 1.45
7.47/7.66 c abscon : 23.48
7.47/7.66 c
7.47/7.66 c
7.47/7.66 c Length: 10
7.47/7.66 c 9.89155634708209 12.822425301576143 28.0588408989591 28.495287311352026 28.55292421803413 28.741118591618875 28.74201872409452 28.77325416100369 28.793042822068962 28.80455204299442
7.47/7.66 c
7.47/7.66 c 1.0 0.8658264459425897 0.5100553601409171 0.5041216912984392 0.5033483976982406 0.5008398987626259 0.5008279607071358 0.5004140512739254 0.5001521800678566 0.5
7.47/7.67 c
7.47/7.67 c solver 0
7.47/7.67 c before 0.0 seconds: {} 0
7.47/7.67 c before 36.0 seconds: {8, 9} 1000
7.47/7.67 c before 54.0 seconds: {7, 8, 9} 1500
7.47/7.67 c before 234.0 seconds: {6, 7, 8, 9} 2001
7.47/7.67 c before 774.0 seconds: {4, 6, 7, 8, 9} 2504
7.47/7.67 c before 1404.0 seconds: {3, 4, 6, 7, 8, 9} 3008
7.47/7.67 c
7.47/7.67 c solver 1
7.47/7.67 c before 0.0 seconds: {} 0
7.47/7.67 c before 18.0 seconds: {0, 8, 9} 2000
7.47/7.67 c before 36.0 seconds: {0, 5, 6, 7, 8, 9} 3502
7.47/7.67 c before 54.0 seconds: {0, 4, 5, 6, 7, 8, 9} 4005
7.47/7.67 c before 72.0 seconds: {0, 3, 4, 5, 6, 7, 8, 9} 4509
7.47/7.67 c before 162.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5019
7.47/7.67 c
7.47/7.67 c solver 2
7.47/7.67 c before 0.0 seconds: {} 0
7.47/7.67 c before 18.0 seconds: {0, 1} 1865
7.47/7.67 c before 36.0 seconds: {0, 1, 9} 2365
7.47/7.67 c before 54.0 seconds: {0, 1, 8, 9} 2865
7.47/7.67 c
7.47/7.67 cTotal time: 90
7.47/7.67 c 1620.0 seconds unused
7.47/7.67 c 0 c 0 c 4
7.47/7.67 c 3 c 0 c 6
7.47/7.67 c 2 c 1 c 0
7.47/7.67 c is solver0 dominated by:
7.47/7.67 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.47/7.67 c is dominated? true
7.47/7.67 c
7.47/7.67 c is solver1 dominated by:
7.47/7.67 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.47/7.67 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.47/7.67 c is dominated? false
7.47/7.67 c
7.47/7.67 c is solver2 dominated by:
7.47/7.67 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.47/7.67 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: false) (2 is faster than 1: true) (2 is equally as fast as 1: false) (2 < 1: true)
7.47/7.67 c is dominated? false
7.47/7.67 c
7.47/7.67 c Number of non-dominated solvers: 2
7.47/7.67 c remove dominated solvers
7.47/7.67 c solver 1 is not dominated by another solver
7.47/7.67 c solver 2 is not dominated by another solver
7.47/7.67 c solver 0 is dominated by another solver
7.47/7.68 c
7.47/7.68 c solver 0: 0.0
7.47/7.68 c
7.47/7.68 c solver 1: 162.0
7.47/7.68 c
7.47/7.68 c+ 9/12 of 88
7.47/7.68 c
7.47/7.68 c solver 2: 54.0
7.47/7.68 c
7.47/7.68 c+ 3/12 of 88
7.47/7.68 c do not run abscon
7.47/7.68 c run mistral for 1350.0 seconds {0, 2, 3, 4, 5, 6, 7, 8, 9} 5019
7.47/7.68 c run choco for 450.0 seconds {0, 1, 8, 9} 2865
7.47/7.68 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.47/7.68 c On Instance: HOME/instance-1060968-1215129518.xml
7.47/7.68 c Running for: 1350 seconds
1357.23/1360.20 c Starting solver: HOME/cpHydra_k_10/solver/choco
1357.23/1360.20 c On Instance: HOME/instance-1060968-1215129518.xml
1357.23/1360.20 c Running for: 450 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-1060968-1215129518/watcher-1060968-1215129518 -o /tmp/evaluation-result-1060968-1215129518/solver-1060968-1215129518 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060968-1215129518.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.07 2.05 2.00 4/81 25817
/proc/meminfo: memFree=1577984/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=0
/proc/25817/stat : 25817 (hydra) R 25815 25817 24795 0 -1 4194304 300 124 0 0 0 0 0 0 22 0 1 0 997356465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 4345670 0 0 4100 65536 0 0 0 17 1 0 0
/proc/25817/statm: 1340 236 195 169 0 51 0
[pid=25819] ppid=25817 vsize=0 CPUtime=0
/proc/25819/stat : 25819 (rm) Z 25817 25817 24795 0 -1 4194316 123 0 0 0 0 0 0 0 23 0 1 0 997356465 0 0 996147200 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/25819/statm: 0 0 0 0 0 0 0
[startup+0.0979229 s]
/proc/loadavg: 2.07 2.05 2.00 4/81 25817
/proc/meminfo: memFree=1577984/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=0
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 997356465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101923 s]
/proc/loadavg: 2.07 2.05 2.00 4/81 25817
/proc/meminfo: memFree=1577984/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=0
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 997356465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301946 s]
/proc/loadavg: 2.07 2.05 2.00 4/81 25817
/proc/meminfo: memFree=1577984/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=0
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 997356465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701987 s]
/proc/loadavg: 2.07 2.05 2.00 4/81 25817
/proc/meminfo: memFree=1577984/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=0
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 997356465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50107 s]
/proc/loadavg: 2.06 2.05 2.00 3/83 25821
/proc/meminfo: memFree=1567792/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=0
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 997356465 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 236 195 169 0 51 0
[pid=25821] ppid=25817 vsize=14440 CPUtime=1.46
/proc/25821/stat : 25821 (xsolve) R 25817 25817 24795 0 -1 4194304 3032 0 0 0 145 1 0 0 25 0 1 0 997356466 14786560 2893 996147200 134512640 135239763 4294956176 18446744073709551615 134842508 0 0 4096 0 0 0 0 17 1 0 0
/proc/25821/statm: 3610 2893 431 177 0 2513 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 19800
[startup+3.10223 s]
/proc/loadavg: 2.06 2.05 2.00 4/91 25833
/proc/meminfo: memFree=1571368/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=1.56
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 375 3628 0 0 0 0 154 2 18 0 1 0 997356465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 238 196 169 0 51 0
[pid=25825] ppid=25817 vsize=197000 CPUtime=1.47
/proc/25825/stat : 25825 (java) S 25817 25817 24795 0 -1 0 4982 0 1 0 143 4 0 0 18 0 9 0 997356624 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25825/statm: 49250 4186 1678 9 0 43833 0
[pid=25825/tid=25826] ppid=25817 vsize=197000 CPUtime=1.19
/proc/25825/task/25826/stat : 25826 (java) R 25817 25817 24795 0 -1 64 2723 0 1 0 117 2 0 0 25 0 9 0 997356626 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4126439946 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25827] ppid=25817 vsize=197000 CPUtime=0.11
/proc/25825/task/25827/stat : 25827 (java) S 25817 25817 24795 0 -1 64 922 0 0 0 10 1 0 0 16 0 9 0 997356627 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25828] ppid=25817 vsize=197000 CPUtime=0
/proc/25825/task/25828/stat : 25828 (java) S 25817 25817 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 997356627 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25829] ppid=25817 vsize=197000 CPUtime=0
/proc/25825/task/25829/stat : 25829 (java) S 25817 25817 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 997356627 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25830] ppid=25817 vsize=197000 CPUtime=0
/proc/25825/task/25830/stat : 25830 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 997356629 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25831] ppid=25817 vsize=197000 CPUtime=0.14
/proc/25825/task/25831/stat : 25831 (java) S 25817 25817 24795 0 -1 64 612 0 0 0 14 0 0 0 16 0 9 0 997356629 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25832] ppid=25817 vsize=197000 CPUtime=0
/proc/25825/task/25832/stat : 25832 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 997356629 201728000 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25833] ppid=25817 vsize=197000 CPUtime=0
/proc/25825/task/25833/stat : 25833 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 997356629 201728000 4186 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.30156 s]
/proc/loadavg: 2.06 2.05 2.00 4/91 25833
/proc/meminfo: memFree=1558248/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=1.56
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 375 3628 0 0 0 0 154 2 18 0 1 0 997356465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 238 196 169 0 51 0
[pid=25825] ppid=25817 vsize=197112 CPUtime=4.63
/proc/25825/stat : 25825 (java) S 25817 25817 24795 0 -1 0 9842 0 1 0 451 12 0 0 18 0 9 0 997356624 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25825/statm: 49278 8156 2540 9 0 43861 0
[pid=25825/tid=25826] ppid=25817 vsize=197112 CPUtime=3.71
/proc/25825/task/25826/stat : 25826 (java) R 25817 25817 24795 0 -1 64 3529 0 1 0 367 4 0 0 25 0 9 0 997356626 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4126551672 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25827] ppid=25817 vsize=197112 CPUtime=0.72
/proc/25825/task/25827/stat : 25827 (java) S 25817 25817 24795 0 -1 64 4961 0 0 0 66 6 0 0 16 0 9 0 997356627 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25828] ppid=25817 vsize=197112 CPUtime=0
/proc/25825/task/25828/stat : 25828 (java) S 25817 25817 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 997356627 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25829] ppid=25817 vsize=197112 CPUtime=0
/proc/25825/task/25829/stat : 25829 (java) S 25817 25817 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 997356627 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25830] ppid=25817 vsize=197112 CPUtime=0
/proc/25825/task/25830/stat : 25830 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 997356629 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25831] ppid=25817 vsize=197112 CPUtime=0.17
/proc/25825/task/25831/stat : 25831 (java) S 25817 25817 24795 0 -1 64 627 0 0 0 17 0 0 0 16 0 9 0 997356629 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25832] ppid=25817 vsize=197112 CPUtime=0
/proc/25825/task/25832/stat : 25832 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 997356629 201842688 8156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25833] ppid=25817 vsize=197112 CPUtime=0
/proc/25825/task/25833/stat : 25833 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 997356629 201842688 8156 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) 202472
[startup+12.7012 s]
/proc/loadavg: 2.05 2.04 2.00 3/94 25836
/proc/meminfo: memFree=1539536/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=1.56
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 375 3628 0 0 0 0 154 2 18 0 1 0 997356465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 238 196 169 0 51 0
[pid=25825] ppid=25817 vsize=197436 CPUtime=5.98
/proc/25825/stat : 25825 (java) S 25817 25817 24795 0 -1 0 11456 0 1 0 582 16 0 0 18 0 10 0 997356624 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25825/statm: 49359 9374 2543 9 0 43942 0
[pid=25835] ppid=25825 vsize=5356 CPUtime=0
/proc/25835/stat : 25835 (mistral) S 25825 25817 24795 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 997357233 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25835/statm: 1339 238 198 169 0 50 0
[pid=25836] ppid=25835 vsize=14496 CPUtime=4.95
/proc/25836/stat : 25836 (xsolve) R 25835 25817 24795 0 -1 4194304 2988 0 0 0 494 1 0 0 25 0 1 0 997357234 14843904 2854 996147200 134512640 135239763 4294955968 18446744073709551615 134787949 0 4 0 0 0 0 0 17 1 0 0
/proc/25836/statm: 3624 2854 413 177 0 2527 0
[pid=25825/tid=25826] ppid=25817 vsize=197436 CPUtime=4.84
/proc/25825/task/25826/stat : 25826 (java) S 25817 25817 24795 0 -1 64 3862 0 1 0 478 6 0 0 23 0 10 0 997356626 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25825/tid=25827] ppid=25817 vsize=197436 CPUtime=0.9
/proc/25825/task/25827/stat : 25827 (java) S 25817 25817 24795 0 -1 64 6138 0 0 0 82 8 0 0 16 0 10 0 997356627 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25828] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25828/stat : 25828 (java) S 25817 25817 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 997356627 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25829] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25829/stat : 25829 (java) S 25817 25817 24795 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 997356627 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25830] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25830/stat : 25830 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25831] ppid=25817 vsize=197436 CPUtime=0.2
/proc/25825/task/25831/stat : 25831 (java) S 25817 25817 24795 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25832] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25832/stat : 25832 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25833] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25833/stat : 25833 (java) S 25817 25817 24795 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25834] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25834/stat : 25834 (java) S 25817 25817 24795 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 997357233 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 222648
[startup+25.5025 s]
/proc/loadavg: 2.04 2.04 2.00 3/94 25836
/proc/meminfo: memFree=1539536/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=1.56
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 375 3628 0 0 0 0 154 2 18 0 1 0 997356465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 238 196 169 0 51 0
[pid=25825] ppid=25817 vsize=197436 CPUtime=5.98
/proc/25825/stat : 25825 (java) S 25817 25817 24795 0 -1 0 11456 0 1 0 582 16 0 0 18 0 10 0 997356624 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25825/statm: 49359 9374 2543 9 0 43942 0
[pid=25835] ppid=25825 vsize=5356 CPUtime=0
/proc/25835/stat : 25835 (mistral) S 25825 25817 24795 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 997357233 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25835/statm: 1339 238 198 169 0 50 0
[pid=25836] ppid=25835 vsize=14496 CPUtime=17.63
/proc/25836/stat : 25836 (xsolve) R 25835 25817 24795 0 -1 4194304 2988 0 0 0 1761 2 0 0 25 0 1 0 997357234 14843904 2854 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 1 0 0
/proc/25836/statm: 3624 2854 413 177 0 2527 0
[pid=25825/tid=25826] ppid=25817 vsize=197436 CPUtime=4.84
/proc/25825/task/25826/stat : 25826 (java) S 25817 25817 24795 0 -1 64 3862 0 1 0 478 6 0 0 23 0 10 0 997356626 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25825/tid=25827] ppid=25817 vsize=197436 CPUtime=0.9
/proc/25825/task/25827/stat : 25827 (java) S 25817 25817 24795 0 -1 64 6138 0 0 0 82 8 0 0 16 0 10 0 997356627 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25828] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25828/stat : 25828 (java) S 25817 25817 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 997356627 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25829] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25829/stat : 25829 (java) S 25817 25817 24795 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 997356627 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25830] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25830/stat : 25830 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25831] ppid=25817 vsize=197436 CPUtime=0.2
/proc/25825/task/25831/stat : 25831 (java) S 25817 25817 24795 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25832] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25832/stat : 25832 (java) S 25817 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25833] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25833/stat : 25833 (java) S 25817 25817 24795 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 997356629 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25834] ppid=25817 vsize=197436 CPUtime=0
/proc/25825/task/25834/stat : 25834 (java) S 25817 25817 24795 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 997357233 202174464 9374 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 222648
[startup+51.1022 s]
################
# More data... #
################
/proc/25825/statm: 49440 9380 2544 9 0 44023 0
[pid=25897] ppid=25825 vsize=5356 CPUtime=0
/proc/25897/stat : 25897 (choco) S 25825 25817 24795 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 997492485 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25897/statm: 1339 238 197 169 0 50 0
[pid=25898] ppid=25897 vsize=655600 CPUtime=421.92
/proc/25898/stat : 25898 (java) S 25897 25817 24795 0 -1 0 15881 0 1 0 41287 905 0 0 19 0 9 0 997492486 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25898/statm: 163900 15318 1933 9 0 158429 0
[pid=25898/tid=25899] ppid=25897 vsize=655600 CPUtime=421.32
/proc/25898/task/25899/stat : 25899 (java) R 25897 25817 24795 0 -1 64 12295 0 1 0 41230 902 0 0 25 0 9 0 997492487 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25900] ppid=25897 vsize=655600 CPUtime=0.25
/proc/25898/task/25900/stat : 25900 (java) S 25897 25817 24795 0 -1 64 2377 0 0 0 23 2 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25901] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25901/stat : 25901 (java) S 25897 25817 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25902] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25902/stat : 25902 (java) S 25897 25817 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25903] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25903/stat : 25903 (java) S 25897 25817 24795 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25904] ppid=25897 vsize=655600 CPUtime=0.32
/proc/25898/task/25904/stat : 25904 (java) S 25897 25817 24795 0 -1 64 663 0 0 0 32 0 0 0 16 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25905] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25905/stat : 25905 (java) S 25897 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25906] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25906/stat : 25906 (java) S 25897 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25825/tid=25826] ppid=25817 vsize=197760 CPUtime=1354.63
/proc/25825/task/25826/stat : 25826 (java) S 25817 25817 24795 0 -1 64 3935 3300 1 0 478 6 134973 6 16 0 10 0 997356626 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25825/tid=25827] ppid=25817 vsize=197760 CPUtime=1350.69
/proc/25825/task/25827/stat : 25827 (java) S 25817 25817 24795 0 -1 64 6151 3300 0 0 82 8 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25825/tid=25828] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25828/stat : 25828 (java) S 25817 25817 24795 0 -1 64 10 3300 0 0 0 0 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25829] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25829/stat : 25829 (java) S 25817 25817 24795 0 -1 64 6 3300 0 0 0 0 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25830] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25830/stat : 25830 (java) S 25817 25817 24795 0 -1 64 1 3300 0 0 0 0 134973 6 18 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25831] ppid=25817 vsize=197760 CPUtime=1349.99
/proc/25825/task/25831/stat : 25831 (java) S 25817 25817 24795 0 -1 64 645 3300 0 0 20 0 134973 6 16 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25832] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25832/stat : 25832 (java) S 25817 25817 24795 0 -1 64 1 3300 0 0 0 0 134973 6 19 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25833] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25833/stat : 25833 (java) S 25817 25817 24795 0 -1 64 19 3300 0 0 0 0 134973 6 15 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25896] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25896/stat : 25896 (java) S 25817 25817 24795 0 -1 64 40 3300 0 0 0 0 134973 6 17 0 10 0 997492485 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1779.26
Current children cumulated vsize (KiB) 864076
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1803.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 25906
/proc/meminfo: memFree=1253128/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=1.56
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 375 3628 0 0 0 0 154 2 18 0 1 0 997356465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 238 196 169 0 51 0
[pid=25825] ppid=25817 vsize=197760 CPUtime=1355.78
/proc/25825/stat : 25825 (java) S 25817 25817 24795 0 -1 0 11615 3300 1 0 582 17 134973 6 18 0 10 0 997356624 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25825/statm: 49440 9380 2544 9 0 44023 0
[pid=25897] ppid=25825 vsize=5356 CPUtime=0
/proc/25897/stat : 25897 (choco) S 25825 25817 24795 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 997492485 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25897/statm: 1339 238 197 169 0 50 0
[pid=25898] ppid=25897 vsize=655600 CPUtime=442.71
/proc/25898/stat : 25898 (java) S 25897 25817 24795 0 -1 0 15888 0 1 0 43324 947 0 0 19 0 9 0 997492486 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25898/statm: 163900 15318 1933 9 0 158429 0
[pid=25898/tid=25899] ppid=25897 vsize=655600 CPUtime=442.1
/proc/25898/task/25899/stat : 25899 (java) R 25897 25817 24795 0 -1 64 12302 0 1 0 43267 943 0 0 25 0 9 0 997492487 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25900] ppid=25897 vsize=655600 CPUtime=0.26
/proc/25898/task/25900/stat : 25900 (java) S 25897 25817 24795 0 -1 64 2377 0 0 0 24 2 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25901] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25901/stat : 25901 (java) S 25897 25817 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25902] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25902/stat : 25902 (java) S 25897 25817 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25903] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25903/stat : 25903 (java) S 25897 25817 24795 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25904] ppid=25897 vsize=655600 CPUtime=0.32
/proc/25898/task/25904/stat : 25904 (java) S 25897 25817 24795 0 -1 64 663 0 0 0 32 0 0 0 16 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25905] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25905/stat : 25905 (java) S 25897 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25906] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25906/stat : 25906 (java) S 25897 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25825/tid=25826] ppid=25817 vsize=197760 CPUtime=1354.63
/proc/25825/task/25826/stat : 25826 (java) S 25817 25817 24795 0 -1 64 3935 3300 1 0 478 6 134973 6 16 0 10 0 997356626 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25825/tid=25827] ppid=25817 vsize=197760 CPUtime=1350.69
/proc/25825/task/25827/stat : 25827 (java) S 25817 25817 24795 0 -1 64 6151 3300 0 0 82 8 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25825/tid=25828] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25828/stat : 25828 (java) S 25817 25817 24795 0 -1 64 10 3300 0 0 0 0 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25829] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25829/stat : 25829 (java) S 25817 25817 24795 0 -1 64 6 3300 0 0 0 0 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25830] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25830/stat : 25830 (java) S 25817 25817 24795 0 -1 64 1 3300 0 0 0 0 134973 6 18 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25831] ppid=25817 vsize=197760 CPUtime=1349.99
/proc/25825/task/25831/stat : 25831 (java) S 25817 25817 24795 0 -1 64 645 3300 0 0 20 0 134973 6 16 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25832] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25832/stat : 25832 (java) S 25817 25817 24795 0 -1 64 1 3300 0 0 0 0 134973 6 19 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25833] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25833/stat : 25833 (java) S 25817 25817 24795 0 -1 64 19 3300 0 0 0 0 134973 6 15 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25896] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25896/stat : 25896 (java) S 25817 25817 24795 0 -1 64 40 3300 0 0 0 0 134973 6 17 0 10 0 997492485 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 864076
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1803.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 25906
/proc/meminfo: memFree=1253128/2055920 swapFree=4180884/4192956
[pid=25817] ppid=25815 vsize=5360 CPUtime=1.56
/proc/25817/stat : 25817 (hydra) S 25815 25817 24795 0 -1 4194304 375 3628 0 0 0 0 154 2 18 0 1 0 997356465 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 206381310788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25817/statm: 1340 238 196 169 0 51 0
[pid=25825] ppid=25817 vsize=197760 CPUtime=1355.78
/proc/25825/stat : 25825 (java) S 25817 25817 24795 0 -1 0 11615 3300 1 0 582 17 134973 6 18 0 10 0 997356624 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25825/statm: 49440 9380 2544 9 0 44023 0
[pid=25897] ppid=25825 vsize=5356 CPUtime=0
/proc/25897/stat : 25897 (choco) S 25825 25817 24795 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 997492485 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 206381310788 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/25897/statm: 1339 238 197 169 0 50 0
[pid=25898] ppid=25897 vsize=655600 CPUtime=442.71
/proc/25898/stat : 25898 (java) S 25897 25817 24795 0 -1 0 15888 0 1 0 43324 947 0 0 19 0 9 0 997492486 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25898/statm: 163900 15318 1933 9 0 158429 0
[pid=25898/tid=25899] ppid=25897 vsize=655600 CPUtime=442.1
/proc/25898/task/25899/stat : 25899 (java) R 25897 25817 24795 0 -1 64 12302 0 1 0 43267 943 0 0 25 0 9 0 997492487 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25900] ppid=25897 vsize=655600 CPUtime=0.26
/proc/25898/task/25900/stat : 25900 (java) S 25897 25817 24795 0 -1 64 2377 0 0 0 24 2 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25901] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25901/stat : 25901 (java) S 25897 25817 24795 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25902] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25902/stat : 25902 (java) S 25897 25817 24795 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 997492488 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25903] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25903/stat : 25903 (java) S 25897 25817 24795 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25904] ppid=25897 vsize=655600 CPUtime=0.32
/proc/25898/task/25904/stat : 25904 (java) S 25897 25817 24795 0 -1 64 663 0 0 0 32 0 0 0 16 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25905] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25905/stat : 25905 (java) S 25897 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25898/tid=25906] ppid=25897 vsize=655600 CPUtime=0
/proc/25898/task/25906/stat : 25906 (java) S 25897 25817 24795 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 997492490 671334400 15318 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25825/tid=25826] ppid=25817 vsize=197760 CPUtime=1354.63
/proc/25825/task/25826/stat : 25826 (java) S 25817 25817 24795 0 -1 64 3935 3300 1 0 478 6 134973 6 16 0 10 0 997356626 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=25825/tid=25827] ppid=25817 vsize=197760 CPUtime=1350.69
/proc/25825/task/25827/stat : 25827 (java) S 25817 25817 24795 0 -1 64 6151 3300 0 0 82 8 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25825/tid=25828] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25828/stat : 25828 (java) S 25817 25817 24795 0 -1 64 10 3300 0 0 0 0 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25829] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25829/stat : 25829 (java) S 25817 25817 24795 0 -1 64 6 3300 0 0 0 0 134973 6 16 0 10 0 997356627 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25830] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25830/stat : 25830 (java) S 25817 25817 24795 0 -1 64 1 3300 0 0 0 0 134973 6 18 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25831] ppid=25817 vsize=197760 CPUtime=1349.99
/proc/25825/task/25831/stat : 25831 (java) S 25817 25817 24795 0 -1 64 645 3300 0 0 20 0 134973 6 16 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25832] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25832/stat : 25832 (java) S 25817 25817 24795 0 -1 64 1 3300 0 0 0 0 134973 6 19 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25833] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25833/stat : 25833 (java) S 25817 25817 24795 0 -1 64 19 3300 0 0 0 0 134973 6 15 0 10 0 997356629 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25825/tid=25896] ppid=25817 vsize=197760 CPUtime=1349.79
/proc/25825/task/25896/stat : 25896 (java) S 25817 25817 24795 0 -1 64 40 3300 0 0 0 0 134973 6 17 0 10 0 997492485 202506240 9380 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 864076
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25817 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=549764
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=25996
# CPU time returned by wait4() is 1.57576
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1803.14
CPU time (s): 1800.05
CPU user time (s): 1790.33
CPU system time (s): 9.72
CPU usage (%): 99.8289
Max. virtual memory (cumulated for all children) (KiB): 864076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.54976
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4003
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= 31
involuntary context switches= 46
runsolver used 3.06953 second user time and 9.79251 second system time
The end