0.00/0.00 c cpHydra_k_10 version 0.0
6.79/7.10 c CASE TO CLASSIFY:
6.79/7.10 c Case: 0
6.89/7.10 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.724300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.474600 | c 14 > 13.466700 | c 11 > 8.038920 | c 12 > 11.789100 | c 21 > 3.337300 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.321900 | 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 > 10.204600 | c 31 > -1.000000 | c 4 > 8.038920 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.89/7.11 c choco : 1801.0
6.89/7.11 c mistral : 1801.0
6.89/7.11 c abscon : 1801.0
6.89/7.11 c
6.89/7.11 c
6.89/7.18 c List of same ones: 10
6.89/7.18 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-25/qcp-25-264-3_ext.xml
6.89/7.18 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.509300 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.208800 | c 14 > 13.296800 | c 11 > 8.027910 | c 12 > 11.467300 | c 21 > 3.337300 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.301500 | 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 > 10.179900 | c 31 > -1.000000 | c 4 > 8.027910 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.89/7.19 c choco : 373.6
6.89/7.19 c mistral : 1800.04
6.89/7.19 c abscon : 1800.02
6.89/7.19 c
6.89/7.19 c
6.89/7.19 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-6_ext.xml
6.89/7.19 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.539900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.207000 | c 14 > 13.388300 | c 11 > 7.539160 | c 12 > 11.691100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.633900 | 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 > 9.668880 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.89/7.20 c choco : 10.43
6.89/7.20 c mistral : 141.615
6.89/7.20 c abscon : 373.165
6.89/7.20 c
6.89/7.20 c
6.89/7.20 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-8_ext.xml
6.89/7.20 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.625500 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.844100 | c 14 > 13.151000 | c 11 > 7.546890 | c 12 > 10.952100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.647500 | 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 > 9.714250 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.21 c choco : 13.14
6.98/7.21 c mistral : 111.164
6.98/7.21 c abscon : 90.4513
6.98/7.21 c
6.98/7.21 c
6.98/7.21 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-0_ext.xml
6.98/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.461000 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.525900 | c 14 > 12.725600 | c 11 > 7.546890 | c 12 > 10.964100 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.647500 | 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 > 9.693490 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.21 c choco : 9.89
6.98/7.21 c mistral : 47.8837
6.98/7.21 c abscon : 83.9172
6.98/7.21 c
6.98/7.21 c
6.98/7.21 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-1_ext.xml
6.98/7.21 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.514700 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.111600 | c 14 > 13.089100 | c 11 > 7.546890 | c 12 > 10.653900 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.649300 | 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 > 9.724510 | c 31 > -1.000000 | c 4 > 7.546890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.22 c choco : 2.04
6.98/7.22 c mistral : 3.37
6.98/7.22 c abscon : 10.3474
6.98/7.22 c
6.98/7.22 c
6.98/7.22 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-0_ext.xml
6.98/7.22 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.056900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.834800 | c 14 > 13.928800 | c 11 > 6.906890 | c 12 > 11.801700 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.766530 | 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 > 9.052570 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.23 c choco : 1.71
6.98/7.23 c mistral : 0.294955
6.98/7.23 c abscon : 1.3438
6.98/7.23 c
6.98/7.23 c
6.98/7.23 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-9_ext.xml
6.98/7.23 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.896900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 12.197100 | c 14 > 13.726400 | c 11 > 6.906890 | c 12 > 12.021500 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.763210 | 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 > 8.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.24 c choco : 2.18
6.98/7.24 c mistral : 3.68944
6.98/7.24 c abscon : 6.576
6.98/7.24 c
6.98/7.24 c
6.98/7.24 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-15/qcp-15-120-6_ext.xml
6.98/7.24 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.093200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.831100 | c 14 > 13.897600 | c 11 > 6.906890 | c 12 > 11.922100 | c 21 > 2.909750 | c 20 > 0.000000 | c 22 > 3.872980 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.763210 | 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 > 8.971540 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.25 c choco : 1.98
6.98/7.25 c mistral : 0.888864
6.98/7.25 c abscon : 1.51277
6.98/7.25 c
6.98/7.25 c
6.98/7.25 c /home/eomahony/cpZilla/CSP/qcp-qwh/QWH-25/qwh-25-235-6_ext.xml
6.98/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.140800 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 11.010400 | c 14 > 12.420700 | c 11 > 7.864190 | c 12 > 9.944360 | c 21 > 3.166070 | c 20 > 0.000000 | c 22 > 5.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.962200 | 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 > 9.881110 | c 31 > -1.000000 | c 4 > 7.864190 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.25 c choco : 25.44
6.98/7.25 c mistral : 1800.02
6.98/7.25 c abscon : 1800.04
6.98/7.25 c
6.98/7.25 c
6.98/7.25 c /home/eomahony/cpZilla/CSP/qcp-qwh/QCP-20/qcp-20-187-2_ext.xml
6.98/7.25 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.560200 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.780500 | c 14 > 12.765100 | c 11 > 7.546890 | c 12 > 10.302000 | c 21 > 3.143640 | c 20 > 0.000000 | c 22 > 4.472140 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 10.000000 | c 27 > 0.000000 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 10.647500 | c 1 > 0.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.665340 | c 31 > -1.000000 | c 4 > 7.539160 | c 9 > -1.000000 | c 8 > -1.000000 | c
6.98/7.26 c choco : 33.57
6.98/7.26 c mistral : 1800.04
6.98/7.26 c abscon : 1800.1
6.98/7.26 c
6.98/7.26 c
7.17/7.45 c Length: 10
7.17/7.45 c 1.4659347121205635 1.8790859716362094 1.9750222984817154 2.289582712875863 2.4970715939075503 2.971660790282094 2.9747200312634456 2.996940385526545 3.0778151806760587 3.079354356240931
7.17/7.45 c
7.17/7.45 c 1.0 0.7961328376054436 0.7601480084260263 0.6620331805368004 0.610090814211959 0.5172633111030238 0.5167564791883689 0.5131047747031912 0.5002386096659381 0.5
7.17/7.45 c
7.17/7.45 c solver 0
7.17/7.45 c before 0.0 seconds: {} 0
7.17/7.45 c before 18.0 seconds: {4, 5, 6, 7} 2157
7.17/7.45 c before 90.0 seconds: {3, 4, 5, 6, 7} 2819
7.17/7.45 c before 108.0 seconds: {2, 3, 4, 5, 6, 7} 3579
7.17/7.45 c before 378.0 seconds: {1, 2, 3, 4, 5, 6, 7} 4375
7.17/7.45 c
7.17/7.45 c solver 1
7.17/7.45 c before 0.0 seconds: {} 0
7.17/7.45 c before 18.0 seconds: {4, 5, 6, 7} 2157
7.17/7.45 c before 54.0 seconds: {3, 4, 5, 6, 7} 2819
7.17/7.45 c before 126.0 seconds: {2, 3, 4, 5, 6, 7} 3579
7.17/7.45 c before 144.0 seconds: {1, 2, 3, 4, 5, 6, 7} 4375
7.17/7.45 c
7.17/7.45 c solver 2
7.17/7.45 c before 0.0 seconds: {} 0
7.17/7.45 c before 18.0 seconds: {1, 2, 3, 4, 5, 6, 7} 4375
7.17/7.45 c before 36.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 5375
7.17/7.45 c before 378.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6375
7.17/7.45 c
7.17/7.45 cTotal time: 50
7.17/7.45 c 900.0 seconds unused
7.17/7.45 c 0 c 0 c 0
7.17/7.45 c 0 c 0 c 0
7.17/7.45 c 3 c 3 c 0
7.17/7.45 c is solver0 dominated by:
7.17/7.45 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: true) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.17/7.45 c is dominated? true
7.17/7.45 c
7.17/7.45 c is solver1 dominated by:
7.17/7.45 c solver 0 (1 solves instances that 0 can't: false) (0 doesn't solve instances that 1 can't: true) (1 is faster than 0: true) (1 is equally as fast as 0: false) (1 < 0: true)
7.17/7.45 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: false) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
7.17/7.45 c is dominated? true
7.17/7.45 c
7.17/7.46 c is solver2 dominated by:
7.17/7.46 c solver 0 (2 solves instances that 0 can't: true) (0 doesn't solve instances that 2 can't: true) (2 is faster than 0: false) (2 is equally as fast as 0: true) (2 < 0: true)
7.17/7.46 c solver 1 (2 solves instances that 1 can't: true) (1 doesn't solve instances that 2 can't: true) (2 is faster than 1: false) (2 is equally as fast as 1: false) (2 < 1: true)
7.17/7.46 c is dominated? false
7.17/7.46 c
7.17/7.46 c Number of non-dominated solvers: 1
7.17/7.46 c remove dominated solvers
7.17/7.46 c solver 2 is not dominated by another solver
7.17/7.46 c solver 1 is dominated by another solver
7.17/7.46 c solver 0 is dominated by another solver
7.17/7.46 c
7.17/7.46 c solver 0: 0.0
7.17/7.46 c
7.17/7.46 c solver 1: 0.0
7.17/7.46 c
7.17/7.46 c solver 2: 378.0
7.17/7.46 c
7.17/7.46 c+ 21/21 of 79
7.17/7.46 c do not run abscon
7.17/7.46 c do not run mistral
7.17/7.46 c run choco for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6375
7.17/7.46 c Starting solver: HOME/cpHydra_k_10/solver/choco
7.17/7.46 c On Instance: HOME/instance-1045535-1215022980.xml
7.17/7.46 c Running for: 1800 seconds
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1045535-1215022980/watcher-1045535-1215022980 -o /tmp/evaluation-result-1045535-1215022980/solver-1045535-1215022980 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1045535-1215022980.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.74 2.28 2.07 4/92 13481
/proc/meminfo: memFree=805956/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=0
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 658025412 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13481/statm: 1340 236 195 169 0 51 0
[pid=13482] ppid=13481 vsize=5360 CPUtime=0
/proc/13482/stat : 13482 (hydra) R 13481 13481 12806 0 -1 4194368 22 0 0 0 0 0 0 0 19 0 1 0 658025412 5488640 239 996147200 4194304 4889804 548682068816 18446744073709551615 256364834087 0 0 4096 0 0 0 0 17 1 0 0
/proc/13482/statm: 1340 239 198 169 0 51 0
[startup+0.0207029 s]
/proc/loadavg: 2.74 2.28 2.07 4/92 13481
/proc/meminfo: memFree=805956/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=0
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658025412 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101713 s]
/proc/loadavg: 2.74 2.28 2.07 4/92 13481
/proc/meminfo: memFree=805956/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=0
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658025412 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301736 s]
/proc/loadavg: 2.74 2.28 2.07 4/92 13481
/proc/meminfo: memFree=805956/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=0
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658025412 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701776 s]
/proc/loadavg: 2.74 2.28 2.07 4/92 13481
/proc/meminfo: memFree=805956/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=0
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658025412 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50185 s]
/proc/loadavg: 2.74 2.28 2.07 4/94 13485
/proc/meminfo: memFree=801388/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=0
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 658025412 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 236 195 169 0 51 0
[pid=13485] ppid=13481 vsize=8780 CPUtime=1.31
/proc/13485/stat : 13485 (xsolve) R 13481 13481 12806 0 -1 4194304 1651 0 0 0 130 1 0 0 25 0 1 0 658025413 8990720 1499 996147200 134512640 135239763 4294956176 18446744073709551615 135096142 0 0 4096 0 0 0 0 17 1 0 0
/proc/13485/statm: 2195 1499 423 177 0 1098 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 14140
[startup+3.10203 s]
/proc/loadavg: 2.74 2.28 2.07 3/102 13497
/proc/meminfo: memFree=797932/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=1.68
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 375 2247 0 0 0 0 166 2 19 0 1 0 658025412 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 238 196 169 0 51 0
[pid=13489] ppid=13481 vsize=196984 CPUtime=1.21
/proc/13489/stat : 13489 (java) S 13481 13481 12806 0 -1 0 4988 0 1 0 117 4 0 0 20 0 9 0 658025600 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13489/statm: 49246 4186 1678 9 0 43829 0
[pid=13489/tid=13490] ppid=13481 vsize=196984 CPUtime=0.91
/proc/13489/task/13490/stat : 13490 (java) R 13481 13481 12806 0 -1 64 2726 0 1 0 90 1 0 0 25 0 9 0 658025601 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4126375040 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13491] ppid=13481 vsize=196984 CPUtime=0.12
/proc/13489/task/13491/stat : 13491 (java) S 13481 13481 12806 0 -1 64 925 0 0 0 11 1 0 0 16 0 9 0 658025602 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13492] ppid=13481 vsize=196984 CPUtime=0
/proc/13489/task/13492/stat : 13492 (java) S 13481 13481 12806 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 658025602 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13493] ppid=13481 vsize=196984 CPUtime=0
/proc/13489/task/13493/stat : 13493 (java) S 13481 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658025602 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13494] ppid=13481 vsize=196984 CPUtime=0
/proc/13489/task/13494/stat : 13494 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658025604 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13495] ppid=13481 vsize=196984 CPUtime=0.14
/proc/13489/task/13495/stat : 13495 (java) S 13481 13481 12806 0 -1 64 612 0 0 0 14 0 0 0 16 0 9 0 658025604 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13496] ppid=13481 vsize=196984 CPUtime=0
/proc/13489/task/13496/stat : 13496 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658025604 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13497] ppid=13481 vsize=196984 CPUtime=0
/proc/13489/task/13497/stat : 13497 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658025604 201711616 4186 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 202344
[startup+6.30136 s]
/proc/loadavg: 2.92 2.32 2.09 3/102 13497
/proc/meminfo: memFree=783916/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=1.68
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 375 2247 0 0 0 0 166 2 19 0 1 0 658025412 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 238 196 169 0 51 0
[pid=13489] ppid=13481 vsize=197092 CPUtime=4.41
/proc/13489/stat : 13489 (java) S 13481 13481 12806 0 -1 0 10173 0 1 0 429 12 0 0 20 0 9 0 658025600 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13489/statm: 49273 8434 2540 9 0 43856 0
[pid=13489/tid=13490] ppid=13481 vsize=197092 CPUtime=3.47
/proc/13489/task/13490/stat : 13490 (java) R 13481 13481 12806 0 -1 64 3579 0 1 0 343 4 0 0 25 0 9 0 658025601 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4126469168 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13491] ppid=13481 vsize=197092 CPUtime=0.75
/proc/13489/task/13491/stat : 13491 (java) S 13481 13481 12806 0 -1 64 5241 0 0 0 68 7 0 0 16 0 9 0 658025602 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13492] ppid=13481 vsize=197092 CPUtime=0
/proc/13489/task/13492/stat : 13492 (java) S 13481 13481 12806 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 658025602 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13493] ppid=13481 vsize=197092 CPUtime=0
/proc/13489/task/13493/stat : 13493 (java) S 13481 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658025602 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13494] ppid=13481 vsize=197092 CPUtime=0
/proc/13489/task/13494/stat : 13494 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658025604 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13495] ppid=13481 vsize=197092 CPUtime=0.17
/proc/13489/task/13495/stat : 13495 (java) S 13481 13481 12806 0 -1 64 628 0 0 0 17 0 0 0 16 0 9 0 658025604 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13496] ppid=13481 vsize=197092 CPUtime=0
/proc/13489/task/13496/stat : 13496 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658025604 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13497] ppid=13481 vsize=197092 CPUtime=0
/proc/13489/task/13497/stat : 13497 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 658025604 201822208 8434 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 202452
[startup+12.703 s]
/proc/loadavg: 3.00 2.35 2.10 3/113 13508
/proc/meminfo: memFree=715028/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=1.68
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 375 2247 0 0 0 0 166 2 19 0 1 0 658025412 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 238 196 169 0 51 0
[pid=13489] ppid=13481 vsize=197416 CPUtime=5.55
/proc/13489/stat : 13489 (java) S 13481 13481 12806 0 -1 0 13867 0 1 0 540 15 0 0 20 0 10 0 658025600 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13489/statm: 49354 9389 2543 9 0 43937 0
[pid=13499] ppid=13489 vsize=5356 CPUtime=0
/proc/13499/stat : 13499 (choco) S 13489 13481 12806 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 658026159 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13499/statm: 1339 238 197 169 0 50 0
[pid=13500] ppid=13499 vsize=655608 CPUtime=4.68
/proc/13500/stat : 13500 (java) S 13499 13481 12806 0 -1 0 17643 0 1 0 456 12 0 0 25 0 9 0 658026160 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13500/statm: 163902 17221 1910 9 0 158431 0
[pid=13500/tid=13501] ppid=13499 vsize=655608 CPUtime=4.24
/proc/13500/task/13501/stat : 13501 (java) R 13499 13481 12806 0 -1 64 12074 0 1 0 416 8 0 0 25 0 9 0 658026160 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4127010613 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13502] ppid=13499 vsize=655608 CPUtime=0.15
/proc/13500/task/13502/stat : 13502 (java) S 13499 13481 12806 0 -1 64 4391 0 0 0 13 2 0 0 16 0 9 0 658026162 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13503] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13503/stat : 13503 (java) S 13499 13481 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13504] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13504/stat : 13504 (java) S 13499 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13505] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13505/stat : 13505 (java) S 13499 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13506] ppid=13499 vsize=655608 CPUtime=0.26
/proc/13500/task/13506/stat : 13506 (java) S 13499 13481 12806 0 -1 64 631 0 0 0 26 0 0 0 15 0 9 0 658026227 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13507] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13507/stat : 13507 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13508] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13508/stat : 13508 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 658026227 671342592 17221 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13489/tid=13490] ppid=13481 vsize=197416 CPUtime=4.25
/proc/13489/task/13490/stat : 13490 (java) S 13481 13481 12806 0 -1 64 3852 0 1 0 421 4 0 0 25 0 10 0 658025601 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13489/tid=13491] ppid=13481 vsize=197416 CPUtime=1.07
/proc/13489/task/13491/stat : 13491 (java) S 13481 13481 12806 0 -1 64 8558 0 0 0 98 9 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13492] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13492/stat : 13492 (java) S 13481 13481 12806 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13493] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13493/stat : 13493 (java) S 13481 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13494] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13494/stat : 13494 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13495] ppid=13481 vsize=197416 CPUtime=0.2
/proc/13489/task/13495/stat : 13495 (java) S 13481 13481 12806 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13496] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13496/stat : 13496 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13497] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13497/stat : 13497 (java) S 13481 13481 12806 0 -1 64 16 0 0 0 0 0 0 0 15 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13498] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13498/stat : 13498 (java) S 13481 13481 12806 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 658026159 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 11.91
Current children cumulated vsize (KiB) 863740
[startup+25.5023 s]
/proc/loadavg: 3.23 2.42 2.12 3/113 13508
/proc/meminfo: memFree=714196/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=1.68
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 375 2247 0 0 0 0 166 2 19 0 1 0 658025412 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 238 196 169 0 51 0
[pid=13489] ppid=13481 vsize=197416 CPUtime=5.56
/proc/13489/stat : 13489 (java) S 13481 13481 12806 0 -1 0 13867 0 1 0 540 16 0 0 20 0 10 0 658025600 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13489/statm: 49354 9389 2543 9 0 43937 0
[pid=13499] ppid=13489 vsize=5356 CPUtime=0
/proc/13499/stat : 13499 (choco) S 13489 13481 12806 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 658026159 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13499/statm: 1339 238 197 169 0 50 0
[pid=13500] ppid=13499 vsize=655608 CPUtime=16.95
/proc/13500/stat : 13500 (java) S 13499 13481 12806 0 -1 0 17847 0 1 0 1682 13 0 0 25 0 9 0 658026160 671342592 17396 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13500/statm: 163902 17396 1910 9 0 158431 0
[pid=13500/tid=13501] ppid=13499 vsize=655608 CPUtime=16.46
/proc/13500/task/13501/stat : 13501 (java) R 13499 13481 12806 0 -1 64 12103 0 1 0 1637 9 0 0 25 0 9 0 658026160 671342592 17396 996147200 134512640 134550740 4294955936 18446744073709551615 4127008307 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13502] ppid=13499 vsize=655608 CPUtime=0.19
/proc/13500/task/13502/stat : 13502 (java) S 13499 13481 12806 0 -1 64 4563 0 0 0 17 2 0 0 16 0 9 0 658026162 671342592 17396 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13503] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13503/stat : 13503 (java) S 13499 13481 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17396 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/13489/statm: 49354 9389 2543 9 0 43937 0
[pid=13499] ppid=13489 vsize=5356 CPUtime=0
/proc/13499/stat : 13499 (choco) S 13489 13481 12806 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 658026159 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13499/statm: 1339 238 197 169 0 50 0
[pid=13500] ppid=13499 vsize=655608 CPUtime=1746.5
/proc/13500/stat : 13500 (java) S 13499 13481 12806 0 -1 0 22205 0 1 0 174567 83 0 0 25 0 9 0 658026160 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13500/statm: 163902 17427 1910 9 0 158431 0
[pid=13500/tid=13501] ppid=13499 vsize=655608 CPUtime=1742.97
/proc/13500/task/13501/stat : 13501 (java) R 13499 13481 12806 0 -1 64 16431 0 1 0 174247 50 0 0 25 0 9 0 658026160 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4126988318 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13502] ppid=13499 vsize=655608 CPUtime=3.19
/proc/13500/task/13502/stat : 13502 (java) S 13499 13481 12806 0 -1 64 4584 0 0 0 288 31 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13503] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13503/stat : 13503 (java) S 13499 13481 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13504] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13504/stat : 13504 (java) S 13499 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13505] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13505/stat : 13505 (java) S 13499 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13506] ppid=13499 vsize=655608 CPUtime=0.29
/proc/13500/task/13506/stat : 13506 (java) S 13499 13481 12806 0 -1 64 643 0 0 0 29 0 0 0 16 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13507] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13507/stat : 13507 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13508] ppid=13499 vsize=655608 CPUtime=0.02
/proc/13500/task/13508/stat : 13508 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 2 0 0 0 15 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13489/tid=13490] ppid=13481 vsize=197416 CPUtime=4.25
/proc/13489/task/13490/stat : 13490 (java) S 13481 13481 12806 0 -1 64 3852 0 1 0 421 4 0 0 25 0 10 0 658025601 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13489/tid=13491] ppid=13481 vsize=197416 CPUtime=1.07
/proc/13489/task/13491/stat : 13491 (java) S 13481 13481 12806 0 -1 64 8558 0 0 0 98 9 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13492] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13492/stat : 13492 (java) S 13481 13481 12806 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13493] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13493/stat : 13493 (java) S 13481 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13494] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13494/stat : 13494 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13495] ppid=13481 vsize=197416 CPUtime=0.2
/proc/13489/task/13495/stat : 13495 (java) S 13481 13481 12806 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13496] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13496/stat : 13496 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13497] ppid=13481 vsize=197416 CPUtime=0.04
/proc/13489/task/13497/stat : 13497 (java) S 13481 13481 12806 0 -1 64 16 0 0 0 2 2 0 0 15 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13498] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13498/stat : 13498 (java) S 13481 13481 12806 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 658026159 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1753.78
Current children cumulated vsize (KiB) 863740
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1829.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 13540
/proc/meminfo: memFree=724084/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=1.68
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 375 2247 0 0 0 0 166 2 19 0 1 0 658025412 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 238 196 169 0 51 0
[pid=13489] ppid=13481 vsize=197416 CPUtime=5.6
/proc/13489/stat : 13489 (java) S 13481 13481 12806 0 -1 0 13867 0 1 0 542 18 0 0 20 0 10 0 658025600 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13489/statm: 49354 9389 2543 9 0 43937 0
[pid=13499] ppid=13489 vsize=5356 CPUtime=0
/proc/13499/stat : 13499 (choco) S 13489 13481 12806 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 658026159 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13499/statm: 1339 238 197 169 0 50 0
[pid=13500] ppid=13499 vsize=655608 CPUtime=1792.74
/proc/13500/stat : 13500 (java) S 13499 13481 12806 0 -1 0 22319 0 1 0 179189 85 0 0 25 0 9 0 658026160 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13500/statm: 163902 17427 1910 9 0 158431 0
[pid=13500/tid=13501] ppid=13499 vsize=655608 CPUtime=1789.12
/proc/13500/task/13501/stat : 13501 (java) R 13499 13481 12806 0 -1 64 16545 0 1 0 178861 51 0 0 25 0 9 0 658026160 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4126988612 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13502] ppid=13499 vsize=655608 CPUtime=3.27
/proc/13500/task/13502/stat : 13502 (java) S 13499 13481 12806 0 -1 64 4584 0 0 0 296 31 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13503] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13503/stat : 13503 (java) S 13499 13481 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13504] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13504/stat : 13504 (java) S 13499 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13505] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13505/stat : 13505 (java) S 13499 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13506] ppid=13499 vsize=655608 CPUtime=0.29
/proc/13500/task/13506/stat : 13506 (java) S 13499 13481 12806 0 -1 64 643 0 0 0 29 0 0 0 16 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13507] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13507/stat : 13507 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13508] ppid=13499 vsize=655608 CPUtime=0.02
/proc/13500/task/13508/stat : 13508 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 2 0 0 0 15 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13489/tid=13490] ppid=13481 vsize=197416 CPUtime=4.25
/proc/13489/task/13490/stat : 13490 (java) S 13481 13481 12806 0 -1 64 3852 0 1 0 421 4 0 0 25 0 10 0 658025601 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13489/tid=13491] ppid=13481 vsize=197416 CPUtime=1.07
/proc/13489/task/13491/stat : 13491 (java) S 13481 13481 12806 0 -1 64 8558 0 0 0 98 9 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13492] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13492/stat : 13492 (java) S 13481 13481 12806 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13493] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13493/stat : 13493 (java) S 13481 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13494] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13494/stat : 13494 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13495] ppid=13481 vsize=197416 CPUtime=0.2
/proc/13489/task/13495/stat : 13495 (java) S 13481 13481 12806 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13496] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13496/stat : 13496 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13497] ppid=13481 vsize=197416 CPUtime=0.04
/proc/13489/task/13497/stat : 13497 (java) S 13481 13481 12806 0 -1 64 16 0 0 0 2 2 0 0 15 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13498] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13498/stat : 13498 (java) S 13481 13481 12806 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 658026159 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 863740
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1829.2 s]
/proc/loadavg: 2.04 2.01 2.00 3/93 13540
/proc/meminfo: memFree=724084/2055920 swapFree=4149808/4192956
[pid=13481] ppid=13479 vsize=5360 CPUtime=1.68
/proc/13481/stat : 13481 (hydra) S 13479 13481 12806 0 -1 4194304 375 2247 0 0 0 0 166 2 19 0 1 0 658025412 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 256364831556 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13481/statm: 1340 238 196 169 0 51 0
[pid=13489] ppid=13481 vsize=197416 CPUtime=5.6
/proc/13489/stat : 13489 (java) S 13481 13481 12806 0 -1 0 13867 0 1 0 542 18 0 0 20 0 10 0 658025600 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13489/statm: 49354 9389 2543 9 0 43937 0
[pid=13499] ppid=13489 vsize=5356 CPUtime=0
/proc/13499/stat : 13499 (choco) S 13489 13481 12806 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 658026159 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 256364831556 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/13499/statm: 1339 238 197 169 0 50 0
[pid=13500] ppid=13499 vsize=655608 CPUtime=1792.74
/proc/13500/stat : 13500 (java) S 13499 13481 12806 0 -1 0 22319 0 1 0 179189 85 0 0 25 0 9 0 658026160 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/13500/statm: 163902 17427 1910 9 0 158431 0
[pid=13500/tid=13501] ppid=13499 vsize=655608 CPUtime=1789.12
/proc/13500/task/13501/stat : 13501 (java) R 13499 13481 12806 0 -1 64 16545 0 1 0 178861 51 0 0 25 0 9 0 658026160 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4126988612 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13502] ppid=13499 vsize=655608 CPUtime=3.27
/proc/13500/task/13502/stat : 13502 (java) S 13499 13481 12806 0 -1 64 4584 0 0 0 296 31 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13503] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13503/stat : 13503 (java) S 13499 13481 12806 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13504] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13504/stat : 13504 (java) S 13499 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 658026162 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13505] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13505/stat : 13505 (java) S 13499 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13506] ppid=13499 vsize=655608 CPUtime=0.29
/proc/13500/task/13506/stat : 13506 (java) S 13499 13481 12806 0 -1 64 643 0 0 0 29 0 0 0 16 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13507] ppid=13499 vsize=655608 CPUtime=0
/proc/13500/task/13507/stat : 13507 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13500/tid=13508] ppid=13499 vsize=655608 CPUtime=0.02
/proc/13500/task/13508/stat : 13508 (java) S 13499 13481 12806 0 -1 64 0 0 0 0 2 0 0 0 15 0 9 0 658026227 671342592 17427 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13489/tid=13490] ppid=13481 vsize=197416 CPUtime=4.25
/proc/13489/task/13490/stat : 13490 (java) S 13481 13481 12806 0 -1 64 3852 0 1 0 421 4 0 0 25 0 10 0 658025601 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13489/tid=13491] ppid=13481 vsize=197416 CPUtime=1.07
/proc/13489/task/13491/stat : 13491 (java) S 13481 13481 12806 0 -1 64 8558 0 0 0 98 9 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13492] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13492/stat : 13492 (java) S 13481 13481 12806 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13493] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13493/stat : 13493 (java) S 13481 13481 12806 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 658025602 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13494] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13494/stat : 13494 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13495] ppid=13481 vsize=197416 CPUtime=0.2
/proc/13489/task/13495/stat : 13495 (java) S 13481 13481 12806 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13496] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13496/stat : 13496 (java) S 13481 13481 12806 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13497] ppid=13481 vsize=197416 CPUtime=0.04
/proc/13489/task/13497/stat : 13497 (java) S 13481 13481 12806 0 -1 64 16 0 0 0 2 2 0 0 15 0 10 0 658025604 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13489/tid=13498] ppid=13481 vsize=197416 CPUtime=0
/proc/13489/task/13498/stat : 13498 (java) S 13481 13481 12806 0 -1 64 73 0 0 0 0 0 0 0 25 0 10 0 658026159 202153984 9389 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 863740
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13481 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=663747
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=28995
# CPU time returned by wait4() is 1.69274
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1829.23
CPU time (s): 1800.02
CPU user time (s): 1798.97
CPU system time (s): 1.05
CPU usage (%): 98.4029
Max. virtual memory (cumulated for all children) (KiB): 863740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.66375
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2622
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31
involuntary context switches= 74
runsolver used 9.12761 second user time and 19.3221 second system time
The end