0.00/0.00 c cpHydra_k_10 version 0.0
7.29/7.43 c CASE TO CLASSIFY:
7.29/7.43 c Case: 0
7.29/7.43 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.417600 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 14.475400 | c 14 > 16.584400 | c 11 > 6.491850 | c 12 > 15.900900 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.759040 | c 27 > 0.000000 | c 28 > 0.240964 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.696970 | c 1 > 6.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.491850 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.29/7.44 c choco : 1801.0
7.29/7.44 c mistral : 1801.0
7.29/7.44 c abscon : 1801.0
7.29/7.44 c
7.29/7.44 c
7.39/7.52 c List of same ones: 10
7.39/7.52 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-09_ext.xml
7.39/7.52 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.513100 | c 34 > -1.000000 | c 16 > 9.000000 | c 13 > 14.537400 | c 14 > 16.670300 | c 11 > 6.491850 | c 12 > 16.008500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.759040 | c 27 > 0.000000 | c 28 > 0.240964 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.696970 | c 1 > 6.491850 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.491850 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.52 c choco : 1801.0
7.39/7.52 c mistral : 13.6
7.39/7.52 c abscon : 323.131
7.39/7.52 c
7.39/7.52 c
7.39/7.53 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-10_ext.xml
7.39/7.53 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.502000 | c 34 > -1.000000 | c 16 > 10.000000 | c 13 > 15.112800 | c 14 > 16.701800 | c 11 > 6.781360 | c 12 > 16.021500 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.803920 | c 27 > 0.000000 | c 28 > 0.196078 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.131860 | c 1 > 6.781360 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.781360 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.54 c choco : 1801.0
7.39/7.54 c mistral : 180.01
7.39/7.54 c abscon : 1800.16
7.39/7.54 c
7.39/7.54 c
7.39/7.54 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-08_ext.xml
7.39/7.54 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.904300 | c 34 > -1.000000 | c 16 > 8.000000 | c 13 > 14.278500 | c 14 > 16.119400 | c 11 > 6.169930 | c 12 > 15.402700 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.696970 | c 27 > 0.000000 | c 28 > 0.303030 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 8.214320 | c 1 > 6.169930 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 7.169930 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.55 c choco : 35.77
7.39/7.55 c mistral : 1.23
7.39/7.55 c abscon : 23.8374
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/dimacs/varDimacs/hole-07_ext.xml
7.39/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 18.465200 | c 34 > -1.000000 | c 16 > 7.000000 | c 13 > 10.911700 | c 14 > 12.907100 | c 11 > 5.807350 | c 12 > 11.885200 | c 21 > 1.414210 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.607840 | c 27 > 0.000000 | c 28 > 0.392157 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.672430 | c 1 > 5.807350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.807350 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.55 c choco : 4.64
7.39/7.55 c mistral : 0.13
7.39/7.55 c abscon : 3.18651
7.39/7.55 c
7.39/7.55 c
7.39/7.55 c /home/eomahony/cpZilla/CSP/dimacs/ssa/ssa-0432-003_ext.xml
7.39/7.55 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.148300 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > 12.663600 | c 14 > 15.391000 | c 11 > 8.751540 | c 12 > 11.474900 | c 21 > 1.410960 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 6.991870 | c 27 > 2.926830 | c 28 > 0.081301 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 9.527480 | c 1 > 8.751540 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 9.751540 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.57 c choco : 63.86
7.39/7.57 c mistral : 0.244962
7.39/7.57 c abscon : 8.50671
7.39/7.57 c
7.39/7.57 c
7.39/7.57 c /home/eomahony/cpZilla/CSP/cril/cril-7.ext.xml
7.39/7.57 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.517500 | c 34 > -1.000000 | c 16 > 4.000000 | c 13 > 14.612000 | c 14 > 15.069700 | c 11 > 5.169930 | c 12 > 14.976700 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.411760 | c 27 > 0.588235 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.294620 | 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.339850 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.58 c choco : 7.56
7.39/7.58 c mistral : 14.2688
7.39/7.58 c abscon : 41.8156
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/dimacs/ssa/ssa-2670-130_ext.xml
7.39/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 21.578900 | c 34 > -1.000000 | c 16 > 5.000000 | c 13 > 10.754000 | c 14 > 13.822200 | c 11 > 10.404100 | c 12 > 9.729200 | c 21 > 1.413170 | c 20 > 0.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 6.715980 | c 27 > 3.199490 | c 28 > 0.084531 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.208200 | c 1 > 10.404100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.404100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.58 c choco : 56.75
7.39/7.58 c mistral : 3.02
7.39/7.58 c abscon : 19.92
7.39/7.58 c
7.39/7.58 c
7.39/7.58 c /home/eomahony/cpZilla/CSP/cril/cril-6_ext.xml
7.39/7.58 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 20.226200 | c 34 > -1.000000 | c 16 > 4.000000 | c 13 > 13.049100 | c 14 > 14.270700 | c 11 > 5.169930 | c 12 > 13.287200 | c 21 > 3.000000 | c 20 > 0.000000 | c 22 > 3.000000 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > 9.411760 | c 27 > 0.588235 | c 28 > 0.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 7.294620 | 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.339850 | c 31 > -1.000000 | c 4 > 5.169930 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.39/7.59 c choco : 24.03
7.39/7.59 c mistral : 2.05069
7.39/7.59 c abscon : 26.436
7.39/7.59 c
7.39/7.59 c
7.39/7.59 c /home/eomahony/cpZilla/CSP/coloring/myciel-5g-5-ext.xml
7.39/7.59 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.558100 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 13.893900 | c 14 > 15.991200 | c 11 > 5.554590 | c 12 > 14.810000 | c 21 > 2.236070 | c 20 > 0.000000 | c 22 > 2.236070 | 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 > 7.882640 | 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 > 7.876520 | c 31 > -1.000000 | c 4 > 5.554590 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.60 c choco : 110.99
7.46/7.60 c mistral : 54.65
7.46/7.60 c abscon : 149.631
7.46/7.60 c
7.46/7.60 c
7.46/7.60 c /home/eomahony/cpZilla/CSP/random/rand-2-30-15/rand-2-30-15-306-230-23_ext.xml
7.46/7.60 c 19 > 0.000000 | c 35 > -1.000000 | c 17 > 100.000000 | c 18 > 0.000000 | c 33 > -1.000000 | c 15 > 22.297900 | c 34 > -1.000000 | c 16 > 2.000000 | c 13 > 10.501000 | c 14 > 13.775600 | c 11 > 4.906890 | c 12 > 12.337300 | c 21 > 3.872980 | 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 > 7.787900 | 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.813780 | c 31 > -1.000000 | c 4 > 4.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.46/7.61 c choco : 9.97
7.46/7.61 c mistral : 1.48077
7.46/7.61 c abscon : 1.51977
7.46/7.61 c
7.46/7.61 c
7.46/7.62 c Length: 10
7.46/7.62 c 0.17866398629830488 1.3734393469665847 1.5225728537432957 8.029372886773226 8.522102522038457 11.660217118365377 12.16620994806828 12.173921429737462 12.375253201292328 13.9180164654557
7.46/7.62 c
7.46/7.62 c 1.0 0.919996977829391 0.9109006443259888 0.6363739425085126 0.6221746367969755 0.5447604733528184 0.534046205013982 0.5338861758729596 0.5297418015963398 0.5
7.46/7.62 c
7.46/7.62 c solver 0
7.46/7.62 c before 0.0 seconds: {} 0
7.46/7.62 c before 18.0 seconds: {3, 4, 9} 1758
7.46/7.62 c before 36.0 seconds: {2, 3, 4, 6, 7, 9} 3737
7.46/7.62 c before 54.0 seconds: {2, 3, 4, 5, 6, 7, 9} 4282
7.46/7.62 c before 162.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4811
7.46/7.62 c before 324.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5811
7.46/7.62 c
7.46/7.62 c solver 1
7.46/7.62 c before 0.0 seconds: {} 0
7.46/7.62 c before 18.0 seconds: {0, 2, 3, 4, 5, 6, 7, 9} 5282
7.46/7.62 c before 72.0 seconds: {0, 2, 3, 4, 5, 6, 7, 8, 9} 5811
7.46/7.62 c before 198.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6731
7.46/7.62 c
7.46/7.62 c solver 2
7.46/7.62 c before 0.0 seconds: {} 0
7.46/7.62 c before 18.0 seconds: {3, 5, 9} 1681
7.46/7.62 c before 36.0 seconds: {2, 3, 5, 7, 9} 3125
7.46/7.62 c before 72.0 seconds: {2, 3, 4, 5, 6, 7, 9} 4282
7.46/7.62 c before 126.0 seconds: {2, 3, 4, 5, 6, 7, 8, 9} 4811
7.46/7.62 c
7.46/7.62 cTotal time: 36
7.46/7.62 c 648.0 seconds unused
7.46/7.62 c 0 c 0 c 1
7.46/7.62 c 1 c 0 c 2
7.46/7.62 c 0 c 0 c 0
7.46/7.62 c is solver0 dominated by:
7.46/7.62 c solver 1 (0 solves instances that 1 can't: false) (1 doesn't solve instances that 0 can't: false) (0 is faster than 1: false) (0 is equally as fast as 1: false) (0 < 1: false)
7.46/7.63 c is dominated? true
7.46/7.63 c
7.46/7.63 c is solver1 dominated by:
7.46/7.63 c solver 0 (1 solves instances that 0 can't: true) (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.46/7.63 c solver 2 (1 solves instances that 2 can't: true) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: false) (1 is equally as fast as 2: false) (1 < 2: false)
7.46/7.63 c is dominated? false
7.46/7.63 c
7.46/7.63 c is solver2 dominated by:
7.46/7.63 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)
7.46/7.63 c is dominated? true
7.46/7.63 c
7.46/7.63 c Number of non-dominated solvers: 1
7.46/7.63 c remove dominated solvers
7.46/7.63 c solver 1 is not dominated by another solver
7.46/7.63 c solver 2 is dominated by another solver
7.46/7.63 c solver 0 is dominated by another solver
7.46/7.63 c
7.46/7.63 c solver 0: 0.0
7.46/7.63 c
7.46/7.63 c solver 1: 198.0
7.46/7.63 c
7.46/7.63 c+ 11/11 of 89
7.46/7.63 c
7.46/7.63 c solver 2: 0.0
7.46/7.63 c do not run abscon
7.46/7.63 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6731
7.46/7.63 c do not run choco
7.46/7.63 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.46/7.63 c On Instance: HOME/instance-1083005-1215224478.xml
7.46/7.63 c Running for: 1800 seconds
18.35/18.70 c mistral-prime version 1.313
18.35/18.70 s UNSATISFIABLE
18.35/18.70 d CHECKS 44828500
18.35/18.70 d ASSIGNMENTS 715860
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1083005-1215224478/watcher-1083005-1215224478 -o /tmp/evaluation-result-1083005-1215224478/solver-1083005-1215224478 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1083005-1215224478.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.78 1.95 1.98 4/73 4650
/proc/meminfo: memFree=1008512/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=18572 CPUtime=0
/proc/4650/stat : 4650 (runsolver) R 4648 4650 3338 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2001421839 19017728 292 996147200 4194304 4296836 548682068480 18446744073709551615 253307186471 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4650/statm: 4643 292 257 25 0 2626 0
[startup+0.038612 s]
/proc/loadavg: 1.78 1.95 1.98 4/73 4650
/proc/meminfo: memFree=1008512/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=0
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2001421839 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.10161 s]
/proc/loadavg: 1.78 1.95 1.98 4/73 4650
/proc/meminfo: memFree=1008512/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=0
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2001421839 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301629 s]
/proc/loadavg: 1.78 1.95 1.98 4/73 4650
/proc/meminfo: memFree=1008512/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=0
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2001421839 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701665 s]
/proc/loadavg: 1.78 1.95 1.98 4/73 4650
/proc/meminfo: memFree=1008512/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=0
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 2001421839 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50174 s]
/proc/loadavg: 1.78 1.95 1.98 3/75 4654
/proc/meminfo: memFree=1007728/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 348 822 0 0 0 0 139 8 16 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 5360
[startup+3.10289 s]
/proc/loadavg: 1.78 1.95 1.98 4/83 4666
/proc/meminfo: memFree=1001072/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 375 1158 0 0 0 0 139 8 19 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
[pid=4658] ppid=4650 vsize=197000 CPUtime=1.57
/proc/4658/stat : 4658 (java) S 4650 4650 3338 0 -1 0 5053 0 1 0 151 6 0 0 21 0 9 0 2001421989 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4658/statm: 49250 4237 1678 9 0 43833 0
[pid=4658/tid=4659] ppid=4650 vsize=197000 CPUtime=1.24
/proc/4658/task/4659/stat : 4659 (java) R 4650 4650 3338 0 -1 64 2742 0 1 0 122 2 0 0 25 0 9 0 2001421990 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4126435684 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4660] ppid=4650 vsize=197000 CPUtime=0.16
/proc/4658/task/4660/stat : 4660 (java) S 4650 4650 3338 0 -1 64 972 0 0 0 14 2 0 0 16 0 9 0 2001421991 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4661] ppid=4650 vsize=197000 CPUtime=0
/proc/4658/task/4661/stat : 4661 (java) S 4650 4650 3338 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2001421991 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4662] ppid=4650 vsize=197000 CPUtime=0
/proc/4658/task/4662/stat : 4662 (java) S 4650 4650 3338 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 2001421991 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4663] ppid=4650 vsize=197000 CPUtime=0
/proc/4658/task/4663/stat : 4663 (java) S 4650 4650 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2001421993 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4664] ppid=4650 vsize=197000 CPUtime=0.14
/proc/4658/task/4664/stat : 4664 (java) S 4650 4650 3338 0 -1 64 614 0 0 0 14 0 0 0 16 0 9 0 2001421993 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4665] ppid=4650 vsize=197000 CPUtime=0
/proc/4658/task/4665/stat : 4665 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001421993 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4666] ppid=4650 vsize=197000 CPUtime=0
/proc/4658/task/4666/stat : 4666 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2001421993 201728000 4237 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 202360
[startup+6.30242 s]
/proc/loadavg: 1.80 1.95 1.98 3/83 4666
/proc/meminfo: memFree=988656/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 375 1158 0 0 0 0 139 8 19 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
[pid=4658] ppid=4650 vsize=197108 CPUtime=4.74
/proc/4658/stat : 4658 (java) S 4650 4650 3338 0 -1 0 9930 0 1 0 459 15 0 0 21 0 9 0 2001421989 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4658/statm: 49277 8238 2540 9 0 43860 0
[pid=4658/tid=4659] ppid=4650 vsize=197108 CPUtime=3.77
/proc/4658/task/4659/stat : 4659 (java) R 4650 4650 3338 0 -1 64 3550 0 1 0 372 5 0 0 25 0 9 0 2001421990 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4660] ppid=4650 vsize=197108 CPUtime=0.76
/proc/4658/task/4660/stat : 4660 (java) S 4650 4650 3338 0 -1 64 5026 0 0 0 68 8 0 0 15 0 9 0 2001421991 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4661] ppid=4650 vsize=197108 CPUtime=0
/proc/4658/task/4661/stat : 4661 (java) S 4650 4650 3338 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2001421991 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4662] ppid=4650 vsize=197108 CPUtime=0
/proc/4658/task/4662/stat : 4662 (java) S 4650 4650 3338 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2001421991 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4663] ppid=4650 vsize=197108 CPUtime=0
/proc/4658/task/4663/stat : 4663 (java) S 4650 4650 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2001421993 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4664] ppid=4650 vsize=197108 CPUtime=0.17
/proc/4658/task/4664/stat : 4664 (java) S 4650 4650 3338 0 -1 64 629 0 0 0 17 0 0 0 16 0 9 0 2001421993 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4665] ppid=4650 vsize=197108 CPUtime=0
/proc/4658/task/4665/stat : 4665 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2001421993 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4666] ppid=4650 vsize=197108 CPUtime=0
/proc/4658/task/4666/stat : 4666 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2001421993 201838592 8238 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 202468
[startup+12.7027 s]
/proc/loadavg: 1.81 1.95 1.98 3/86 4669
/proc/meminfo: memFree=979480/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 375 1158 0 0 0 0 139 8 19 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
[pid=4658] ppid=4650 vsize=197432 CPUtime=6.02
/proc/4658/stat : 4658 (java) S 4650 4650 3338 0 -1 0 11438 0 1 0 584 18 0 0 21 0 10 0 2001421989 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4658/statm: 49358 9376 2543 9 0 43941 0
[pid=4668] ppid=4658 vsize=5356 CPUtime=0
/proc/4668/stat : 4668 (mistral) S 4658 4650 3338 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2001422603 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 253307183940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4668/statm: 1339 236 196 169 0 50 0
[pid=4669] ppid=4668 vsize=4856 CPUtime=5
/proc/4669/stat : 4669 (xsolve) R 4668 4650 3338 0 -1 4194304 536 0 0 0 500 0 0 0 25 0 1 0 2001422603 4972544 500 996147200 134512640 135239763 4294955952 18446744073709551615 135030874 0 4 0 0 0 0 0 17 1 0 0
/proc/4669/statm: 1214 500 384 177 0 117 0
[pid=4658/tid=4659] ppid=4650 vsize=197432 CPUtime=4.86
/proc/4658/task/4659/stat : 4659 (java) S 4650 4650 3338 0 -1 64 3860 0 1 0 480 6 0 0 23 0 10 0 2001421990 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4658/tid=4660] ppid=4650 vsize=197432 CPUtime=0.92
/proc/4658/task/4660/stat : 4660 (java) S 4650 4650 3338 0 -1 64 6124 0 0 0 82 10 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4661] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4661/stat : 4661 (java) S 4650 4650 3338 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4662] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4662/stat : 4662 (java) S 4650 4650 3338 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4663] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4663/stat : 4663 (java) S 4650 4650 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4664] ppid=4650 vsize=197432 CPUtime=0.2
/proc/4658/task/4664/stat : 4664 (java) S 4650 4650 3338 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4665] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4665/stat : 4665 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4666] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4666/stat : 4666 (java) S 4650 4650 3338 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4658/tid=4667] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4667/stat : 4667 (java) S 4650 4650 3338 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2001422602 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 213004
Solver just ended. Dumping a history of the last processes samples
[startup+15.901 s]
/proc/loadavg: 1.83 1.95 1.98 3/86 4669
/proc/meminfo: memFree=979480/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 375 1158 0 0 0 0 139 8 19 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
[pid=4658] ppid=4650 vsize=197432 CPUtime=6.02
/proc/4658/stat : 4658 (java) S 4650 4650 3338 0 -1 0 11438 0 1 0 584 18 0 0 21 0 10 0 2001421989 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4658/statm: 49358 9376 2543 9 0 43941 0
[pid=4668] ppid=4658 vsize=5356 CPUtime=0
/proc/4668/stat : 4668 (mistral) S 4658 4650 3338 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2001422603 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 253307183940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4668/statm: 1339 236 196 169 0 50 0
[pid=4669] ppid=4668 vsize=4856 CPUtime=8.17
/proc/4669/stat : 4669 (xsolve) R 4668 4650 3338 0 -1 4194304 536 0 0 0 817 0 0 0 25 0 1 0 2001422603 4972544 500 996147200 134512640 135239763 4294955952 18446744073709551615 135031265 0 4 0 0 0 0 0 17 1 0 0
/proc/4669/statm: 1214 500 384 177 0 117 0
[pid=4658/tid=4659] ppid=4650 vsize=197432 CPUtime=4.86
/proc/4658/task/4659/stat : 4659 (java) S 4650 4650 3338 0 -1 64 3860 0 1 0 480 6 0 0 23 0 10 0 2001421990 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4658/tid=4660] ppid=4650 vsize=197432 CPUtime=0.92
/proc/4658/task/4660/stat : 4660 (java) S 4650 4650 3338 0 -1 64 6124 0 0 0 82 10 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4661] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4661/stat : 4661 (java) S 4650 4650 3338 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4662] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4662/stat : 4662 (java) S 4650 4650 3338 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4663] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4663/stat : 4663 (java) S 4650 4650 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4664] ppid=4650 vsize=197432 CPUtime=0.2
/proc/4658/task/4664/stat : 4664 (java) S 4650 4650 3338 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4665] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4665/stat : 4665 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4666] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4666/stat : 4666 (java) S 4650 4650 3338 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4658/tid=4667] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4667/stat : 4667 (java) S 4650 4650 3338 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2001422602 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.66
Current children cumulated vsize (KiB) 213004
[startup+17.5012 s]
/proc/loadavg: 1.84 1.95 1.98 3/86 4669
/proc/meminfo: memFree=979480/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 375 1158 0 0 0 0 139 8 19 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
[pid=4658] ppid=4650 vsize=197432 CPUtime=6.02
/proc/4658/stat : 4658 (java) S 4650 4650 3338 0 -1 0 11438 0 1 0 584 18 0 0 21 0 10 0 2001421989 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4658/statm: 49358 9376 2543 9 0 43941 0
[pid=4668] ppid=4658 vsize=5356 CPUtime=0
/proc/4668/stat : 4668 (mistral) S 4658 4650 3338 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2001422603 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 253307183940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4668/statm: 1339 236 196 169 0 50 0
[pid=4669] ppid=4668 vsize=4856 CPUtime=9.76
/proc/4669/stat : 4669 (xsolve) R 4668 4650 3338 0 -1 4194304 536 0 0 0 976 0 0 0 25 0 1 0 2001422603 4972544 500 996147200 134512640 135239763 4294955952 18446744073709551615 134821160 0 4 0 0 0 0 0 17 1 0 0
/proc/4669/statm: 1214 500 384 177 0 117 0
[pid=4658/tid=4659] ppid=4650 vsize=197432 CPUtime=4.86
/proc/4658/task/4659/stat : 4659 (java) S 4650 4650 3338 0 -1 64 3860 0 1 0 480 6 0 0 23 0 10 0 2001421990 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4658/tid=4660] ppid=4650 vsize=197432 CPUtime=0.92
/proc/4658/task/4660/stat : 4660 (java) S 4650 4650 3338 0 -1 64 6124 0 0 0 82 10 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4661] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4661/stat : 4661 (java) S 4650 4650 3338 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4662] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4662/stat : 4662 (java) S 4650 4650 3338 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4663] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4663/stat : 4663 (java) S 4650 4650 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4664] ppid=4650 vsize=197432 CPUtime=0.2
/proc/4658/task/4664/stat : 4664 (java) S 4650 4650 3338 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4665] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4665/stat : 4665 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4666] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4666/stat : 4666 (java) S 4650 4650 3338 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4658/tid=4667] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4667/stat : 4667 (java) S 4650 4650 3338 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2001422602 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 17.25
Current children cumulated vsize (KiB) 213004
[startup+18.3023 s]
/proc/loadavg: 1.84 1.95 1.98 3/86 4669
/proc/meminfo: memFree=979480/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 375 1158 0 0 0 0 139 8 19 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
[pid=4658] ppid=4650 vsize=197432 CPUtime=6.02
/proc/4658/stat : 4658 (java) S 4650 4650 3338 0 -1 0 11438 0 1 0 584 18 0 0 21 0 10 0 2001421989 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4658/statm: 49358 9376 2543 9 0 43941 0
[pid=4668] ppid=4658 vsize=5356 CPUtime=0
/proc/4668/stat : 4668 (mistral) S 4658 4650 3338 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 2001422603 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 253307183940 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4668/statm: 1339 236 196 169 0 50 0
[pid=4669] ppid=4668 vsize=4856 CPUtime=10.56
/proc/4669/stat : 4669 (xsolve) R 4668 4650 3338 0 -1 4194304 536 0 0 0 1056 0 0 0 25 0 1 0 2001422603 4972544 500 996147200 134512640 135239763 4294955952 18446744073709551615 134821509 0 4 0 0 0 0 0 17 1 0 0
/proc/4669/statm: 1214 500 384 177 0 117 0
[pid=4658/tid=4659] ppid=4650 vsize=197432 CPUtime=4.86
/proc/4658/task/4659/stat : 4659 (java) S 4650 4650 3338 0 -1 64 3860 0 1 0 480 6 0 0 23 0 10 0 2001421990 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4658/tid=4660] ppid=4650 vsize=197432 CPUtime=0.92
/proc/4658/task/4660/stat : 4660 (java) S 4650 4650 3338 0 -1 64 6124 0 0 0 82 10 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4661] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4661/stat : 4661 (java) S 4650 4650 3338 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4662] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4662/stat : 4662 (java) S 4650 4650 3338 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 2001421991 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4663] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4663/stat : 4663 (java) S 4650 4650 3338 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4664] ppid=4650 vsize=197432 CPUtime=0.2
/proc/4658/task/4664/stat : 4664 (java) S 4650 4650 3338 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4665] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4665/stat : 4665 (java) S 4650 4650 3338 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4666] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4666/stat : 4666 (java) S 4650 4650 3338 0 -1 64 14 0 0 0 0 0 0 0 15 0 10 0 2001421993 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4658/tid=4667] ppid=4650 vsize=197432 CPUtime=0
/proc/4658/task/4667/stat : 4667 (java) S 4650 4650 3338 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 2001422602 202170368 9376 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 18.05
Current children cumulated vsize (KiB) 213004
[startup+18.7063 s]
/proc/loadavg: 1.84 1.95 1.98 3/86 4669
/proc/meminfo: memFree=979480/2055920 swapFree=4180844/4192956
[pid=4650] ppid=4648 vsize=5360 CPUtime=1.47
/proc/4650/stat : 4650 (hydra) S 4648 4650 3338 0 -1 4194304 375 1158 0 0 0 0 139 8 19 0 1 0 2001421839 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 253307183940 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4650/statm: 1340 238 196 169 0 51 0
[pid=4658] ppid=4650 vsize=197432 CPUtime=16.97
/proc/4658/stat : 4658 (java) S 4650 4650 3338 0 -1 0 11505 853 1 0 584 18 1095 0 21 0 9 0 2001421989 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4658/statm: 49358 9378 2544 9 0 43941 0
[pid=4658/tid=4659] ppid=4650 vsize=197432 CPUtime=15.81
/proc/4658/task/4659/stat : 4659 (java) S 4650 4650 3338 0 -1 64 3908 853 1 0 480 6 1095 0 16 0 9 0 2001421990 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4660] ppid=4650 vsize=197432 CPUtime=11.87
/proc/4658/task/4660/stat : 4660 (java) S 4650 4650 3338 0 -1 64 6133 853 0 0 82 10 1095 0 16 0 9 0 2001421991 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4661] ppid=4650 vsize=197432 CPUtime=10.95
/proc/4658/task/4661/stat : 4661 (java) S 4650 4650 3338 0 -1 64 11 853 0 0 0 0 1095 0 16 0 9 0 2001421991 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4662] ppid=4650 vsize=197432 CPUtime=10.95
/proc/4658/task/4662/stat : 4662 (java) S 4650 4650 3338 0 -1 64 5 853 0 0 0 0 1095 0 16 0 9 0 2001421991 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4663] ppid=4650 vsize=197432 CPUtime=10.95
/proc/4658/task/4663/stat : 4663 (java) S 4650 4650 3338 0 -1 64 0 853 0 0 0 0 1095 0 18 0 9 0 2001421993 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4664] ppid=4650 vsize=197432 CPUtime=11.15
/proc/4658/task/4664/stat : 4664 (java) S 4650 4650 3338 0 -1 64 646 853 0 0 20 0 1095 0 16 0 9 0 2001421993 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4665] ppid=4650 vsize=197432 CPUtime=10.95
/proc/4658/task/4665/stat : 4665 (java) S 4650 4650 3338 0 -1 64 1 853 0 0 0 0 1095 0 19 0 9 0 2001421993 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4658/tid=4666] ppid=4650 vsize=197432 CPUtime=10.95
/proc/4658/task/4666/stat : 4666 (java) S 4650 4650 3338 0 -1 64 14 853 0 0 0 0 1095 0 15 0 9 0 2001421993 202170368 9378 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 18.44
Current children cumulated vsize (KiB) 202792
Child status: 0
Real time (s): 18.7199
CPU time (s): 18.4782
CPU user time (s): 18.1852
CPU system time (s): 0.292955
CPU usage (%): 98.709
Max. virtual memory (cumulated for all children) (KiB): 213004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.1852
system time used= 0.292955
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13928
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9013
involuntary context switches= 10466
runsolver used 0.042993 second user time and 0.091986 second system time
The end