0.00/0.00 c cpHydra_k_10 version 0.0
8.21/8.44 c CASE TO CLASSIFY:
8.21/8.44 c Case: 0
8.21/8.44 c 19 > 4.746150 | c 35 > 19.093200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.847690 | c 15 > 20.197800 | c 34 > 20.042400 | c 16 > 32.000000 | c 13 > 4.870680 | c 14 > 7.400880 | c 11 > 9.842350 | c 12 > 5.215850 | c 21 > 1.414210 | c 20 > 95.253900 | 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.565700 | c 1 > 9.842350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.538100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.139100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.21/8.45 c choco : 1801.0
8.21/8.45 c mistral : 1801.0
8.21/8.45 c abscon : 1801.0
8.21/8.45 c
8.21/8.45 c
8.30/8.52 c List of same ones: 10
8.30/8.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32a1.xml
8.30/8.53 c 19 > 4.746150 | c 35 > 19.093200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.847690 | c 15 > 19.726400 | c 34 > 20.042400 | c 16 > 32.000000 | c 13 > 4.856550 | c 14 > 7.276120 | c 11 > 9.842350 | c 12 > 5.211620 | c 21 > 1.414210 | c 20 > 95.253900 | 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.565700 | c 1 > 9.842350 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.538100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.139100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.30/8.53 c choco : 1801.0
8.30/8.53 c mistral : 171.472
8.30/8.53 c abscon : 613.015
8.30/8.53 c
8.30/8.53 c
8.30/8.53 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e4.xml
8.30/8.53 c 19 > 5.164820 | c 35 > 18.205000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.098890 | c 15 > 19.645000 | c 34 > 19.238000 | c 16 > 32.000000 | c 13 > 5.455050 | c 14 > 7.266790 | c 11 > 9.596190 | c 12 > 5.548950 | c 21 > 1.414210 | c 20 > 94.835200 | 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.809200 | c 1 > 9.596190 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.635700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.30/8.54 c choco : 1801.0
8.30/8.54 c mistral : 38.2112
8.30/8.54 c abscon : 762.347
8.30/8.54 c
8.30/8.54 c
8.30/8.54 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b4.xml
8.30/8.54 c 19 > 5.219890 | c 35 > 18.138100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.131940 | c 15 > 19.632900 | c 34 > 19.182100 | c 16 > 32.000000 | c 13 > 5.469140 | c 14 > 7.312880 | c 11 > 9.573650 | c 12 > 5.562700 | c 21 > 1.414210 | c 20 > 94.780100 | 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.808400 | c 1 > 9.573650 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.789100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.646000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.30/8.55 c choco : 1801.0
8.30/8.55 c mistral : 68.1926
8.30/8.55 c abscon : 1398.64
8.30/8.55 c
8.30/8.55 c
8.30/8.55 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e5.xml
8.30/8.55 c 19 > 4.293470 | c 35 > 18.659300 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.576080 | c 15 > 19.700800 | c 34 > 19.518000 | c 16 > 32.000000 | c 13 > 5.665320 | c 14 > 7.247930 | c 11 > 10.027900 | c 12 > 5.597150 | c 21 > 1.414210 | c 20 > 95.706500 | 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 > 15.227600 | c 1 > 10.027900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.207900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.956300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.30/8.56 c choco : 1801.0
8.30/8.56 c mistral : 28.4527
8.30/8.56 c abscon : 1800.08
8.30/8.56 c
8.30/8.56 c
8.30/8.56 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32b3.xml
8.30/8.56 c 19 > 5.721800 | c 35 > 18.132200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.433080 | c 15 > 19.664900 | c 34 > 19.276600 | c 16 > 32.000000 | c 13 > 5.224600 | c 14 > 7.276120 | c 11 > 9.442940 | c 12 > 5.434720 | c 21 > 1.414210 | c 20 > 94.278200 | 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.548000 | c 1 > 9.442940 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.526900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.386700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.30/8.58 c choco : 1801.0
8.30/8.58 c mistral : 34.6827
8.30/8.58 c abscon : 227.057
8.30/8.58 c
8.30/8.58 c
8.30/8.58 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e3.xml
8.30/8.58 c 19 > 6.168220 | c 35 > 18.358900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 3.700930 | c 15 > 19.678100 | c 34 > 19.592500 | c 16 > 32.000000 | c 13 > 4.952670 | c 14 > 7.531380 | c 11 > 9.366320 | c 12 > 5.241470 | c 21 > 1.414210 | c 20 > 93.831800 | 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.233000 | c 1 > 9.366320 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.208100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.031600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.30/8.59 c choco : 1801.0
8.30/8.59 c mistral : 38.3842
8.30/8.59 c abscon : 864.371
8.30/8.59 c
8.30/8.59 c
8.30/8.59 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32d2.xml
8.30/8.59 c 19 > 7.270110 | c 35 > 19.226200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.362070 | c 15 > 19.723200 | c 34 > 20.680200 | c 16 > 32.000000 | c 13 > 3.628800 | c 14 > 8.113740 | c 11 > 9.658210 | c 12 > 4.554740 | c 21 > 1.414210 | c 20 > 92.729900 | 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.687300 | c 1 > 9.658210 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.642400 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.214800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.30/8.60 c choco : 1801.0
8.30/8.60 c mistral : 65.521
8.30/8.60 c abscon : 1800.05
8.30/8.60 c
8.30/8.60 c
8.30/8.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c3.xml
8.30/8.60 c 19 > 7.856940 | c 35 > 18.037200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 4.714170 | c 15 > 19.685700 | c 34 > 19.608600 | c 16 > 32.000000 | c 13 > 4.633610 | c 14 > 7.483820 | c 11 > 9.124120 | c 12 > 5.041490 | c 21 > 1.414210 | c 20 > 92.143100 | 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.820800 | c 1 > 9.124120 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.792700 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.674800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.60 c choco : 23.56
8.37/8.60 c mistral : 26.173
8.37/8.60 c abscon : 26.201
8.37/8.60 c
8.37/8.60 c
8.37/8.60 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32c4.xml
8.37/8.60 c 19 > 3.510480 | c 35 > 17.836800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 2.106290 | c 15 > 19.658400 | c 34 > 18.538900 | c 16 > 32.000000 | c 13 > 7.016210 | c 14 > 5.754890 | c 11 > 10.568000 | c 12 > 6.261040 | c 21 > 1.414210 | c 20 > 96.489500 | 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.532600 | c 1 > 10.568000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 16.521000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.412700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.61 c choco : 1801.0
8.37/8.61 c mistral : 158.081
8.37/8.61 c abscon : 1800.11
8.37/8.61 c
8.37/8.61 c
8.37/8.61 c /home/eomahony/cpZilla/CSP/pseudoSeries/ii/ii-32e2.xml
8.37/8.61 c 19 > 8.861600 | c 35 > 18.589400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 5.316960 | c 15 > 19.203800 | c 34 > 20.361800 | c 16 > 32.000000 | c 13 > 3.100940 | c 14 > 7.800900 | c 11 > 13.295600 | c 12 > 1.642620 | c 21 > 1.414210 | c 20 > 91.138400 | 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.256800 | c 1 > 9.060700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.216900 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.005100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.37/8.62 c choco : 1801.0
8.37/8.62 c mistral : 1.61175
8.37/8.62 c abscon : 1784.44
8.37/8.62 c
8.37/8.62 c
8.37/8.63 c Length: 10
8.37/8.63 c 0.4878530182339751 1.765222854231161 1.87366292971815 1.9019633859777647 2.147102140490761 2.5481617371744676 4.546155764082441 5.1821488273109235 5.491926097554484 8.640373563758686
8.37/8.63 c
8.37/8.63 c 1.0 0.8645403303414615 0.8547114804073637 0.852183032818536 0.8308919615484662 0.7982626884687882 0.6676470825095294 0.6345946202153441 0.619652835527982 0.5
8.37/8.63 c
8.37/8.63 c solver 0
8.37/8.63 c before 0.0 seconds: {} 0
8.37/8.63 c before 36.0 seconds: {7} 634
8.37/8.63 c before 234.0 seconds: {4, 7} 1465
8.37/8.63 c before 630.0 seconds: {0, 4, 7} 2465
8.37/8.63 c before 774.0 seconds: {0, 1, 4, 7} 3330
8.37/8.63 c before 882.0 seconds: {0, 1, 4, 5, 7} 4128
8.37/8.63 c before 1404.0 seconds: {0, 1, 2, 4, 5, 7} 4983
8.37/8.63 c before 1800.0 seconds: {0, 1, 2, 4, 5, 7, 9} 5483
8.37/8.63 c
8.37/8.63 c solver 1
8.37/8.63 c before 0.0 seconds: {} 0
8.37/8.63 c before 18.0 seconds: {9} 500
8.37/8.63 c before 36.0 seconds: {3, 4, 7, 9} 2817
8.37/8.63 c before 54.0 seconds: {1, 3, 4, 5, 7, 9} 4480
8.37/8.63 c before 72.0 seconds: {1, 2, 3, 4, 5, 6, 7, 9} 6002
8.37/8.63 c before 162.0 seconds: {1, 2, 3, 4, 5, 6, 7, 8, 9} 6622
8.37/8.63 c before 180.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7622
8.37/8.63 c
8.37/8.63 c solver 2
8.37/8.63 c before 0.0 seconds: {} 0
8.37/8.63 c before 36.0 seconds: {7} 634
8.37/8.63 c
8.37/8.63 cTotal time: 112
8.37/8.64 c run abscon for 1404.0 seconds {0, 1, 2, 4, 5, 7} 4983
8.37/8.64 c run mistral for 180.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7622
8.37/8.64 c run choco for 36.0 seconds {7} 634
8.37/8.64 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.37/8.64 c On Instance: HOME/instance-1061283-1215131897.xml
8.37/8.64 c Running for: 1404 seconds
1412.85/1419.17 c Starting solver: HOME/cpHydra_k_10/solver/mistral
1412.85/1419.17 c On Instance: HOME/instance-1061283-1215131897.xml
1412.85/1419.17 c Running for: 180 seconds
1592.91/1601.00 c Starting solver: HOME/cpHydra_k_10/solver/choco
1592.91/1601.00 c On Instance: HOME/instance-1061283-1215131897.xml
1592.91/1601.00 c Running for: 36 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-1061283-1215131897/watcher-1061283-1215131897 -o /tmp/evaluation-result-1061283-1215131897/solver-1061283-1215131897 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1061283-1215131897.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.06 2.02 3/92 4712
/proc/meminfo: memFree=1255460/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=18572 CPUtime=0
/proc/4712/stat : 4712 (runsolver) R 4710 4712 3991 0 -1 4194368 15 0 0 0 0 0 0 0 21 0 1 0 1992162129 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 258939088167 0 0 4096 24578 0 0 0 17 1 0 0
/proc/4712/statm: 4643 292 257 25 0 2626 0
[startup+0.035135 s]
/proc/loadavg: 2.00 2.06 2.02 3/92 4712
/proc/meminfo: memFree=1255460/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=0
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992162129 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101147 s]
/proc/loadavg: 2.00 2.06 2.02 3/92 4712
/proc/meminfo: memFree=1255460/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=0
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992162129 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301184 s]
/proc/loadavg: 2.00 2.06 2.02 3/92 4712
/proc/meminfo: memFree=1255460/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=0
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992162129 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.702263 s]
/proc/loadavg: 2.00 2.06 2.02 3/92 4712
/proc/meminfo: memFree=1255460/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=0
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992162129 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50142 s]
/proc/loadavg: 2.00 2.06 2.02 3/94 4716
/proc/meminfo: memFree=1213588/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=0
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 1992162129 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 236 195 169 0 51 0
[pid=4716] ppid=4712 vsize=48572 CPUtime=1.44
/proc/4716/stat : 4716 (xsolve) R 4712 4712 3991 0 -1 4194304 12109 0 0 0 137 7 0 0 25 0 1 0 1992162130 49737728 10961 996147200 134512640 135239763 4294956176 18446744073709551615 135030786 0 0 4096 0 0 0 0 17 1 0 0
/proc/4716/statm: 12143 10961 430 177 0 11046 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 53932
[startup+3.1017 s]
/proc/loadavg: 2.00 2.06 2.02 3/94 4716
/proc/meminfo: memFree=1212116/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=2.34
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 375 12708 0 0 0 0 225 9 20 0 1 0 1992162129 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 5360
[startup+6.30229 s]
/proc/loadavg: 2.00 2.06 2.02 3/102 4728
/proc/meminfo: memFree=1239252/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=2.34
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 375 12708 0 0 0 0 225 9 20 0 1 0 1992162129 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 238 196 169 0 51 0
[pid=4720] ppid=4712 vsize=197156 CPUtime=3.8
/proc/4720/stat : 4720 (java) S 4712 4712 3991 0 -1 0 8791 0 1 0 369 11 0 0 18 0 9 0 1992162369 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4720/statm: 49289 7259 2540 9 0 43872 0
[pid=4720/tid=4721] ppid=4712 vsize=197156 CPUtime=3.02
/proc/4720/task/4721/stat : 4721 (java) R 4712 4712 3991 0 -1 64 3294 0 1 0 299 3 0 0 25 0 9 0 1992162371 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4722] ppid=4712 vsize=197156 CPUtime=0.58
/proc/4720/task/4722/stat : 4722 (java) R 4712 4712 3991 0 -1 64 4142 0 0 0 51 7 0 0 16 0 9 0 1992162372 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4723] ppid=4712 vsize=197156 CPUtime=0
/proc/4720/task/4723/stat : 4723 (java) S 4712 4712 3991 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992162372 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4724] ppid=4712 vsize=197156 CPUtime=0
/proc/4720/task/4724/stat : 4724 (java) S 4712 4712 3991 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992162372 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4725] ppid=4712 vsize=197156 CPUtime=0
/proc/4720/task/4725/stat : 4725 (java) S 4712 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992162374 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4726] ppid=4712 vsize=197156 CPUtime=0.18
/proc/4720/task/4726/stat : 4726 (java) S 4712 4712 3991 0 -1 64 629 0 0 0 18 0 0 0 16 0 9 0 1992162374 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4727] ppid=4712 vsize=197156 CPUtime=0
/proc/4720/task/4727/stat : 4727 (java) S 4712 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992162374 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4728] ppid=4712 vsize=197156 CPUtime=0
/proc/4720/task/4728/stat : 4728 (java) S 4712 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992162374 201887744 7259 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 202516
[startup+12.7025 s]
/proc/loadavg: 2.00 2.06 2.02 3/114 4740
/proc/meminfo: memFree=1155636/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=2.34
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 375 12708 0 0 0 0 225 9 20 0 1 0 1992162129 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 238 196 169 0 51 0
[pid=4720] ppid=4712 vsize=197432 CPUtime=6.06
/proc/4720/stat : 4720 (java) S 4712 4712 3991 0 -1 0 11433 0 1 0 589 17 0 0 18 0 10 0 1992162369 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4720/statm: 49358 9408 2544 9 0 43941 0
[pid=4730] ppid=4720 vsize=5356 CPUtime=0
/proc/4730/stat : 4730 (abscon) S 4720 4712 3991 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1992162993 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4730/statm: 1339 237 196 169 0 50 0
[pid=4731] ppid=4730 vsize=655968 CPUtime=4.04
/proc/4731/stat : 4731 (java) S 4730 4712 3991 0 -1 0 20979 0 1 0 355 49 0 0 18 0 9 0 1992162994 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4731/statm: 163992 20269 2616 9 0 158520 0
[pid=4731/tid=4733] ppid=4730 vsize=655968 CPUtime=3.35
/proc/4731/task/4733/stat : 4733 (java) R 4730 4712 3991 0 -1 64 12557 0 1 0 291 44 0 0 25 0 9 0 1992162995 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4127174368 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4734] ppid=4730 vsize=655968 CPUtime=0.33
/proc/4731/task/4734/stat : 4734 (java) S 4730 4712 3991 0 -1 64 7138 0 0 0 31 2 0 0 17 0 9 0 1992162996 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4735] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4735/stat : 4735 (java) S 4730 4712 3991 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992162996 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4736] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4736/stat : 4736 (java) S 4730 4712 3991 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992162996 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4737] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4737/stat : 4737 (java) S 4730 4712 3991 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992162998 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4738] ppid=4730 vsize=655968 CPUtime=0.33
/proc/4731/task/4738/stat : 4738 (java) S 4730 4712 3991 0 -1 64 738 0 0 0 32 1 0 0 15 0 9 0 1992162998 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4739] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4739/stat : 4739 (java) S 4730 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992162998 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4740] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4740/stat : 4740 (java) S 4730 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992162998 671711232 20269 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4732] ppid=4730 vsize=7044 CPUtime=0
/proc/4732/stat : 4732 (translate) S 4730 4712 3991 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1992162994 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 258939256914 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4732/statm: 1761 213 182 1 0 41 0
[pid=4720/tid=4721] ppid=4712 vsize=197432 CPUtime=4.89
/proc/4720/task/4721/stat : 4721 (java) S 4712 4712 3991 0 -1 64 3861 0 1 0 484 5 0 0 25 0 10 0 1992162371 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4720/tid=4722] ppid=4712 vsize=197432 CPUtime=0.94
/proc/4720/task/4722/stat : 4722 (java) S 4712 4712 3991 0 -1 64 6124 0 0 0 83 11 0 0 16 0 10 0 1992162372 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4723] ppid=4712 vsize=197432 CPUtime=0
/proc/4720/task/4723/stat : 4723 (java) S 4712 4712 3991 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992162372 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4724] ppid=4712 vsize=197432 CPUtime=0
/proc/4720/task/4724/stat : 4724 (java) S 4712 4712 3991 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1992162372 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4725] ppid=4712 vsize=197432 CPUtime=0
/proc/4720/task/4725/stat : 4725 (java) S 4712 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1992162374 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4726] ppid=4712 vsize=197432 CPUtime=0.21
/proc/4720/task/4726/stat : 4726 (java) S 4712 4712 3991 0 -1 64 646 0 0 0 21 0 0 0 16 0 10 0 1992162374 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4727] ppid=4712 vsize=197432 CPUtime=0
/proc/4720/task/4727/stat : 4727 (java) S 4712 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1992162374 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4728] ppid=4712 vsize=197432 CPUtime=0
/proc/4720/task/4728/stat : 4728 (java) S 4712 4712 3991 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1992162374 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4729] ppid=4712 vsize=197432 CPUtime=0
/proc/4720/task/4729/stat : 4729 (java) S 4712 4712 3991 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1992162993 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 871160
[startup+25.5038 s]
/proc/loadavg: 2.00 2.05 2.02 3/114 4741
/proc/meminfo: memFree=1155380/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=2.34
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 375 12708 0 0 0 0 225 9 20 0 1 0 1992162129 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 238 196 169 0 51 0
[pid=4720] ppid=4712 vsize=197432 CPUtime=6.06
/proc/4720/stat : 4720 (java) S 4712 4712 3991 0 -1 0 11440 0 1 0 589 17 0 0 18 0 10 0 1992162369 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4720/statm: 49358 9408 2544 9 0 43941 0
[pid=4730] ppid=4720 vsize=5356 CPUtime=0
/proc/4730/stat : 4730 (abscon) S 4720 4712 3991 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 1992162993 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/4730/statm: 1339 237 196 169 0 50 0
[pid=4731] ppid=4730 vsize=655968 CPUtime=16.83
/proc/4731/stat : 4731 (java) S 4730 4712 3991 0 -1 0 20996 0 1 0 1634 49 0 0 18 0 9 0 1992162994 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4731/statm: 163992 20279 2616 9 0 158520 0
[pid=4731/tid=4733] ppid=4730 vsize=655968 CPUtime=16.12
/proc/4731/task/4733/stat : 4733 (java) R 4730 4712 3991 0 -1 64 12559 0 1 0 1568 44 0 0 25 0 9 0 1992162995 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4127211527 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4734] ppid=4730 vsize=655968 CPUtime=0.33
/proc/4731/task/4734/stat : 4734 (java) S 4730 4712 3991 0 -1 64 7138 0 0 0 31 2 0 0 17 0 9 0 1992162996 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4735] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4735/stat : 4735 (java) S 4730 4712 3991 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1992162996 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4736] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4736/stat : 4736 (java) S 4730 4712 3991 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 1992162996 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4737] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4737/stat : 4737 (java) S 4730 4712 3991 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 1992162998 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4738] ppid=4730 vsize=655968 CPUtime=0.35
/proc/4731/task/4738/stat : 4738 (java) S 4730 4712 3991 0 -1 64 753 0 0 0 34 1 0 0 16 0 9 0 1992162998 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4739] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4739/stat : 4739 (java) S 4730 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1992162998 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4731/tid=4740] ppid=4730 vsize=655968 CPUtime=0
/proc/4731/task/4740/stat : 4740 (java) S 4730 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992162998 671711232 20279 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4732] ppid=4730 vsize=7044 CPUtime=0
/proc/4732/stat : 4732 (translate) S 4730 4712 3991 0 -1 4194304 250 0 0 0 0 0 0 0 16 0 1 0 1992162994 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 258939256914 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/4732/statm: 1761 213 182 1 0 41 0
[pid=4720/tid=4721] ppid=4712 vsize=197432 CPUtime=4.89
/proc/4720/task/4721/stat : 4721 (java) S 4712 4712 3991 0 -1 64 3861 0 1 0 484 5 0 0 25 0 10 0 1992162371 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4720/tid=4722] ppid=4712 vsize=197432 CPUtime=0.94
/proc/4720/task/4722/stat : 4722 (java) S 4712 4712 3991 0 -1 64 6124 0 0 0 83 11 0 0 16 0 10 0 1992162372 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4723] ppid=4712 vsize=197432 CPUtime=0
/proc/4720/task/4723/stat : 4723 (java) S 4712 4712 3991 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1992162372 202170368 9408 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/4720/statm: 49439 9414 2545 9 0 44022 0
[pid=5143] ppid=4720 vsize=5356 CPUtime=0
/proc/5143/stat : 5143 (choco) S 4720 4712 3991 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1992322229 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5143/statm: 1339 238 197 169 0 50 0
[pid=5144] ppid=5143 vsize=655624 CPUtime=177.74
/proc/5144/stat : 5144 (java) S 5143 4712 3991 0 -1 0 22801 0 1 0 17749 25 0 0 18 0 9 0 1992322230 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5144/statm: 163906 22336 1937 9 0 158435 0
[pid=5144/tid=5145] ppid=5143 vsize=655624 CPUtime=176.74
/proc/5144/task/5145/stat : 5145 (java) R 5143 4712 3991 0 -1 64 12198 0 1 0 17655 19 0 0 25 0 9 0 1992322231 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4126769548 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5146] ppid=5143 vsize=655624 CPUtime=0.51
/proc/5144/task/5146/stat : 5146 (java) S 5143 4712 3991 0 -1 64 9295 0 0 0 47 4 0 0 16 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5147] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5147/stat : 5147 (java) S 5143 4712 3991 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5148] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5148/stat : 5148 (java) S 5143 4712 3991 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5149] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5149/stat : 5149 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5150] ppid=5143 vsize=655624 CPUtime=0.45
/proc/5144/task/5150/stat : 5150 (java) S 5143 4712 3991 0 -1 64 754 0 0 0 45 0 0 0 16 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5151] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5151/stat : 5151 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5152] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5152/stat : 5152 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4720/tid=4721] ppid=4712 vsize=197756 CPUtime=1589.39
/proc/4720/task/4721/stat : 4721 (java) S 4712 4712 3991 0 -1 64 4023 34034 1 1 484 5 158382 68 16 0 10 0 1992162371 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4720/tid=4722] ppid=4712 vsize=197756 CPUtime=1585.44
/proc/4720/task/4722/stat : 4722 (java) S 4712 4712 3991 0 -1 64 6178 34034 0 1 83 11 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4723] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4723/stat : 4723 (java) S 4712 4712 3991 0 -1 64 11 34034 0 1 0 0 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4724] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4724/stat : 4724 (java) S 4712 4712 3991 0 -1 64 5 34034 0 1 0 0 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4725] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4725/stat : 4725 (java) S 4712 4712 3991 0 -1 64 1 34034 0 1 0 0 158382 68 18 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4726] ppid=4712 vsize=197756 CPUtime=1584.71
/proc/4720/task/4726/stat : 4726 (java) S 4712 4712 3991 0 -1 64 646 34034 0 1 21 0 158382 68 16 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4727] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4727/stat : 4727 (java) S 4712 4712 3991 0 -1 64 1 34034 0 1 0 0 158382 68 19 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4728] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4728/stat : 4728 (java) S 4712 4712 3991 0 -1 64 26 34034 0 1 0 0 158382 68 15 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=5142] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/5142/stat : 5142 (java) S 4712 4712 3991 0 -1 64 43 34034 0 1 0 0 158382 68 17 0 10 0 1992322229 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1770.65
Current children cumulated vsize (KiB) 864096
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 5152
/proc/meminfo: memFree=1140876/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=2.34
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 375 12708 0 0 0 0 225 9 20 0 1 0 1992162129 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 238 196 169 0 51 0
[pid=4720] ppid=4712 vsize=197756 CPUtime=1590.57
/proc/4720/stat : 4720 (java) S 4712 4712 3991 0 -1 0 11785 34034 1 1 589 18 158382 68 18 0 10 0 1992162369 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4720/statm: 49439 9414 2545 9 0 44022 0
[pid=5143] ppid=4720 vsize=5356 CPUtime=0
/proc/5143/stat : 5143 (choco) S 4720 4712 3991 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1992322229 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5143/statm: 1339 238 197 169 0 50 0
[pid=5144] ppid=5143 vsize=655624 CPUtime=207.16
/proc/5144/stat : 5144 (java) S 5143 4712 3991 0 -1 0 22802 0 1 0 20689 27 0 0 18 0 9 0 1992322230 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5144/statm: 163906 22336 1937 9 0 158435 0
[pid=5144/tid=5145] ppid=5143 vsize=655624 CPUtime=206.17
/proc/5144/task/5145/stat : 5145 (java) R 5143 4712 3991 0 -1 64 12199 0 1 0 20595 22 0 0 25 0 9 0 1992322231 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4127499272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5146] ppid=5143 vsize=655624 CPUtime=0.51
/proc/5144/task/5146/stat : 5146 (java) S 5143 4712 3991 0 -1 64 9295 0 0 0 47 4 0 0 16 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5147] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5147/stat : 5147 (java) S 5143 4712 3991 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5148] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5148/stat : 5148 (java) S 5143 4712 3991 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5149] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5149/stat : 5149 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5150] ppid=5143 vsize=655624 CPUtime=0.45
/proc/5144/task/5150/stat : 5150 (java) S 5143 4712 3991 0 -1 64 754 0 0 0 45 0 0 0 16 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5151] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5151/stat : 5151 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5152] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5152/stat : 5152 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4720/tid=4721] ppid=4712 vsize=197756 CPUtime=1589.39
/proc/4720/task/4721/stat : 4721 (java) S 4712 4712 3991 0 -1 64 4023 34034 1 1 484 5 158382 68 16 0 10 0 1992162371 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4720/tid=4722] ppid=4712 vsize=197756 CPUtime=1585.44
/proc/4720/task/4722/stat : 4722 (java) S 4712 4712 3991 0 -1 64 6178 34034 0 1 83 11 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4723] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4723/stat : 4723 (java) S 4712 4712 3991 0 -1 64 11 34034 0 1 0 0 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4724] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4724/stat : 4724 (java) S 4712 4712 3991 0 -1 64 5 34034 0 1 0 0 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4725] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4725/stat : 4725 (java) S 4712 4712 3991 0 -1 64 1 34034 0 1 0 0 158382 68 18 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4726] ppid=4712 vsize=197756 CPUtime=1584.71
/proc/4720/task/4726/stat : 4726 (java) S 4712 4712 3991 0 -1 64 646 34034 0 1 21 0 158382 68 16 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4727] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4727/stat : 4727 (java) S 4712 4712 3991 0 -1 64 1 34034 0 1 0 0 158382 68 19 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4728] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4728/stat : 4728 (java) S 4712 4712 3991 0 -1 64 26 34034 0 1 0 0 158382 68 15 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=5142] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/5142/stat : 5142 (java) S 4712 4712 3991 0 -1 64 43 34034 0 1 0 0 158382 68 17 0 10 0 1992322229 202502144 9414 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) 864096
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1812.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/101 5152
/proc/meminfo: memFree=1140876/2055920 swapFree=4179760/4192956
[pid=4712] ppid=4710 vsize=5360 CPUtime=2.34
/proc/4712/stat : 4712 (hydra) S 4710 4712 3991 0 -1 4194304 375 12708 0 0 0 0 225 9 20 0 1 0 1992162129 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 258939085636 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/4712/statm: 1340 238 196 169 0 51 0
[pid=4720] ppid=4712 vsize=197756 CPUtime=1590.57
/proc/4720/stat : 4720 (java) S 4712 4712 3991 0 -1 0 11785 34034 1 1 589 18 158382 68 18 0 10 0 1992162369 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/4720/statm: 49439 9414 2545 9 0 44022 0
[pid=5143] ppid=4720 vsize=5356 CPUtime=0
/proc/5143/stat : 5143 (choco) S 4720 4712 3991 0 -1 4194304 296 0 0 0 0 0 0 0 18 0 1 0 1992322229 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 258939085636 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/5143/statm: 1339 238 197 169 0 50 0
[pid=5144] ppid=5143 vsize=655624 CPUtime=207.16
/proc/5144/stat : 5144 (java) S 5143 4712 3991 0 -1 0 22802 0 1 0 20689 27 0 0 18 0 9 0 1992322230 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/5144/statm: 163906 22336 1937 9 0 158435 0
[pid=5144/tid=5145] ppid=5143 vsize=655624 CPUtime=206.17
/proc/5144/task/5145/stat : 5145 (java) R 5143 4712 3991 0 -1 64 12199 0 1 0 20595 22 0 0 25 0 9 0 1992322231 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4127499272 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5146] ppid=5143 vsize=655624 CPUtime=0.51
/proc/5144/task/5146/stat : 5146 (java) S 5143 4712 3991 0 -1 64 9295 0 0 0 47 4 0 0 16 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5147] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5147/stat : 5147 (java) S 5143 4712 3991 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5148] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5148/stat : 5148 (java) S 5143 4712 3991 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 1992322233 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5149] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5149/stat : 5149 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5150] ppid=5143 vsize=655624 CPUtime=0.45
/proc/5144/task/5150/stat : 5150 (java) S 5143 4712 3991 0 -1 64 754 0 0 0 45 0 0 0 16 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5151] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5151/stat : 5151 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=5144/tid=5152] ppid=5143 vsize=655624 CPUtime=0
/proc/5144/task/5152/stat : 5152 (java) S 5143 4712 3991 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992322235 671358976 22336 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4720/tid=4721] ppid=4712 vsize=197756 CPUtime=1589.39
/proc/4720/task/4721/stat : 4721 (java) S 4712 4712 3991 0 -1 64 4023 34034 1 1 484 5 158382 68 16 0 10 0 1992162371 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=4720/tid=4722] ppid=4712 vsize=197756 CPUtime=1585.44
/proc/4720/task/4722/stat : 4722 (java) S 4712 4712 3991 0 -1 64 6178 34034 0 1 83 11 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4723] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4723/stat : 4723 (java) S 4712 4712 3991 0 -1 64 11 34034 0 1 0 0 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4724] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4724/stat : 4724 (java) S 4712 4712 3991 0 -1 64 5 34034 0 1 0 0 158382 68 16 0 10 0 1992162372 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4725] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4725/stat : 4725 (java) S 4712 4712 3991 0 -1 64 1 34034 0 1 0 0 158382 68 18 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4726] ppid=4712 vsize=197756 CPUtime=1584.71
/proc/4720/task/4726/stat : 4726 (java) S 4712 4712 3991 0 -1 64 646 34034 0 1 21 0 158382 68 16 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4727] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4727/stat : 4727 (java) S 4712 4712 3991 0 -1 64 1 34034 0 1 0 0 158382 68 19 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=4728] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/4728/stat : 4728 (java) S 4712 4712 3991 0 -1 64 26 34034 0 1 0 0 158382 68 15 0 10 0 1992162374 202502144 9414 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4720/tid=5142] ppid=4712 vsize=197756 CPUtime=1584.5
/proc/4720/task/5142/stat : 5142 (java) S 4712 4712 3991 0 -1 64 43 34034 0 1 0 0 158382 68 17 0 10 0 1992322229 202502144 9414 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) 864096
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4712 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=252657
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=93985
# CPU time returned by wait4() is 2.34664
# 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): 1812.34
CPU time (s): 1800.07
CPU user time (s): 1798.85
CPU system time (s): 1.22
CPU usage (%): 99.3232
Max. virtual memory (cumulated for all children) (KiB): 871256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.25266
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13083
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= 108
runsolver used 7.03493 second user time and 17.5813 second system time
The end