0.00/0.01 c cpHydra_k_10 version 0.0
7.47/7.69 c CASE TO CLASSIFY:
7.47/7.69 c Case: 0
7.47/7.69 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 23.504500 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.574800 | c 14 > 11.158000 | c 11 > 7.813780 | c 12 > 6.020890 | c 21 > 30.242300 | c 20 > 100.000000 | c 22 > 31.016100 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.511800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.47/7.70 c choco : 1801.0
7.47/7.70 c mistral : 1801.0
7.47/7.70 c abscon : 1801.0
7.47/7.70 c
7.47/7.70 c
7.58/7.77 c List of same ones: 10
7.58/7.77 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-7.xml
7.58/7.77 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.944600 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.151970 | c 14 > 10.198400 | c 11 > 7.813780 | c 12 > 6.085760 | c 21 > 30.242300 | c 20 > 100.000000 | c 22 > 31.016100 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.511800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.78 c choco : 12.67
7.58/7.78 c mistral : 0.374942
7.58/7.78 c abscon : 58.2261
7.58/7.78 c
7.58/7.78 c
7.58/7.78 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-3.xml
7.58/7.78 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.885700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.549570 | c 14 > 10.590600 | c 11 > 7.813780 | c 12 > 6.111500 | c 21 > 29.959000 | c 20 > 100.000000 | c 22 > 30.757100 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.484700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.58/7.79 c choco : 12.83
7.58/7.79 c mistral : 0.792878
7.58/7.79 c abscon : 82.8884
7.58/7.79 c
7.58/7.79 c
7.58/7.79 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-95-8.xml
7.58/7.79 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 22.080100 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.292410 | c 14 > 11.190400 | c 11 > 7.813780 | c 12 > 6.087460 | c 21 > 29.227700 | c 20 > 100.000000 | c 22 > 30.050000 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.413500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.80 c choco : 21.09
7.67/7.80 c mistral : 5.9261
7.67/7.80 c abscon : 1800.09
7.67/7.80 c
7.67/7.80 c
7.67/7.80 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-5.xml
7.67/7.80 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 22.518000 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 7.474520 | c 14 > 11.865000 | c 11 > 7.813780 | c 12 > 6.384360 | c 21 > 30.174800 | c 20 > 100.000000 | c 22 > 30.967700 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.505400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.81 c choco : 12.7
7.67/7.81 c mistral : 0.288956
7.67/7.81 c abscon : 139.854
7.67/7.81 c
7.67/7.81 c
7.67/7.81 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-1.xml
7.67/7.81 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.529700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.961620 | c 14 > 10.410500 | c 11 > 7.813780 | c 12 > 5.964190 | c 21 > 30.902400 | c 20 > 100.000000 | c 22 > 31.701700 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.574000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.82 c choco : 12.73
7.67/7.82 c mistral : 0.296954
7.67/7.82 c abscon : 41.0688
7.67/7.82 c
7.67/7.82 c
7.67/7.82 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-9.xml
7.67/7.82 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.500900 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 4.201930 | c 14 > 10.691700 | c 11 > 7.813780 | c 12 > 5.866690 | c 21 > 29.773200 | c 20 > 100.000000 | c 22 > 30.577800 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.466800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.83 c choco : 19.98
7.67/7.83 c mistral : 0.649901
7.67/7.83 c abscon : 145.126
7.67/7.83 c
7.67/7.83 c
7.67/7.83 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-5.xml
7.67/7.83 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.722400 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 5.519230 | c 14 > 9.449150 | c 11 > 7.813780 | c 12 > 5.928210 | c 21 > 30.960000 | c 20 > 100.000000 | c 22 > 31.733300 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.579300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.84 c choco : 53.91
7.67/7.84 c mistral : 0.288955
7.67/7.84 c abscon : 41.3687
7.67/7.84 c
7.67/7.84 c
7.67/7.84 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-7.xml
7.67/7.84 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.245200 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.707180 | c 14 > 11.452200 | c 11 > 7.813780 | c 12 > 6.134680 | c 21 > 29.471900 | c 20 > 100.000000 | c 22 > 30.265500 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.437500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.85 c choco : 12.78
7.67/7.85 c mistral : 0.379941
7.67/7.85 c abscon : 59.8509
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-100-1.xml
7.67/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.621300 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 7.824080 | c 14 > 10.693500 | c 11 > 7.813780 | c 12 > 6.426560 | c 21 > 30.115700 | c 20 > 100.000000 | c 22 > 30.935400 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.499700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.85 c choco : 13.01
7.67/7.85 c mistral : 0.396939
7.67/7.85 c abscon : 107.067
7.67/7.85 c
7.67/7.85 c
7.67/7.85 c /home/eomahony/cpZilla/CSP/taillard/os-taillard-15/os-taillard-15-105-9.xml
7.67/7.85 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 30.000000 | c 15 > 21.351700 | c 34 > 50.000000 | c 16 > 2.000000 | c 13 > 6.678820 | c 14 > 9.008430 | c 11 > 7.813780 | c 12 > 6.038460 | c 21 > 30.552300 | c 20 > 100.000000 | c 22 > 31.336900 | 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 > 7.813780 | c 10 > 13.943100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.621100 | c 6 > 12.621100 | c 32 > -1.000000 | c 5 > 22.541200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.67/7.86 c choco : 12.51
7.67/7.86 c mistral : 0.303953
7.67/7.86 c abscon : 42.4445
7.67/7.86 c
7.67/7.86 c
7.67/7.87 c Length: 10
7.67/7.87 c 1.921315563825994 2.012192144155225 2.1264491663333978 2.284954603334605 2.3496987258795543 2.560192380837814 2.6724056054049874 2.7656210457146875 3.0014525845496873 3.267146291521087
7.67/7.87 c
7.67/7.87 c 1.0 0.9367466290303771 0.8677380269083164 0.7872796310966997 0.7585504405479274 0.6781002729013333 0.6418128655194701 0.6144963595441649 0.5547603543255214 0.5
7.67/7.87 c
7.67/7.87 c solver 0
7.67/7.87 c before 0.0 seconds: {} 0
7.67/7.87 c before 54.0 seconds: {4, 6, 9} 1900
7.67/7.87 c before 72.0 seconds: {0, 4, 6, 7, 9} 3514
7.67/7.87 c before 90.0 seconds: {0, 1, 4, 6, 7, 9} 4451
7.67/7.87 c before 108.0 seconds: {0, 1, 4, 6, 7, 8, 9} 5006
7.67/7.87 c before 144.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9} 5793
7.67/7.87 c before 162.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6471
7.67/7.87 c
7.67/7.87 c solver 1
7.67/7.87 c before 0.0 seconds: {} 0
7.67/7.87 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7339
7.67/7.87 c
7.67/7.87 c solver 2
7.67/7.87 c before 0.0 seconds: {} 0
7.67/7.87 c before 18.0 seconds: {0, 1, 3, 4, 7, 8, 9} 5151
7.67/7.87 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 7, 8, 9} 6697
7.67/7.87 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7339
7.67/7.87 c
7.67/7.87 cTotal time: 13
7.67/7.87 c 234.0 seconds unused
7.67/7.87 c 0 c 0 c 0
7.67/7.87 c 1 c 0 c 0
7.67/7.87 c 1 c 0 c 0
7.67/7.87 c is solver0 dominated by:
7.67/7.87 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.67/7.87 c is dominated? true
7.67/7.87 c
7.67/7.87 c is solver1 dominated by:
7.67/7.87 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.67/7.87 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.67/7.88 c is dominated? false
7.67/7.88 c
7.67/7.88 c is solver2 dominated by:
7.67/7.88 c solver 0 (2 solves instances that 0 can't: true) (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.67/7.88 c solver 1 (2 solves instances that 1 can't: false) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.67/7.88 c is dominated? true
7.67/7.88 c
7.67/7.88 c Number of non-dominated solvers: 1
7.67/7.88 c remove dominated solvers
7.67/7.88 c solver 1 is not dominated by another solver
7.67/7.88 c solver 2 is dominated by another solver
7.67/7.88 c solver 0 is dominated by another solver
7.67/7.88 c
7.67/7.88 c solver 0: 0.0
7.67/7.88 c
7.67/7.88 c solver 1: 18.0
7.67/7.88 c
7.67/7.88 c+ 1/1 of 99
7.67/7.88 c
7.67/7.88 c solver 2: 0.0
7.67/7.88 c do not run abscon
7.67/7.88 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7339
7.67/7.88 c do not run choco
7.67/7.88 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.67/7.88 c On Instance: HOME/instance-1060233-1215126172.xml
7.67/7.88 c Running for: 1800 seconds
8.61/8.81 c mistral-prime version 1.313
8.61/8.81 s SATISFIABLE
8.61/8.81 v 858 94 462 696 246 0 206 911 280 799 172 614 745 50 562 142 559 816 753 0 50 324 395 684 494 79 912 103 670 578 855 285 371 76 524 197 139 598 448 800 686 884 0 892 745 109 568 197 367 294 506 480 447 351 670 248 629 52 384 0 670 924 809 568 294 0 387 178 492 276 894 753 462 99 371 283 451 139 0 478 769 351 370 736 534 389 694 226 618 371 649 381 283 568 454 246 686 94 152 348 178 0 549 748 197 755 122 702 524 285 657 529 855 0 416 52 478 489 384 206 338 226 519 618 798 142 42 893 419 172 76 0 735 849 694 752 800 338 502 402 0 359 657 392 207 109 305 610 870 448 630 187 419 589 235 712 0 248 489 289 559 324 534 381 92 289 82 302 892 797 197 397 478 387 712 598 177 506 568 0 566 696 267 225 62 122 625 297 185 861 493 0 519 390 768 65 82 0 532 494 861 239 225 800 397 709 33 589 148 305 185 34 152 502 616 702 479 42 0 207 748 855 350 102 416
8.61/8.81 d CHECKS 4985096
8.61/8.81 d ASSIGNMENTS 1476
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060233-1215126172/watcher-1060233-1215126172 -o /tmp/evaluation-result-1060233-1215126172/solver-1060233-1215126172 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060233-1215126172.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.89 1.97 1.93 4/81 21730
/proc/meminfo: memFree=1802568/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=18572 CPUtime=0
/proc/21730/stat : 21730 (runsolver) R 21728 21730 20250 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1991589719 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 259415141671 0 0 4096 24578 0 0 0 17 1 0 0
/proc/21730/statm: 4643 292 257 25 0 2626 0
[startup+0.012717 s]
/proc/loadavg: 1.89 1.97 1.93 4/81 21730
/proc/meminfo: memFree=1802568/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=0
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991589719 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10173 s]
/proc/loadavg: 1.89 1.97 1.93 4/81 21730
/proc/meminfo: memFree=1802568/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=0
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991589719 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301755 s]
/proc/loadavg: 1.89 1.97 1.93 4/81 21730
/proc/meminfo: memFree=1802568/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=0
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991589719 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701796 s]
/proc/loadavg: 1.89 1.97 1.93 4/81 21730
/proc/meminfo: memFree=1802568/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=0
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991589719 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/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.89 1.97 1.93 3/83 21734
/proc/meminfo: memFree=1789240/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=0
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1991589719 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 236 195 169 0 51 0
[pid=21734] ppid=21730 vsize=17552 CPUtime=1.46
/proc/21734/stat : 21734 (xsolve) R 21730 21730 20250 0 -1 4194304 3710 0 0 0 144 2 0 0 25 0 1 0 1991589720 17973248 3669 996147200 134512640 135239763 4294956176 18446744073709551615 135030894 0 0 4096 0 0 0 0 17 1 0 0
/proc/21734/statm: 4388 3669 422 177 0 3291 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22912
[startup+3.10206 s]
/proc/loadavg: 1.89 1.97 1.93 4/91 21746
/proc/meminfo: memFree=1796664/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=1.69
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 375 4307 0 0 0 0 165 4 18 0 1 0 1991589719 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 238 196 169 0 51 0
[pid=21738] ppid=21730 vsize=197108 CPUtime=1.33
/proc/21738/stat : 21738 (java) S 21730 21730 20250 0 -1 0 4846 0 1 0 129 4 0 0 18 0 9 0 1991589892 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21738/statm: 49277 4081 1677 9 0 43860 0
[pid=21738/tid=21739] ppid=21730 vsize=197108 CPUtime=1.07
/proc/21738/task/21739/stat : 21739 (java) R 21730 21730 20250 0 -1 64 2691 0 1 0 105 2 0 0 25 0 9 0 1991589893 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4126442396 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21740] ppid=21730 vsize=197108 CPUtime=0.11
/proc/21738/task/21740/stat : 21740 (java) S 21730 21730 20250 0 -1 64 826 0 0 0 10 1 0 0 16 0 9 0 1991589895 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21741] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21741/stat : 21741 (java) S 21730 21730 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991589895 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21742] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21742/stat : 21742 (java) S 21730 21730 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991589895 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21743] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21743/stat : 21743 (java) S 21730 21730 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991589897 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21744] ppid=21730 vsize=197108 CPUtime=0.13
/proc/21738/task/21744/stat : 21744 (java) S 21730 21730 20250 0 -1 64 604 0 0 0 13 0 0 0 16 0 9 0 1991589897 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21745] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21745/stat : 21745 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991589897 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21746] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21746/stat : 21746 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991589897 201838592 4081 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 202468
[startup+6.30179 s]
/proc/loadavg: 1.97 1.98 1.94 4/91 21746
/proc/meminfo: memFree=1783288/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=1.69
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 375 4307 0 0 0 0 165 4 18 0 1 0 1991589719 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 238 196 169 0 51 0
[pid=21738] ppid=21730 vsize=197108 CPUtime=4.51
/proc/21738/stat : 21738 (java) S 21730 21730 20250 0 -1 0 9774 0 1 0 439 12 0 0 18 0 9 0 1991589892 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21738/statm: 49277 8106 2540 9 0 43860 0
[pid=21738/tid=21739] ppid=21730 vsize=197108 CPUtime=3.61
/proc/21738/task/21739/stat : 21739 (java) R 21730 21730 20250 0 -1 64 3510 0 1 0 357 4 0 0 25 0 9 0 1991589893 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21740] ppid=21730 vsize=197108 CPUtime=0.7
/proc/21738/task/21740/stat : 21740 (java) S 21730 21730 20250 0 -1 64 4911 0 0 0 64 6 0 0 15 0 9 0 1991589895 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21741] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21741/stat : 21741 (java) S 21730 21730 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1991589895 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21742] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21742/stat : 21742 (java) S 21730 21730 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1991589895 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21743] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21743/stat : 21743 (java) S 21730 21730 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991589897 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21744] ppid=21730 vsize=197108 CPUtime=0.17
/proc/21738/task/21744/stat : 21744 (java) S 21730 21730 20250 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 1991589897 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21745] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21745/stat : 21745 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1991589897 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21746] ppid=21730 vsize=197108 CPUtime=0
/proc/21738/task/21746/stat : 21746 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1991589897 201838592 8106 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
Solver just ended. Dumping a history of the last processes samples
[startup+7.9016 s]
/proc/loadavg: 1.97 1.98 1.94 4/91 21746
/proc/meminfo: memFree=1769784/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=1.69
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 375 4307 0 0 0 0 165 4 18 0 1 0 1991589719 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 238 196 169 0 51 0
[pid=21738] ppid=21730 vsize=197432 CPUtime=6.03
/proc/21738/stat : 21738 (java) S 21730 21730 20250 0 -1 0 13930 0 1 0 587 16 0 0 18 0 10 0 1991589892 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21738/statm: 49358 9494 2543 9 0 43941 0
[pid=21738/tid=21739] ppid=21730 vsize=197432 CPUtime=4.76
/proc/21738/task/21739/stat : 21739 (java) S 21730 21730 20250 0 -1 64 3969 0 1 0 471 5 0 0 25 0 10 0 1991589893 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21738/tid=21740] ppid=21730 vsize=197432 CPUtime=1.06
/proc/21738/task/21740/stat : 21740 (java) S 21730 21730 20250 0 -1 64 8512 0 0 0 96 10 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21741] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21741/stat : 21741 (java) S 21730 21730 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21742] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21742/stat : 21742 (java) S 21730 21730 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21743] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21743/stat : 21743 (java) S 21730 21730 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21744] ppid=21730 vsize=197432 CPUtime=0.2
/proc/21738/task/21744/stat : 21744 (java) S 21730 21730 20250 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21745] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21745/stat : 21745 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21746] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21746/stat : 21746 (java) S 21730 21730 20250 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 202792
[startup+8.30164 s]
/proc/loadavg: 1.97 1.98 1.94 4/91 21746
/proc/meminfo: memFree=1769784/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=1.69
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 375 4307 0 0 0 0 165 4 18 0 1 0 1991589719 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 238 196 169 0 51 0
[pid=21738] ppid=21730 vsize=197432 CPUtime=6.03
/proc/21738/stat : 21738 (java) S 21730 21730 20250 0 -1 0 13932 0 1 0 587 16 0 0 18 0 10 0 1991589892 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21738/statm: 49358 9494 2543 9 0 43941 0
[pid=21738/tid=21739] ppid=21730 vsize=197432 CPUtime=4.76
/proc/21738/task/21739/stat : 21739 (java) S 21730 21730 20250 0 -1 64 3971 0 1 0 471 5 0 0 23 0 10 0 1991589893 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21738/tid=21740] ppid=21730 vsize=197432 CPUtime=1.06
/proc/21738/task/21740/stat : 21740 (java) S 21730 21730 20250 0 -1 64 8512 0 0 0 96 10 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21741] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21741/stat : 21741 (java) S 21730 21730 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21742] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21742/stat : 21742 (java) S 21730 21730 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21743] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21743/stat : 21743 (java) S 21730 21730 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21744] ppid=21730 vsize=197432 CPUtime=0.2
/proc/21738/task/21744/stat : 21744 (java) S 21730 21730 20250 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21745] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21745/stat : 21745 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21746] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21746/stat : 21746 (java) S 21730 21730 20250 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 202792
[startup+8.70168 s]
/proc/loadavg: 1.97 1.98 1.94 3/94 21749
/proc/meminfo: memFree=1760544/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=1.69
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 375 4307 0 0 0 0 165 4 18 0 1 0 1991589719 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 238 196 169 0 51 0
[pid=21738] ppid=21730 vsize=197432 CPUtime=6.03
/proc/21738/stat : 21738 (java) S 21730 21730 20250 0 -1 0 13932 0 1 0 587 16 0 0 18 0 10 0 1991589892 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21738/statm: 49358 9494 2543 9 0 43941 0
[pid=21748] ppid=21738 vsize=5356 CPUtime=0
/proc/21748/stat : 21748 (mistral) S 21738 21730 20250 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991590508 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21748/statm: 1339 236 196 169 0 50 0
[pid=21749] ppid=21748 vsize=17560 CPUtime=0.79
/proc/21749/stat : 21749 (xsolve) R 21748 21730 20250 0 -1 4194304 3693 0 0 0 78 1 0 0 24 0 1 0 1991590509 17981440 3657 996147200 134512640 135239763 4294955968 18446744073709551615 135030894 0 4 0 0 0 0 0 17 1 0 0
/proc/21749/statm: 4390 3657 404 177 0 3293 0
[pid=21738/tid=21739] ppid=21730 vsize=197432 CPUtime=4.76
/proc/21738/task/21739/stat : 21739 (java) S 21730 21730 20250 0 -1 64 3971 0 1 0 471 5 0 0 23 0 10 0 1991589893 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21738/tid=21740] ppid=21730 vsize=197432 CPUtime=1.06
/proc/21738/task/21740/stat : 21740 (java) S 21730 21730 20250 0 -1 64 8512 0 0 0 96 10 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21741] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21741/stat : 21741 (java) S 21730 21730 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21742] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21742/stat : 21742 (java) S 21730 21730 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21743] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21743/stat : 21743 (java) S 21730 21730 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21744] ppid=21730 vsize=197432 CPUtime=0.2
/proc/21738/task/21744/stat : 21744 (java) S 21730 21730 20250 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21745] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21745/stat : 21745 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21746] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21746/stat : 21746 (java) S 21730 21730 20250 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21738/tid=21747] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21747/stat : 21747 (java) S 21730 21730 20250 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991590508 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.51
Current children cumulated vsize (KiB) 225708
[startup+8.80672 s]
/proc/loadavg: 1.97 1.98 1.94 3/94 21749
/proc/meminfo: memFree=1760544/2055920 swapFree=4180096/4192956
[pid=21730] ppid=21728 vsize=5360 CPUtime=1.69
/proc/21730/stat : 21730 (hydra) S 21728 21730 20250 0 -1 4194304 375 4307 0 0 0 0 165 4 18 0 1 0 1991589719 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21730/statm: 1340 238 196 169 0 51 0
[pid=21738] ppid=21730 vsize=197432 CPUtime=6.03
/proc/21738/stat : 21738 (java) S 21730 21730 20250 0 -1 0 13965 0 1 0 587 16 0 0 18 0 10 0 1991589892 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21738/statm: 49358 9494 2543 9 0 43941 0
[pid=21748] ppid=21738 vsize=5356 CPUtime=0
/proc/21748/stat : 21748 (mistral) S 21738 21730 20250 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1991590508 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 259415139140 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/21748/statm: 1339 236 196 169 0 50 0
[pid=21749] ppid=21748 vsize=0 CPUtime=0.89
/proc/21749/stat : 21749 (xsolve) R 21748 21730 20250 0 -1 4194308 3744 0 0 0 88 1 0 0 25 0 1 0 1991590509 0 0 996147200 0 0 0 0 0 0 4 0 0 0 0 0 17 1 0 0
/proc/21749/statm: 0 0 0 0 0 0 0
[pid=21738/tid=21739] ppid=21730 vsize=197432 CPUtime=4.76
/proc/21738/task/21739/stat : 21739 (java) S 21730 21730 20250 0 -1 64 3972 0 1 0 471 5 0 0 22 0 10 0 1991589893 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=21738/tid=21740] ppid=21730 vsize=197432 CPUtime=1.06
/proc/21738/task/21740/stat : 21740 (java) S 21730 21730 20250 0 -1 64 8544 0 0 0 96 10 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21741] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21741/stat : 21741 (java) S 21730 21730 20250 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21742] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21742/stat : 21742 (java) S 21730 21730 20250 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1991589895 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21743] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21743/stat : 21743 (java) S 21730 21730 20250 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21744] ppid=21730 vsize=197432 CPUtime=0.2
/proc/21738/task/21744/stat : 21744 (java) S 21730 21730 20250 0 -1 64 645 0 0 0 20 0 0 0 16 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21745] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21745/stat : 21745 (java) S 21730 21730 20250 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21738/tid=21746] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21746/stat : 21746 (java) S 21730 21730 20250 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1991589897 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21738/tid=21747] ppid=21730 vsize=197432 CPUtime=0
/proc/21738/task/21747/stat : 21747 (java) S 21730 21730 20250 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 1991590508 202170368 9494 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 208148
Child status: 0
Real time (s): 8.83867
CPU time (s): 8.66468
CPU user time (s): 8.42172
CPU system time (s): 0.242963
CPU usage (%): 98.0315
Max. virtual memory (cumulated for all children) (KiB): 225708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.42172
system time used= 0.242963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22796
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8925
involuntary context switches= 10414
runsolver used 0.028995 second user time and 0.057991 second system time
The end