0.18/0.20 c cpHydra_k_10 version 0.0
9.70/9.85 c CASE TO CLASSIFY:
9.70/9.85 c Case: 0
9.70/9.85 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.891000 | c 34 > 0.000000 | c 16 > 540.000000 | c 13 > 2.548400 | c 14 > 7.813780 | c 11 > 12.255600 | c 12 > 3.575340 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.473400 | c 1 > 12.255600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.473400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 29.420200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.70/9.86 c choco : 1801.0
9.70/9.86 c mistral : 1801.0
9.70/9.86 c abscon : 1801.0
9.70/9.86 c
9.70/9.86 c
9.80/9.94 c List of same ones: 10
9.80/9.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-air01.xml
9.80/9.94 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.719800 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/9.94 c choco : 8.6
9.80/9.94 c mistral : 2.27
9.80/9.94 c abscon : 5.8991
9.80/9.94 c
9.80/9.94 c
9.80/9.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-air01.xml
9.80/9.94 c 19 > 0.000000 | c 35 > 0.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 0.000000 | c 15 > 20.676700 | c 34 > 0.000000 | c 16 > 438.000000 | c 13 > 2.561350 | c 14 > 9.411510 | c 11 > 9.590590 | c 12 > 3.493060 | c 21 > 1.414210 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.621000 | c 1 > 9.590590 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.621000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.274900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/9.95 c choco : 8.61
9.80/9.95 c mistral : 2.26
9.80/9.95 c abscon : 5.2622
9.80/9.95 c
9.80/9.95 c
9.80/9.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air05.xml
9.80/9.95 c 19 > 0.704225 | c 35 > 12.136200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.070420 | c 15 > 19.949500 | c 34 > 24.272300 | c 16 > 404.000000 | c 13 > 1.924370 | c 14 > 8.271460 | c 11 > 12.812800 | c 12 > 3.856800 | c 21 > 1.414210 | c 20 > 99.295800 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 17.663500 | c 1 > 12.812800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 17.663400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.213000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/9.96 c choco : 81.31
9.80/9.96 c mistral : 24.24
9.80/9.96 c abscon : 29.0936
9.80/9.96 c
9.80/9.96 c
9.80/9.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-cracpb1.xml
9.80/9.96 c 19 > 1.395350 | c 35 > 90.186000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.209300 | c 15 > 19.905000 | c 34 > 134.605000 | c 16 > 518.000000 | c 13 > 1.408240 | c 14 > 8.321930 | c 11 > 12.922000 | c 12 > 0.764474 | c 21 > 1.414210 | c 20 > 98.604700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.186700 | c 1 > 9.159870 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.186000 | c 6 > 1.000000 | c 32 > -1.000000 | c 5 > 21.497500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/9.97 c choco : 5.58
9.80/9.97 c mistral : 2.07
9.80/9.97 c abscon : 24.1083
9.80/9.97 c
9.80/9.97 c
9.80/9.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/air04.xml
9.80/9.97 c 19 > 0.486027 | c 35 > 8.554070 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.499390 | c 15 > 19.789900 | c 34 > 17.108100 | c 16 > 368.000000 | c 13 > 2.173930 | c 14 > 7.467610 | c 11 > 13.120200 | c 12 > 4.034680 | c 21 > 1.414210 | c 20 > 99.514000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 18.146600 | c 1 > 13.120200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 18.146600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 23.201400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/9.98 c choco : 83.64
9.80/9.98 c mistral : 28.58
9.80/9.98 c abscon : 31.3522
9.80/9.98 c
9.80/9.98 c
9.80/9.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/jac3.xml
9.80/9.98 c 19 > 15.789500 | c 35 > 51.722500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.320600 | c 15 > 20.282800 | c 34 > 59.250400 | c 16 > 694.000000 | c 13 > 5.174160 | c 14 > 7.055280 | c 11 > 10.757400 | c 12 > 3.794020 | c 21 > 1.414210 | c 20 > 84.210500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.536800 | c 1 > 10.757400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.524700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.486200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/9.99 c choco : 9.63
9.80/9.99 c mistral : 3.51
9.80/9.99 c abscon : 4.6213
9.80/9.99 c
9.80/9.99 c
9.80/9.99 c /home/eomahony/cpZilla/CSP/pseudoSeries/niklas/p2756.xml
9.80/9.99 c 19 > 47.696500 | c 35 > 88.807600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 58.617900 | c 15 > 19.332400 | c 34 > 177.615000 | c 16 > 535.000000 | c 13 > 0.206131 | c 14 > 11.278400 | c 11 > 11.416800 | c 12 > 1.604700 | c 21 > 1.414210 | c 20 > 52.303500 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.872100 | c 1 > 11.416800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.837800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.224000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/10.00 c choco : 8.43
9.80/10.00 c mistral : 1.57
9.80/10.00 c abscon : 42.6915
9.80/10.00 c
9.80/10.00 c
9.80/10.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-blend.xml
9.80/10.00 c 19 > 0.000000 | c 35 > 15.384600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.076920 | c 15 > 20.617800 | c 34 > 26.666700 | c 16 > 780.000000 | c 13 > 4.806450 | c 14 > 7.228820 | c 11 > 10.510800 | c 12 > 3.404840 | c 21 > 1.259340 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.021000 | c 1 > 10.510800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.021000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 28.184100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.80/10.00 c choco : 72.65
9.80/10.00 c mistral : 61.66
9.88/10.00 c abscon : 1800.1
9.88/10.00 c
9.88/10.00 c
9.88/10.00 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-kb2.xml
9.88/10.00 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 7.941180 | c 15 > 20.102000 | c 34 > 40.000000 | c 16 > 300.000000 | c 13 > 5.660250 | c 14 > 10.213100 | c 11 > 12.164900 | c 12 > 2.805870 | c 21 > 1.303770 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.114400 | c 1 > 9.583080 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.114400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.469400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.88/10.01 c choco : 9.38
9.88/10.01 c mistral : 8.53
9.88/10.01 c abscon : 853.293
9.88/10.01 c
9.88/10.01 c
9.88/10.01 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-afiro.xml
9.88/10.01 c 19 > 0.000000 | c 35 > 17.142900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.428570 | c 15 > 20.952800 | c 34 > 27.428600 | c 16 > 270.000000 | c 13 > 10.165400 | c 14 > 10.695200 | c 11 > 10.998600 | c 12 > 5.181450 | c 21 > 1.299440 | c 20 > 100.000000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 11.819400 | c 1 > 9.368510 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.819400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.652100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.88/10.02 c choco : 11.35
9.88/10.02 c mistral : 6.16
9.88/10.02 c abscon : 1800.07
9.88/10.02 c
9.88/10.02 c
9.88/10.02 c Length: 10
9.88/10.02 c 102.57047542301831 102.57055641632252 138.93408554826252 166.09966297453303 173.23402829677295 176.76707779168044 217.94811160875508 242.03817887423753 244.48448020484284 272.31781875014053
9.88/10.02 c
9.88/10.02 c 1.0 0.9999995228598929 0.8235726461104937 0.7276657565498261 0.7060717546898903 0.6958456904636993 0.5953436405927622 0.5489621061319321 0.5446531767801506 0.5
9.88/10.03 c
9.88/10.03 c solver 0
9.88/10.03 c before 0.0 seconds: {} 0
9.88/10.03 c before 18.0 seconds: {0, 1, 5} 2695
9.88/10.03 c before 36.0 seconds: {0, 1, 2, 3, 4, 5} 4953
9.88/10.03 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6} 5548
9.88/10.03 c before 864.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8} 6093
9.88/10.03 c
9.88/10.03 c solver 1
9.88/10.03 c before 0.0 seconds: {} 0
9.88/10.03 c before 18.0 seconds: {0, 1, 3, 5, 6, 8, 9} 5063
9.88/10.03 c before 36.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 6593
9.88/10.03 c before 72.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7142
9.88/10.03 c
9.88/10.03 c solver 2
9.88/10.03 c before 0.0 seconds: {} 0
9.88/10.03 c before 18.0 seconds: {0, 1, 3, 5, 6, 8, 9} 5063
9.88/10.03 c before 90.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7142
9.88/10.03 c
9.88/10.03 cTotal time: 57
9.88/10.03 c 1026.0 seconds unused
9.88/10.03 c 0 c 0 c 0
9.88/10.03 c 2 c 0 c 0
9.88/10.03 c 2 c 0 c 0
9.88/10.03 c is solver0 dominated by:
9.88/10.03 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)
9.88/10.03 c is dominated? true
9.88/10.03 c
9.88/10.03 c is solver1 dominated by:
9.88/10.03 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)
9.88/10.03 c solver 2 (1 solves instances that 2 can't: false) (2 doesn't solve instances that 1 can't: true) (1 is faster than 2: true) (1 is equally as fast as 2: false) (1 < 2: false)
9.88/10.03 c is dominated? false
9.88/10.03 c
9.88/10.03 c is solver2 dominated by:
9.88/10.03 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: true) (2 is equally as fast as 0: false) (2 < 0: true)
9.88/10.03 c solver 1 (2 solves instances that 1 can't: false) (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)
9.88/10.03 c is dominated? true
9.88/10.03 c
9.88/10.03 c Number of non-dominated solvers: 1
9.88/10.03 c remove dominated solvers
9.88/10.03 c solver 1 is not dominated by another solver
9.88/10.03 c solver 2 is dominated by another solver
9.88/10.03 c solver 0 is dominated by another solver
9.88/10.03 c
9.88/10.03 c solver 0: 0.0
9.88/10.03 c
9.88/10.03 c solver 1: 72.0
9.88/10.03 c
9.88/10.03 c+ 4/4 of 96
9.88/10.03 c
9.88/10.03 c solver 2: 0.0
9.88/10.03 c do not run abscon
9.88/10.04 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7142
9.88/10.04 c do not run choco
9.88/10.04 c Starting solver: HOME/cpHydra_k_10/solver/mistral
9.88/10.04 c On Instance: HOME/instance-1063551-1215137860.xml
9.88/10.04 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-1063551-1215137860/watcher-1063551-1215137860 -o /tmp/evaluation-result-1063551-1215137860/solver-1063551-1215137860 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1063551-1215137860.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.65 2.51 2.25 4/82 30777
/proc/meminfo: memFree=1632432/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=0
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636716478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 236 195 169 0 51 0
[pid=30780] ppid=30777 vsize=6524 CPUtime=0.06
/proc/30780/stat : 30780 (xsolve) R 30777 30777 28647 0 -1 4194304 941 0 0 0 6 0 0 0 18 0 1 0 636716478 6680576 900 996147200 134512640 135239763 4294956176 18446744073709551615 5170187 0 0 4096 0 0 0 0 17 0 0 0
/proc/30780/statm: 1631 900 361 177 0 534 0
[startup+0.17642 s]
/proc/loadavg: 2.65 2.51 2.25 4/82 30777
/proc/meminfo: memFree=1632432/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=0
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636716478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 236 195 169 0 51 0
[pid=30780] ppid=30777 vsize=7476 CPUtime=0.16
/proc/30780/stat : 30780 (xsolve) R 30777 30777 28647 0 -1 4194304 1157 0 0 0 16 0 0 0 18 0 1 0 636716478 7655424 1116 996147200 134512640 135239763 4294956176 18446744073709551615 134610234 0 0 4096 0 0 0 0 17 0 0 0
/proc/30780/statm: 1869 1116 361 177 0 772 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 12836
[startup+0.202423 s]
/proc/loadavg: 2.65 2.51 2.25 4/82 30777
/proc/meminfo: memFree=1632432/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=0
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636716478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 236 195 169 0 51 0
[pid=30780] ppid=30777 vsize=7476 CPUtime=0.18
/proc/30780/stat : 30780 (xsolve) R 30777 30777 28647 0 -1 4194304 1157 0 0 0 18 0 0 0 18 0 1 0 636716478 7655424 1116 996147200 134512640 135239763 4294956176 18446744073709551615 134610619 0 0 4096 0 0 0 0 17 0 0 0
/proc/30780/statm: 1869 1116 361 177 0 772 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 12836
[startup+0.302433 s]
/proc/loadavg: 2.65 2.51 2.25 4/82 30777
/proc/meminfo: memFree=1632432/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=0
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636716478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 236 195 169 0 51 0
[pid=30780] ppid=30777 vsize=8020 CPUtime=0.28
/proc/30780/stat : 30780 (xsolve) R 30777 30777 28647 0 -1 4194304 1295 0 0 0 28 0 0 0 19 0 1 0 636716478 8212480 1254 996147200 134512640 135239763 4294956176 18446744073709551615 4903460 0 0 4096 0 0 0 0 17 0 0 0
/proc/30780/statm: 2005 1254 361 177 0 908 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 13380
[startup+0.702475 s]
/proc/loadavg: 2.65 2.51 2.25 4/82 30777
/proc/meminfo: memFree=1632432/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=0
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636716478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 236 195 169 0 51 0
[pid=30780] ppid=30777 vsize=12036 CPUtime=0.69
/proc/30780/stat : 30780 (xsolve) R 30777 30777 28647 0 -1 4194304 2316 0 0 0 68 1 0 0 23 0 1 0 636716478 12324864 2275 996147200 134512640 135239763 4294956176 18446744073709551615 4903488 0 0 4096 0 0 0 0 17 0 0 0
/proc/30780/statm: 3009 2275 361 177 0 1912 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17396
[startup+1.50256 s]
/proc/loadavg: 2.65 2.51 2.25 3/84 30781
/proc/meminfo: memFree=1621216/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=0
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636716478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 236 195 169 0 51 0
[pid=30780] ppid=30777 vsize=14380 CPUtime=1.47
/proc/30780/stat : 30780 (xsolve) R 30777 30777 28647 0 -1 4194304 2917 0 0 0 146 1 0 0 25 0 1 0 636716478 14725120 2858 996147200 134512640 135239763 4294956176 18446744073709551615 4159010190 0 0 4096 0 0 0 0 17 0 0 0
/proc/30780/statm: 3595 2858 361 177 0 2498 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 19740
[startup+3.10173 s]
/proc/loadavg: 2.65 2.51 2.25 3/84 30781
/proc/meminfo: memFree=1613920/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=0
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 330 247 0 0 0 0 0 0 16 0 1 0 636716478 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 236 195 169 0 51 0
[pid=30780] ppid=30777 vsize=117788 CPUtime=3.06
/proc/30780/stat : 30780 (xsolve) R 30777 30777 28647 0 -1 4194304 28820 0 0 0 295 11 0 0 25 0 1 0 636716478 120614912 28500 996147200 134512640 135239763 4294956176 18446744073709551615 135030786 0 0 4096 0 0 0 0 17 0 0 0
/proc/30780/statm: 29447 28500 430 177 0 28350 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 123148
[startup+6.30208 s]
/proc/loadavg: 2.68 2.51 2.25 3/92 30793
/proc/meminfo: memFree=1622880/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 238 196 169 0 51 0
[pid=30785] ppid=30777 vsize=197000 CPUtime=1.74
/proc/30785/stat : 30785 (java) S 30777 30777 28647 0 -1 0 6645 0 1 0 167 7 0 0 18 0 9 0 636716932 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30785/statm: 49250 5585 2540 9 0 43833 0
[pid=30785/tid=30786] ppid=30777 vsize=197000 CPUtime=1.35
/proc/30785/task/30786/stat : 30786 (java) R 30777 30777 28647 0 -1 64 2823 0 1 0 133 2 0 0 25 0 9 0 636716933 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30787] ppid=30777 vsize=197000 CPUtime=0.21
/proc/30785/task/30787/stat : 30787 (java) S 30777 30777 28647 0 -1 64 2487 0 0 0 19 2 0 0 15 0 9 0 636716934 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30788] ppid=30777 vsize=197000 CPUtime=0
/proc/30785/task/30788/stat : 30788 (java) S 30777 30777 28647 0 -1 64 10 0 0 0 0 0 0 0 17 0 9 0 636716934 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30789] ppid=30777 vsize=197000 CPUtime=0
/proc/30785/task/30789/stat : 30789 (java) S 30777 30777 28647 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 636716935 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30790] ppid=30777 vsize=197000 CPUtime=0
/proc/30785/task/30790/stat : 30790 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 636716936 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30791] ppid=30777 vsize=197000 CPUtime=0.13
/proc/30785/task/30791/stat : 30791 (java) S 30777 30777 28647 0 -1 64 610 0 0 0 13 0 0 0 16 0 9 0 636716936 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30792] ppid=30777 vsize=197000 CPUtime=0
/proc/30785/task/30792/stat : 30792 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 636716936 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30793] ppid=30777 vsize=197000 CPUtime=0
/proc/30785/task/30793/stat : 30793 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 636716936 201728000 5585 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 202360
[startup+12.7017 s]
/proc/loadavg: 2.63 2.50 2.25 3/95 30796
/proc/meminfo: memFree=1593984/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 238 196 169 0 51 0
[pid=30785] ppid=30777 vsize=197432 CPUtime=5.43
/proc/30785/stat : 30785 (java) S 30777 30777 28647 0 -1 0 11411 0 1 0 524 19 0 0 18 0 10 0 636716932 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30785/statm: 49358 9345 2543 9 0 43941 0
[pid=30795] ppid=30785 vsize=5356 CPUtime=0
/proc/30795/stat : 30795 (mistral) S 30785 30777 28647 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 636717482 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30795/statm: 1339 236 196 169 0 50 0
[pid=30796] ppid=30795 vsize=100036 CPUtime=2.63
/proc/30796/stat : 30796 (xsolve) R 30795 30777 28647 0 -1 4194304 24378 0 0 0 255 8 0 0 25 0 1 0 636717483 102436864 24063 996147200 134512640 135239763 4294955968 18446744073709551615 5170811 0 4 0 0 0 0 0 17 0 0 0
/proc/30796/statm: 25009 24066 396 177 0 23912 0
[pid=30785/tid=30786] ppid=30777 vsize=197432 CPUtime=4.37
/proc/30785/task/30786/stat : 30786 (java) S 30777 30777 28647 0 -1 64 3862 0 1 0 431 6 0 0 23 0 10 0 636716933 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30785/tid=30787] ppid=30777 vsize=197432 CPUtime=0.84
/proc/30785/task/30787/stat : 30787 (java) S 30777 30777 28647 0 -1 64 6105 0 0 0 73 11 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30788] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30788/stat : 30788 (java) S 30777 30777 28647 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30789] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30789/stat : 30789 (java) S 30777 30777 28647 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636716935 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30790] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30790/stat : 30790 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30791] ppid=30777 vsize=197432 CPUtime=0.18
/proc/30785/task/30791/stat : 30791 (java) S 30777 30777 28647 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30792] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30792/stat : 30792 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30793] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30793/stat : 30793 (java) S 30777 30777 28647 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30794] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30794/stat : 30794 (java) S 30777 30777 28647 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636717482 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 308184
[startup+25.5021 s]
/proc/loadavg: 2.49 2.48 2.25 3/95 30796
/proc/meminfo: memFree=1454848/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 238 196 169 0 51 0
[pid=30785] ppid=30777 vsize=197432 CPUtime=5.43
/proc/30785/stat : 30785 (java) S 30777 30777 28647 0 -1 0 11417 0 1 0 524 19 0 0 18 0 10 0 636716932 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30785/statm: 49358 9345 2543 9 0 43941 0
[pid=30795] ppid=30785 vsize=5356 CPUtime=0
/proc/30795/stat : 30795 (mistral) S 30785 30777 28647 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 636717482 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30795/statm: 1339 236 196 169 0 50 0
[pid=30796] ppid=30795 vsize=158948 CPUtime=15.37
/proc/30796/stat : 30796 (xsolve) R 30795 30777 28647 0 -1 4194304 42066 0 0 0 1521 16 0 0 25 0 1 0 636717483 162762752 37680 996147200 134512640 135239763 4294955968 18446744073709551615 134802979 0 4 0 0 0 0 0 17 0 0 0
/proc/30796/statm: 39737 37680 413 177 0 38640 0
[pid=30785/tid=30786] ppid=30777 vsize=197432 CPUtime=4.37
/proc/30785/task/30786/stat : 30786 (java) S 30777 30777 28647 0 -1 64 3862 0 1 0 431 6 0 0 23 0 10 0 636716933 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30785/tid=30787] ppid=30777 vsize=197432 CPUtime=0.84
/proc/30785/task/30787/stat : 30787 (java) S 30777 30777 28647 0 -1 64 6105 0 0 0 73 11 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30788] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30788/stat : 30788 (java) S 30777 30777 28647 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30789] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30789/stat : 30789 (java) S 30777 30777 28647 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636716935 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30790] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30790/stat : 30790 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30791] ppid=30777 vsize=197432 CPUtime=0.18
/proc/30785/task/30791/stat : 30791 (java) S 30777 30777 28647 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30792] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30792/stat : 30792 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30793] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30793/stat : 30793 (java) S 30777 30777 28647 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30794] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30794/stat : 30794 (java) S 30777 30777 28647 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636717482 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 367096
[startup+51.1028 s]
/proc/loadavg: 2.32 2.44 2.24 3/95 30796
/proc/meminfo: memFree=1454208/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
/proc/30785/task/30794/stat : 30794 (java) S 30777 30777 28647 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636717482 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1654.75
Current children cumulated vsize (KiB) 368284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/86 30977
/proc/meminfo: memFree=1591496/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 238 196 169 0 51 0
[pid=30785] ppid=30777 vsize=197432 CPUtime=5.43
/proc/30785/stat : 30785 (java) S 30777 30777 28647 0 -1 0 11417 0 1 0 524 19 0 0 18 0 10 0 636716932 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30785/statm: 49358 9345 2543 9 0 43941 0
[pid=30795] ppid=30785 vsize=5356 CPUtime=0
/proc/30795/stat : 30795 (mistral) S 30785 30777 28647 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 636717482 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30795/statm: 1339 236 196 169 0 50 0
[pid=30796] ppid=30795 vsize=160136 CPUtime=1704.32
/proc/30796/stat : 30796 (xsolve) R 30795 30777 28647 0 -1 4194304 42379 0 0 0 170410 22 0 0 25 0 1 0 636717483 163979264 37993 996147200 134512640 135239763 4294955968 18446744073709551615 134802979 0 4 0 0 0 0 0 17 1 0 0
/proc/30796/statm: 40034 37993 413 177 0 38937 0
[pid=30785/tid=30786] ppid=30777 vsize=197432 CPUtime=4.37
/proc/30785/task/30786/stat : 30786 (java) S 30777 30777 28647 0 -1 64 3862 0 1 0 431 6 0 0 23 0 10 0 636716933 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30785/tid=30787] ppid=30777 vsize=197432 CPUtime=0.84
/proc/30785/task/30787/stat : 30787 (java) S 30777 30777 28647 0 -1 64 6105 0 0 0 73 11 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30788] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30788/stat : 30788 (java) S 30777 30777 28647 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30789] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30789/stat : 30789 (java) S 30777 30777 28647 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636716935 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30790] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30790/stat : 30790 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30791] ppid=30777 vsize=197432 CPUtime=0.18
/proc/30785/task/30791/stat : 30791 (java) S 30777 30777 28647 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30792] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30792/stat : 30792 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30793] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30793/stat : 30793 (java) S 30777 30777 28647 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30794] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30794/stat : 30794 (java) S 30777 30777 28647 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636717482 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1714.24
Current children cumulated vsize (KiB) 368284
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/86 30977
/proc/meminfo: memFree=1591368/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 238 196 169 0 51 0
[pid=30785] ppid=30777 vsize=197432 CPUtime=5.43
/proc/30785/stat : 30785 (java) S 30777 30777 28647 0 -1 0 11417 0 1 0 524 19 0 0 18 0 10 0 636716932 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30785/statm: 49358 9345 2543 9 0 43941 0
[pid=30795] ppid=30785 vsize=5356 CPUtime=0
/proc/30795/stat : 30795 (mistral) S 30785 30777 28647 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 636717482 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30795/statm: 1339 236 196 169 0 50 0
[pid=30796] ppid=30795 vsize=160136 CPUtime=1763.8
/proc/30796/stat : 30796 (xsolve) R 30795 30777 28647 0 -1 4194304 42379 0 0 0 176358 22 0 0 25 0 1 0 636717483 163979264 37993 996147200 134512640 135239763 4294955968 18446744073709551615 134802979 0 4 0 0 0 0 0 17 1 0 0
/proc/30796/statm: 40034 37993 413 177 0 38937 0
[pid=30785/tid=30786] ppid=30777 vsize=197432 CPUtime=4.37
/proc/30785/task/30786/stat : 30786 (java) S 30777 30777 28647 0 -1 64 3862 0 1 0 431 6 0 0 23 0 10 0 636716933 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30785/tid=30787] ppid=30777 vsize=197432 CPUtime=0.84
/proc/30785/task/30787/stat : 30787 (java) S 30777 30777 28647 0 -1 64 6105 0 0 0 73 11 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30788] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30788/stat : 30788 (java) S 30777 30777 28647 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30789] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30789/stat : 30789 (java) S 30777 30777 28647 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636716935 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30790] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30790/stat : 30790 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30791] ppid=30777 vsize=197432 CPUtime=0.18
/proc/30785/task/30791/stat : 30791 (java) S 30777 30777 28647 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30792] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30792/stat : 30792 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30793] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30793/stat : 30793 (java) S 30777 30777 28647 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30794] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30794/stat : 30794 (java) S 30777 30777 28647 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636717482 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.72
Current children cumulated vsize (KiB) 368284
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.8 s]
/proc/loadavg: 2.00 2.00 2.03 3/86 30977
/proc/meminfo: memFree=1591432/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 238 196 169 0 51 0
[pid=30785] ppid=30777 vsize=197432 CPUtime=5.43
/proc/30785/stat : 30785 (java) S 30777 30777 28647 0 -1 0 11417 0 1 0 524 19 0 0 18 0 10 0 636716932 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30785/statm: 49358 9345 2543 9 0 43941 0
[pid=30795] ppid=30785 vsize=5356 CPUtime=0
/proc/30795/stat : 30795 (mistral) S 30785 30777 28647 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 636717482 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30795/statm: 1339 236 196 169 0 50 0
[pid=30796] ppid=30795 vsize=160136 CPUtime=1790.08
/proc/30796/stat : 30796 (xsolve) R 30795 30777 28647 0 -1 4194304 42379 0 0 0 178986 22 0 0 25 0 1 0 636717483 163979264 37993 996147200 134512640 135239763 4294955968 18446744073709551615 135071045 0 4 0 0 0 0 0 17 1 0 0
/proc/30796/statm: 40034 37993 413 177 0 38937 0
[pid=30785/tid=30786] ppid=30777 vsize=197432 CPUtime=4.37
/proc/30785/task/30786/stat : 30786 (java) S 30777 30777 28647 0 -1 64 3862 0 1 0 431 6 0 0 23 0 10 0 636716933 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30785/tid=30787] ppid=30777 vsize=197432 CPUtime=0.84
/proc/30785/task/30787/stat : 30787 (java) S 30777 30777 28647 0 -1 64 6105 0 0 0 73 11 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30788] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30788/stat : 30788 (java) S 30777 30777 28647 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30789] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30789/stat : 30789 (java) S 30777 30777 28647 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636716935 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30790] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30790/stat : 30790 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30791] ppid=30777 vsize=197432 CPUtime=0.18
/proc/30785/task/30791/stat : 30791 (java) S 30777 30777 28647 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30792] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30792/stat : 30792 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30793] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30793/stat : 30793 (java) S 30777 30777 28647 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30794] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30794/stat : 30794 (java) S 30777 30777 28647 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636717482 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 368284
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.8 s]
/proc/loadavg: 2.00 2.00 2.03 3/86 30977
/proc/meminfo: memFree=1591432/2055920 swapFree=4180580/4192956
[pid=30777] ppid=30775 vsize=5360 CPUtime=4.49
/proc/30777/stat : 30777 (hydra) S 30775 30777 28647 0 -1 4194304 375 31679 0 0 0 0 435 14 20 0 1 0 636716478 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/30777/statm: 1340 238 196 169 0 51 0
[pid=30785] ppid=30777 vsize=197432 CPUtime=5.43
/proc/30785/stat : 30785 (java) S 30777 30777 28647 0 -1 0 11417 0 1 0 524 19 0 0 18 0 10 0 636716932 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30785/statm: 49358 9345 2543 9 0 43941 0
[pid=30795] ppid=30785 vsize=5356 CPUtime=0
/proc/30795/stat : 30795 (mistral) S 30785 30777 28647 0 -1 4194304 291 0 0 0 0 0 0 0 18 0 1 0 636717482 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 234045891396 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/30795/statm: 1339 236 196 169 0 50 0
[pid=30796] ppid=30795 vsize=160136 CPUtime=1790.08
/proc/30796/stat : 30796 (xsolve) R 30795 30777 28647 0 -1 4194304 42379 0 0 0 178986 22 0 0 25 0 1 0 636717483 163979264 37993 996147200 134512640 135239763 4294955968 18446744073709551615 135071045 0 4 0 0 0 0 0 17 1 0 0
/proc/30796/statm: 40034 37993 413 177 0 38937 0
[pid=30785/tid=30786] ppid=30777 vsize=197432 CPUtime=4.37
/proc/30785/task/30786/stat : 30786 (java) S 30777 30777 28647 0 -1 64 3862 0 1 0 431 6 0 0 23 0 10 0 636716933 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=30785/tid=30787] ppid=30777 vsize=197432 CPUtime=0.84
/proc/30785/task/30787/stat : 30787 (java) S 30777 30777 28647 0 -1 64 6105 0 0 0 73 11 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30788] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30788/stat : 30788 (java) S 30777 30777 28647 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 636716934 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30789] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30789/stat : 30789 (java) S 30777 30777 28647 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 636716935 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30790] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30790/stat : 30790 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30791] ppid=30777 vsize=197432 CPUtime=0.18
/proc/30785/task/30791/stat : 30791 (java) S 30777 30777 28647 0 -1 64 643 0 0 0 18 0 0 0 16 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30792] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30792/stat : 30792 (java) S 30777 30777 28647 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30793] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30793/stat : 30793 (java) S 30777 30777 28647 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 636716936 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30785/tid=30794] ppid=30777 vsize=197432 CPUtime=0
/proc/30785/task/30794/stat : 30794 (java) S 30777 30777 28647 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 636717482 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 368284
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30777 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=359337
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=150977
# CPU time returned by wait4() is 4.51031
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1808.83
CPU time (s): 1800
CPU user time (s): 1799.45
CPU system time (s): 0.55
CPU usage (%): 99.512
Max. virtual memory (cumulated for all children) (KiB): 368284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.35934
system time used= 0.150977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32054
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= 30
involuntary context switches= 153
runsolver used 2.29465 second user time and 6.00309 second system time
The end