0.18/0.21 c cpHydra_k_10 version 0.0
6.93/7.06 c CASE TO CLASSIFY:
6.93/7.06 c Case: 0
6.93/7.06 c 19 > 42.105300 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 15.000000 | c 15 > 18.647600 | c 34 > 42.222200 | c 16 > 83.000000 | c 13 > 7.643480 | c 14 > 7.087460 | c 11 > 8.618390 | c 12 > 6.617590 | c 21 > 4.751650 | c 20 > 2.476780 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.813780 | c 2 > 6.459430 | c 10 > 9.691740 | 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 > 13.149900 | c 31 > 89.944100 | c 4 > 6.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.93/7.07 c choco : 1801.0
6.93/7.07 c mistral : 1801.0
6.93/7.07 c abscon : 1801.0
6.93/7.07 c
6.93/7.07 c
7.03/7.14 c List of same ones: 10
7.03/7.14 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_9.xml
7.03/7.14 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.986200 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.425030 | c 14 > 6.475730 | c 11 > 8.558420 | c 12 > 6.436070 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | 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 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.15 c choco : 19.11
7.03/7.15 c mistral : 25.16
7.03/7.15 c abscon : 28.99
7.03/7.15 c
7.03/7.15 c
7.03/7.15 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_9.xml
7.03/7.15 c 19 > 22.291000 | c 35 > 18.888900 | c 17 > 0.000000 | c 18 > 55.418000 | c 33 > 30.000000 | c 15 > 17.948800 | c 34 > 23.333300 | c 16 > 83.000000 | c 13 > 7.038620 | c 14 > 6.303780 | c 11 > 8.558420 | c 12 > 6.049780 | c 21 > 4.751650 | c 20 > 22.291000 | c 22 > 8.544000 | c 23 > 96.939600 | c 24 > 77.777800 | c 25 > 18.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 10.055900 | c 3 > 7.761550 | c 2 > 6.459430 | c 10 > 9.663560 | 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 > 13.037400 | c 31 > 89.944100 | c 4 > 6.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.16 c choco : 16.41
7.03/7.16 c mistral : 4.2
7.03/7.16 c abscon : 20.23
7.03/7.16 c
7.03/7.16 c
7.03/7.16 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_8.xml
7.03/7.16 c 19 > 21.960800 | c 35 > 18.750000 | c 17 > 0.000000 | c 18 > 56.078400 | c 33 > 30.000000 | c 15 > 18.369700 | c 34 > 23.125000 | c 16 > 66.000000 | c 13 > 8.343750 | c 14 > 7.700440 | c 11 > 8.204570 | c 12 > 7.357610 | c 21 > 4.288350 | c 20 > 21.960800 | c 22 > 7.549830 | c 23 > 96.743000 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.188800 | c 3 > 7.400880 | c 2 > 6.129280 | c 10 > 9.172430 | 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.388300 | c 31 > 88.811200 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.17 c choco : 584.98
7.03/7.17 c mistral : 1801.0
7.03/7.17 c abscon : 755.01
7.03/7.17 c
7.03/7.17 c
7.03/7.17 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_8.xml
7.03/7.17 c 19 > 21.960800 | c 35 > 18.750000 | c 17 > 0.000000 | c 18 > 56.078400 | c 33 > 30.000000 | c 15 > 14.728700 | c 34 > 23.125000 | c 16 > 66.000000 | c 13 > 5.651610 | c 14 > 6.266790 | c 11 > 8.204570 | c 12 > 4.642680 | c 21 > 4.288350 | c 20 > 21.960800 | c 22 > 7.549830 | c 23 > 96.743000 | c 24 > 75.000000 | c 25 > 16.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 11.188800 | c 3 > 7.400880 | c 2 > 6.129280 | c 10 > 9.172430 | 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.388300 | c 31 > 88.811200 | c 4 > 5.807350 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.18 c choco : 5.71
7.03/7.18 c mistral : 0.19
7.03/7.18 c abscon : 12.3
7.03/7.18 c
7.03/7.18 c
7.03/7.18 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_7.xml
7.03/7.18 c 19 > 21.538500 | c 35 > 18.571400 | c 17 > 0.000000 | c 18 > 56.923100 | c 33 > 30.000000 | c 15 > 18.830800 | c 34 > 22.857100 | c 16 > 51.000000 | c 13 > 8.491830 | c 14 > 7.807350 | c 11 > 7.800900 | c 12 > 7.518950 | c 21 > 3.821640 | c 20 > 21.538500 | c 22 > 6.557440 | c 23 > 96.551000 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.612600 | c 3 > 6.988680 | c 2 > 5.754890 | c 10 > 8.618390 | 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.653300 | c 31 > 87.387400 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.19 c choco : 18.76
7.03/7.19 c mistral : 2.38
7.03/7.19 c abscon : 11.78
7.03/7.19 c
7.03/7.19 c
7.03/7.19 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_7.xml
7.03/7.19 c 19 > 21.538500 | c 35 > 18.571400 | c 17 > 0.000000 | c 18 > 56.923100 | c 33 > 30.000000 | c 15 > 18.801000 | c 34 > 22.857100 | c 16 > 51.000000 | c 13 > 9.451060 | c 14 > 8.569860 | c 11 > 7.800900 | c 12 > 8.467260 | c 21 > 3.821640 | c 20 > 21.538500 | c 22 > 6.557440 | c 23 > 96.551000 | c 24 > 71.428600 | c 25 > 14.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 12.612600 | c 3 > 6.988680 | c 2 > 5.754890 | c 10 > 8.618390 | 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.653300 | c 31 > 87.387400 | c 4 > 5.392320 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.03/7.19 c choco : 32.52
7.03/7.19 c mistral : 94.62
7.03/7.19 c abscon : 27.48
7.03/7.19 c
7.03/7.19 c
7.03/7.19 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_6.xml
7.03/7.19 c 19 > 38.461500 | c 35 > 18.333300 | c 17 > 0.000000 | c 18 > 58.042000 | c 33 > 30.000000 | c 15 > 16.638700 | c 34 > 22.500000 | c 16 > 38.000000 | c 13 > 7.951160 | c 14 > 6.845490 | c 11 > 7.330920 | c 12 > 6.994180 | c 21 > 3.350330 | c 20 > 3.496500 | c 22 > 5.567760 | c 23 > 96.404500 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.457800 | c 3 > 6.507790 | c 2 > 5.321930 | c 10 > 7.982990 | 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 > 10.818600 | c 31 > 85.542200 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.20 c choco : 5.15
7.12/7.20 c mistral : 0.19
7.12/7.20 c abscon : 6.66
7.12/7.20 c
7.12/7.20 c
7.12/7.20 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_6.xml
7.12/7.20 c 19 > 38.461500 | c 35 > 18.333300 | c 17 > 0.000000 | c 18 > 58.042000 | c 33 > 30.000000 | c 15 > 18.105600 | c 34 > 22.500000 | c 16 > 38.000000 | c 13 > 9.027960 | c 14 > 8.199670 | c 11 > 7.330920 | c 12 > 8.055620 | c 21 > 3.350330 | c 20 > 3.496500 | c 22 > 5.567760 | c 23 > 96.404500 | c 24 > 66.666700 | c 25 > 12.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 14.457800 | c 3 > 6.507790 | c 2 > 5.321930 | c 10 > 7.982990 | 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 > 10.818600 | c 31 > 85.542200 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.21 c choco : 10.24
7.12/7.21 c mistral : 1.32
7.12/7.21 c abscon : 8.21
7.12/7.21 c
7.12/7.21 c
7.12/7.21 c /home/ehebrard/new_instances/competition_4c/data/QG6/quasigroup6_5.xml
7.12/7.21 c 19 > 36.363600 | c 35 > 18.000000 | c 17 > 0.000000 | c 18 > 59.596000 | c 33 > 30.000000 | c 15 > 12.502800 | c 34 > 22.000000 | c 16 > 27.000000 | c 13 > 5.568970 | c 14 > 3.906890 | c 11 > 6.768180 | c 12 > 4.642800 | c 21 > 2.872640 | c 20 > 4.040400 | c 22 > 4.582580 | c 23 > 96.422800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.949200 | c 3 > 5.930740 | c 2 > 4.807350 | c 10 > 7.238400 | 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 > 9.821770 | c 31 > 83.050800 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.22 c choco : 2.72
7.12/7.22 c mistral : 0.03
7.12/7.22 c abscon : 4.52
7.12/7.22 c
7.12/7.22 c
7.12/7.22 c /home/ehebrard/new_instances/competition_4c/data/QG7/quasigroup7_5.xml
7.12/7.22 c 19 > 36.363600 | c 35 > 18.000000 | c 17 > 0.000000 | c 18 > 59.596000 | c 33 > 30.000000 | c 15 > 11.174900 | c 34 > 22.000000 | c 16 > 27.000000 | c 13 > 4.381770 | c 14 > 5.000000 | c 11 > 6.768180 | c 12 > 3.399230 | c 21 > 2.872640 | c 20 > 4.040400 | c 22 > 4.582580 | c 23 > 96.422800 | c 24 > 60.000000 | c 25 > 10.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > 16.949200 | c 3 > 5.930740 | c 2 > 4.807350 | c 10 > 7.238400 | 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 > 9.821770 | c 31 > 83.050800 | c 4 > 4.321930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.12/7.23 c choco : 2.86
7.12/7.23 c mistral : 0.04
7.12/7.23 c abscon : 4.97
7.12/7.23 c
7.12/7.23 c
7.12/7.23 c Length: 10
7.12/7.23 c 36.985612798903304 36.997756151457345 41.02642292377438 41.298613650104535 49.95246996858714 50.02074540052057 53.75071448385502 53.76173436617257 66.37049773517296 66.55944949833044
7.12/7.23 c
7.12/7.23 c 1.0 0.9995895571979463 0.879790195446879 0.8727234182075142 0.6951893354259757 0.6940753832949966 0.6382070399221028 0.6380553037234701 0.5016024072258978 0.5
7.12/7.23 c
7.12/7.23 c solver 0
7.12/7.23 c before 0.0 seconds: {} 0
7.12/7.23 c before 18.0 seconds: {3, 4, 6, 7, 8, 9} 3845
7.12/7.23 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6539
7.12/7.23 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7419
7.12/7.23 c
7.12/7.23 c solver 1
7.12/7.23 c before 0.0 seconds: {} 0
7.12/7.24 c before 18.0 seconds: {1, 3, 4, 6, 7, 8, 9} 4845
7.12/7.24 c before 36.0 seconds: {0, 1, 3, 4, 6, 7, 8, 9} 5845
7.12/7.24 c before 108.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6539
7.12/7.24 c
7.12/7.24 c solver 2
7.12/7.24 c before 0.0 seconds: {} 0
7.12/7.24 c before 18.0 seconds: {1, 3, 6, 7, 8, 9} 4150
7.12/7.24 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 6539
7.12/7.24 c before 594.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7419
7.12/7.24 c
7.12/7.24 cTotal time: 81
7.12/7.24 c 1458.0 seconds unused
7.12/7.24 c 0 c 1 c 0
7.12/7.24 c 0 c 0 c 0
7.12/7.24 c 0 c 1 c 0
7.12/7.24 c is solver0 dominated by:
7.12/7.24 c solver 1 (0 solves instances that 1 can't: true) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.12/7.24 c solver 2 (0 solves instances that 2 can't: false) (2 doesn't solve instances that 0 can't: true) (0 is faster than 2: false) (0 is equally as fast as 2: false) (0 < 2: false)
7.12/7.24 c is dominated? true
7.12/7.24 c
7.12/7.24 c is solver1 dominated by:
7.12/7.24 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: false) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.12/7.24 c is dominated? true
7.12/7.24 c
7.12/7.24 c is solver2 dominated by:
7.12/7.24 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
7.12/7.24 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.12/7.24 c is dominated? false
7.12/7.24 c
7.12/7.24 c Number of non-dominated solvers: 1
7.12/7.24 c remove dominated solvers
7.12/7.24 c solver 2 is not dominated by another solver
7.12/7.24 c solver 1 is dominated by another solver
7.12/7.24 c solver 0 is dominated by another solver
7.12/7.24 c
7.12/7.24 c solver 0: 0.0
7.12/7.24 c
7.12/7.24 c solver 1: 0.0
7.12/7.24 c
7.12/7.24 c solver 2: 594.0
7.12/7.24 c
7.12/7.24 c+ 33/33 of 67
7.12/7.25 c do not run abscon
7.12/7.25 c do not run mistral
7.12/7.25 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7419
7.12/7.25 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.12/7.25 c On Instance: HOME/instance-1045632-1215024669.xml
7.12/7.25 c Running for: 1800 seconds
20.62/20.84 s SATISFIABLE
20.62/20.84 v 1 7 4 2 9 8 5 3 6 9 2 1 3 4 5 6 7 8 7 8 3 5 2 1 9 6 4 5 9 8 4 6 2 3 1 7 8 1 6 9 5 7 2 4 3 4 3 9 7 1 6 8 2 5 6 4 5 1 8 3 7 9 2 2 5 7 6 3 9 4 8 1 3 6 2 8 7 4 1 5 9 1 1 74 1 6 57 1 5 40 1 9 68 1 3 33 1 2 52 1 8 17 1 7 27 1 4 55 1 16 6 1 11 1 11 2 66 1 17 7 76 1 18 8 5 1 10 9 24 1 12 1 34 1 13 3 44 1 14 4 54 1 15 5 28 1 22 5 2 1 19 7 1 21 1 21 3 67 1 26 6 50 1 24 1 78 1 27 4 43 1 23 2 62 1 25 9 18 1 20 8 10 1 29 9 20 1 30 8 39 1 32 6 1 31 1 31 4 77 1 36 7 60 1 34 3 7 1 28 5 53 1 33 2 72 1 35 1 73 1 45 3 29 1 40 9 12 1 38 1 49 1 42 7 1 41 1 41 5 6 1 37 8 70 1 44 4 26 1 39 6 63 1 43 2 64 1 53 2 38 1 50 1 3 1 46 4 13 1 47 3 59 1 52 8 1 51 1 51 6 25 1 48 9 80 1 54 5 36 1 49 7 37 1 59 8 47 1 60 3 75 1 63 2 22 1 57 5 14 1 56 4 69 1 62 9 1 61 1 61 7 35 1 58 1 9 1 55 6 19 1 66 7 56 1 70 4 48 1 69 9 4 1 64 2 32 1 67 6 15 1 65 5 79 1 72 1 1 71 1 71 8 45 1 68 3 46 1 78 4 65 1 80 5 30 1 76 8 58 1 79 1 23 1 75 2 42 1 77 7 16 1 74 6 8 1 73 3 1 81 1 81 9
20.62/20.84 d ASSIGNMENTS 188
20.62/20.84 c SAT 13466 TIME 188 NDS 410 PARSTIME 514 BUILDPB 12542 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045632-1215024669/watcher-1045632-1215024669 -o /tmp/evaluation-result-1045632-1215024669/solver-1045632-1215024669 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045632-1215024669.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.94 1.99 1.99 4/72 20197
/proc/meminfo: memFree=1864384/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=0
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 114462295 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20197/statm: 1340 236 195 169 0 51 0
[pid=20200] ppid=20197 vsize=2292 CPUtime=0
/proc/20200/stat : 20200 (xsolve) D 20197 20197 19653 0 -1 4194304 70 0 0 0 0 0 0 0 18 0 1 0 114462296 2347008 47 996147200 134512640 135239763 4294956176 18446744073709551615 12501796 0 2147483391 4096 0 18446744072099863542 0 0 17 0 0 0
/proc/20200/statm: 809 52 38 177 0 12 0
[startup+0.145751 s]
/proc/loadavg: 1.94 1.99 1.99 4/72 20197
/proc/meminfo: memFree=1864384/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=0
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 114462295 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20197/statm: 1340 236 195 169 0 51 0
[pid=20200] ppid=20197 vsize=6044 CPUtime=0.13
/proc/20200/stat : 20200 (xsolve) R 20197 20197 19653 0 -1 4194304 893 0 0 0 13 0 0 0 18 0 1 0 114462296 6189056 852 996147200 134512640 135239763 4294956176 18446744073709551615 134813467 0 0 4096 0 0 0 0 17 0 0 0
/proc/20200/statm: 1511 852 437 177 0 414 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 11404
[startup+0.201761 s]
/proc/loadavg: 1.94 1.99 1.99 4/72 20197
/proc/meminfo: memFree=1864384/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=0
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 114462295 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20197/statm: 1340 236 195 169 0 51 0
[pid=20200] ppid=20197 vsize=6044 CPUtime=0.18
/proc/20200/stat : 20200 (xsolve) R 20197 20197 19653 0 -1 4194304 902 0 0 0 18 0 0 0 18 0 1 0 114462296 6189056 861 996147200 134512640 135239763 4294956176 18446744073709551615 135095614 0 0 4096 0 0 0 0 17 0 0 0
/proc/20200/statm: 1511 861 442 177 0 414 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 11404
[startup+0.30178 s]
/proc/loadavg: 1.94 1.99 1.99 4/72 20197
/proc/meminfo: memFree=1864384/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=0
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 114462295 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20197/statm: 1340 236 195 169 0 51 0
[pid=20200] ppid=20197 vsize=6044 CPUtime=0.28
/proc/20200/stat : 20200 (xsolve) R 20197 20197 19653 0 -1 4194304 904 0 0 0 28 0 0 0 19 0 1 0 114462296 6189056 863 996147200 134512640 135239763 4294956176 18446744073709551615 135019138 0 0 4096 0 0 0 0 17 0 0 0
/proc/20200/statm: 1511 863 442 177 0 414 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 11404
[startup+0.701855 s]
/proc/loadavg: 1.94 1.99 1.99 4/72 20197
/proc/meminfo: memFree=1864384/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=0
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 114462295 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20197/statm: 1340 236 195 169 0 51 0
[pid=20200] ppid=20197 vsize=6044 CPUtime=0.68
/proc/20200/stat : 20200 (xsolve) R 20197 20197 19653 0 -1 4194304 904 0 0 0 68 0 0 0 23 0 1 0 114462296 6189056 863 996147200 134512640 135239763 4294956176 18446744073709551615 135095326 0 0 4096 0 0 0 0 17 0 0 0
/proc/20200/statm: 1511 863 442 177 0 414 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11404
[startup+1.50201 s]
/proc/loadavg: 1.94 1.99 1.99 3/74 20201
/proc/meminfo: memFree=1862448/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=0
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 114462295 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/20197/statm: 1340 236 195 169 0 51 0
[pid=20200] ppid=20197 vsize=6044 CPUtime=1.48
/proc/20200/stat : 20200 (xsolve) R 20197 20197 19653 0 -1 4194304 904 0 0 0 148 0 0 0 25 0 1 0 114462296 6189056 863 996147200 134512640 135239763 4294956176 18446744073709551615 135095585 0 0 4096 0 0 0 0 17 0 0 0
/proc/20200/statm: 1511 863 442 177 0 414 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11404
[startup+3.10231 s]
/proc/loadavg: 1.94 1.99 1.99 3/82 20213
/proc/meminfo: memFree=1855984/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=1.54
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 375 1499 0 0 0 0 154 0 20 0 1 0 114462295 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20197/statm: 1340 238 196 169 0 51 0
[pid=20205] ppid=20197 vsize=196992 CPUtime=1.51
/proc/20205/stat : 20205 (java) S 20197 20197 19653 0 -1 0 6434 0 1 0 145 6 0 0 21 0 9 0 114462451 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20205/statm: 49248 5414 2540 9 0 43831 0
[pid=20205/tid=20206] ppid=20197 vsize=196992 CPUtime=1.13
/proc/20205/task/20206/stat : 20206 (java) R 20197 20197 19653 0 -1 64 2782 0 1 0 111 2 0 0 25 0 9 0 114462453 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4126428059 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20207] ppid=20197 vsize=196992 CPUtime=0.21
/proc/20205/task/20207/stat : 20207 (java) S 20197 20197 19653 0 -1 64 2315 0 0 0 19 2 0 0 16 0 9 0 114462454 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20208] ppid=20197 vsize=196992 CPUtime=0
/proc/20205/task/20208/stat : 20208 (java) S 20197 20197 19653 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 114462454 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20209] ppid=20197 vsize=196992 CPUtime=0
/proc/20205/task/20209/stat : 20209 (java) S 20197 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114462454 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20210] ppid=20197 vsize=196992 CPUtime=0
/proc/20205/task/20210/stat : 20210 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 114462456 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20211] ppid=20197 vsize=196992 CPUtime=0.14
/proc/20205/task/20211/stat : 20211 (java) S 20197 20197 19653 0 -1 64 612 0 0 0 14 0 0 0 16 0 9 0 114462456 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20212] ppid=20197 vsize=196992 CPUtime=0
/proc/20205/task/20212/stat : 20212 (java) S 20197 20197 19653 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 114462456 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20213] ppid=20197 vsize=196992 CPUtime=0
/proc/20205/task/20213/stat : 20213 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 114462456 201719808 5414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202352
[startup+6.30192 s]
/proc/loadavg: 2.02 2.01 1.99 3/82 20213
/proc/meminfo: memFree=1842480/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=1.54
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 375 1499 0 0 0 0 154 0 20 0 1 0 114462295 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20197/statm: 1340 238 196 169 0 51 0
[pid=20205] ppid=20197 vsize=197100 CPUtime=4.7
/proc/20205/stat : 20205 (java) S 20197 20197 19653 0 -1 0 10295 0 1 0 455 15 0 0 21 0 9 0 114462451 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20205/statm: 49275 8547 2540 9 0 43858 0
[pid=20205/tid=20206] ppid=20197 vsize=197100 CPUtime=3.74
/proc/20205/task/20206/stat : 20206 (java) R 20197 20197 19653 0 -1 64 3606 0 1 0 369 5 0 0 25 0 9 0 114462453 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4126443198 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20207] ppid=20197 vsize=197100 CPUtime=0.75
/proc/20205/task/20207/stat : 20207 (java) S 20197 20197 19653 0 -1 64 5336 0 0 0 67 8 0 0 16 0 9 0 114462454 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20208] ppid=20197 vsize=197100 CPUtime=0
/proc/20205/task/20208/stat : 20208 (java) S 20197 20197 19653 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 114462454 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20209] ppid=20197 vsize=197100 CPUtime=0
/proc/20205/task/20209/stat : 20209 (java) S 20197 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114462454 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20210] ppid=20197 vsize=197100 CPUtime=0
/proc/20205/task/20210/stat : 20210 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 114462456 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20211] ppid=20197 vsize=197100 CPUtime=0.17
/proc/20205/task/20211/stat : 20211 (java) S 20197 20197 19653 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 114462456 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20212] ppid=20197 vsize=197100 CPUtime=0
/proc/20205/task/20212/stat : 20212 (java) S 20197 20197 19653 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 114462456 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20213] ppid=20197 vsize=197100 CPUtime=0
/proc/20205/task/20213/stat : 20213 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 114462456 201830400 8547 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 202460
[startup+12.7021 s]
/proc/loadavg: 2.02 2.01 1.99 3/93 20224
/proc/meminfo: memFree=1787288/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=1.54
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 375 1499 0 0 0 0 154 0 20 0 1 0 114462295 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20197/statm: 1340 238 196 169 0 51 0
[pid=20205] ppid=20197 vsize=197424 CPUtime=5.62
/proc/20205/stat : 20205 (java) S 20197 20197 19653 0 -1 0 11431 0 1 0 545 17 0 0 21 0 10 0 114462451 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20205/statm: 49356 9403 2543 9 0 43939 0
[pid=20215] ppid=20205 vsize=5356 CPUtime=0
/proc/20215/stat : 20215 (choco) S 20205 20197 19653 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 114463020 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20215/statm: 1339 238 197 169 0 50 0
[pid=20216] ppid=20215 vsize=655588 CPUtime=5.4
/proc/20216/stat : 20216 (java) S 20215 20197 19653 0 -1 0 14199 0 2 0 529 11 0 0 18 0 9 0 114463021 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20216/statm: 163897 13770 1939 9 0 158426 0
[pid=20216/tid=20217] ppid=20215 vsize=655588 CPUtime=4.99
/proc/20216/task/20217/stat : 20217 (java) R 20215 20197 19653 0 -1 64 12201 0 2 0 490 9 0 0 25 0 9 0 114463022 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4127142087 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20218] ppid=20215 vsize=655588 CPUtime=0.02
/proc/20216/task/20218/stat : 20218 (java) S 20215 20197 19653 0 -1 64 751 0 0 0 2 0 0 0 17 0 9 0 114463023 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20219] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20219/stat : 20219 (java) S 20215 20197 19653 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20220] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20220/stat : 20220 (java) S 20215 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20221] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20221/stat : 20221 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 114463025 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20222] ppid=20215 vsize=655588 CPUtime=0.36
/proc/20216/task/20222/stat : 20222 (java) S 20215 20197 19653 0 -1 64 700 0 0 0 36 0 0 0 15 0 9 0 114463025 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20223] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20223/stat : 20223 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 114463025 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20224] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20224/stat : 20224 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 114463025 671322112 13770 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20206] ppid=20197 vsize=197424 CPUtime=4.52
/proc/20205/task/20206/stat : 20206 (java) S 20197 20197 19653 0 -1 64 3856 0 1 0 446 6 0 0 25 0 10 0 114462453 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20205/tid=20207] ppid=20197 vsize=197424 CPUtime=0.87
/proc/20205/task/20207/stat : 20207 (java) S 20197 20197 19653 0 -1 64 6122 0 0 0 78 9 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20208] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20208/stat : 20208 (java) S 20197 20197 19653 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20209] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20209/stat : 20209 (java) S 20197 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20210] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20210/stat : 20210 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20211] ppid=20197 vsize=197424 CPUtime=0.2
/proc/20205/task/20211/stat : 20211 (java) S 20197 20197 19653 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20212] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20212/stat : 20212 (java) S 20197 20197 19653 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20213] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20213/stat : 20213 (java) S 20197 20197 19653 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20214] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20214/stat : 20214 (java) S 20197 20197 19653 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 114463020 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 863728
Solver just ended. Dumping a history of the last processes samples
[startup+12.8032 s]
/proc/loadavg: 2.02 2.01 1.99 3/93 20224
/proc/meminfo: memFree=1787288/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=1.54
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 375 1499 0 0 0 0 154 0 20 0 1 0 114462295 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20197/statm: 1340 238 196 169 0 51 0
[pid=20205] ppid=20197 vsize=197424 CPUtime=5.62
################
# More data... #
################
[pid=20205/tid=20209] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20209/stat : 20209 (java) S 20197 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20210] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20210/stat : 20210 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20211] ppid=20197 vsize=197424 CPUtime=0.2
/proc/20205/task/20211/stat : 20211 (java) S 20197 20197 19653 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20212] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20212/stat : 20212 (java) S 20197 20197 19653 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20213] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20213/stat : 20213 (java) S 20197 20197 19653 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20214] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20214/stat : 20214 (java) S 20197 20197 19653 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 114463020 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.03
Current children cumulated vsize (KiB) 863728
[startup+20.0035 s]
/proc/loadavg: 2.02 2.01 1.99 3/93 20224
/proc/meminfo: memFree=1784216/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=1.54
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 375 1499 0 0 0 0 154 0 20 0 1 0 114462295 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20197/statm: 1340 238 196 169 0 51 0
[pid=20205] ppid=20197 vsize=197424 CPUtime=5.62
/proc/20205/stat : 20205 (java) S 20197 20197 19653 0 -1 0 11431 0 1 0 545 17 0 0 21 0 10 0 114462451 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20205/statm: 49356 9403 2543 9 0 43939 0
[pid=20215] ppid=20205 vsize=5356 CPUtime=0
/proc/20215/stat : 20215 (choco) S 20205 20197 19653 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 114463020 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20215/statm: 1339 238 197 169 0 50 0
[pid=20216] ppid=20215 vsize=655588 CPUtime=12.67
/proc/20216/stat : 20216 (java) S 20215 20197 19653 0 -1 0 14964 0 2 0 1254 13 0 0 18 0 9 0 114463021 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20216/statm: 163897 14528 1939 9 0 158426 0
[pid=20216/tid=20217] ppid=20215 vsize=655588 CPUtime=12.21
/proc/20216/task/20217/stat : 20217 (java) R 20215 20197 19653 0 -1 64 12208 0 2 0 1211 10 0 0 25 0 9 0 114463022 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20218] ppid=20215 vsize=655588 CPUtime=0.03
/proc/20216/task/20218/stat : 20218 (java) S 20215 20197 19653 0 -1 64 1493 0 0 0 3 0 0 0 16 0 9 0 114463023 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20219] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20219/stat : 20219 (java) S 20215 20197 19653 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20220] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20220/stat : 20220 (java) S 20215 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20221] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20221/stat : 20221 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 114463025 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20222] ppid=20215 vsize=655588 CPUtime=0.39
/proc/20216/task/20222/stat : 20222 (java) S 20215 20197 19653 0 -1 64 716 0 0 0 39 0 0 0 15 0 9 0 114463025 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20223] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20223/stat : 20223 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 114463025 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20224] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20224/stat : 20224 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 114463025 671322112 14528 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20206] ppid=20197 vsize=197424 CPUtime=4.52
/proc/20205/task/20206/stat : 20206 (java) S 20197 20197 19653 0 -1 64 3856 0 1 0 446 6 0 0 25 0 10 0 114462453 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20205/tid=20207] ppid=20197 vsize=197424 CPUtime=0.87
/proc/20205/task/20207/stat : 20207 (java) S 20197 20197 19653 0 -1 64 6122 0 0 0 78 9 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20208] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20208/stat : 20208 (java) S 20197 20197 19653 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20209] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20209/stat : 20209 (java) S 20197 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20210] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20210/stat : 20210 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20211] ppid=20197 vsize=197424 CPUtime=0.2
/proc/20205/task/20211/stat : 20211 (java) S 20197 20197 19653 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20212] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20212/stat : 20212 (java) S 20197 20197 19653 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20213] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20213/stat : 20213 (java) S 20197 20197 19653 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20214] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20214/stat : 20214 (java) S 20197 20197 19653 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 114463020 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (KiB) 863728
[startup+20.4026 s]
/proc/loadavg: 2.02 2.01 1.99 3/93 20224
/proc/meminfo: memFree=1784216/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=1.54
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 375 1499 0 0 0 0 154 0 20 0 1 0 114462295 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20197/statm: 1340 238 196 169 0 51 0
[pid=20205] ppid=20197 vsize=197424 CPUtime=5.62
/proc/20205/stat : 20205 (java) S 20197 20197 19653 0 -1 0 11431 0 1 0 545 17 0 0 21 0 10 0 114462451 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20205/statm: 49356 9403 2543 9 0 43939 0
[pid=20215] ppid=20205 vsize=5356 CPUtime=0
/proc/20215/stat : 20215 (choco) S 20205 20197 19653 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 114463020 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20215/statm: 1339 238 197 169 0 50 0
[pid=20216] ppid=20215 vsize=655588 CPUtime=13.07
/proc/20216/stat : 20216 (java) S 20215 20197 19653 0 -1 0 14971 0 2 0 1294 13 0 0 18 0 9 0 114463021 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20216/statm: 163897 14535 1940 9 0 158426 0
[pid=20216/tid=20217] ppid=20215 vsize=655588 CPUtime=12.6
/proc/20216/task/20217/stat : 20217 (java) R 20215 20197 19653 0 -1 64 12209 0 2 0 1249 11 0 0 25 0 9 0 114463022 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4127146256 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20218] ppid=20215 vsize=655588 CPUtime=0.03
/proc/20216/task/20218/stat : 20218 (java) S 20215 20197 19653 0 -1 64 1493 0 0 0 3 0 0 0 16 0 9 0 114463023 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20219] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20219/stat : 20219 (java) S 20215 20197 19653 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20220] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20220/stat : 20220 (java) S 20215 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20221] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20221/stat : 20221 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 114463025 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20222] ppid=20215 vsize=655588 CPUtime=0.4
/proc/20216/task/20222/stat : 20222 (java) S 20215 20197 19653 0 -1 64 722 0 0 0 40 0 0 0 15 0 9 0 114463025 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20223] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20223/stat : 20223 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 114463025 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20224] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20224/stat : 20224 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 114463025 671322112 14535 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20206] ppid=20197 vsize=197424 CPUtime=4.52
/proc/20205/task/20206/stat : 20206 (java) S 20197 20197 19653 0 -1 64 3856 0 1 0 446 6 0 0 25 0 10 0 114462453 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20205/tid=20207] ppid=20197 vsize=197424 CPUtime=0.87
/proc/20205/task/20207/stat : 20207 (java) S 20197 20197 19653 0 -1 64 6122 0 0 0 78 9 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20208] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20208/stat : 20208 (java) S 20197 20197 19653 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20209] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20209/stat : 20209 (java) S 20197 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20210] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20210/stat : 20210 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20211] ppid=20197 vsize=197424 CPUtime=0.2
/proc/20205/task/20211/stat : 20211 (java) S 20197 20197 19653 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20212] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20212/stat : 20212 (java) S 20197 20197 19653 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20213] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20213/stat : 20213 (java) S 20197 20197 19653 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20214] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20214/stat : 20214 (java) S 20197 20197 19653 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 114463020 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.23
Current children cumulated vsize (KiB) 863728
[startup+20.8027 s]
/proc/loadavg: 2.02 2.01 1.99 3/93 20224
/proc/meminfo: memFree=1784216/2055920 swapFree=4191676/4192956
[pid=20197] ppid=20195 vsize=5360 CPUtime=1.54
/proc/20197/stat : 20197 (hydra) S 20195 20197 19653 0 -1 4194304 375 1499 0 0 0 0 154 0 20 0 1 0 114462295 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/20197/statm: 1340 238 196 169 0 51 0
[pid=20205] ppid=20197 vsize=197424 CPUtime=5.62
/proc/20205/stat : 20205 (java) S 20197 20197 19653 0 -1 0 11431 0 1 0 545 17 0 0 21 0 10 0 114462451 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20205/statm: 49356 9403 2543 9 0 43939 0
[pid=20215] ppid=20205 vsize=5356 CPUtime=0
/proc/20215/stat : 20215 (choco) S 20205 20197 19653 0 -1 4194304 292 0 0 0 0 0 0 0 18 0 1 0 114463020 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 244276847428 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/20215/statm: 1339 238 197 169 0 50 0
[pid=20216] ppid=20215 vsize=655588 CPUtime=13.46
/proc/20216/stat : 20216 (java) S 20215 20197 19653 0 -1 0 14995 0 2 0 1333 13 0 0 18 0 9 0 114463021 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/20216/statm: 163897 14557 1940 9 0 158426 0
[pid=20216/tid=20217] ppid=20215 vsize=655588 CPUtime=12.99
/proc/20216/task/20217/stat : 20217 (java) R 20215 20197 19653 0 -1 64 12211 0 2 0 1288 11 0 0 25 0 9 0 114463022 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4127195026 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20218] ppid=20215 vsize=655588 CPUtime=0.04
/proc/20216/task/20218/stat : 20218 (java) S 20215 20197 19653 0 -1 64 1513 0 0 0 4 0 0 0 16 0 9 0 114463023 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20219] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20219/stat : 20219 (java) S 20215 20197 19653 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20220] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20220/stat : 20220 (java) S 20215 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 114463023 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20221] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20221/stat : 20221 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 114463025 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20222] ppid=20215 vsize=655588 CPUtime=0.4
/proc/20216/task/20222/stat : 20222 (java) S 20215 20197 19653 0 -1 64 724 0 0 0 40 0 0 0 16 0 9 0 114463025 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20223] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20223/stat : 20223 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 114463025 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20216/tid=20224] ppid=20215 vsize=655588 CPUtime=0
/proc/20216/task/20224/stat : 20224 (java) S 20215 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 114463025 671322112 14557 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20206] ppid=20197 vsize=197424 CPUtime=4.52
/proc/20205/task/20206/stat : 20206 (java) S 20197 20197 19653 0 -1 64 3856 0 1 0 446 6 0 0 25 0 10 0 114462453 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=20205/tid=20207] ppid=20197 vsize=197424 CPUtime=0.87
/proc/20205/task/20207/stat : 20207 (java) S 20197 20197 19653 0 -1 64 6122 0 0 0 78 9 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20208] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20208/stat : 20208 (java) S 20197 20197 19653 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20209] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20209/stat : 20209 (java) S 20197 20197 19653 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 114462454 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20210] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20210/stat : 20210 (java) S 20197 20197 19653 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20211] ppid=20197 vsize=197424 CPUtime=0.2
/proc/20205/task/20211/stat : 20211 (java) S 20197 20197 19653 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20212] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20212/stat : 20212 (java) S 20197 20197 19653 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20213] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20213/stat : 20213 (java) S 20197 20197 19653 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 114462456 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20205/tid=20214] ppid=20197 vsize=197424 CPUtime=0
/proc/20205/task/20214/stat : 20214 (java) S 20197 20197 19653 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 114463020 202162176 9403 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 20.62
Current children cumulated vsize (KiB) 863728
Child status: 0
Real time (s): 20.8775
CPU time (s): 20.6959
CPU user time (s): 20.3509
CPU system time (s): 0.344947
CPU usage (%): 99.1299
Max. virtual memory (cumulated for all children) (KiB): 863728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.3509
system time used= 0.344947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28744
page faults= 3
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11772
involuntary context switches= 13309
runsolver used 0.094985 second user time and 0.154976 second system time
The end