0.00/0.00 c cpHydra_k_10 version 0.0
7.02/7.18 c CASE TO CLASSIFY:
7.02/7.18 c Case: 0
7.02/7.19 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 22.584800 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 7.759340 | c 14 > 13.236900 | c 11 > 12.284200 | c 12 > 4.190470 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.02/7.20 c choco : 1801.0
7.02/7.20 c mistral : 1801.0
7.02/7.20 c abscon : 1801.0
7.02/7.20 c
7.02/7.20 c
7.11/7.27 c List of same ones: 10
7.11/7.27 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-3.xml
7.11/7.27 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.374100 | c 33 > 30.000000 | c 15 > 20.367100 | c 34 > 30.000000 | c 16 > 13.000000 | c 13 > 5.641070 | c 14 > 11.004200 | c 11 > 12.284200 | c 12 > 2.935000 | c 21 > 4.848200 | c 20 > 97.625900 | c 22 > 6.708200 | c 23 > 94.525000 | c 24 > 66.666700 | c 25 > 66.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.209450 | c 2 > -1.000000 | c 10 > 13.356700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.240800 | c 32 > 0.000000 | c 5 > 13.806700 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.28 c choco : 1801.0
7.11/7.28 c mistral : 6.57
7.11/7.28 c abscon : 10.45
7.11/7.28 c
7.11/7.28 c
7.11/7.28 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-4.xml
7.11/7.28 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 1.949030 | c 33 > 30.000000 | c 15 > 21.524000 | c 34 > 30.000000 | c 16 > 12.000000 | c 13 > 6.061550 | c 14 > 11.531900 | c 11 > 12.669100 | c 12 > 2.868540 | c 21 > 4.887740 | c 20 > 98.051000 | c 22 > 6.708200 | c 23 > 99.350000 | c 24 > 50.000000 | c 25 > 65.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.451210 | c 2 > -1.000000 | c 10 > 13.477300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.629800 | c 32 > 0.000000 | c 5 > 14.089200 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.11/7.29 c choco : 1801.0
7.11/7.29 c mistral : 1801.0
7.11/7.29 c abscon : 11.05
7.11/7.29 c
7.11/7.29 c
7.11/7.29 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-5.xml
7.11/7.29 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.459890 | c 33 > 30.000000 | c 15 > 21.370900 | c 34 > 30.000000 | c 16 > 19.000000 | c 13 > 11.389900 | c 14 > 16.796700 | c 11 > 12.409400 | c 12 > 7.399610 | c 21 > 4.865700 | c 20 > 97.540100 | c 22 > 6.708200 | c 23 > 92.808300 | c 24 > 50.000000 | c 25 > 69.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.375040 | c 2 > -1.000000 | c 10 > 13.713900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 12.364700 | c 32 > 0.000000 | c 5 > 13.896400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.30 c choco : 1801.0
7.20/7.30 c mistral : 26.31
7.20/7.30 c abscon : 11.66
7.20/7.30 c
7.20/7.30 c
7.20/7.30 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-1.xml
7.20/7.30 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 2.537630 | c 33 > 30.000000 | c 15 > 21.497200 | c 34 > 30.000000 | c 16 > 15.000000 | c 13 > 7.743320 | c 14 > 13.117000 | c 11 > 12.028600 | c 12 > 4.472700 | c 21 > 4.829600 | c 20 > 97.462400 | c 22 > 6.708200 | c 23 > 95.033300 | c 24 > 40.000000 | c 25 > 59.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.076820 | c 2 > -1.000000 | c 10 > 13.196600 | c 1 > 4.087460 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.975100 | c 32 > 0.000000 | c 5 > 13.629000 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.31 c choco : 1801.0
7.20/7.31 c mistral : 1801.0
7.20/7.31 c abscon : 9.29
7.20/7.31 c
7.20/7.31 c
7.20/7.31 c /home/ehebrard/new_instances/competition_4c/data/small/patat-02-small-2.xml
7.20/7.31 c 19 > 0.000000 | c 35 > 40.000000 | c 17 > 0.000000 | c 18 > 4.399320 | c 33 > 30.000000 | c 15 > 16.020600 | c 34 > 30.000000 | c 16 > 17.000000 | c 13 > 4.058140 | c 14 > 7.118940 | c 11 > 11.503300 | c 12 > 1.983760 | c 21 > 4.826490 | c 20 > 95.600700 | c 22 > 6.708200 | c 23 > 95.233300 | c 24 > 40.000000 | c 25 > 78.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.118940 | c 2 > -1.000000 | c 10 > 13.119600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > 11.432500 | c 32 > 0.000000 | c 5 > 13.305800 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.20/7.32 c choco : 13.82
7.20/7.32 c mistral : 0.32
7.20/7.32 c abscon : 7.62
7.20/7.32 c
7.20/7.32 c
7.20/7.32 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-18.xml
7.20/7.32 c 19 > 0.000000 | c 35 > 30.066200 | c 17 > 0.000000 | c 18 > 9.580840 | c 33 > 0.000000 | c 15 > 19.566600 | c 34 > 20.066200 | c 16 > 18.000000 | c 13 > 7.171760 | c 14 > 10.479800 | c 11 > 7.409390 | c 12 > 6.242450 | c 21 > 5.682050 | c 20 > 90.419200 | c 22 > 5.830950 | c 23 > 97.449000 | c 24 > 97.142900 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.392320 | c 2 > -1.000000 | c 10 > 10.151000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.423600 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.20/7.33 c choco : 229.74
7.20/7.33 c mistral : 552.16
7.20/7.33 c abscon : 1801.0
7.20/7.33 c
7.20/7.33 c
7.20/7.33 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-17.xml
7.20/7.33 c 19 > 0.000000 | c 35 > 30.074600 | c 17 > 0.000000 | c 18 > 10.067100 | c 33 > 0.000000 | c 15 > 19.717200 | c 34 > 20.074600 | c 16 > 17.000000 | c 13 > 7.763330 | c 14 > 10.791200 | c 11 > 7.247930 | c 12 > 6.864670 | c 21 > 5.504540 | c 20 > 89.932900 | c 22 > 5.656850 | c 23 > 97.313100 | c 24 > 96.969700 | c 25 > 15.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.228820 | c 2 > -1.000000 | c 10 > 9.915880 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 12.170900 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.20/7.33 c choco : 24.02
7.20/7.33 c mistral : 1801.0
7.20/7.34 c abscon : 1801.0
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-16.xml
7.20/7.34 c 19 > 0.000000 | c 35 > 30.084700 | c 17 > 0.000000 | c 18 > 10.606100 | c 33 > 0.000000 | c 15 > 19.923600 | c 34 > 20.084700 | c 16 > 16.000000 | c 13 > 8.520580 | c 14 > 11.147200 | c 11 > 7.076820 | c 12 > 7.612850 | c 21 > 5.321260 | c 20 > 89.393900 | c 22 > 5.477230 | c 23 > 97.162300 | c 24 > 96.774200 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 7.055280 | c 2 > -1.000000 | c 10 > 9.667110 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.902400 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.20/7.34 c choco : 81.95
7.20/7.34 c mistral : 110.72
7.20/7.34 c abscon : 72.55
7.20/7.34 c
7.20/7.34 c
7.20/7.34 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-15.xml
7.20/7.34 c 19 > 0.000000 | c 35 > 30.097100 | c 17 > 0.000000 | c 18 > 11.206900 | c 33 > 0.000000 | c 15 > 20.200100 | c 34 > 20.097100 | c 16 > 15.000000 | c 13 > 8.563910 | c 14 > 11.674600 | c 11 > 6.894820 | c 12 > 7.884080 | c 21 > 5.131600 | c 20 > 88.793100 | c 22 > 5.291500 | c 23 > 96.993800 | c 24 > 96.551700 | c 25 > 13.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.870360 | c 2 > -1.000000 | c 10 > 9.403010 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.616100 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.20/7.35 c choco : 33.25
7.20/7.35 c mistral : 36.8
7.20/7.35 c abscon : 10.75
7.20/7.35 c
7.20/7.35 c
7.20/7.35 c /home/ehebrard/new_instances/competition_4c/data/costasArray/costasArray-14.xml
7.20/7.35 c 19 > 0.000000 | c 35 > 30.112400 | c 17 > 0.000000 | c 18 > 11.881200 | c 33 > 0.000000 | c 15 > 20.330700 | c 34 > 20.112400 | c 16 > 14.000000 | c 13 > 8.939850 | c 14 > 11.970800 | c 11 > 6.700440 | c 12 > 8.323700 | c 21 > 4.934870 | c 20 > 88.118800 | c 22 > 5.099020 | c 23 > 96.804600 | c 24 > 96.296300 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 100.000000 | c 3 > 6.672430 | c 2 > -1.000000 | c 10 > 9.121530 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > 0.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > 0.000000 | c 5 > 11.309500 | c 31 > 0.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > 1.000000 | c
7.20/7.36 c choco : 17.59
7.20/7.36 c mistral : 7.72
7.20/7.36 c abscon : 7.11
7.20/7.36 c
7.20/7.36 c
7.39/7.55 c Length: 10
7.39/7.55 c 3.9957997064167268 17.678717453002637 19.06725818059325 28.138855970929242 31.312666284401594 70.01157252599315 70.71440629051763 71.46855092771854 72.23430183033265 73.0693185020991
7.39/7.55 c
7.39/7.55 c 1.0 0.8346603802883985 0.820887009977538 0.741000393450177 0.7166017495200561 0.5113174994832846 0.5086710190483993 0.5058616305453875 0.5030405811019829 0.5
7.39/7.55 c
7.39/7.55 c solver 0
7.39/7.55 c before 0.0 seconds: {} 0
7.39/7.55 c before 18.0 seconds: {0, 1, 2, 3, 4, 8, 9} 5116
7.39/7.55 c before 90.0 seconds: {0, 1, 2, 3, 4, 7, 8, 9} 5622
7.39/7.55 c
7.39/7.55 c solver 1
7.39/7.55 c before 0.0 seconds: {} 0
7.39/7.55 c before 18.0 seconds: {0, 4, 9} 2216
7.39/7.56 c before 36.0 seconds: {0, 2, 4, 9} 3037
7.39/7.56 c before 54.0 seconds: {0, 2, 4, 8, 9} 3540
7.39/7.56 c before 126.0 seconds: {0, 2, 4, 7, 8, 9} 4046
7.39/7.56 c before 558.0 seconds: {0, 2, 4, 5, 7, 8, 9} 4557
7.39/7.56 c
7.39/7.56 c solver 2
7.39/7.56 c before 0.0 seconds: {} 0
7.39/7.56 c before 18.0 seconds: {4, 9} 1216
7.39/7.56 c before 36.0 seconds: {4, 6, 8, 9} 2228
7.39/7.56 c before 90.0 seconds: {4, 6, 7, 8, 9} 2734
7.39/7.56 c before 234.0 seconds: {4, 5, 6, 7, 8, 9} 3245
7.39/7.56 c
7.39/7.56 cTotal time: 49
7.39/7.56 c 882.0 seconds unused
7.39/7.56 c 0 c 2 c 4
7.39/7.56 c 1 c 0 c 2
7.39/7.56 c 2 c 1 c 0
7.39/7.56 c is solver0 dominated by:
7.39/7.56 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: true) (0 is equally as fast as 1: false) (0 < 1: false)
7.39/7.56 c solver 2 (0 solves instances that 2 can't: true) (2 doesn't solve instances that 0 can't: false) (0 is faster than 2: true) (0 is equally as fast as 2: false) (0 < 2: false)
7.39/7.56 c is dominated? false
7.39/7.56 c
7.39/7.56 c is solver1 dominated by:
7.39/7.56 c solver 0 (1 solves instances that 0 can't: true) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: false) (1 is equally as fast as 0: false) (1 < 0: true)
7.39/7.56 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.39/7.56 c is dominated? false
7.39/7.56 c
7.39/7.56 c is solver2 dominated by:
7.39/7.56 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
7.39/7.56 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.39/7.56 c is dominated? false
7.39/7.56 c
7.39/7.56 c Number of non-dominated solvers: 3
7.39/7.56 c remove dominated solvers
7.39/7.56 c solver 0 is not dominated by another solver
7.39/7.56 c solver 1 is not dominated by another solver
7.39/7.56 c solver 2 is not dominated by another solver
7.39/7.56 c
7.39/7.56 c solver 0: 90.0
7.39/7.56 c
7.39/7.56 c+ 5/49 of 51
7.39/7.56 c
7.39/7.56 c solver 1: 558.0
7.39/7.56 c
7.39/7.56 c+ 31/49 of 51
7.39/7.56 c
7.39/7.56 c solver 2: 234.0
7.39/7.56 c
7.39/7.56 c+ 13/49 of 51
7.39/7.56 c run abscon for 180.0 seconds {0, 1, 2, 3, 4, 7, 8, 9} 5622
7.39/7.56 c run mistral for 1134.0 seconds {0, 2, 4, 5, 7, 8, 9} 4557
7.39/7.56 c run choco for 468.0 seconds {4, 5, 6, 7, 8, 9} 3245
7.39/7.56 c Starting solver: HOME/cpHydra_k_10/solver/abscon
7.39/7.56 c On Instance: HOME/instance-1065394-1215146627.xml
7.39/7.56 c Running for: 180 seconds
9.66/9.87 s SAT
9.66/9.87 v 6 15 19 12 4 10 14 21 9 10 8 11 11 9 12 22 4 15 1 17 20 15 10 16 4 5 11 2 8 12 19 2 23 9 13 14 2 13 3 18 16 0 19 9 1 17 3 8 0 6 7 21 13 16 0 7 7 0 24 20 11 6 8 13 5 1 2 2 4 18 14 8 5 5 3 11 12 1 3 9 22 10 3 0 14 7 25 6 5 23 6 10 15 14 13 4 24 7 1 23 3 2 2 4 4 2 0 0 0 4 0 0 4 1 1 0 3 1 4 1 1 0 3 1 2 3 3 0 4 2 0 4 0 2 3 3 3 4 0 1 0 1 1 3 2 0 3 3 0 2 3 1 2 2 3 0 1 2 0 0 2 4 1 1 4 3 2 1 0 0 1 2 0 2 2 1 0 1 4 4 1 1 1 4 4 4 0 0 1 2 1 0 4 2 0 1 2 2 0 1
9.66/9.87 d ASSIGNMENTS 200
9.66/9.87 d CHECKS 512913
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1065394-1215146627/watcher-1065394-1215146627 -o /tmp/evaluation-result-1065394-1215146627/solver-1065394-1215146627 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1065394-1215146627.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.09 2.10 2.06 4/73 4757
/proc/meminfo: memFree=1862312/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=18572 CPUtime=0
/proc/4757/stat : 4757 (runsolver) R 4755 4757 1906 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1993635341 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 234211568935 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4757/statm: 4643 292 257 25 0 2626 0
[startup+0.081576 s]
/proc/loadavg: 2.09 2.10 2.06 4/73 4757
/proc/meminfo: memFree=1862312/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=0
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635341 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102573 s]
/proc/loadavg: 2.09 2.10 2.06 4/73 4757
/proc/meminfo: memFree=1862312/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=0
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635341 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302616 s]
/proc/loadavg: 2.09 2.10 2.06 4/73 4757
/proc/meminfo: memFree=1862312/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=0
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635341 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702699 s]
/proc/loadavg: 2.09 2.10 2.06 4/73 4757
/proc/meminfo: memFree=1862312/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=0
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635341 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50186 s]
/proc/loadavg: 2.09 2.10 2.06 3/75 4761
/proc/meminfo: memFree=1856792/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=0
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1993635341 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 236 195 169 0 51 0
[pid=4761] ppid=4757 vsize=9844 CPUtime=1.47
/proc/4761/stat : 4761 (xsolve) R 4757 4757 1906 0 -1 4194304 1781 0 0 0 146 1 0 0 25 0 1 0 1993635343 10080256 1740 996147200 134512640 135239763 4294956176 18446744073709551615 135019174 0 0 4096 0 0 0 0 17 1 0 0
/proc/4761/statm: 2461 1740 432 177 0 1364 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15204
[startup+3.10424 s]
/proc/loadavg: 2.09 2.10 2.06 3/83 4773
/proc/meminfo: memFree=1854616/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=1.61
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 375 2377 0 0 0 0 159 2 19 0 1 0 1993635341 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 238 196 169 0 51 0
[pid=4765] ppid=4757 vsize=196984 CPUtime=1.45
/proc/4765/stat : 4765 (java) S 4757 4757 1906 0 -1 0 5395 0 1 0 140 5 0 0 18 0 9 0 1993635505 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4765/statm: 49246 4516 1821 9 0 43829 0
[pid=4765/tid=4766] ppid=4757 vsize=196984 CPUtime=1.1
/proc/4765/task/4766/stat : 4766 (java) R 4757 4757 1906 0 -1 64 2771 0 1 0 109 1 0 0 25 0 9 0 1993635506 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4767] ppid=4757 vsize=196984 CPUtime=0.16
/proc/4765/task/4767/stat : 4767 (java) R 4757 4757 1906 0 -1 64 1289 0 0 0 15 1 0 0 16 0 9 0 1993635507 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 104180253 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4768] ppid=4757 vsize=196984 CPUtime=0
/proc/4765/task/4768/stat : 4768 (java) S 4757 4757 1906 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993635507 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4769] ppid=4757 vsize=196984 CPUtime=0
/proc/4765/task/4769/stat : 4769 (java) S 4757 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993635507 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4770] ppid=4757 vsize=196984 CPUtime=0
/proc/4765/task/4770/stat : 4770 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993635509 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4771] ppid=4757 vsize=196984 CPUtime=0.14
/proc/4765/task/4771/stat : 4771 (java) S 4757 4757 1906 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 1993635509 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4772] ppid=4757 vsize=196984 CPUtime=0
/proc/4765/task/4772/stat : 4772 (java) S 4757 4757 1906 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993635509 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4773] ppid=4757 vsize=196984 CPUtime=0
/proc/4765/task/4773/stat : 4773 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993635509 201711616 4516 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 202344
[startup+6.30186 s]
/proc/loadavg: 2.08 2.10 2.05 3/83 4773
/proc/meminfo: memFree=1841624/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=1.61
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 375 2377 0 0 0 0 159 2 19 0 1 0 1993635341 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 238 196 169 0 51 0
[pid=4765] ppid=4757 vsize=197092 CPUtime=4.62
/proc/4765/stat : 4765 (java) S 4757 4757 1906 0 -1 0 10136 0 1 0 448 14 0 0 18 0 9 0 1993635505 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4765/statm: 49273 8403 2540 9 0 43856 0
[pid=4765/tid=4766] ppid=4757 vsize=197092 CPUtime=3.65
/proc/4765/task/4766/stat : 4766 (java) R 4757 4757 1906 0 -1 64 3573 0 1 0 361 4 0 0 25 0 9 0 1993635506 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4126440239 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4767] ppid=4757 vsize=197092 CPUtime=0.77
/proc/4765/task/4767/stat : 4767 (java) S 4757 4757 1906 0 -1 64 5212 0 0 0 69 8 0 0 16 0 9 0 1993635507 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4768] ppid=4757 vsize=197092 CPUtime=0
/proc/4765/task/4768/stat : 4768 (java) S 4757 4757 1906 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1993635507 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4769] ppid=4757 vsize=197092 CPUtime=0
/proc/4765/task/4769/stat : 4769 (java) S 4757 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993635507 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4770] ppid=4757 vsize=197092 CPUtime=0
/proc/4765/task/4770/stat : 4770 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993635509 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4771] ppid=4757 vsize=197092 CPUtime=0.17
/proc/4765/task/4771/stat : 4771 (java) S 4757 4757 1906 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 1993635509 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4772] ppid=4757 vsize=197092 CPUtime=0
/proc/4765/task/4772/stat : 4772 (java) S 4757 4757 1906 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1993635509 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4773] ppid=4757 vsize=197092 CPUtime=0
/proc/4765/task/4773/stat : 4773 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993635509 201822208 8403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202452
Solver just ended. Dumping a history of the last processes samples
[startup+7.90219 s]
/proc/loadavg: 2.07 2.10 2.05 3/91 4781
/proc/meminfo: memFree=1830680/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=1.61
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 375 2377 0 0 0 0 159 2 19 0 1 0 1993635341 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 238 196 169 0 51 0
[pid=4765] ppid=4757 vsize=197416 CPUtime=5.85
/proc/4765/stat : 4765 (java) S 4757 4757 1906 0 -1 0 13834 0 1 0 567 18 0 0 18 0 10 0 1993635505 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4765/statm: 49354 9390 2543 9 0 43937 0
[pid=4775] ppid=4765 vsize=5356 CPUtime=0
/proc/4775/stat : 4775 (abscon) S 4765 4757 1906 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993636099 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4775/statm: 1339 237 196 169 0 50 0
[pid=4776] ppid=4775 vsize=654712 CPUtime=0.31
/proc/4776/stat : 4776 (java) S 4775 4757 1906 0 -1 0 5911 0 1 0 28 3 0 0 18 0 9 0 1993636099 670425088 5432 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4776/statm: 163678 5433 1965 9 0 158206 0
[pid=4776/tid=4778] ppid=4775 vsize=654712 CPUtime=0.26
/proc/4776/task/4778/stat : 4778 (java) R 4775 4757 1906 0 -1 64 5090 0 1 0 24 2 0 0 25 0 9 0 1993636100 670425088 5433 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4779] ppid=4775 vsize=654712 CPUtime=0
/proc/4776/task/4779/stat : 4779 (java) S 4775 4757 1906 0 -1 64 3 0 0 0 0 0 0 0 21 0 9 0 1993636101 670425088 5434 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4780] ppid=4775 vsize=654712 CPUtime=0
/proc/4776/task/4780/stat : 4780 (java) S 4775 4757 1906 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 1993636101 670425088 5435 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4781] ppid=4775 vsize=654712 CPUtime=0
/proc/4776/task/4781/stat : 4781 (java) S 4775 4757 1906 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1993636101 670425088 5435 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4777] ppid=4775 vsize=7044 CPUtime=0
/proc/4777/stat : 4777 (translate) S 4775 4757 1906 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636099 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4777/statm: 1761 213 182 1 0 41 0
[pid=4765/tid=4766] ppid=4757 vsize=197416 CPUtime=4.54
/proc/4765/task/4766/stat : 4766 (java) S 4757 4757 1906 0 -1 64 3852 0 1 0 448 6 0 0 25 0 10 0 1993635506 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4765/tid=4767] ppid=4757 vsize=197416 CPUtime=1.08
/proc/4765/task/4767/stat : 4767 (java) S 4757 4757 1906 0 -1 64 8537 0 0 0 98 10 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4768] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4768/stat : 4768 (java) S 4757 4757 1906 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4769] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4769/stat : 4769 (java) S 4757 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4770] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4770/stat : 4770 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4771] ppid=4757 vsize=197416 CPUtime=0.2
/proc/4765/task/4771/stat : 4771 (java) S 4757 4757 1906 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4772] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4772/stat : 4772 (java) S 4757 4757 1906 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4773] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4773/stat : 4773 (java) S 4757 4757 1906 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4774] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4774/stat : 4774 (java) S 4757 4757 1906 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993636099 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.77
Current children cumulated vsize (KiB) 869888
[startup+8.70236 s]
/proc/loadavg: 2.07 2.10 2.05 4/95 4785
/proc/meminfo: memFree=1792568/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=1.61
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 375 2377 0 0 0 0 159 2 19 0 1 0 1993635341 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 238 196 169 0 51 0
[pid=4765] ppid=4757 vsize=197416 CPUtime=5.85
/proc/4765/stat : 4765 (java) S 4757 4757 1906 0 -1 0 13867 0 1 0 567 18 0 0 18 0 10 0 1993635505 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4765/statm: 49354 9390 2543 9 0 43937 0
[pid=4775] ppid=4765 vsize=5356 CPUtime=0
/proc/4775/stat : 4775 (abscon) S 4765 4757 1906 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993636099 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4775/statm: 1339 237 196 169 0 50 0
[pid=4776] ppid=4775 vsize=655800 CPUtime=1.11
/proc/4776/stat : 4776 (java) S 4775 4757 1906 0 -1 0 12798 0 1 0 98 13 0 0 18 0 9 0 1993636099 671539200 12308 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4776/statm: 163951 12309 1994 9 0 158479 0
[pid=4776/tid=4778] ppid=4775 vsize=655804 CPUtime=0.88
/proc/4776/task/4778/stat : 4778 (java) R 4775 4757 1906 0 -1 64 11565 0 1 0 76 12 0 0 25 0 9 0 1993636100 671543296 12317 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4779] ppid=4775 vsize=655800 CPUtime=0
/proc/4776/task/4779/stat : 4779 (java) S 4775 4757 1906 0 -1 64 4 0 0 0 0 0 0 0 17 0 9 0 1993636101 671539200 12318 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4780] ppid=4775 vsize=655804 CPUtime=0
/proc/4776/task/4780/stat : 4780 (java) S 4775 4757 1906 0 -1 64 9 0 0 0 0 0 0 0 22 0 9 0 1993636101 671543296 12319 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4781] ppid=4775 vsize=655800 CPUtime=0
/proc/4776/task/4781/stat : 4781 (java) S 4775 4757 1906 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 1993636101 671539200 12319 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4782] ppid=4775 vsize=655800 CPUtime=0
/proc/4776/task/4782/stat : 4782 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993636103 671539200 12320 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4783] ppid=4775 vsize=655800 CPUtime=0.21
/proc/4776/task/4783/stat : 4783 (java) S 4775 4757 1906 0 -1 64 696 0 0 0 21 0 0 0 16 0 9 0 1993636103 671539200 12321 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/4765/task/4773/stat : 4773 (java) S 4757 4757 1906 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4774] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4774/stat : 4774 (java) S 4757 4757 1906 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993636099 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.57
Current children cumulated vsize (KiB) 870976
[startup+9.50252 s]
/proc/loadavg: 2.07 2.10 2.05 4/95 4785
/proc/meminfo: memFree=1792568/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=1.61
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 375 2377 0 0 0 0 159 2 19 0 1 0 1993635341 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 238 196 169 0 51 0
[pid=4765] ppid=4757 vsize=197416 CPUtime=5.85
/proc/4765/stat : 4765 (java) S 4757 4757 1906 0 -1 0 13867 0 1 0 567 18 0 0 18 0 10 0 1993635505 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4765/statm: 49354 9390 2543 9 0 43937 0
[pid=4775] ppid=4765 vsize=5356 CPUtime=0
/proc/4775/stat : 4775 (abscon) S 4765 4757 1906 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993636099 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4775/statm: 1339 237 196 169 0 50 0
[pid=4776] ppid=4775 vsize=655936 CPUtime=1.9
/proc/4776/stat : 4776 (java) S 4775 4757 1906 0 -1 0 19870 0 1 0 169 21 0 0 18 0 9 0 1993636099 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4776/statm: 163984 19186 2616 9 0 158512 0
[pid=4776/tid=4778] ppid=4775 vsize=655936 CPUtime=1.42
/proc/4776/task/4778/stat : 4778 (java) R 4775 4757 1906 0 -1 64 12558 0 1 0 126 16 0 0 25 0 9 0 1993636100 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4126894842 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4779] ppid=4775 vsize=655936 CPUtime=0.16
/proc/4776/task/4779/stat : 4779 (java) S 4775 4757 1906 0 -1 64 6027 0 0 0 13 3 0 0 16 0 9 0 1993636101 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4780] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4780/stat : 4780 (java) S 4775 4757 1906 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993636101 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4781] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4781/stat : 4781 (java) S 4775 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993636101 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4782] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4782/stat : 4782 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993636103 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4783] ppid=4775 vsize=655936 CPUtime=0.29
/proc/4776/task/4783/stat : 4783 (java) S 4775 4757 1906 0 -1 64 738 0 0 0 28 1 0 0 16 0 9 0 1993636103 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4784] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4784/stat : 4784 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993636103 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4785] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4785/stat : 4785 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993636103 671678464 19186 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4777] ppid=4775 vsize=7044 CPUtime=0
/proc/4777/stat : 4777 (translate) S 4775 4757 1906 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636099 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4777/statm: 1761 213 182 1 0 41 0
[pid=4765/tid=4766] ppid=4757 vsize=197416 CPUtime=4.54
/proc/4765/task/4766/stat : 4766 (java) S 4757 4757 1906 0 -1 64 3852 0 1 0 448 6 0 0 25 0 10 0 1993635506 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4765/tid=4767] ppid=4757 vsize=197416 CPUtime=1.08
/proc/4765/task/4767/stat : 4767 (java) S 4757 4757 1906 0 -1 64 8570 0 0 0 98 10 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4768] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4768/stat : 4768 (java) S 4757 4757 1906 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4769] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4769/stat : 4769 (java) S 4757 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4770] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4770/stat : 4770 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4771] ppid=4757 vsize=197416 CPUtime=0.2
/proc/4765/task/4771/stat : 4771 (java) S 4757 4757 1906 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4772] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4772/stat : 4772 (java) S 4757 4757 1906 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4773] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4773/stat : 4773 (java) S 4757 4757 1906 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4774] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4774/stat : 4774 (java) S 4757 4757 1906 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993636099 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.36
Current children cumulated vsize (KiB) 871112
[startup+9.70256 s]
/proc/loadavg: 2.07 2.10 2.05 4/95 4785
/proc/meminfo: memFree=1792568/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=1.61
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 375 2377 0 0 0 0 159 2 19 0 1 0 1993635341 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 238 196 169 0 51 0
[pid=4765] ppid=4757 vsize=197416 CPUtime=5.85
/proc/4765/stat : 4765 (java) S 4757 4757 1906 0 -1 0 13867 0 1 0 567 18 0 0 18 0 10 0 1993635505 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4765/statm: 49354 9390 2543 9 0 43937 0
[pid=4775] ppid=4765 vsize=5356 CPUtime=0
/proc/4775/stat : 4775 (abscon) S 4765 4757 1906 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993636099 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4775/statm: 1339 237 196 169 0 50 0
[pid=4776] ppid=4775 vsize=655936 CPUtime=2.1
/proc/4776/stat : 4776 (java) S 4775 4757 1906 0 -1 0 19873 0 1 0 189 21 0 0 18 0 9 0 1993636099 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4776/statm: 163984 19189 2616 9 0 158512 0
[pid=4776/tid=4778] ppid=4775 vsize=655936 CPUtime=1.61
/proc/4776/task/4778/stat : 4778 (java) R 4775 4757 1906 0 -1 64 12558 0 1 0 145 16 0 0 25 0 9 0 1993636100 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4127160800 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4779] ppid=4775 vsize=655936 CPUtime=0.16
/proc/4776/task/4779/stat : 4779 (java) S 4775 4757 1906 0 -1 64 6027 0 0 0 13 3 0 0 16 0 9 0 1993636101 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4780] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4780/stat : 4780 (java) S 4775 4757 1906 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993636101 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4781] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4781/stat : 4781 (java) S 4775 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993636101 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4782] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4782/stat : 4782 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993636103 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4783] ppid=4775 vsize=655936 CPUtime=0.3
/proc/4776/task/4783/stat : 4783 (java) S 4775 4757 1906 0 -1 64 741 0 0 0 29 1 0 0 15 0 9 0 1993636103 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4784] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4784/stat : 4784 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993636103 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4785] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4785/stat : 4785 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993636103 671678464 19189 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4777] ppid=4775 vsize=7044 CPUtime=0
/proc/4777/stat : 4777 (translate) S 4775 4757 1906 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636099 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4777/statm: 1761 213 182 1 0 41 0
[pid=4765/tid=4766] ppid=4757 vsize=197416 CPUtime=4.54
/proc/4765/task/4766/stat : 4766 (java) S 4757 4757 1906 0 -1 64 3852 0 1 0 448 6 0 0 25 0 10 0 1993635506 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4765/tid=4767] ppid=4757 vsize=197416 CPUtime=1.08
/proc/4765/task/4767/stat : 4767 (java) S 4757 4757 1906 0 -1 64 8570 0 0 0 98 10 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4768] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4768/stat : 4768 (java) S 4757 4757 1906 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4769] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4769/stat : 4769 (java) S 4757 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4770] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4770/stat : 4770 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4771] ppid=4757 vsize=197416 CPUtime=0.2
/proc/4765/task/4771/stat : 4771 (java) S 4757 4757 1906 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4772] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4772/stat : 4772 (java) S 4757 4757 1906 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4773] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4773/stat : 4773 (java) S 4757 4757 1906 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4774] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4774/stat : 4774 (java) S 4757 4757 1906 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993636099 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.56
Current children cumulated vsize (KiB) 871112
[startup+9.80258 s]
/proc/loadavg: 2.07 2.10 2.05 3/95 4785
/proc/meminfo: memFree=1767032/2055920 swapFree=4179680/4192956
[pid=4757] ppid=4755 vsize=5360 CPUtime=1.61
/proc/4757/stat : 4757 (hydra) S 4755 4757 1906 0 -1 4194304 375 2377 0 0 0 0 159 2 19 0 1 0 1993635341 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4757/statm: 1340 238 196 169 0 51 0
[pid=4765] ppid=4757 vsize=197416 CPUtime=5.85
/proc/4765/stat : 4765 (java) S 4757 4757 1906 0 -1 0 13867 0 1 0 567 18 0 0 18 0 10 0 1993635505 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4765/statm: 49354 9390 2543 9 0 43937 0
[pid=4775] ppid=4765 vsize=5356 CPUtime=0
/proc/4775/stat : 4775 (abscon) S 4765 4757 1906 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1993636099 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 234211566404 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4775/statm: 1339 237 196 169 0 50 0
[pid=4776] ppid=4775 vsize=655936 CPUtime=2.2
/proc/4776/stat : 4776 (java) S 4775 4757 1906 0 -1 0 19879 0 1 0 199 21 0 0 18 0 9 0 1993636099 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4776/statm: 163984 19195 2616 9 0 158512 0
[pid=4776/tid=4778] ppid=4775 vsize=655936 CPUtime=1.71
/proc/4776/task/4778/stat : 4778 (java) R 4775 4757 1906 0 -1 64 12560 0 1 0 155 16 0 0 25 0 9 0 1993636100 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4127144630 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4779] ppid=4775 vsize=655936 CPUtime=0.16
/proc/4776/task/4779/stat : 4779 (java) S 4775 4757 1906 0 -1 64 6027 0 0 0 13 3 0 0 16 0 9 0 1993636101 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4780] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4780/stat : 4780 (java) S 4775 4757 1906 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1993636101 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4781] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4781/stat : 4781 (java) S 4775 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1993636101 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4782] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4782/stat : 4782 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1993636103 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4783] ppid=4775 vsize=655936 CPUtime=0.31
/proc/4776/task/4783/stat : 4783 (java) S 4775 4757 1906 0 -1 64 745 0 0 0 30 1 0 0 15 0 9 0 1993636103 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4784] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4784/stat : 4784 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1993636103 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4776/tid=4785] ppid=4775 vsize=655936 CPUtime=0
/proc/4776/task/4785/stat : 4785 (java) S 4775 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993636103 671678464 19195 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4777] ppid=4775 vsize=7044 CPUtime=0
/proc/4777/stat : 4777 (translate) S 4775 4757 1906 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1993636099 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 234211737682 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4777/statm: 1761 213 182 1 0 41 0
[pid=4765/tid=4766] ppid=4757 vsize=197416 CPUtime=4.54
/proc/4765/task/4766/stat : 4766 (java) S 4757 4757 1906 0 -1 64 3852 0 1 0 448 6 0 0 25 0 10 0 1993635506 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4765/tid=4767] ppid=4757 vsize=197416 CPUtime=1.08
/proc/4765/task/4767/stat : 4767 (java) S 4757 4757 1906 0 -1 64 8570 0 0 0 98 10 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4768] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4768/stat : 4768 (java) S 4757 4757 1906 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4769] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4769/stat : 4769 (java) S 4757 4757 1906 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993635507 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4770] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4770/stat : 4770 (java) S 4757 4757 1906 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4771] ppid=4757 vsize=197416 CPUtime=0.2
/proc/4765/task/4771/stat : 4771 (java) S 4757 4757 1906 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4772] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4772/stat : 4772 (java) S 4757 4757 1906 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4773] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4773/stat : 4773 (java) S 4757 4757 1906 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1993635509 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4765/tid=4774] ppid=4757 vsize=197416 CPUtime=0
/proc/4765/task/4774/stat : 4774 (java) S 4757 4757 1906 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 1993636099 202153984 9390 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.66
Current children cumulated vsize (KiB) 871112
Child status: 0
Real time (s): 9.88264
CPU time (s): 9.75252
CPU user time (s): 9.29659
CPU system time (s): 0.45593
CPU usage (%): 98.6833
Max. virtual memory (cumulated for all children) (KiB): 871112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.29659
system time used= 0.45593
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37223
page faults= 2
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11142
involuntary context switches= 12533
runsolver used 0.027995 second user time and 0.084987 second system time
The end