0.00/0.00 c cpHydra_k_10 version 0.0
65.78/66.17 c CASE TO CLASSIFY:
65.78/66.17 c Case: 0
65.78/66.18 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.801300 | c 15 > 14.945600 | c 34 > 68.864900 | c 16 > 2.000000 | c 13 > 2.636770 | c 14 > -1.000000 | c 11 > 11.167400 | c 12 > 4.398460 | c 21 > 16.617500 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.791620 | c 24 > 0.748797 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.565900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.276700 | c 31 > -1.000000 | c 4 > 11.167400 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.78/66.19 c choco : 1801.0
65.78/66.19 c mistral : 1801.0
65.78/66.19 c abscon : 1801.0
65.78/66.19 c
65.78/66.19 c
65.87/66.26 c List of same ones: 10
65.87/66.26 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-10.xml
65.87/66.26 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.879600 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.87/66.27 c choco : 1801.0
65.87/66.27 c mistral : 1800.05
65.87/66.27 c abscon : 156.38
65.87/66.27 c
65.87/66.27 c
65.87/66.27 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-9.xml
65.87/66.27 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.689100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.87/66.27 c choco : 1801.0
65.87/66.27 c mistral : 1800.06
65.87/66.27 c abscon : 441.864
65.87/66.27 c
65.87/66.27 c
65.87/66.27 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-8.xml
65.87/66.28 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.563200 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.87/66.29 c choco : 1801.0
65.87/66.29 c mistral : 1800.07
65.87/66.29 c abscon : 349.37
65.87/66.29 c
65.87/66.29 c
65.87/66.29 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-10.xml
65.87/66.29 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.695200 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.315100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.97/66.30 c choco : 1801.0
65.97/66.30 c mistral : 1800.04
65.97/66.30 c abscon : 331.113
65.97/66.30 c
65.97/66.30 c
65.97/66.30 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp14/fapp14-2500-9.xml
65.97/66.30 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.234200 | c 15 > 10.502800 | c 34 > 68.320200 | c 16 > 2.000000 | c 13 > 2.980850 | c 14 > -1.000000 | c 11 > 11.287700 | c 12 > 5.027400 | c 21 > 17.599100 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.725240 | c 24 > 0.784607 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.315100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.562600 | c 31 > -1.000000 | c 4 > 11.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.97/66.31 c choco : 1801.0
65.97/66.31 c mistral : 1800.09
65.97/66.31 c abscon : 506.936
65.97/66.31 c
65.97/66.31 c
65.97/66.31 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp12/fapp12-1500-1.xml
65.97/66.31 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.220100 | c 15 > 10.047100 | c 34 > 68.428900 | c 16 > 2.000000 | c 13 > 2.862710 | c 14 > -1.000000 | c 11 > 10.550700 | c 12 > 5.082310 | c 21 > 17.067800 | c 20 > 0.000000 | c 22 > 17.606800 | c 23 > 5.375360 | c 24 > 0.786959 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.633100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.737200 | c 31 > -1.000000 | c 4 > 10.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.97/66.32 c choco : 1801.0
65.97/66.32 c mistral : 1800.03
65.97/66.32 c abscon : 20.0829
65.97/66.32 c
65.97/66.32 c
65.97/66.32 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-10.xml
65.97/66.32 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.630300 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.97/66.33 c choco : 1801.0
65.97/66.33 c mistral : 228.6
65.97/66.33 c abscon : 55.2496
65.97/66.33 c
65.97/66.33 c
65.97/66.33 c /home/eomahony/cpZilla/CSP/fapp/test01-04/test04/test04-1250-10.xml
65.97/66.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.995800 | c 15 > 11.340400 | c 34 > 68.373000 | c 16 > 2.000000 | c 13 > 2.976840 | c 14 > -1.000000 | c 11 > 10.287700 | c 12 > 4.876490 | c 21 > 14.266700 | c 20 > 0.000000 | c 22 > 18.708300 | c 23 > 3.758320 | c 24 > 0.752014 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.164200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.956900 | c 31 > -1.000000 | c 4 > 10.287700 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.97/66.33 c choco : 1801.0
65.97/66.33 c mistral : 81.4206
65.97/66.33 c abscon : 52.605
65.97/66.33 c
65.97/66.33 c
65.97/66.33 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp11/fapp11-1000-9.xml
65.97/66.33 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 43.026200 | c 15 > 10.433600 | c 34 > 68.212500 | c 16 > 2.000000 | c 13 > 2.978070 | c 14 > -1.000000 | c 11 > 9.965780 | c 12 > 4.909970 | c 21 > 17.164900 | c 20 > 0.000000 | c 22 > 19.026300 | c 23 > 5.546080 | c 24 > 1.046680 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.875700 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.168600 | c 31 > -1.000000 | c 4 > 9.965780 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.97/66.34 c choco : 1801.0
65.97/66.34 c mistral : 1800.03
65.97/66.34 c abscon : 129.181
65.97/66.34 c
65.97/66.34 c
65.97/66.34 c /home/eomahony/cpZilla/CSP/fapp/fapp21-25/fapp24/fapp24-2000-3.xml
65.97/66.34 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.809400 | c 15 > 9.592460 | c 34 > 68.146000 | c 16 > 2.000000 | c 13 > 2.751130 | c 14 > -1.000000 | c 11 > 10.965800 | c 12 > 4.741630 | c 21 > 16.843300 | c 20 > 0.000000 | c 22 > 17.378100 | c 23 > 5.623530 | c 24 > 0.701495 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.707400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 19.114000 | c 31 > -1.000000 | c 4 > 10.965800 | c 9 > -1.000000 | c 8 > -1.000000 | c
65.97/66.35 c choco : 1801.0
65.97/66.35 c mistral : 155.051
65.97/66.35 c abscon : 7.09492
65.97/66.35 c
65.97/66.35 c
65.97/66.35 c Length: 10
65.97/66.35 c 4.347707616887779 4.5263669506508215 4.644958049535433 4.839600326524909 5.0094214237274945 5.1347354140154104 5.218565425688271 5.3387652331685285 5.3823558979492425 5.432595196165826
65.97/66.35 c
65.97/66.35 c 1.0 0.8586049066171613 0.784934333559424 0.6880397902642784 0.6211420578850381 0.5795601622553966 0.5547182091754368 0.5225993352806312 0.5118514857796593 0.5
65.97/66.36 c
65.97/66.36 c solver 0
65.97/66.36 c before 0.0 seconds: {} 0
65.97/66.36 c before 18.0 seconds: {9} 500
65.97/66.36 c before 36.0 seconds: {5, 9} 1079
65.97/66.36 c before 54.0 seconds: {5, 7, 9} 1602
65.97/66.36 c before 72.0 seconds: {5, 6, 7, 9} 2156
65.97/66.36 c before 144.0 seconds: {5, 6, 7, 8, 9} 2668
65.97/66.36 c before 162.0 seconds: {0, 5, 6, 7, 8, 9} 3668
65.97/66.36 c before 342.0 seconds: {0, 3, 5, 6, 7, 8, 9} 4356
65.97/66.36 c before 360.0 seconds: {0, 2, 3, 5, 6, 7, 8, 9} 5141
65.97/66.36 c before 450.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 6000
65.97/66.36 c before 522.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6621
65.97/66.36 c
65.97/66.36 c solver 1
65.97/66.36 c before 0.0 seconds: {} 0
65.97/66.36 c before 90.0 seconds: {7} 522
65.97/66.36 c before 162.0 seconds: {7, 9} 1022
65.97/66.36 c before 234.0 seconds: {6, 7, 9} 1577
65.97/66.36 c
65.97/66.36 c solver 2
65.97/66.36 c before 0.0 seconds: {} 0
65.97/66.36 c
65.97/66.36 cTotal time: 42
65.97/66.36 c 756.0 seconds unused
65.97/66.36 c 0 c 7 c 10
65.97/66.36 c 0 c 0 c 3
65.97/66.36 c 0 c 0 c 0
65.97/66.36 c is solver0 dominated by:
65.97/66.36 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)
65.97/66.36 c solver 2 (0 solves instances that 2 can't: true) (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)
65.97/66.36 c is dominated? false
65.97/66.36 c
65.97/66.36 c is solver1 dominated by:
65.97/66.36 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)
65.97/66.36 c is dominated? true
65.97/66.36 c
65.97/66.36 c is solver2 dominated by:
65.97/66.36 c solver 0 (2 solves instances that 0 can't: false) (0 doesn't solve instances that 2 can't: false) (2 is faster than 0: true) (2 is equally as fast as 0: false) (2 < 0: true)
65.97/66.36 c is dominated? true
65.97/66.36 c
65.97/66.36 c Number of non-dominated solvers: 1
65.97/66.36 c remove dominated solvers
65.97/66.36 c solver 0 is not dominated by another solver
65.97/66.36 c solver 2 is dominated by another solver
65.97/66.36 c solver 1 is dominated by another solver
65.97/66.36 c
65.97/66.36 c solver 0: 522.0
65.97/66.36 c
65.97/66.36 c+ 29/29 of 71
65.97/66.36 c
65.97/66.36 c solver 1: 0.0
65.97/66.36 c
65.97/66.36 c solver 2: 0.0
65.97/66.37 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6621
65.97/66.37 c do not run mistral
65.97/66.37 c do not run choco
65.97/66.37 c Starting solver: HOME/cpHydra_k_10/solver/abscon
65.97/66.37 c On Instance: HOME/instance-1086057-1215237164.xml
65.97/66.37 c Running for: 1800 seconds
91.69/92.26 s UNSATISFIABLE
91.69/92.26 d ASSIGNMENTS 0
91.69/92.26 d CHECKS 942312
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1086057-1215237164/watcher-1086057-1215237164 -o /tmp/evaluation-result-1086057-1215237164/solver-1086057-1215237164 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1086057-1215237164.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.00 2.00 2.00 4/73 28168
/proc/meminfo: memFree=1371168/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=1964 CPUtime=0
/proc/28168/stat : 28168 (hydra) R 28166 28168 27572 0 -1 4194304 49 0 0 0 0 0 0 0 19 0 1 0 636934261 2011136 34 996147200 4194304 4889804 548682068816 18446744073709551615 228041225609 0 0 4096 0 0 0 0 17 0 0 0
/proc/28168/statm: 491 36 28 169 0 8 0
[startup+0.064473 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28168
/proc/meminfo: memFree=1371168/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10148 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28168
/proc/meminfo: memFree=1371168/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.30152 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28168
/proc/meminfo: memFree=1371168/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.7016 s]
/proc/loadavg: 2.00 2.00 2.00 4/73 28168
/proc/meminfo: memFree=1371168/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50176 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 28172
/proc/meminfo: memFree=1355528/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
[pid=28172] ppid=28168 vsize=85188 CPUtime=1.47
/proc/28172/stat : 28172 (xsolve) R 28168 28168 27572 0 -1 4194304 13070 0 0 0 140 7 0 0 25 0 1 0 636934262 87232512 12833 996147200 134512640 135239763 4294956176 18446744073709551615 134543095 0 0 4096 0 0 0 0 17 0 0 0
/proc/28172/statm: 21297 12833 416 177 0 20200 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 90548
[startup+3.10107 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 28172
/proc/meminfo: memFree=1320968/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
[pid=28172] ppid=28168 vsize=85188 CPUtime=3.07
/proc/28172/stat : 28172 (xsolve) R 28168 28168 27572 0 -1 4194304 13070 0 0 0 300 7 0 0 25 0 1 0 636934262 87232512 12833 996147200 134512640 135239763 4294956176 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 0 0 0
/proc/28172/statm: 21297 12833 416 177 0 20200 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 90548
[startup+6.30171 s]
/proc/loadavg: 2.00 2.00 2.00 3/75 28172
/proc/meminfo: memFree=1319888/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
[pid=28172] ppid=28168 vsize=85188 CPUtime=6.25
/proc/28172/stat : 28172 (xsolve) R 28168 28168 27572 0 -1 4194304 13071 0 0 0 618 7 0 0 25 0 1 0 636934262 87232512 12834 996147200 134512640 135239763 4294956176 18446744073709551615 134534752 0 0 4096 0 0 0 0 17 0 0 0
/proc/28172/statm: 21297 12834 417 177 0 20200 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 90548
[startup+12.702 s]
/proc/loadavg: 2.23 2.05 2.02 3/75 28172
/proc/meminfo: memFree=1319824/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
[pid=28172] ppid=28168 vsize=85188 CPUtime=12.62
/proc/28172/stat : 28172 (xsolve) R 28168 28168 27572 0 -1 4194304 13071 0 0 0 1255 7 0 0 25 0 1 0 636934262 87232512 12834 996147200 134512640 135239763 4294956176 18446744073709551615 134535328 0 0 4096 0 0 0 0 17 0 0 0
/proc/28172/statm: 21297 12834 417 177 0 20200 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 90548
[startup+25.5015 s]
/proc/loadavg: 2.43 2.10 2.03 3/75 28172
/proc/meminfo: memFree=1320144/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
[pid=28172] ppid=28168 vsize=85188 CPUtime=25.37
/proc/28172/stat : 28172 (xsolve) R 28168 28168 27572 0 -1 4194304 13071 0 0 0 2530 7 0 0 25 0 1 0 636934262 87232512 12834 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 0 0 0
/proc/28172/statm: 21297 12834 417 177 0 20200 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 90548
[startup+51.1016 s]
/proc/loadavg: 2.34 2.10 2.03 3/75 28172
/proc/meminfo: memFree=1320976/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=0
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636934261 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28168/statm: 1340 236 195 169 0 51 0
[pid=28172] ppid=28168 vsize=85188 CPUtime=50.86
/proc/28172/stat : 28172 (xsolve) R 28168 28168 27572 0 -1 4194304 13071 0 0 0 5078 8 0 0 25 0 1 0 636934262 87232512 12834 996147200 134512640 135239763 4294956176 18446744073709551615 134543189 0 0 4096 0 0 0 0 17 0 0 0
/proc/28172/statm: 21297 12834 417 177 0 20200 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 90548
Solver just ended. Dumping a history of the last processes samples
[startup+76.7026 s]
/proc/loadavg: 2.29 2.11 2.04 3/95 28196
/proc/meminfo: memFree=1262896/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=60.34
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 375 13678 0 0 0 0 6024 10 20 0 1 0 636934261 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28168/statm: 1340 238 196 169 0 51 0
[pid=28176] ppid=28168 vsize=197344 CPUtime=5.68
/proc/28176/stat : 28176 (java) S 28168 28168 27572 0 -1 0 11403 0 1 0 549 19 0 0 21 0 10 0 636940323 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28176/statm: 49336 9337 2543 9 0 43919 0
[pid=28186] ppid=28176 vsize=5356 CPUtime=0
/proc/28186/stat : 28186 (abscon) S 28176 28168 27572 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 636940898 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28186/statm: 1339 235 194 169 0 50 0
[pid=28187] ppid=28186 vsize=655740 CPUtime=10.24
/proc/28187/stat : 28187 (java) S 28186 28168 27572 0 -1 0 22408 0 1 0 1008 16 0 0 25 0 9 0 636940899 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28187/statm: 163935 21909 2008 9 0 158463 0
[pid=28187/tid=28189] ppid=28186 vsize=655740 CPUtime=9.72
/proc/28187/task/28189/stat : 28189 (java) R 28186 28168 27572 0 -1 64 12453 0 1 0 962 10 0 0 25 0 9 0 636940900 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4126899564 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28190] ppid=28186 vsize=655740 CPUtime=0.28
/proc/28187/task/28190/stat : 28190 (java) S 28186 28168 27572 0 -1 64 8755 0 0 0 24 4 0 0 16 0 9 0 636940902 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28191] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28191/stat : 28191 (java) S 28186 28168 27572 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 636940902 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28192] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28192/stat : 28192 (java) S 28186 28168 27572 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 636940902 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28193] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28193/stat : 28193 (java) S 28186 28168 27572 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28194] ppid=28186 vsize=655740 CPUtime=0.22
/proc/28187/task/28194/stat : 28194 (java) S 28186 28168 27572 0 -1 64 655 0 0 0 22 0 0 0 15 0 9 0 636940904 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28195] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28195/stat : 28195 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28196] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28196/stat : 28196 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636940904 671477760 21909 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28188] ppid=28186 vsize=7044 CPUtime=0
/proc/28188/stat : 28188 (translate) S 28186 28168 27572 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 636940899 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28188/statm: 1761 213 182 1 0 41 0
[pid=28176/tid=28177] ppid=28168 vsize=197344 CPUtime=4.52
/proc/28176/task/28177/stat : 28177 (java) S 28168 28168 27572 0 -1 64 3857 0 1 0 447 5 0 0 24 0 10 0 636940324 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28176/tid=28178] ppid=28168 vsize=197344 CPUtime=0.93
/proc/28176/task/28178/stat : 28178 (java) S 28168 28168 27572 0 -1 64 6093 0 0 0 81 12 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28179] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28179/stat : 28179 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28180] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28180/stat : 28180 (java) S 28168 28168 27572 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28181] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28181/stat : 28181 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28182] ppid=28168 vsize=197344 CPUtime=0.19
/proc/28176/task/28182/stat : 28182 (java) S 28168 28168 27572 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28183] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28183/stat : 28183 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28184] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28184/stat : 28184 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28185] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28185/stat : 28185 (java) S 28168 28168 27572 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636940898 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 76.26
Current children cumulated vsize (KiB) 870844
[startup+83.1029 s]
/proc/loadavg: 2.25 2.11 2.04 3/95 28196
/proc/meminfo: memFree=1262704/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=60.34
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 375 13678 0 0 0 0 6024 10 20 0 1 0 636934261 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28168/statm: 1340 238 196 169 0 51 0
[pid=28176] ppid=28168 vsize=197344 CPUtime=5.68
/proc/28176/stat : 28176 (java) S 28168 28168 27572 0 -1 0 11403 0 1 0 549 19 0 0 21 0 10 0 636940323 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28176/statm: 49336 9337 2543 9 0 43919 0
[pid=28186] ppid=28176 vsize=5356 CPUtime=0
/proc/28186/stat : 28186 (abscon) S 28176 28168 27572 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 636940898 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28186/statm: 1339 235 194 169 0 50 0
[pid=28187] ppid=28186 vsize=655740 CPUtime=16.62
/proc/28187/stat : 28187 (java) S 28186 28168 27572 0 -1 0 22416 0 1 0 1644 18 0 0 25 0 9 0 636940899 671477760 21915 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28187/statm: 163935 21915 2008 9 0 158463 0
################
# More data... #
################
/proc/28176/task/28184/stat : 28184 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28185] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28185/stat : 28185 (java) S 28168 28168 27572 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636940898 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 90.59
Current children cumulated vsize (KiB) 870844
[startup+91.9026 s]
/proc/loadavg: 2.21 2.10 2.03 3/95 28196
/proc/meminfo: memFree=1240944/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=60.34
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 375 13678 0 0 0 0 6024 10 20 0 1 0 636934261 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28168/statm: 1340 238 196 169 0 51 0
[pid=28176] ppid=28168 vsize=197344 CPUtime=5.68
/proc/28176/stat : 28176 (java) S 28168 28168 27572 0 -1 0 11403 0 1 0 549 19 0 0 21 0 10 0 636940323 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28176/statm: 49336 9337 2543 9 0 43919 0
[pid=28186] ppid=28176 vsize=5356 CPUtime=0
/proc/28186/stat : 28186 (abscon) S 28176 28168 27572 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 636940898 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28186/statm: 1339 235 194 169 0 50 0
[pid=28187] ppid=28186 vsize=655740 CPUtime=25.37
/proc/28187/stat : 28187 (java) S 28186 28168 27572 0 -1 0 36414 0 1 0 2509 28 0 0 25 0 9 0 636940899 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28187/statm: 163935 35697 2617 9 0 158463 0
[pid=28187/tid=28189] ppid=28186 vsize=655740 CPUtime=23.99
/proc/28187/task/28189/stat : 28189 (java) R 28186 28168 27572 0 -1 64 12559 0 1 0 2385 14 0 0 25 0 9 0 636940900 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4126899574 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28190] ppid=28186 vsize=655740 CPUtime=1.01
/proc/28187/task/28190/stat : 28190 (java) S 28186 28168 27572 0 -1 64 22570 0 0 0 89 12 0 0 16 0 9 0 636940902 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28191] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28191/stat : 28191 (java) S 28186 28168 27572 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 636940902 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28192] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28192/stat : 28192 (java) S 28186 28168 27572 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 636940902 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28193] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28193/stat : 28193 (java) S 28186 28168 27572 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28194] ppid=28186 vsize=655740 CPUtime=0.36
/proc/28187/task/28194/stat : 28194 (java) S 28186 28168 27572 0 -1 64 726 0 0 0 35 1 0 0 15 0 9 0 636940904 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28195] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28195/stat : 28195 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28196] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28196/stat : 28196 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636940904 671477760 35697 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28188] ppid=28186 vsize=7044 CPUtime=0
/proc/28188/stat : 28188 (translate) S 28186 28168 27572 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 636940899 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28188/statm: 1761 213 182 1 0 41 0
[pid=28176/tid=28177] ppid=28168 vsize=197344 CPUtime=4.52
/proc/28176/task/28177/stat : 28177 (java) S 28168 28168 27572 0 -1 64 3857 0 1 0 447 5 0 0 24 0 10 0 636940324 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28176/tid=28178] ppid=28168 vsize=197344 CPUtime=0.93
/proc/28176/task/28178/stat : 28178 (java) S 28168 28168 27572 0 -1 64 6093 0 0 0 81 12 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28179] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28179/stat : 28179 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28180] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28180/stat : 28180 (java) S 28168 28168 27572 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28181] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28181/stat : 28181 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28182] ppid=28168 vsize=197344 CPUtime=0.19
/proc/28176/task/28182/stat : 28182 (java) S 28168 28168 27572 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28183] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28183/stat : 28183 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28184] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28184/stat : 28184 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28185] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28185/stat : 28185 (java) S 28168 28168 27572 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636940898 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.39
Current children cumulated vsize (KiB) 870844
[startup+92.1027 s]
/proc/loadavg: 2.21 2.10 2.03 3/95 28196
/proc/meminfo: memFree=1240944/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=60.34
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 375 13678 0 0 0 0 6024 10 20 0 1 0 636934261 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28168/statm: 1340 238 196 169 0 51 0
[pid=28176] ppid=28168 vsize=197344 CPUtime=5.68
/proc/28176/stat : 28176 (java) S 28168 28168 27572 0 -1 0 11403 0 1 0 549 19 0 0 21 0 10 0 636940323 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28176/statm: 49336 9337 2543 9 0 43919 0
[pid=28186] ppid=28176 vsize=5356 CPUtime=0
/proc/28186/stat : 28186 (abscon) S 28176 28168 27572 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 636940898 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28186/statm: 1339 235 194 169 0 50 0
[pid=28187] ppid=28186 vsize=655740 CPUtime=25.57
/proc/28187/stat : 28187 (java) S 28186 28168 27572 0 -1 0 36416 0 1 0 2529 28 0 0 25 0 9 0 636940899 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28187/statm: 163935 35699 2617 9 0 158463 0
[pid=28187/tid=28189] ppid=28186 vsize=655740 CPUtime=24.18
/proc/28187/task/28189/stat : 28189 (java) R 28186 28168 27572 0 -1 64 12559 0 1 0 2404 14 0 0 25 0 9 0 636940900 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4127163140 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28190] ppid=28186 vsize=655740 CPUtime=1.01
/proc/28187/task/28190/stat : 28190 (java) S 28186 28168 27572 0 -1 64 22570 0 0 0 89 12 0 0 16 0 9 0 636940902 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28191] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28191/stat : 28191 (java) S 28186 28168 27572 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 636940902 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28192] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28192/stat : 28192 (java) S 28186 28168 27572 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 636940902 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28193] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28193/stat : 28193 (java) S 28186 28168 27572 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28194] ppid=28186 vsize=655740 CPUtime=0.36
/proc/28187/task/28194/stat : 28194 (java) S 28186 28168 27572 0 -1 64 728 0 0 0 35 1 0 0 16 0 9 0 636940904 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28195] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28195/stat : 28195 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28196] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28196/stat : 28196 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636940904 671477760 35699 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28188] ppid=28186 vsize=7044 CPUtime=0
/proc/28188/stat : 28188 (translate) S 28186 28168 27572 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 636940899 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28188/statm: 1761 213 182 1 0 41 0
[pid=28176/tid=28177] ppid=28168 vsize=197344 CPUtime=4.52
/proc/28176/task/28177/stat : 28177 (java) S 28168 28168 27572 0 -1 64 3857 0 1 0 447 5 0 0 24 0 10 0 636940324 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28176/tid=28178] ppid=28168 vsize=197344 CPUtime=0.93
/proc/28176/task/28178/stat : 28178 (java) S 28168 28168 27572 0 -1 64 6093 0 0 0 81 12 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28179] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28179/stat : 28179 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28180] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28180/stat : 28180 (java) S 28168 28168 27572 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28181] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28181/stat : 28181 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28182] ppid=28168 vsize=197344 CPUtime=0.19
/proc/28176/task/28182/stat : 28182 (java) S 28168 28168 27572 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28183] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28183/stat : 28183 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28184] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28184/stat : 28184 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28185] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28185/stat : 28185 (java) S 28168 28168 27572 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636940898 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.59
Current children cumulated vsize (KiB) 870844
[startup+92.2027 s]
/proc/loadavg: 2.21 2.10 2.03 3/95 28196
/proc/meminfo: memFree=1240944/2055920 swapFree=4166000/4192956
[pid=28168] ppid=28166 vsize=5360 CPUtime=60.34
/proc/28168/stat : 28168 (hydra) S 28166 28168 27572 0 -1 4194304 375 13678 0 0 0 0 6024 10 20 0 1 0 636934261 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 228043842372 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/28168/statm: 1340 238 196 169 0 51 0
[pid=28176] ppid=28168 vsize=197344 CPUtime=5.68
/proc/28176/stat : 28176 (java) S 28168 28168 27572 0 -1 0 11403 0 1 0 549 19 0 0 21 0 10 0 636940323 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28176/statm: 49336 9337 2543 9 0 43919 0
[pid=28186] ppid=28176 vsize=5356 CPUtime=0
/proc/28186/stat : 28186 (abscon) S 28176 28168 27572 0 -1 4194304 302 0 0 0 0 0 0 0 25 0 1 0 636940898 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 228043842372 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28186/statm: 1339 235 194 169 0 50 0
[pid=28187] ppid=28186 vsize=655740 CPUtime=25.67
/proc/28187/stat : 28187 (java) S 28186 28168 27572 0 -1 0 36417 0 1 0 2539 28 0 0 25 0 9 0 636940899 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28187/statm: 163935 35700 2617 9 0 158463 0
[pid=28187/tid=28189] ppid=28186 vsize=655740 CPUtime=24.28
/proc/28187/task/28189/stat : 28189 (java) R 28186 28168 27572 0 -1 64 12559 0 1 0 2414 14 0 0 25 0 9 0 636940900 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4126102560 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28190] ppid=28186 vsize=655740 CPUtime=1.01
/proc/28187/task/28190/stat : 28190 (java) S 28186 28168 27572 0 -1 64 22570 0 0 0 89 12 0 0 16 0 9 0 636940902 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28191] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28191/stat : 28191 (java) S 28186 28168 27572 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 636940902 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28192] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28192/stat : 28192 (java) S 28186 28168 27572 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 636940902 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28193] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28193/stat : 28193 (java) S 28186 28168 27572 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28194] ppid=28186 vsize=655740 CPUtime=0.36
/proc/28187/task/28194/stat : 28194 (java) S 28186 28168 27572 0 -1 64 729 0 0 0 35 1 0 0 16 0 9 0 636940904 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28195] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28195/stat : 28195 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 636940904 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28187/tid=28196] ppid=28186 vsize=655740 CPUtime=0
/proc/28187/task/28196/stat : 28196 (java) S 28186 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636940904 671477760 35700 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28188] ppid=28186 vsize=7044 CPUtime=0
/proc/28188/stat : 28188 (translate) S 28186 28168 27572 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 636940899 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 228044013650 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28188/statm: 1761 213 182 1 0 41 0
[pid=28176/tid=28177] ppid=28168 vsize=197344 CPUtime=4.52
/proc/28176/task/28177/stat : 28177 (java) S 28168 28168 27572 0 -1 64 3857 0 1 0 447 5 0 0 24 0 10 0 636940324 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28176/tid=28178] ppid=28168 vsize=197344 CPUtime=0.93
/proc/28176/task/28178/stat : 28178 (java) S 28168 28168 27572 0 -1 64 6093 0 0 0 81 12 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28179] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28179/stat : 28179 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28180] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28180/stat : 28180 (java) S 28168 28168 27572 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636940325 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28181] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28181/stat : 28181 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28182] ppid=28168 vsize=197344 CPUtime=0.19
/proc/28176/task/28182/stat : 28182 (java) S 28168 28168 27572 0 -1 64 647 0 0 0 19 0 0 0 16 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28183] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28183/stat : 28183 (java) S 28168 28168 27572 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28184] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28184/stat : 28184 (java) S 28168 28168 27572 0 -1 64 11 0 0 0 0 0 0 0 15 0 10 0 636940327 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28176/tid=28185] ppid=28168 vsize=197344 CPUtime=0
/proc/28176/task/28185/stat : 28185 (java) S 28168 28168 27572 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636940898 202080256 9337 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.69
Current children cumulated vsize (KiB) 870844
Child status: 0
Real time (s): 92.2778
CPU time (s): 91.773
CPU user time (s): 91.1481
CPU system time (s): 0.624905
CPU usage (%): 99.4531
Max. virtual memory (cumulated for all children) (KiB): 870844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 91.1481
system time used= 0.624905
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62600
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= 12481
involuntary context switches= 14926
runsolver used 0.159975 second user time and 0.483926 second system time
The end