0.00/0.00 c cpHydra_k_10 version 0.0
8.16/8.34 c CASE TO CLASSIFY:
8.16/8.34 c Case: 0
8.16/8.34 c 19 > 23.793800 | c 35 > 25.364100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.276300 | c 15 > 19.926600 | c 34 > 30.122900 | c 16 > 3.000000 | c 13 > 3.887740 | c 14 > 8.511750 | c 11 > 12.600600 | c 12 > 2.614130 | c 21 > 1.406340 | c 20 > 76.206200 | 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.323900 | c 1 > 12.600600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.081200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.903500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.16/8.35 c choco : 1801.0
8.16/8.35 c mistral : 1801.0
8.16/8.35 c abscon : 1801.0
8.16/8.35 c
8.16/8.35 c
8.26/8.43 c List of same ones: 10
8.26/8.43 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-075.xml
8.26/8.43 c 19 > 24.349400 | c 35 > 23.975200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.609600 | c 15 > 18.219300 | c 34 > 28.845100 | c 16 > 6.000000 | c 13 > 3.502530 | c 14 > 8.016810 | c 11 > 13.580300 | c 12 > 1.600970 | c 21 > 1.354740 | c 20 > 75.650600 | 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.348000 | c 1 > 11.830500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.071100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.881500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.44 c choco : 10.43
8.26/8.44 c mistral : 1.62
8.26/8.44 c abscon : 36.2955
8.26/8.44 c
8.26/8.44 c
8.26/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-1355-638.xml
8.26/8.44 c 19 > 24.351200 | c 35 > 23.970900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.610700 | c 15 > 18.024500 | c 34 > 28.841200 | c 16 > 6.000000 | c 13 > 3.426860 | c 14 > 8.335390 | c 11 > 13.629800 | c 12 > 1.567170 | c 21 > 1.364290 | c 20 > 75.648800 | 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.398900 | c 1 > 11.872700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.123800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.938300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.44 c choco : 10.61
8.26/8.44 c mistral : 2.17667
8.26/8.44 c abscon : 41.2657
8.26/8.44 c
8.26/8.44 c
8.26/8.44 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5.xml
8.26/8.44 c 19 > 23.621100 | c 35 > 25.445700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.172700 | c 15 > 19.373400 | c 34 > 30.169900 | c 16 > 3.000000 | c 13 > 2.811720 | c 14 > 8.535280 | c 11 > 12.175500 | c 12 > 1.784900 | c 21 > 1.271900 | c 20 > 76.378900 | 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.965400 | c 1 > 10.292300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.719400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.526000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.45 c choco : 58.49
8.26/8.45 c mistral : 13.9669
8.26/8.45 c abscon : 107.188
8.26/8.45 c
8.26/8.45 c
8.26/8.45 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2.xml
8.26/8.45 c 19 > 23.533500 | c 35 > 25.499700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.120100 | c 15 > 19.403800 | c 34 > 30.206400 | c 16 > 3.000000 | c 13 > 2.620250 | c 14 > 8.326430 | c 11 > 12.196600 | c 12 > 1.714510 | c 21 > 1.273840 | c 20 > 76.466500 | 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.988000 | c 1 > 10.303800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.744000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.550300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.46 c choco : 261.66
8.26/8.46 c mistral : 9.45956
8.26/8.46 c abscon : 21.2948
8.26/8.46 c
8.26/8.46 c
8.26/8.46 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-3.xml
8.26/8.46 c 19 > 23.698300 | c 35 > 25.398100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.219000 | c 15 > 19.460100 | c 34 > 30.137800 | c 16 > 3.000000 | c 13 > 2.663550 | c 14 > 8.442940 | c 11 > 12.153600 | c 12 > 1.781520 | c 21 > 1.269190 | c 20 > 76.301700 | 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.942500 | c 1 > 10.276100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.695200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.501800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.47 c choco : 1801.0
8.26/8.47 c mistral : 43.1674
8.26/8.47 c abscon : 40.2669
8.26/8.47 c
8.26/8.47 c
8.26/8.47 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-4.xml
8.26/8.47 c 19 > 23.809500 | c 35 > 25.329600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.285700 | c 15 > 19.368100 | c 34 > 30.091500 | c 16 > 3.000000 | c 13 > 2.547980 | c 14 > 8.262090 | c 11 > 12.133100 | c 12 > 1.704880 | c 21 > 1.268800 | c 20 > 76.190500 | 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.919200 | c 1 > 10.273800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.668000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.475700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.48 c choco : 1801.0
8.26/8.48 c mistral : 3.97
8.26/8.48 c abscon : 90.0093
8.26/8.48 c
8.26/8.48 c
8.26/8.48 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-1.xml
8.26/8.48 c 19 > 23.888000 | c 35 > 25.281200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 14.332800 | c 15 > 19.394200 | c 34 > 30.058800 | c 16 > 3.000000 | c 13 > 2.449720 | c 14 > 8.118940 | c 11 > 12.103900 | c 12 > 1.693210 | c 21 > 1.264130 | c 20 > 76.112000 | 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.889900 | c 1 > 10.245600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.638400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.445500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.26/8.49 c choco : 61.68
8.26/8.49 c mistral : 2.5986
8.26/8.49 c abscon : 42.7435
8.26/8.49 c
8.26/8.49 c
8.26/8.49 c /home/eomahony/cpZilla/CSP/pseudoSeries/primesDimacs/bf-0432-007.xml
8.26/8.49 c 19 > 22.118200 | c 35 > 24.772400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 13.270900 | c 15 > 19.211100 | c 34 > 29.196100 | c 16 > 6.000000 | c 13 > 3.352130 | c 14 > 8.523560 | c 11 > 12.806500 | c 12 > 1.932700 | c 21 > 1.370710 | c 20 > 77.881800 | 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.609600 | c 1 > 10.836100 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.381500 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 14.168400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.34/8.50 c choco : 1801.0
8.34/8.50 c mistral : 1022.21
8.34/8.50 c abscon : 1800.12
8.34/8.50 c
8.34/8.50 c
8.34/8.50 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-2-c.xml
8.34/8.50 c 19 > 20.046000 | c 35 > 27.294700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.027600 | c 15 > 19.533400 | c 34 > 31.303800 | c 16 > 3.000000 | c 13 > 2.882080 | c 14 > 8.543030 | c 11 > 11.714200 | c 12 > 2.001820 | c 21 > 1.414210 | c 20 > 79.954000 | 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.556000 | c 1 > 9.447080 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.378300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.176800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.34/8.51 c choco : 11.83
8.34/8.51 c mistral : 17.3514
8.34/8.51 c abscon : 72.319
8.34/8.51 c
8.34/8.51 c
8.34/8.51 c /home/eomahony/cpZilla/CSP/pseudoSeries/par/par-16-5-c.xml
8.34/8.51 c 19 > 20.047000 | c 35 > 27.278100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 12.028200 | c 15 > 19.476000 | c 34 > 31.287500 | c 16 > 3.000000 | c 13 > 3.124660 | c 14 > 8.700440 | c 11 > 11.679500 | c 12 > 2.120210 | c 21 > 1.414210 | c 20 > 79.953000 | 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.521100 | c 1 > 9.413630 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.343200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 13.141500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.34/8.52 c choco : 72.04
8.34/8.52 c mistral : 0.78388
8.34/8.52 c abscon : 64.5282
8.34/8.52 c
8.34/8.52 c
8.34/8.52 c Length: 10
8.34/8.52 c 4.711443723881247 4.75071646576598 4.954940684589474 4.982100560697265 5.01909191555604 5.113756275703801 5.208840253549728 5.485797371394609 8.540758150621055 8.555804833368983
8.34/8.52 c
8.34/8.52 c 1.0 0.9898876301454489 0.9404340961630907 0.9342270579745271 0.9259037807095823 0.9052640763315866 0.8854389003239835 0.8323443450714101 0.500980409106229 0.5
8.34/8.53 c
8.34/8.53 c solver 0
8.34/8.53 c before 0.0 seconds: {} 0
8.34/8.53 c before 36.0 seconds: {3} 934
8.34/8.53 c before 54.0 seconds: {0, 1, 3, 4, 6} 4735
8.34/8.53 c before 72.0 seconds: {0, 1, 3, 4, 6, 9} 5235
8.34/8.53 c before 90.0 seconds: {0, 1, 3, 4, 6, 8, 9} 5736
8.34/8.53 c before 108.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7582
8.34/8.53 c
8.34/8.53 c solver 1
8.34/8.53 c before 0.0 seconds: {} 0
8.34/8.53 c before 18.0 seconds: {0, 1, 2, 3, 5, 6, 8, 9} 6656
8.34/8.53 c before 54.0 seconds: {0, 1, 2, 3, 4, 5, 6, 8, 9} 7582
8.34/8.53 c before 1026.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 8414
8.34/8.53 c
8.34/8.53 c solver 2
8.34/8.53 c before 0.0 seconds: {} 0
8.34/8.53 c before 18.0 seconds: {0, 1, 8} 2490
8.34/8.53 c before 72.0 seconds: {0, 1, 2, 6, 8} 4316
8.34/8.53 c before 90.0 seconds: {0, 1, 2, 6, 8, 9} 4816
8.34/8.53 c before 270.0 seconds: {0, 1, 2, 3, 6, 8, 9} 5750
8.34/8.53 c
8.34/8.53 cTotal time: 78
8.34/8.53 c 1404.0 seconds unused
8.34/8.53 c 0 c 0 c 2
8.34/8.53 c 1 c 0 c 3
8.34/8.53 c 0 c 0 c 0
8.34/8.53 c is solver0 dominated by:
8.34/8.53 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: true) (0 is equally as fast as 1: false) (0 < 1: false)
8.34/8.53 c is dominated? true
8.34/8.53 c
8.34/8.53 c is solver1 dominated by:
8.34/8.53 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: false) (1 is equally as fast as 0: false) (1 < 0: true)
8.34/8.53 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)
8.34/8.53 c is dominated? false
8.34/8.53 c
8.34/8.53 c is solver2 dominated by:
8.34/8.53 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: false) (2 is equally as fast as 0: false) (2 < 0: true)
8.34/8.53 c is dominated? true
8.34/8.53 c
8.34/8.53 c Number of non-dominated solvers: 1
8.34/8.53 c remove dominated solvers
8.34/8.53 c solver 1 is not dominated by another solver
8.34/8.53 c solver 2 is dominated by another solver
8.34/8.53 c solver 0 is dominated by another solver
8.34/8.53 c
8.34/8.53 c solver 0: 0.0
8.34/8.53 c
8.34/8.53 c solver 1: 1026.0
8.34/8.53 c
8.34/8.53 c+ 57/57 of 43
8.34/8.53 c
8.34/8.53 c solver 2: 0.0
8.34/8.53 c do not run abscon
8.34/8.53 c run mistral for 1800.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 8414
8.34/8.53 c do not run choco
8.34/8.54 c Starting solver: HOME/cpHydra_k_10/solver/mistral
8.34/8.54 c On Instance: HOME/instance-1060758-1215128550.xml
8.34/8.54 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-1060758-1215128550/watcher-1060758-1215128550 -o /tmp/evaluation-result-1060758-1215128550/solver-1060758-1215128550 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1060758-1215128550.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 6119
/proc/meminfo: memFree=1820024/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5256 CPUtime=0
/proc/6119/stat : 6119 (hydra) R 6117 6119 5850 0 -1 4194304 63 0 0 0 0 0 0 0 20 0 1 0 634044356 5382144 48 996147200 4194304 4889804 548682068816 18446744073709551615 245480078824 0 0 4096 0 0 0 0 17 1 0 0
/proc/6119/statm: 1314 48 37 169 0 13 0
[startup+0.0660581 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 6119
/proc/meminfo: memFree=1820024/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=0
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634044356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102051 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 6119
/proc/meminfo: memFree=1820024/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=0
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634044356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301077 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 6119
/proc/meminfo: memFree=1820024/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=0
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634044356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701122 s]
/proc/loadavg: 1.92 1.98 1.99 4/72 6119
/proc/meminfo: memFree=1820024/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=0
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634044356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50221 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 6123
/proc/meminfo: memFree=1784488/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=0
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 634044356 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 236 195 169 0 51 0
[pid=6123] ppid=6119 vsize=39396 CPUtime=1.46
/proc/6123/stat : 6123 (xsolve) R 6119 6119 5850 0 -1 4194304 9270 0 0 0 139 7 0 0 25 0 1 0 634044357 40341504 9080 996147200 134512640 135239763 4294956176 18446744073709551615 135097529 0 0 4096 0 0 0 0 17 1 0 0
/proc/6123/statm: 9849 9080 432 177 0 8752 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 44756
[startup+3.10136 s]
/proc/loadavg: 1.92 1.98 1.99 3/74 6123
/proc/meminfo: memFree=1784936/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 5360
[startup+6.3027 s]
/proc/loadavg: 1.93 1.98 1.99 3/82 6135
/proc/meminfo: memFree=1803752/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197156 CPUtime=3.78
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 8795 0 1 0 365 13 0 0 18 0 9 0 634044603 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49289 7257 2540 9 0 43872 0
[pid=6127/tid=6128] ppid=6119 vsize=197156 CPUtime=2.98
/proc/6127/task/6128/stat : 6128 (java) R 6119 6119 5850 0 -1 64 3302 0 1 0 294 4 0 0 25 0 9 0 634044604 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197156 CPUtime=0.6
/proc/6127/task/6129/stat : 6129 (java) R 6119 6119 5850 0 -1 64 4143 0 0 0 53 7 0 0 16 0 9 0 634044605 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 104180300 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197156 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 634044605 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197156 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 634044605 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6132] ppid=6119 vsize=197156 CPUtime=0
/proc/6127/task/6132/stat : 6132 (java) S 6119 6119 5850 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 634044607 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6133] ppid=6119 vsize=197156 CPUtime=0.17
/proc/6127/task/6133/stat : 6133 (java) S 6119 6119 5850 0 -1 64 626 0 0 0 17 0 0 0 16 0 9 0 634044607 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6134] ppid=6119 vsize=197156 CPUtime=0
/proc/6127/task/6134/stat : 6134 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 634044607 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6135] ppid=6119 vsize=197156 CPUtime=0
/proc/6127/task/6135/stat : 6135 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 634044607 201887744 7257 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 202516
[startup+12.7024 s]
/proc/loadavg: 1.93 1.98 1.99 3/85 6138
/proc/meminfo: memFree=1756752/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197432 CPUtime=5.98
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 11414 0 1 0 578 20 0 0 18 0 10 0 634044603 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49358 9385 2544 9 0 43941 0
[pid=6137] ppid=6127 vsize=5356 CPUtime=0
/proc/6137/stat : 6137 (mistral) S 6127 6119 5850 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634045211 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 245482709828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6137/statm: 1339 236 196 169 0 50 0
[pid=6138] ppid=6137 vsize=39396 CPUtime=4.09
/proc/6138/stat : 6138 (xsolve) R 6137 6119 5850 0 -1 4194304 9247 0 0 0 405 4 0 0 25 0 1 0 634045211 40341504 9062 996147200 134512640 135239763 4294955968 18446744073709551615 134820601 0 4 0 0 0 0 0 17 1 0 0
/proc/6138/statm: 9849 9062 414 177 0 8752 0
[pid=6127/tid=6128] ppid=6119 vsize=197432 CPUtime=4.84
/proc/6127/task/6128/stat : 6128 (java) S 6119 6119 5850 0 -1 64 3866 0 1 0 477 7 0 0 23 0 10 0 634044604 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197432 CPUtime=0.9
/proc/6127/task/6129/stat : 6129 (java) S 6119 6119 5850 0 -1 64 6105 0 0 0 80 10 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6132] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6132/stat : 6132 (java) S 6119 6119 5850 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6133] ppid=6119 vsize=197432 CPUtime=0.2
/proc/6127/task/6133/stat : 6133 (java) S 6119 6119 5850 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6134] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6134/stat : 6134 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6135] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6135/stat : 6135 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6127/tid=6136] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6136/stat : 6136 (java) S 6119 6119 5850 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634045211 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 247544
[startup+25.5027 s]
/proc/loadavg: 1.95 1.98 1.99 3/85 6138
/proc/meminfo: memFree=1756880/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197432 CPUtime=5.98
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 11419 0 1 0 578 20 0 0 18 0 10 0 634044603 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49358 9385 2544 9 0 43941 0
[pid=6137] ppid=6127 vsize=5356 CPUtime=0
/proc/6137/stat : 6137 (mistral) S 6127 6119 5850 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634045211 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 245482709828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6137/statm: 1339 236 196 169 0 50 0
[pid=6138] ppid=6137 vsize=39396 CPUtime=16.76
/proc/6138/stat : 6138 (xsolve) R 6137 6119 5850 0 -1 4194304 9247 0 0 0 1672 4 0 0 25 0 1 0 634045211 40341504 9062 996147200 134512640 135239763 4294955968 18446744073709551615 135067212 0 4 0 0 0 0 0 17 1 0 0
/proc/6138/statm: 9849 9062 414 177 0 8752 0
[pid=6127/tid=6128] ppid=6119 vsize=197432 CPUtime=4.84
/proc/6127/task/6128/stat : 6128 (java) S 6119 6119 5850 0 -1 64 3866 0 1 0 477 7 0 0 23 0 10 0 634044604 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197432 CPUtime=0.9
/proc/6127/task/6129/stat : 6129 (java) S 6119 6119 5850 0 -1 64 6105 0 0 0 80 10 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6132] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6132/stat : 6132 (java) S 6119 6119 5850 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6133] ppid=6119 vsize=197432 CPUtime=0.2
/proc/6127/task/6133/stat : 6133 (java) S 6119 6119 5850 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6134] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6134/stat : 6134 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6135] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6135/stat : 6135 (java) S 6119 6119 5850 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6127/tid=6136] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6136/stat : 6136 (java) S 6119 6119 5850 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634045211 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 247544
[startup+51.1023 s]
/proc/loadavg: 1.96 1.98 1.99 3/85 6138
/proc/meminfo: memFree=1756816/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197432 CPUtime=5.98
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 11419 0 1 0 578 20 0 0 18 0 10 0 634044603 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49358 9385 2544 9 0 43941 0
[pid=6137] ppid=6127 vsize=5356 CPUtime=0
/proc/6137/stat : 6137 (mistral) S 6127 6119 5850 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634045211 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 245482709828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6137/statm: 1339 236 196 169 0 50 0
[pid=6138] ppid=6137 vsize=39396 CPUtime=42.09
/proc/6138/stat : 6138 (xsolve) R 6137 6119 5850 0 -1 4194304 9247 0 0 0 4204 5 0 0 25 0 1 0 634045211 40341504 9062 996147200 134512640 135239763 4294955968 18446744073709551615 134787942 0 4 0 0 0 0 0 17 1 0 0
/proc/6138/statm: 9849 9062 414 177 0 8752 0
[pid=6127/tid=6128] ppid=6119 vsize=197432 CPUtime=4.84
/proc/6127/task/6128/stat : 6128 (java) S 6119 6119 5850 0 -1 64 3866 0 1 0 477 7 0 0 23 0 10 0 634044604 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197432 CPUtime=0.9
/proc/6127/task/6129/stat : 6129 (java) S 6119 6119 5850 0 -1 64 6105 0 0 0 80 10 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/6127/task/6136/stat : 6136 (java) S 6119 6119 5850 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634045211 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.83
Current children cumulated vsize (KiB) 247544
[startup+1662.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/85 6174
/proc/meminfo: memFree=1769616/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197432 CPUtime=5.98
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 11419 0 1 0 578 20 0 0 18 0 10 0 634044603 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49358 9385 2544 9 0 43941 0
[pid=6137] ppid=6127 vsize=5356 CPUtime=0
/proc/6137/stat : 6137 (mistral) S 6127 6119 5850 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634045211 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 245482709828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6137/statm: 1339 236 196 169 0 50 0
[pid=6138] ppid=6137 vsize=39396 CPUtime=1643.44
/proc/6138/stat : 6138 (xsolve) R 6137 6119 5850 0 -1 4194304 9248 0 0 0 164334 10 0 0 25 0 1 0 634045211 40341504 9063 996147200 134512640 135239763 4294955968 18446744073709551615 135031223 0 4 0 0 0 0 0 17 0 0 0
/proc/6138/statm: 9849 9063 414 177 0 8752 0
[pid=6127/tid=6128] ppid=6119 vsize=197432 CPUtime=4.84
/proc/6127/task/6128/stat : 6128 (java) S 6119 6119 5850 0 -1 64 3866 0 1 0 477 7 0 0 23 0 10 0 634044604 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197432 CPUtime=0.9
/proc/6127/task/6129/stat : 6129 (java) S 6119 6119 5850 0 -1 64 6105 0 0 0 80 10 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6132] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6132/stat : 6132 (java) S 6119 6119 5850 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6133] ppid=6119 vsize=197432 CPUtime=0.2
/proc/6127/task/6133/stat : 6133 (java) S 6119 6119 5850 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6134] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6134/stat : 6134 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6135] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6135/stat : 6135 (java) S 6119 6119 5850 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6127/tid=6136] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6136/stat : 6136 (java) S 6119 6119 5850 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634045211 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.82
Current children cumulated vsize (KiB) 247544
[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/85 6174
/proc/meminfo: memFree=1769488/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197432 CPUtime=5.98
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 11419 0 1 0 578 20 0 0 18 0 10 0 634044603 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49358 9385 2544 9 0 43941 0
[pid=6137] ppid=6127 vsize=5356 CPUtime=0
/proc/6137/stat : 6137 (mistral) S 6127 6119 5850 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634045211 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 245482709828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6137/statm: 1339 236 196 169 0 50 0
[pid=6138] ppid=6137 vsize=39396 CPUtime=1703.42
/proc/6138/stat : 6138 (xsolve) R 6137 6119 5850 0 -1 4194304 9248 0 0 0 170332 10 0 0 25 0 1 0 634045211 40341504 9063 996147200 134512640 135239763 4294955968 18446744073709551615 134787933 0 4 0 0 0 0 0 17 0 0 0
/proc/6138/statm: 9849 9063 414 177 0 8752 0
[pid=6127/tid=6128] ppid=6119 vsize=197432 CPUtime=4.84
/proc/6127/task/6128/stat : 6128 (java) S 6119 6119 5850 0 -1 64 3866 0 1 0 477 7 0 0 23 0 10 0 634044604 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197432 CPUtime=0.9
/proc/6127/task/6129/stat : 6129 (java) S 6119 6119 5850 0 -1 64 6105 0 0 0 80 10 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6132] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6132/stat : 6132 (java) S 6119 6119 5850 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6133] ppid=6119 vsize=197432 CPUtime=0.2
/proc/6127/task/6133/stat : 6133 (java) S 6119 6119 5850 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6134] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6134/stat : 6134 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6135] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6135/stat : 6135 (java) S 6119 6119 5850 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6127/tid=6136] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6136/stat : 6136 (java) S 6119 6119 5850 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634045211 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.8
Current children cumulated vsize (KiB) 247544
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/85 6174
/proc/meminfo: memFree=1769424/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197432 CPUtime=5.98
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 11419 0 1 0 578 20 0 0 18 0 10 0 634044603 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49358 9385 2544 9 0 43941 0
[pid=6137] ppid=6127 vsize=5356 CPUtime=0
/proc/6137/stat : 6137 (mistral) S 6127 6119 5850 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634045211 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 245482709828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6137/statm: 1339 236 196 169 0 50 0
[pid=6138] ppid=6137 vsize=39396 CPUtime=1763.39
/proc/6138/stat : 6138 (xsolve) R 6137 6119 5850 0 -1 4194304 9248 0 0 0 176329 10 0 0 25 0 1 0 634045211 40341504 9063 996147200 134512640 135239763 4294955968 18446744073709551615 134820511 0 4 0 0 0 0 0 17 0 0 0
/proc/6138/statm: 9849 9063 414 177 0 8752 0
[pid=6127/tid=6128] ppid=6119 vsize=197432 CPUtime=4.84
/proc/6127/task/6128/stat : 6128 (java) S 6119 6119 5850 0 -1 64 3866 0 1 0 477 7 0 0 23 0 10 0 634044604 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197432 CPUtime=0.9
/proc/6127/task/6129/stat : 6129 (java) S 6119 6119 5850 0 -1 64 6105 0 0 0 80 10 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6132] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6132/stat : 6132 (java) S 6119 6119 5850 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6133] ppid=6119 vsize=197432 CPUtime=0.2
/proc/6127/task/6133/stat : 6133 (java) S 6119 6119 5850 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6134] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6134/stat : 6134 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6135] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6135/stat : 6135 (java) S 6119 6119 5850 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6127/tid=6136] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6136/stat : 6136 (java) S 6119 6119 5850 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634045211 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.77
Current children cumulated vsize (KiB) 247544
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.61 s]
/proc/loadavg: 2.00 2.02 2.00 3/85 6174
/proc/meminfo: memFree=1769424/2055920 swapFree=4179840/4192956
[pid=6119] ppid=6117 vsize=5360 CPUtime=2.4
/proc/6119/stat : 6119 (hydra) S 6117 6119 5850 0 -1 4194304 375 9866 0 0 0 0 232 8 18 0 1 0 634044356 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6119/statm: 1340 238 196 169 0 51 0
[pid=6127] ppid=6119 vsize=197432 CPUtime=5.98
/proc/6127/stat : 6127 (java) S 6119 6119 5850 0 -1 0 11419 0 1 0 578 20 0 0 18 0 10 0 634044603 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/6127/statm: 49358 9385 2544 9 0 43941 0
[pid=6137] ppid=6127 vsize=5356 CPUtime=0
/proc/6137/stat : 6137 (mistral) S 6127 6119 5850 0 -1 4194304 291 0 0 0 0 0 0 0 25 0 1 0 634045211 5484544 236 996147200 4194304 4889804 548682068592 18446744073709551615 245482709828 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/6137/statm: 1339 236 196 169 0 50 0
[pid=6138] ppid=6137 vsize=39396 CPUtime=1791.69
/proc/6138/stat : 6138 (xsolve) R 6137 6119 5850 0 -1 4194304 9248 0 0 0 179159 10 0 0 25 0 1 0 634045211 40341504 9063 996147200 134512640 135239763 4294955968 18446744073709551615 134803592 0 4 0 0 0 0 0 17 0 0 0
/proc/6138/statm: 9849 9063 414 177 0 8752 0
[pid=6127/tid=6128] ppid=6119 vsize=197432 CPUtime=4.84
/proc/6127/task/6128/stat : 6128 (java) S 6119 6119 5850 0 -1 64 3866 0 1 0 477 7 0 0 23 0 10 0 634044604 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=6127/tid=6129] ppid=6119 vsize=197432 CPUtime=0.9
/proc/6127/task/6129/stat : 6129 (java) S 6119 6119 5850 0 -1 64 6105 0 0 0 80 10 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6130] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6130/stat : 6130 (java) S 6119 6119 5850 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6131] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6131/stat : 6131 (java) S 6119 6119 5850 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 634044605 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6132] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6132/stat : 6132 (java) S 6119 6119 5850 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6133] ppid=6119 vsize=197432 CPUtime=0.2
/proc/6127/task/6133/stat : 6133 (java) S 6119 6119 5850 0 -1 64 644 0 0 0 20 0 0 0 16 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6134] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6134/stat : 6134 (java) S 6119 6119 5850 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=6127/tid=6135] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6135/stat : 6135 (java) S 6119 6119 5850 0 -1 64 10 0 0 0 0 0 0 0 15 0 10 0 634044607 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=6127/tid=6136] ppid=6119 vsize=197432 CPUtime=0
/proc/6127/task/6136/stat : 6136 (java) S 6119 6119 5850 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 634045211 202170368 9385 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 247544
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6119 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=331645
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=89986
# CPU time returned by wait4() is 2.42163
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1810.63
CPU time (s): 1800.07
CPU user time (s): 1799.69
CPU system time (s): 0.38
CPU usage (%): 99.4166
Max. virtual memory (cumulated for all children) (KiB): 247544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.33164
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10241
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= 71
runsolver used 2.55461 second user time and 6.23205 second system time
The end