0.00/0.00 c cpHydra_k_10 version 0.0
27.24/27.52 c CASE TO CLASSIFY:
27.24/27.52 c Case: 0
27.24/27.52 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 39.416700 | c 15 > 13.617900 | c 34 > 66.618600 | c 16 > 2.000000 | c 13 > 1.908790 | c 14 > -1.000000 | c 11 > 11.316300 | c 12 > 3.093900 | c 21 > 15.187600 | c 20 > 0.000000 | c 22 > 15.556300 | c 23 > 5.322870 | c 24 > 0.839832 | 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.410200 | 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.165900 | c 31 > -1.000000 | c 4 > 11.316300 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.24/27.53 c choco : 1801.0
27.24/27.53 c mistral : 1801.0
27.24/27.53 c abscon : 1801.0
27.24/27.53 c
27.24/27.53 c
27.33/27.61 c List of same ones: 10
27.33/27.61 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-10.xml
27.33/27.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.227300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.61 c choco : 1801.0
27.33/27.61 c mistral : 1800.05
27.33/27.61 c abscon : 64.5562
27.33/27.61 c
27.33/27.61 c
27.33/27.61 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-9.xml
27.33/27.61 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 12.083100 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.62 c choco : 1801.0
27.33/27.62 c mistral : 1800.09
27.33/27.62 c abscon : 128.934
27.33/27.62 c
27.33/27.62 c
27.33/27.62 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-8.xml
27.33/27.62 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.964300 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.63 c choco : 1801.0
27.33/27.63 c mistral : 1800.07
27.33/27.63 c abscon : 77.7912
27.33/27.63 c
27.33/27.63 c
27.33/27.63 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-7.xml
27.33/27.63 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.758600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.64 c choco : 1801.0
27.33/27.64 c mistral : 1800.08
27.33/27.64 c abscon : 213.954
27.33/27.64 c
27.33/27.64 c
27.33/27.64 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-6.xml
27.33/27.64 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.756600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.65 c choco : 1801.0
27.33/27.65 c mistral : 1800.03
27.33/27.65 c abscon : 378.267
27.33/27.65 c
27.33/27.65 c
27.33/27.65 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-3.xml
27.33/27.65 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.602700 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.66 c choco : 1801.0
27.33/27.66 c mistral : 811.31
27.33/27.66 c abscon : 9.81851
27.33/27.66 c
27.33/27.66 c
27.33/27.66 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-2.xml
27.33/27.66 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.592900 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.67 c choco : 1801.0
27.33/27.67 c mistral : 310.611
27.33/27.67 c abscon : 9.8545
27.33/27.67 c
27.33/27.67 c
27.33/27.67 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-4.xml
27.33/27.67 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.513200 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.68 c choco : 1801.0
27.33/27.68 c mistral : 1078.26
27.33/27.68 c abscon : 12.6221
27.33/27.68 c
27.33/27.68 c
27.33/27.68 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-1.xml
27.33/27.68 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.491900 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.69 c choco : 1801.0
27.33/27.69 c mistral : 126.293
27.33/27.69 c abscon : 10.1565
27.33/27.69 c
27.33/27.69 c
27.33/27.69 c /home/eomahony/cpZilla/CSP/fapp/fapp11-15/fapp15/fapp15-3000-0.xml
27.33/27.69 c 19 > 100.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 42.472100 | c 15 > 11.153600 | c 34 > 68.035800 | c 16 > 2.000000 | c 13 > 2.546710 | c 14 > -1.000000 | c 11 > 11.550700 | c 12 > 4.460350 | c 21 > 13.109900 | c 20 > 0.000000 | c 22 > 13.490700 | c 23 > 4.118320 | c 24 > 0.800152 | 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.011100 | 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.975900 | c 31 > -1.000000 | c 4 > 11.550700 | c 9 > -1.000000 | c 8 > -1.000000 | c
27.33/27.70 c choco : 1801.0
27.33/27.70 c mistral : 44.86
27.33/27.70 c abscon : 9.39257
27.33/27.70 c
27.33/27.70 c
27.40/27.70 c Length: 10
27.40/27.70 c 5.319468420227718 5.3589725651285045 5.394197704367164 5.460766649821249 5.4614479402261065 5.515796130550872 5.519384106383608 5.549120471191807 5.557234196414615 5.6952392753772845
27.40/27.70 c
27.40/27.70 c 1.0 0.90487232581784 0.8341192873827189 0.7267323965737886 0.7257761137153871 0.6568288715058564 0.6527351747662 0.6206749882684873 0.6124668617275991 0.5
27.40/27.70 c
27.40/27.70 c solver 0
27.40/27.70 c before 0.0 seconds: {} 0
27.40/27.70 c before 18.0 seconds: {5, 6, 7, 8, 9} 3042
27.40/27.70 c before 72.0 seconds: {0, 5, 6, 7, 8, 9} 4042
27.40/27.71 c before 90.0 seconds: {0, 2, 5, 6, 7, 8, 9} 4876
27.40/27.71 c before 144.0 seconds: {0, 1, 2, 5, 6, 7, 8, 9} 5781
27.40/27.71 c before 216.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 6508
27.40/27.71 c before 396.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7234
27.40/27.71 c
27.40/27.71 c solver 1
27.40/27.71 c before 0.0 seconds: {} 0
27.40/27.71 c before 54.0 seconds: {9} 500
27.40/27.71 c before 144.0 seconds: {8, 9} 1112
27.40/27.71 c before 324.0 seconds: {6, 8, 9} 1765
27.40/27.71 c before 828.0 seconds: {5, 6, 8, 9} 2422
27.40/27.71 c before 1080.0 seconds: {5, 6, 7, 8, 9} 3042
27.40/27.71 c
27.40/27.71 c solver 2
27.40/27.71 c before 0.0 seconds: {} 0
27.40/27.71 c
27.40/27.71 cTotal time: 82
27.40/27.71 c 1476.0 seconds unused
27.40/27.71 c 0 c 5 c 10
27.40/27.71 c 0 c 0 c 5
27.40/27.71 c 0 c 0 c 0
27.40/27.71 c is solver0 dominated by:
27.40/27.71 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: true) (0 is equally as fast as 1: false) (0 < 1: false)
27.40/27.71 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)
27.40/27.71 c is dominated? false
27.40/27.71 c
27.40/27.71 c is solver1 dominated by:
27.40/27.71 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: false) (1 is equally as fast as 0: false) (1 < 0: true)
27.40/27.71 c is dominated? true
27.40/27.71 c
27.40/27.71 c is solver2 dominated by:
27.40/27.71 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)
27.40/27.71 c is dominated? true
27.40/27.71 c
27.40/27.71 c Number of non-dominated solvers: 1
27.40/27.71 c remove dominated solvers
27.40/27.71 c solver 0 is not dominated by another solver
27.40/27.72 c solver 2 is dominated by another solver
27.40/27.72 c solver 1 is dominated by another solver
27.40/27.72 c
27.40/27.72 c solver 0: 396.0
27.40/27.72 c
27.40/27.72 c+ 22/22 of 78
27.40/27.72 c
27.40/27.72 c solver 1: 0.0
27.40/27.72 c
27.40/27.72 c solver 2: 0.0
27.40/27.72 c run abscon for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7234
27.40/27.72 c do not run mistral
27.40/27.72 c do not run choco
27.40/27.72 c Starting solver: HOME/cpHydra_k_10/solver/abscon
27.40/27.72 c On Instance: HOME/instance-1087443-1215243970.xml
27.40/27.72 c Running for: 1800 seconds
49.93/50.32 s UNSATISFIABLE
49.93/50.32 d ASSIGNMENTS 0
49.93/50.32 d CHECKS 535609
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087443-1215243970/watcher-1087443-1215243970 -o /tmp/evaluation-result-1087443-1215243970/solver-1087443-1215243970 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1087443-1215243970.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.92 1.98 1.99 4/72 28880
/proc/meminfo: memFree=1850464/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=18572 CPUtime=0
/proc/28880/stat : 28880 (runsolver) R 28878 28880 27254 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2003369852 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 264840473895 0 0 4096 24578 0 0 0 17 1 0 0
/proc/28880/statm: 4643 292 257 25 0 2626 0
[startup+0.0546419 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28880
/proc/meminfo: memFree=1850464/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101646 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28880
/proc/meminfo: memFree=1850464/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301669 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28880
/proc/meminfo: memFree=1850464/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701708 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 28880
/proc/meminfo: memFree=1850464/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50178 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 28884
/proc/meminfo: memFree=1813648/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
[pid=28884] ppid=28880 vsize=74132 CPUtime=1.47
/proc/28884/stat : 28884 (xsolve) R 28880 28880 27254 0 -1 4194304 9612 0 0 0 142 5 0 0 25 0 1 0 2003369853 75911168 9505 996147200 134512640 135239763 4294956176 18446744073709551615 134532191 0 0 4096 0 0 0 0 17 1 0 0
/proc/28884/statm: 18533 9505 416 177 0 17436 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 79492
[startup+3.10295 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 28884
/proc/meminfo: memFree=1812624/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
[pid=28884] ppid=28880 vsize=74132 CPUtime=3.05
/proc/28884/stat : 28884 (xsolve) R 28880 28880 27254 0 -1 4194304 9612 0 0 0 300 5 0 0 25 0 1 0 2003369853 75911168 9505 996147200 134512640 135239763 4294956176 18446744073709551615 134534766 0 0 4096 0 0 0 0 17 1 0 0
/proc/28884/statm: 18533 9505 416 177 0 17436 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 79492
[startup+6.30127 s]
/proc/loadavg: 2.09 2.02 2.01 3/74 28884
/proc/meminfo: memFree=1813640/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
[pid=28884] ppid=28880 vsize=74132 CPUtime=6.22
/proc/28884/stat : 28884 (xsolve) R 28880 28880 27254 0 -1 4194304 9613 0 0 0 617 5 0 0 25 0 1 0 2003369853 75911168 9506 996147200 134512640 135239763 4294956176 18446744073709551615 134543120 0 0 4096 0 0 0 0 17 1 0 0
/proc/28884/statm: 18533 9506 417 177 0 17436 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 79492
[startup+12.7019 s]
/proc/loadavg: 2.08 2.02 2.00 3/74 28884
/proc/meminfo: memFree=1813576/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=0
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2003369852 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 236 195 169 0 51 0
[pid=28884] ppid=28880 vsize=74132 CPUtime=12.57
/proc/28884/stat : 28884 (xsolve) R 28880 28880 27254 0 -1 4194304 9613 0 0 0 1252 5 0 0 25 0 1 0 2003369853 75911168 9506 996147200 134512640 135239763 4294956176 18446744073709551615 134532177 0 0 4096 0 0 0 0 17 1 0 0
/proc/28884/statm: 18533 9506 417 177 0 17436 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 79492
[startup+25.5023 s]
/proc/loadavg: 2.06 2.01 2.00 3/82 28896
/proc/meminfo: memFree=1830480/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=20.99
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 375 10221 0 0 0 0 2093 6 18 0 1 0 2003369852 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 238 196 169 0 51 0
[pid=28888] ppid=28880 vsize=197104 CPUtime=4.26
/proc/28888/stat : 28888 (java) S 28880 28880 27254 0 -1 0 9237 0 1 0 413 13 0 0 18 0 9 0 2003371970 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28888/statm: 49276 7656 2540 9 0 43859 0
[pid=28888/tid=28889] ppid=28880 vsize=197104 CPUtime=3.35
/proc/28888/task/28889/stat : 28889 (java) R 28880 28880 27254 0 -1 64 3422 0 1 0 331 4 0 0 25 0 9 0 2003371971 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4126439892 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28890] ppid=28880 vsize=197104 CPUtime=0.71
/proc/28888/task/28890/stat : 28890 (java) S 28880 28880 27254 0 -1 64 4461 0 0 0 64 7 0 0 16 0 9 0 2003371972 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28880 vsize=197104 CPUtime=0
/proc/28888/task/28891/stat : 28891 (java) S 28880 28880 27254 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2003371973 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28892] ppid=28880 vsize=197104 CPUtime=0
/proc/28888/task/28892/stat : 28892 (java) S 28880 28880 27254 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003371973 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28880 vsize=197104 CPUtime=0
/proc/28888/task/28893/stat : 28893 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003371975 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28880 vsize=197104 CPUtime=0.17
/proc/28888/task/28894/stat : 28894 (java) S 28880 28880 27254 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 2003371975 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28895] ppid=28880 vsize=197104 CPUtime=0
/proc/28888/task/28895/stat : 28895 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003371975 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28880 vsize=197104 CPUtime=0
/proc/28888/task/28896/stat : 28896 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003371975 201834496 7656 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 202464
Solver just ended. Dumping a history of the last processes samples
[startup+38.3026 s]
/proc/loadavg: 2.11 2.03 2.01 3/94 28908
/proc/meminfo: memFree=1751152/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=20.99
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 375 10221 0 0 0 0 2093 6 18 0 1 0 2003369852 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 238 196 169 0 51 0
[pid=28888] ppid=28880 vsize=197428 CPUtime=6.43
/proc/28888/stat : 28888 (java) S 28880 28880 27254 0 -1 0 14013 0 1 0 623 20 0 0 18 0 10 0 2003371970 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28888/statm: 49357 9529 2543 9 0 43940 0
[pid=28898] ppid=28888 vsize=5356 CPUtime=0
/proc/28898/stat : 28898 (abscon) S 28888 28880 27254 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003372624 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28898/statm: 1339 235 194 169 0 50 0
[pid=28899] ppid=28898 vsize=655728 CPUtime=10.53
/proc/28899/stat : 28899 (java) S 28898 28880 27254 0 -1 0 19918 0 1 0 1039 14 0 0 18 0 9 0 2003372625 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28899/statm: 163932 19419 2008 9 0 158460 0
[pid=28899/tid=28901] ppid=28898 vsize=655728 CPUtime=10.16
/proc/28899/task/28901/stat : 28901 (java) R 28898 28880 27254 0 -1 64 12454 0 1 0 1006 10 0 0 25 0 9 0 2003372626 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4126906953 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28902] ppid=28898 vsize=655728 CPUtime=0.12
/proc/28899/task/28902/stat : 28902 (java) S 28898 28880 27254 0 -1 64 6258 0 0 0 9 3 0 0 16 0 9 0 2003372627 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28903] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28903/stat : 28903 (java) S 28898 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003372627 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28904] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28904/stat : 28904 (java) S 28898 28880 27254 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003372627 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28905] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28905/stat : 28905 (java) S 28898 28880 27254 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003372629 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28906] ppid=28898 vsize=655728 CPUtime=0.23
/proc/28899/task/28906/stat : 28906 (java) S 28898 28880 27254 0 -1 64 661 0 0 0 23 0 0 0 15 0 9 0 2003372629 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28907] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28907/stat : 28907 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003372629 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28908] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28908/stat : 28908 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003372629 671465472 19419 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28900] ppid=28898 vsize=7044 CPUtime=0
/proc/28900/stat : 28900 (translate) S 28898 28880 27254 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003372625 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28900/statm: 1761 213 182 1 0 41 0
[pid=28888/tid=28889] ppid=28880 vsize=197428 CPUtime=5.02
/proc/28888/task/28889/stat : 28889 (java) S 28880 28880 27254 0 -1 64 3965 0 1 0 496 6 0 0 25 0 10 0 2003371971 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28888/tid=28890] ppid=28880 vsize=197428 CPUtime=1.16
/proc/28888/task/28890/stat : 28890 (java) S 28880 28880 27254 0 -1 64 8593 0 0 0 105 11 0 0 16 0 10 0 2003371972 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28891/stat : 28891 (java) S 28880 28880 27254 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28892] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28892/stat : 28892 (java) S 28880 28880 27254 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28893/stat : 28893 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28880 vsize=197428 CPUtime=0.2
/proc/28888/task/28894/stat : 28894 (java) S 28880 28880 27254 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28895] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28895/stat : 28895 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28896/stat : 28896 (java) S 28880 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28897] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28897/stat : 28897 (java) S 28880 28880 27254 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2003372624 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.95
Current children cumulated vsize (KiB) 870916
[startup+44.7032 s]
/proc/loadavg: 2.11 2.03 2.01 3/94 28908
/proc/meminfo: memFree=1746928/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=20.99
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 375 10221 0 0 0 0 2093 6 18 0 1 0 2003369852 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 238 196 169 0 51 0
[pid=28888] ppid=28880 vsize=197428 CPUtime=6.43
/proc/28888/stat : 28888 (java) S 28880 28880 27254 0 -1 0 14013 0 1 0 623 20 0 0 18 0 10 0 2003371970 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28888/statm: 49357 9529 2543 9 0 43940 0
[pid=28898] ppid=28888 vsize=5356 CPUtime=0
/proc/28898/stat : 28898 (abscon) S 28888 28880 27254 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003372624 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
[pid=28888/tid=28895] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28895/stat : 28895 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28896/stat : 28896 (java) R 28880 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28897] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28897/stat : 28897 (java) S 28880 28880 27254 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2003372624 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.55
Current children cumulated vsize (KiB) 870916
[startup+49.5077 s]
/proc/loadavg: 2.10 2.03 2.01 4/94 28908
/proc/meminfo: memFree=1743408/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=20.99
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 375 10221 0 0 0 0 2093 6 18 0 1 0 2003369852 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 238 196 169 0 51 0
[pid=28888] ppid=28880 vsize=197428 CPUtime=6.43
/proc/28888/stat : 28888 (java) S 28880 28880 27254 0 -1 0 14013 0 1 0 623 20 0 0 18 0 10 0 2003371970 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28888/statm: 49357 9529 2543 9 0 43940 0
[pid=28898] ppid=28888 vsize=5356 CPUtime=0
/proc/28898/stat : 28898 (abscon) S 28888 28880 27254 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003372624 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28898/statm: 1339 235 194 169 0 50 0
[pid=28899] ppid=28898 vsize=655728 CPUtime=21.74
/proc/28899/stat : 28899 (java) S 28898 28880 27254 0 -1 0 22021 0 1 0 2153 21 0 0 18 0 9 0 2003372625 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28899/statm: 163932 21458 2066 9 0 158460 0
[pid=28899/tid=28901] ppid=28898 vsize=655728 CPUtime=21.12
/proc/28899/task/28901/stat : 28901 (java) R 28898 28880 27254 0 -1 64 12489 0 1 0 2097 15 0 0 25 0 9 0 2003372626 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28902] ppid=28898 vsize=655728 CPUtime=0.31
/proc/28899/task/28902/stat : 28902 (java) R 28898 28880 27254 0 -1 64 8292 0 0 0 27 4 0 0 16 0 9 0 2003372627 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 103736199 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28903] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28903/stat : 28903 (java) S 28898 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003372627 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28904] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28904/stat : 28904 (java) S 28898 28880 27254 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2003372627 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28905] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28905/stat : 28905 (java) S 28898 28880 27254 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003372629 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28906] ppid=28898 vsize=655728 CPUtime=0.28
/proc/28899/task/28906/stat : 28906 (java) S 28898 28880 27254 0 -1 64 695 0 0 0 28 0 0 0 16 0 9 0 2003372629 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28907] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28907/stat : 28907 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003372629 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28908] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28908/stat : 28908 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003372629 671465472 21458 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28900] ppid=28898 vsize=7044 CPUtime=0
/proc/28900/stat : 28900 (translate) S 28898 28880 27254 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 2003372625 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28900/statm: 1761 213 182 1 0 41 0
[pid=28888/tid=28889] ppid=28880 vsize=197428 CPUtime=5.02
/proc/28888/task/28889/stat : 28889 (java) S 28880 28880 27254 0 -1 64 3965 0 1 0 496 6 0 0 25 0 10 0 2003371971 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28888/tid=28890] ppid=28880 vsize=197428 CPUtime=1.16
/proc/28888/task/28890/stat : 28890 (java) S 28880 28880 27254 0 -1 64 8593 0 0 0 105 11 0 0 16 0 10 0 2003371972 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28891/stat : 28891 (java) S 28880 28880 27254 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28892] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28892/stat : 28892 (java) S 28880 28880 27254 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28893/stat : 28893 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28880 vsize=197428 CPUtime=0.2
/proc/28888/task/28894/stat : 28894 (java) S 28880 28880 27254 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28895] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28895/stat : 28895 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28896/stat : 28896 (java) S 28880 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28897] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28897/stat : 28897 (java) S 28880 28880 27254 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2003372624 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.16
Current children cumulated vsize (KiB) 870916
[startup+49.9028 s]
/proc/loadavg: 2.10 2.03 2.01 4/94 28908
/proc/meminfo: memFree=1743408/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=20.99
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 375 10221 0 0 0 0 2093 6 18 0 1 0 2003369852 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 238 196 169 0 51 0
[pid=28888] ppid=28880 vsize=197428 CPUtime=6.43
/proc/28888/stat : 28888 (java) S 28880 28880 27254 0 -1 0 14013 0 1 0 623 20 0 0 18 0 10 0 2003371970 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28888/statm: 49357 9529 2543 9 0 43940 0
[pid=28898] ppid=28888 vsize=5356 CPUtime=0
/proc/28898/stat : 28898 (abscon) S 28888 28880 27254 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 2003372624 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/28898/statm: 1339 235 194 169 0 50 0
[pid=28899] ppid=28898 vsize=655728 CPUtime=22.13
/proc/28899/stat : 28899 (java) S 28898 28880 27254 0 -1 0 25717 0 1 0 2190 23 0 0 18 0 9 0 2003372625 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28899/statm: 163932 25007 2616 9 0 158460 0
[pid=28899/tid=28901] ppid=28898 vsize=655728 CPUtime=21.31
/proc/28899/task/28901/stat : 28901 (java) R 28898 28880 27254 0 -1 64 12535 0 1 0 2115 16 0 0 25 0 9 0 2003372626 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 104523928 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28902] ppid=28898 vsize=655728 CPUtime=0.47
/proc/28899/task/28902/stat : 28902 (java) S 28898 28880 27254 0 -1 64 11910 0 0 0 42 5 0 0 16 0 9 0 2003372627 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28903] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28903/stat : 28903 (java) S 28898 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003372627 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28904] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28904/stat : 28904 (java) S 28898 28880 27254 0 -1 64 18 0 0 0 0 0 0 0 15 0 9 0 2003372627 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28905] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28905/stat : 28905 (java) S 28898 28880 27254 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003372629 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28906] ppid=28898 vsize=655728 CPUtime=0.31
/proc/28899/task/28906/stat : 28906 (java) S 28898 28880 27254 0 -1 64 714 0 0 0 31 0 0 0 15 0 9 0 2003372629 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28907] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28907/stat : 28907 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003372629 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28908] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28908/stat : 28908 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003372629 671465472 25007 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28900] ppid=28898 vsize=7044 CPUtime=0
/proc/28900/stat : 28900 (translate) S 28898 28880 27254 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 2003372625 7213056 213 996147200 4194304 4199737 548682068624 18446744073709551615 264840642642 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/28900/statm: 1761 213 182 1 0 41 0
[pid=28888/tid=28889] ppid=28880 vsize=197428 CPUtime=5.02
/proc/28888/task/28889/stat : 28889 (java) S 28880 28880 27254 0 -1 64 3965 0 1 0 496 6 0 0 25 0 10 0 2003371971 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=28888/tid=28890] ppid=28880 vsize=197428 CPUtime=1.16
/proc/28888/task/28890/stat : 28890 (java) S 28880 28880 27254 0 -1 64 8593 0 0 0 105 11 0 0 16 0 10 0 2003371972 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28891/stat : 28891 (java) S 28880 28880 27254 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28892] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28892/stat : 28892 (java) S 28880 28880 27254 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28893/stat : 28893 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28880 vsize=197428 CPUtime=0.2
/proc/28888/task/28894/stat : 28894 (java) S 28880 28880 27254 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28895] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28895/stat : 28895 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28896/stat : 28896 (java) S 28880 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28897] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28897/stat : 28897 (java) S 28880 28880 27254 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2003372624 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.55
Current children cumulated vsize (KiB) 870916
[startup+50.3028 s]
/proc/loadavg: 2.10 2.03 2.01 4/94 28908
/proc/meminfo: memFree=1743408/2055920 swapFree=4180396/4192956
[pid=28880] ppid=28878 vsize=5360 CPUtime=20.99
/proc/28880/stat : 28880 (hydra) S 28878 28880 27254 0 -1 4194304 375 10221 0 0 0 0 2093 6 18 0 1 0 2003369852 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 264840471364 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/28880/statm: 1340 238 196 169 0 51 0
[pid=28888] ppid=28880 vsize=197428 CPUtime=6.43
/proc/28888/stat : 28888 (java) S 28880 28880 27254 0 -1 0 14016 0 1 0 623 20 0 0 18 0 10 0 2003371970 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28888/statm: 49357 9529 2543 9 0 43940 0
[pid=28898] ppid=28888 vsize=5356 CPUtime=0
/proc/28898/stat : 28898 (abscon) S 28888 28880 27254 0 -1 4194304 303 288 0 0 0 0 0 0 16 0 1 0 2003372624 5484544 235 996147200 4194304 4889804 548682068592 18446744073709551615 264840471364 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/28898/statm: 1339 235 194 169 0 50 0
[pid=28899] ppid=28898 vsize=655728 CPUtime=22.51
/proc/28899/stat : 28899 (java) S 28898 28880 27254 0 -1 0 25756 0 1 0 2228 23 0 0 18 0 9 0 2003372625 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28899/statm: 163932 25045 2617 9 0 158460 0
[pid=28899/tid=28901] ppid=28898 vsize=655728 CPUtime=21.66
/proc/28899/task/28901/stat : 28901 (java) S 28898 28880 27254 0 -1 64 12555 0 1 0 2150 16 0 0 25 0 9 0 2003372626 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28902] ppid=28898 vsize=655728 CPUtime=0.47
/proc/28899/task/28902/stat : 28902 (java) S 28898 28880 27254 0 -1 64 11910 0 0 0 42 5 0 0 16 0 9 0 2003372627 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28903] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28903/stat : 28903 (java) S 28898 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003372627 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28904] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28904/stat : 28904 (java) S 28898 28880 27254 0 -1 64 18 0 0 0 0 0 0 0 15 0 9 0 2003372627 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28905] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28905/stat : 28905 (java) S 28898 28880 27254 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 2003372629 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28906] ppid=28898 vsize=655728 CPUtime=0.35
/proc/28899/task/28906/stat : 28906 (java) S 28898 28880 27254 0 -1 64 733 0 0 0 35 0 0 0 15 0 9 0 2003372629 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28907] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28907/stat : 28907 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 2003372629 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28899/tid=28908] ppid=28898 vsize=655728 CPUtime=0
/proc/28899/task/28908/stat : 28908 (java) S 28898 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2003372629 671465472 25045 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28889] ppid=28880 vsize=197428 CPUtime=5.02
/proc/28888/task/28889/stat : 28889 (java) S 28880 28880 27254 0 -1 64 3968 0 1 0 496 6 0 0 16 0 10 0 2003371971 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=28888/tid=28890] ppid=28880 vsize=197428 CPUtime=1.16
/proc/28888/task/28890/stat : 28890 (java) S 28880 28880 27254 0 -1 64 8593 0 0 0 105 11 0 0 16 0 10 0 2003371972 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28891/stat : 28891 (java) S 28880 28880 27254 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28892] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28892/stat : 28892 (java) S 28880 28880 27254 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2003371973 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28893/stat : 28893 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28880 vsize=197428 CPUtime=0.2
/proc/28888/task/28894/stat : 28894 (java) S 28880 28880 27254 0 -1 64 646 0 0 0 20 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28895] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28895/stat : 28895 (java) S 28880 28880 27254 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28896/stat : 28896 (java) S 28880 28880 27254 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 2003371975 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28897] ppid=28880 vsize=197428 CPUtime=0
/proc/28888/task/28897/stat : 28897 (java) S 28880 28880 27254 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 2003372624 202166272 9529 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (KiB) 863872
Child status: 0
Real time (s): 50.3541
CPU time (s): 49.9994
CPU user time (s): 49.4545
CPU system time (s): 0.544917
CPU usage (%): 99.2957
Max. virtual memory (cumulated for all children) (KiB): 870916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.4545
system time used= 0.544917
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 51089
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= 11828
involuntary context switches= 13278
runsolver used 0.179972 second user time and 0.304953 second system time
The end