0.00/0.00 c cpHydra_k_10 version 0.0
9.15/9.34 c CASE TO CLASSIFY:
9.15/9.34 c Case: 0
9.15/9.34 c 19 > 9.584350 | c 35 > 33.271400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.467000 | c 15 > 19.665900 | c 34 > 66.542800 | c 16 > 98.000000 | c 13 > 1.097580 | c 14 > 11.753600 | c 11 > 13.388600 | c 12 > 2.246510 | c 21 > 1.414210 | c 20 > 90.415600 | 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.369600 | c 1 > 13.388600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.366200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.787600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.15/9.35 c choco : 1801.0
9.15/9.35 c mistral : 1801.0
9.15/9.35 c abscon : 1801.0
9.15/9.35 c
9.15/9.35 c
9.45/9.65 c List of same ones: 10
9.45/9.65 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-mitre.xml
9.45/9.65 c 19 > 9.584350 | c 35 > 33.271400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 25.467000 | c 15 > 18.214500 | c 34 > 66.542800 | c 16 > 98.000000 | c 13 > -0.028883 | c 14 > 9.923330 | c 11 > 13.388600 | c 12 > 2.211530 | c 21 > 1.414210 | c 20 > 90.415600 | 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.369600 | c 1 > 13.388600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.366200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 25.787600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.45/9.66 c choco : 1801.0
9.45/9.66 c mistral : 3.9354
9.45/9.66 c abscon : 1800.1
9.45/9.66 c
9.45/9.66 c
9.45/9.66 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare1-1.xml
9.45/9.66 c 19 > 0.000000 | c 35 > 32.352900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 17.647100 | c 15 > 17.620800 | c 34 > 64.705900 | c 16 > 130.000000 | c 13 > 1.435600 | c 14 > 7.417850 | c 11 > 10.742300 | c 12 > 0.805067 | c 21 > 1.344300 | 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.385300 | c 1 > 7.820180 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.385300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.739500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.45/9.66 c choco : 2.19
9.45/9.66 c mistral : 0.37
9.45/9.66 c abscon : 175.226
9.45/9.67 c
9.45/9.67 c
9.45/9.67 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos18.xml
9.45/9.67 c 19 > 25.134400 | c 35 > 25.841100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.413100 | c 15 > 16.069800 | c 34 > 34.072800 | c 16 > 80.000000 | c 13 > 2.425940 | c 14 > 8.727920 | c 11 > 13.281600 | c 12 > 0.561496 | c 21 > 1.136120 | c 20 > 74.865600 | 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.375900 | c 1 > 9.911390 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.134900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.385700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.45/9.68 c choco : 9.44
9.45/9.68 c mistral : 1.19
9.45/9.68 c abscon : 6.61899
9.45/9.68 c
9.45/9.68 c
9.45/9.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/mps/mps-neos5.xml
9.45/9.68 c 19 > 0.000000 | c 35 > 15.068500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 8.219180 | c 15 > 19.252700 | c 34 > 30.137000 | c 16 > 102.000000 | c 13 > 3.121570 | c 14 > 7.179910 | c 11 > 10.941000 | c 12 > 1.853770 | 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.311000 | c 1 > 7.348730 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.311000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 27.205100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.45/9.68 c choco : 3.04
9.45/9.68 c mistral : 0.9
9.45/9.68 c abscon : 1.9467
9.45/9.68 c
9.45/9.68 c
9.45/9.68 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-fiber.xml
9.45/9.68 c 19 > 14.511500 | c 35 > 46.867800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 50.000000 | c 15 > 18.156800 | c 34 > 70.301700 | c 16 > 61.000000 | c 13 > 4.784170 | c 14 > 9.487840 | c 11 > 13.202100 | c 12 > 2.118960 | c 21 > 1.350270 | c 20 > 85.488500 | 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.539900 | c 1 > 11.049200 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.527600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.151900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.45/9.70 c choco : 49.37
9.45/9.70 c mistral : 296.002
9.45/9.70 c abscon : 158.523
9.45/9.70 c
9.45/9.70 c
9.45/9.70 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-bell5.xml
9.45/9.70 c 19 > 12.605000 | c 35 > 46.554600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 29.243700 | c 15 > 20.294600 | c 34 > 90.756300 | c 16 > 135.000000 | c 13 > 9.222100 | c 14 > 10.246700 | c 11 > 11.626200 | c 12 > 4.995200 | c 21 > 1.335460 | c 20 > 87.395000 | 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 > 12.449700 | c 1 > 10.382600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.445800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 24.299100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.54/9.71 c choco : 1801.0
9.54/9.71 c mistral : 247.62
9.54/9.71 c abscon : 437.054
9.54/9.71 c
9.54/9.71 c
9.54/9.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/sao2-b.xml
9.54/9.71 c 19 > 15.817000 | c 35 > 77.542500 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.196100 | c 15 > 18.013800 | c 34 > 84.692800 | c 16 > 98.000000 | c 13 > 4.520700 | c 14 > 7.348730 | c 11 > 8.519640 | c 12 > 5.072470 | c 21 > 1.409450 | c 20 > 84.183000 | 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.624600 | c 1 > 8.519640 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.610800 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 17.580900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.54/9.71 c choco : 3.87
9.54/9.71 c mistral : 0.71
9.54/9.71 c abscon : 2.33864
9.54/9.71 c
9.54/9.71 c
9.54/9.71 c /home/eomahony/cpZilla/CSP/pseudoSeries/mpsReduced/mps-red-markshare2-1.xml
9.54/9.71 c 19 > 0.000000 | c 35 > 33.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 18.000000 | c 15 > 18.319300 | c 34 > 66.000000 | c 16 > 150.000000 | c 13 > 1.599130 | c 14 > 7.592460 | c 11 > 11.148500 | c 12 > 0.825579 | c 21 > 1.345020 | 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.832500 | c 1 > 8.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.832500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.353800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.54/9.72 c choco : 2.64
9.54/9.72 c mistral : 0.55
9.54/9.72 c abscon : 199.342
9.54/9.72 c
9.54/9.72 c
9.54/9.72 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/9sym-b.xml
9.54/9.72 c 19 > 0.000000 | c 35 > 80.373800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 19.813100 | c 15 > 19.394400 | c 34 > 86.978200 | c 16 > 87.000000 | c 13 > 5.633970 | c 14 > 7.139550 | c 11 > 8.271460 | c 12 > 6.182960 | 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 > 14.463800 | c 1 > 8.271460 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.463800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.764700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.54/9.73 c choco : 5.13
9.54/9.73 c mistral : 1.67
9.54/9.73 c abscon : 2.76658
9.54/9.73 c
9.54/9.73 c
9.54/9.73 c /home/eomahony/cpZilla/CSP/pseudoSeries/logic-synthesis/clip-b.xml
9.54/9.73 c 19 > 0.000000 | c 35 > 81.276600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 21.659600 | c 15 > 19.044600 | c 34 > 88.496500 | c 16 > 111.000000 | c 13 > 4.719060 | c 14 > 7.768180 | c 11 > 8.442940 | c 12 > 5.368030 | c 21 > 1.413200 | 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.820000 | c 1 > 8.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.820000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.178400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
9.54/9.74 c choco : 4.16
9.54/9.74 c mistral : 1.2
9.54/9.74 c abscon : 2.05169
9.54/9.74 c
9.54/9.74 c
9.54/9.74 c Length: 10
9.54/9.74 c 2.5935676971204917 37.568781760554195 46.04606216460748 47.35446275057505 47.77548668715265 47.8077086582436 50.401413373596974 55.31230903033664 56.029536338156504 57.555296632638424
9.54/9.75 c
9.54/9.75 c 1.0 0.6111140439380801 0.5584734303135269 0.5511460362454532 0.548828908013998 0.5486523749903652 0.5348054532971012 0.5104150158181147 0.5070377892178216 0.5
9.54/9.75 c
9.54/9.75 c solver 0
9.54/9.75 c before 0.0 seconds: {} 0
9.54/9.75 c before 18.0 seconds: {2, 3, 6, 8, 9} 2651
9.54/9.75 c before 162.0 seconds: {2, 3, 4, 6, 8, 9} 3200
9.54/9.75 c before 180.0 seconds: {1, 2, 3, 4, 6, 8, 9} 3811
9.54/9.75 c before 216.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9} 4321
9.54/9.75 c before 450.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 4870
9.54/9.75 c
9.54/9.75 c solver 1
9.54/9.75 c before 0.0 seconds: {} 0
9.54/9.75 c before 18.0 seconds: {0, 1, 2, 3, 6, 7, 8, 9} 4772
9.54/9.75 c before 252.0 seconds: {0, 1, 2, 3, 5, 6, 7, 8, 9} 5321
9.54/9.75 c before 306.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5870
9.54/9.75 c
9.54/9.75 c solver 2
9.54/9.75 c before 0.0 seconds: {} 0
9.54/9.75 c before 18.0 seconds: {1, 2, 3, 6, 7, 8, 9} 3772
9.54/9.75 c before 54.0 seconds: {1, 2, 3, 4, 6, 7, 8, 9} 4321
9.54/9.75 c
9.54/9.75 cTotal time: 45
9.54/9.75 c 810.0 seconds unused
9.54/9.75 c 0 c 0 c 1
9.54/9.75 c 1 c 0 c 2
9.54/9.75 c 0 c 0 c 0
9.54/9.75 c is solver0 dominated by:
9.54/9.75 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.54/9.75 c is dominated? true
9.54/9.75 c
9.54/9.75 c is solver1 dominated by:
9.54/9.75 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.54/9.75 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)
9.54/9.75 c is dominated? false
9.54/9.75 c
9.54/9.75 c is solver2 dominated by:
9.54/9.75 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)
9.54/9.75 c is dominated? true
9.54/9.75 c
9.54/9.75 c Number of non-dominated solvers: 1
9.54/9.75 c remove dominated solvers
9.54/9.75 c solver 1 is not dominated by another solver
9.54/9.75 c solver 2 is dominated by another solver
9.54/9.76 c solver 0 is dominated by another solver
9.54/9.76 c
9.54/9.76 c solver 0: 0.0
9.54/9.76 c
9.54/9.76 c solver 1: 306.0
9.54/9.76 c
9.54/9.76 c+ 17/17 of 83
9.54/9.76 c
9.54/9.76 c solver 2: 0.0
9.54/9.76 c do not run abscon
9.54/9.76 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5870
9.54/9.76 c do not run choco
9.54/9.76 c Starting solver: HOME/cpHydra_k_10/solver/mistral
9.54/9.76 c On Instance: HOME/instance-1065147-1215145993.xml
9.54/9.76 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-1065147-1215145993/watcher-1065147-1215145993 -o /tmp/evaluation-result-1065147-1215145993/solver-1065147-1215145993 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1065147-1215145993.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.98 1.98 1.99 4/80 22361
/proc/meminfo: memFree=1709168/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=0
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 306 124 0 0 0 0 0 0 20 0 1 0 1993571812 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 236 195 169 0 51 0
[pid=22363] ppid=22361 vsize=2536 CPUtime=0
/proc/22363/stat : 22363 (rm) R 22361 22361 21814 0 -1 4194304 117 0 0 0 0 0 0 0 23 0 1 0 1993571813 2596864 88 996147200 4194304 4227748 548682069024 18446744073709551615 221954609889 0 0 4096 0 0 0 0 17 1 0 0
/proc/22363/statm: 634 88 72 8 0 42 0
[startup+0.218752 s]
/proc/loadavg: 1.98 1.98 1.99 4/80 22361
/proc/meminfo: memFree=1709168/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=0
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993571812 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.302756 s]
/proc/loadavg: 1.98 1.98 1.99 4/80 22361
/proc/meminfo: memFree=1709168/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=0
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993571812 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.401766 s]
/proc/loadavg: 1.98 1.98 1.99 4/80 22361
/proc/meminfo: memFree=1709168/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=0
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993571812 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701792 s]
/proc/loadavg: 1.98 1.98 1.99 4/80 22361
/proc/meminfo: memFree=1709168/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=0
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993571812 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50287 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 22365
/proc/meminfo: memFree=1586528/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=0
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993571812 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 236 195 169 0 51 0
[pid=22365] ppid=22361 vsize=130328 CPUtime=1.46
/proc/22365/stat : 22365 (xsolve) R 22361 22361 21814 0 -1 4194304 32067 0 0 0 128 18 0 0 25 0 1 0 1993571813 133455872 31376 996147200 134512640 135239763 4294956176 18446744073709551615 134842477 0 0 4096 0 0 0 0 17 1 0 0
/proc/22365/statm: 32582 31376 432 177 0 31485 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 135688
[startup+3.10302 s]
/proc/loadavg: 1.99 1.98 1.99 3/82 22365
/proc/meminfo: memFree=1583200/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=0
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1993571812 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 236 195 169 0 51 0
[pid=22365] ppid=22361 vsize=125836 CPUtime=3.04
/proc/22365/stat : 22365 (xsolve) R 22361 22361 21814 0 -1 4194304 32972 0 0 0 283 21 0 0 25 0 1 0 1993571813 128856064 30439 996147200 134512640 135239763 4294956176 18446744073709551615 135003182 0 0 4096 0 0 0 0 17 1 0 0
/proc/22365/statm: 31459 30439 443 177 0 30362 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 131196
[startup+6.30176 s]
/proc/loadavg: 1.99 1.98 1.99 3/90 22377
/proc/meminfo: memFree=1694944/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197000 CPUtime=3.08
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 7828 0 1 0 298 10 0 0 18 0 9 0 1993572129 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49250 6506 2540 9 0 43833 0
[pid=22369/tid=22370] ppid=22361 vsize=197000 CPUtime=2.42
/proc/22369/task/22370/stat : 22370 (java) R 22361 22361 21814 0 -1 64 3082 0 1 0 239 3 0 0 25 0 9 0 1993572130 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22371] ppid=22361 vsize=197000 CPUtime=0.45
/proc/22369/task/22371/stat : 22371 (java) S 22361 22361 21814 0 -1 64 3391 0 0 0 40 5 0 0 15 0 9 0 1993572132 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22372] ppid=22361 vsize=197000 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22361 22361 21814 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1993572132 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22361 vsize=197000 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22361 22361 21814 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1993572132 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22361 vsize=197000 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1993572134 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22361 vsize=197000 CPUtime=0.18
/proc/22369/task/22375/stat : 22375 (java) S 22361 22361 21814 0 -1 64 630 0 0 0 18 0 0 0 16 0 9 0 1993572134 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22376] ppid=22361 vsize=197000 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1993572134 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22377] ppid=22361 vsize=197000 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1993572134 201728000 6506 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202360
[startup+12.7019 s]
/proc/loadavg: 2.06 2.00 2.00 3/93 22380
/proc/meminfo: memFree=1555592/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197436 CPUtime=6.49
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 13883 0 1 0 629 20 0 0 18 0 10 0 1993572129 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49359 9419 2543 9 0 43942 0
[pid=22379] ppid=22369 vsize=5356 CPUtime=0
/proc/22379/stat : 22379 (mistral) S 22369 22361 21814 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993572789 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22379/statm: 1339 236 196 169 0 50 0
[pid=22380] ppid=22379 vsize=133188 CPUtime=2.88
/proc/22380/stat : 22380 (xsolve) R 22379 22361 21814 0 -1 4194304 33108 0 0 0 267 21 0 0 25 0 1 0 1993572789 136384512 31938 996147200 134512640 135239763 4294955968 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0
/proc/22380/statm: 33297 31938 414 177 0 32200 0
[pid=22369/tid=22370] ppid=22361 vsize=197436 CPUtime=5
/proc/22369/task/22370/stat : 22370 (java) S 22361 22361 21814 0 -1 64 3902 0 1 0 495 5 0 0 23 0 10 0 1993572130 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22369/tid=22371] ppid=22361 vsize=197436 CPUtime=1.22
/proc/22369/task/22371/stat : 22371 (java) S 22361 22361 21814 0 -1 64 8529 0 0 0 110 12 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22372] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22361 22361 21814 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22361 22361 21814 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22361 vsize=197436 CPUtime=0.21
/proc/22369/task/22375/stat : 22375 (java) S 22361 22361 21814 0 -1 64 649 0 0 0 21 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22376] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22377] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22361 22361 21814 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22378] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22378/stat : 22378 (java) S 22361 22361 21814 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993572789 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 341340
[startup+25.507 s]
/proc/loadavg: 2.05 2.00 2.00 3/93 22380
/proc/meminfo: memFree=1552904/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197436 CPUtime=6.49
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 13889 0 1 0 629 20 0 0 18 0 10 0 1993572129 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49359 9419 2543 9 0 43942 0
[pid=22379] ppid=22369 vsize=5356 CPUtime=0
/proc/22379/stat : 22379 (mistral) S 22369 22361 21814 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993572789 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22379/statm: 1339 236 196 169 0 50 0
[pid=22380] ppid=22379 vsize=133848 CPUtime=15.55
/proc/22380/stat : 22380 (xsolve) R 22379 22361 21814 0 -1 4194304 33409 0 0 0 1533 22 0 0 25 0 1 0 1993572789 137060352 32239 996147200 134512640 135239763 4294955968 18446744073709551615 134842520 0 4 0 0 0 0 0 17 1 0 0
/proc/22380/statm: 33462 32239 414 177 0 32365 0
[pid=22369/tid=22370] ppid=22361 vsize=197436 CPUtime=5
/proc/22369/task/22370/stat : 22370 (java) S 22361 22361 21814 0 -1 64 3902 0 1 0 495 5 0 0 23 0 10 0 1993572130 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22369/tid=22371] ppid=22361 vsize=197436 CPUtime=1.22
/proc/22369/task/22371/stat : 22371 (java) S 22361 22361 21814 0 -1 64 8529 0 0 0 110 12 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22372] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22361 22361 21814 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22361 22361 21814 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22361 vsize=197436 CPUtime=0.21
/proc/22369/task/22375/stat : 22375 (java) S 22361 22361 21814 0 -1 64 649 0 0 0 21 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22376] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22377] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22361 22361 21814 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22378] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22378/stat : 22378 (java) S 22361 22361 21814 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993572789 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 342000
[startup+51.1023 s]
/proc/loadavg: 2.03 2.00 2.00 3/93 22380
/proc/meminfo: memFree=1552648/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197436 CPUtime=6.49
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 13889 0 1 0 629 20 0 0 18 0 10 0 1993572129 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49359 9419 2543 9 0 43942 0
[pid=22379] ppid=22369 vsize=5356 CPUtime=0
/proc/22379/stat : 22379 (mistral) S 22369 22361 21814 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993572789 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22379/statm: 1339 236 196 169 0 50 0
[pid=22380] ppid=22379 vsize=135896 CPUtime=40.85
/proc/22380/stat : 22380 (xsolve) R 22379 22361 21814 0 -1 4194304 33961 0 0 0 4063 22 0 0 25 0 1 0 1993572789 139157504 32278 996147200 134512640 135239763 4294955968 18446744073709551615 134842499 0 4 0 0 0 0 0 17 1 0 0
/proc/22380/statm: 33974 32278 414 177 0 32877 0
[pid=22369/tid=22370] ppid=22361 vsize=197436 CPUtime=5
/proc/22369/task/22370/stat : 22370 (java) S 22361 22361 21814 0 -1 64 3902 0 1 0 495 5 0 0 23 0 10 0 1993572130 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
################
# More data... #
################
/proc/22369/task/22378/stat : 22378 (java) S 22361 22361 21814 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993572789 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1648.75
Current children cumulated vsize (KiB) 344180
[startup+1722.3 s]
/proc/loadavg: 2.00 2.08 2.05 3/106 22445
/proc/meminfo: memFree=1575376/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197436 CPUtime=6.49
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 13889 0 1 0 629 20 0 0 18 0 10 0 1993572129 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49359 9419 2543 9 0 43942 0
[pid=22379] ppid=22369 vsize=5356 CPUtime=0
/proc/22379/stat : 22379 (mistral) S 22369 22361 21814 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993572789 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22379/statm: 1339 236 196 169 0 50 0
[pid=22380] ppid=22379 vsize=136028 CPUtime=1698.65
/proc/22380/stat : 22380 (xsolve) R 22379 22361 21814 0 -1 4194304 33963 0 0 0 169840 25 0 0 25 0 1 0 1993572789 139292672 32280 996147200 134512640 135239763 4294955968 18446744073709551615 134842514 0 4 0 0 0 0 0 17 1 0 0
/proc/22380/statm: 34007 32280 414 177 0 32910 0
[pid=22369/tid=22370] ppid=22361 vsize=197436 CPUtime=5
/proc/22369/task/22370/stat : 22370 (java) S 22361 22361 21814 0 -1 64 3902 0 1 0 495 5 0 0 23 0 10 0 1993572130 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22369/tid=22371] ppid=22361 vsize=197436 CPUtime=1.23
/proc/22369/task/22371/stat : 22371 (java) S 22361 22361 21814 0 -1 64 8529 0 0 0 111 12 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22372] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22361 22361 21814 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22361 22361 21814 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22361 vsize=197436 CPUtime=0.21
/proc/22369/task/22375/stat : 22375 (java) S 22361 22361 21814 0 -1 64 649 0 0 0 21 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22376] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22377] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22361 22361 21814 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22378] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22378/stat : 22378 (java) S 22361 22361 21814 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993572789 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1708.25
Current children cumulated vsize (KiB) 344180
[startup+1782.3 s]
/proc/loadavg: 1.92 2.05 2.04 5/95 22547
/proc/meminfo: memFree=1653928/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197436 CPUtime=6.49
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 13889 0 1 0 629 20 0 0 18 0 10 0 1993572129 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49359 9419 2543 9 0 43942 0
[pid=22379] ppid=22369 vsize=5356 CPUtime=0
/proc/22379/stat : 22379 (mistral) S 22369 22361 21814 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993572789 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22379/statm: 1339 236 196 169 0 50 0
[pid=22380] ppid=22379 vsize=136028 CPUtime=1757.78
/proc/22380/stat : 22380 (xsolve) R 22379 22361 21814 0 -1 4194304 33963 0 0 0 175751 27 0 0 25 0 1 0 1993572789 139292672 32280 996147200 134512640 135239763 4294955968 18446744073709551615 135071313 0 4 0 0 0 0 0 17 0 0 0
/proc/22380/statm: 34007 32280 414 177 0 32910 0
[pid=22369/tid=22370] ppid=22361 vsize=197436 CPUtime=5
/proc/22369/task/22370/stat : 22370 (java) S 22361 22361 21814 0 -1 64 3902 0 1 0 495 5 0 0 23 0 10 0 1993572130 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22369/tid=22371] ppid=22361 vsize=197436 CPUtime=1.23
/proc/22369/task/22371/stat : 22371 (java) S 22361 22361 21814 0 -1 64 8529 0 0 0 111 12 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22372] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22361 22361 21814 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22361 22361 21814 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22361 vsize=197436 CPUtime=0.21
/proc/22369/task/22375/stat : 22375 (java) S 22361 22361 21814 0 -1 64 649 0 0 0 21 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22376] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22377] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22361 22361 21814 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22378] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22378/stat : 22378 (java) S 22361 22361 21814 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993572789 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.38
Current children cumulated vsize (KiB) 344180
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1815.1 s]
/proc/loadavg: 1.95 2.04 2.03 3/94 22659
/proc/meminfo: memFree=1641904/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197436 CPUtime=6.49
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 13889 0 1 0 629 20 0 0 18 0 10 0 1993572129 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49359 9419 2543 9 0 43942 0
[pid=22379] ppid=22369 vsize=5356 CPUtime=0
/proc/22379/stat : 22379 (mistral) S 22369 22361 21814 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993572789 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22379/statm: 1339 236 196 169 0 50 0
[pid=22380] ppid=22379 vsize=136028 CPUtime=1790.42
/proc/22380/stat : 22380 (xsolve) R 22379 22361 21814 0 -1 4194304 33963 0 0 0 179011 31 0 0 25 0 1 0 1993572789 139292672 32280 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 0 0 0
/proc/22380/statm: 34007 32280 414 177 0 32910 0
[pid=22369/tid=22370] ppid=22361 vsize=197436 CPUtime=5
/proc/22369/task/22370/stat : 22370 (java) S 22361 22361 21814 0 -1 64 3902 0 1 0 495 5 0 0 23 0 10 0 1993572130 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22369/tid=22371] ppid=22361 vsize=197436 CPUtime=1.23
/proc/22369/task/22371/stat : 22371 (java) S 22361 22361 21814 0 -1 64 8529 0 0 0 111 12 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22372] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22361 22361 21814 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22361 22361 21814 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22361 vsize=197436 CPUtime=0.21
/proc/22369/task/22375/stat : 22375 (java) S 22361 22361 21814 0 -1 64 649 0 0 0 21 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22376] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22377] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22361 22361 21814 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22378] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22378/stat : 22378 (java) S 22361 22361 21814 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993572789 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 344180
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1815.1 s]
/proc/loadavg: 1.95 2.04 2.03 3/94 22659
/proc/meminfo: memFree=1641904/2055920 swapFree=4179776/4192956
[pid=22361] ppid=22359 vsize=5360 CPUtime=3.11
/proc/22361/stat : 22361 (hydra) S 22359 22361 21814 0 -1 4194304 375 33557 0 0 0 0 287 24 18 0 1 0 1993571812 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221954761540 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22361/statm: 1340 238 196 169 0 51 0
[pid=22369] ppid=22361 vsize=197436 CPUtime=6.49
/proc/22369/stat : 22369 (java) S 22361 22361 21814 0 -1 0 13889 0 1 0 629 20 0 0 18 0 10 0 1993572129 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/22369/statm: 49359 9419 2543 9 0 43942 0
[pid=22379] ppid=22369 vsize=5356 CPUtime=0
/proc/22379/stat : 22379 (mistral) S 22369 22361 21814 0 -1 4194304 292 0 0 0 0 0 0 0 25 0 1 0 1993572789 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 221954761540 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/22379/statm: 1339 236 196 169 0 50 0
[pid=22380] ppid=22379 vsize=136028 CPUtime=1790.42
/proc/22380/stat : 22380 (xsolve) R 22379 22361 21814 0 -1 4194304 33963 0 0 0 179011 31 0 0 25 0 1 0 1993572789 139292672 32280 996147200 134512640 135239763 4294955968 18446744073709551615 134842479 0 4 0 0 0 0 0 17 0 0 0
/proc/22380/statm: 34007 32280 414 177 0 32910 0
[pid=22369/tid=22370] ppid=22361 vsize=197436 CPUtime=5
/proc/22369/task/22370/stat : 22370 (java) S 22361 22361 21814 0 -1 64 3902 0 1 0 495 5 0 0 23 0 10 0 1993572130 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=22369/tid=22371] ppid=22361 vsize=197436 CPUtime=1.23
/proc/22369/task/22371/stat : 22371 (java) S 22361 22361 21814 0 -1 64 8529 0 0 0 111 12 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22372] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22372/stat : 22372 (java) S 22361 22361 21814 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22373] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22373/stat : 22373 (java) S 22361 22361 21814 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1993572132 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22374] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22374/stat : 22374 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22375] ppid=22361 vsize=197436 CPUtime=0.21
/proc/22369/task/22375/stat : 22375 (java) S 22361 22361 21814 0 -1 64 649 0 0 0 21 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22376] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22376/stat : 22376 (java) S 22361 22361 21814 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22377] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22377/stat : 22377 (java) S 22361 22361 21814 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 1993572134 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=22369/tid=22378] ppid=22361 vsize=197436 CPUtime=0
/proc/22369/task/22378/stat : 22378 (java) S 22361 22361 21814 0 -1 64 72 0 0 0 0 0 0 0 25 0 10 0 1993572789 202174464 9419 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 344180
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22361 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=876562
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=243962
# CPU time returned by wait4() is 3.12052
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1815.13
CPU time (s): 1800.02
CPU user time (s): 1799.27
CPU system time (s): 0.75
CPU usage (%): 99.1674
Max. virtual memory (cumulated for all children) (KiB): 344180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.87656
system time used= 0.243962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33932
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= 32
involuntary context switches= 81
runsolver used 2.55961 second user time and 6.68198 second system time
The end