0.00/0.00 c cpHydra_k_10 version 0.0
7.88/8.04 c CASE TO CLASSIFY:
7.88/8.05 c Case: 0
7.88/8.05 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.353300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.209490 | c 14 > 11.812600 | c 11 > 9.951280 | c 12 > 6.980020 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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.792600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.951300 | c 31 > -1.000000 | c 4 > 9.951280 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.88/8.06 c choco : 1801.0
7.88/8.06 c mistral : 1801.0
7.88/8.06 c abscon : 1801.0
7.88/8.06 c
7.88/8.06 c
7.98/8.13 c List of same ones: 10
7.98/8.13 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-34-4.xml
7.98/8.13 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.714900 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.567570 | c 14 > 11.431000 | c 11 > 9.131860 | c 12 > 6.926300 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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.546900 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.131900 | c 31 > -1.000000 | c 4 > 9.131860 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.98/8.14 c choco : 1801.0
7.98/8.14 c mistral : 26.38
7.98/8.14 c abscon : 9.93749
7.98/8.14 c
7.98/8.14 c
7.98/8.14 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-33-4.xml
7.98/8.14 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.846800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.663050 | c 14 > 11.258000 | c 11 > 9.044390 | c 12 > 7.151360 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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.413600 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.044400 | c 31 > -1.000000 | c 4 > 9.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.98/8.15 c choco : 1801.0
7.98/8.15 c mistral : 20.05
7.98/8.15 c abscon : 4.68729
7.98/8.15 c
7.98/8.15 c
7.98/8.15 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-35-4.xml
7.98/8.15 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.659700 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 7.011290 | c 14 > 11.151700 | c 11 > 9.216750 | c 12 > 6.484070 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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.676200 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 11.216700 | c 31 > -1.000000 | c 4 > 9.216750 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.98/8.16 c choco : 1801.0
7.98/8.16 c mistral : 1053.11
7.98/8.16 c abscon : 4.93525
7.98/8.16 c
7.98/8.16 c
7.98/8.16 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-32-4.xml
7.98/8.16 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 19.893500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.099220 | c 14 > 11.470700 | c 11 > 8.954200 | c 12 > 7.521510 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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.276100 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.954200 | c 31 > -1.000000 | c 4 > 8.954200 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.98/8.17 c choco : 1801.0
7.98/8.17 c mistral : 3.82
7.98/8.17 c abscon : 2.82057
7.98/8.17 c
7.98/8.17 c
7.98/8.17 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-30-4.xml
7.98/8.17 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 15.187400 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 3.029710 | c 14 > 8.285400 | c 11 > 8.764870 | c 12 > 4.249850 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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.987300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.764900 | c 31 > -1.000000 | c 4 > 8.764870 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.98/8.18 c choco : 6.47
7.98/8.18 c mistral : 0.41
7.98/8.18 c abscon : 2.32765
7.98/8.18 c
7.98/8.18 c
7.98/8.18 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-16-3.xml
7.98/8.18 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.500500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.992500 | c 14 > 13.532200 | c 11 > 6.906890 | c 12 > 11.311300 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 9.129280 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.491850 | c 31 > -1.000000 | c 4 > 6.906890 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.98/8.19 c choco : 11.33
7.98/8.19 c mistral : 0.71
7.98/8.19 c abscon : 1.44378
7.98/8.19 c
7.98/8.19 c
7.98/8.19 c /home/eomahony/cpZilla/CSP/ramsey/ramsey3/ramsey-15-3.xml
7.98/8.19 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 20.572500 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 10.863200 | c 14 > 13.762900 | c 11 > 6.714250 | c 12 > 11.623500 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 8.829720 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.299210 | c 31 > -1.000000 | c 4 > 6.714250 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.98/8.19 c choco : 2.57
7.98/8.19 c mistral : 0.23
7.98/8.20 c abscon : 1.16082
7.98/8.20 c
7.98/8.20 c
7.98/8.20 c /home/eomahony/cpZilla/CSP/ramsey/ramsey4/ramsey-25-4.xml
7.98/8.20 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.462300 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 2.824500 | c 14 > 8.022370 | c 11 > 8.228820 | c 12 > 3.986710 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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.167400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 10.228800 | c 31 > -1.000000 | c 4 > 8.228820 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.06/8.20 c choco : 4.54
8.06/8.20 c mistral : 0.22
8.06/8.20 c abscon : 1.44478
8.06/8.20 c
8.06/8.20 c
8.06/8.20 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-66-4.xml
8.06/8.20 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 14.540600 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 4.542180 | c 14 > 6.209450 | c 11 > 6.044390 | c 12 > 5.198780 | c 21 > 2.000000 | c 20 > 0.000000 | c 22 > 2.000000 | 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 > 10.044400 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 8.044390 | c 31 > -1.000000 | c 4 > 6.044390 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.06/8.21 c choco : 2.93
8.06/8.21 c mistral : 1800.03
8.06/8.21 c abscon : 753.112
8.06/8.21 c
8.06/8.21 c
8.06/8.21 c /home/eomahony/cpZilla/CSP/schurrLemma/lemma-24-3.xml
8.06/8.21 c 19 > 100.000000 | c 35 > 30.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 60.000000 | c 15 > 17.531800 | c 34 > 50.000000 | c 16 > 3.000000 | c 13 > 8.088490 | c 14 > 10.597100 | c 11 > 4.584960 | c 12 > 9.666960 | c 21 > 1.732050 | c 20 > 0.000000 | c 22 > 1.732050 | 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 > 7.044390 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > -1.000000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 6.169930 | c 31 > -1.000000 | c 4 > 4.584960 | c 9 > -1.000000 | c 8 > -1.000000 | c
8.06/8.22 c choco : 7.04
8.06/8.22 c mistral : 0.39
8.06/8.22 c abscon : 1.11383
8.06/8.22 c
8.06/8.22 c
8.06/8.22 c Length: 10
8.06/8.22 c 2.1293668936094603 2.2937055245606404 2.3376428671420295 2.4322829308696807 8.994075947728039 9.048667646267047 9.566820899013424 10.140027845242832 11.90148216477679 12.384407229835428
8.06/8.22 c
8.06/8.22 c 1.0 0.9842275982600427 0.9800946499783895 0.9713092168081957 0.5990181341094724 0.5971140484023433 0.5796265997438333 0.5614369891750164 0.5120567561995764 0.5
8.06/8.23 c
8.06/8.23 c solver 0
8.06/8.23 c before 0.0 seconds: {} 0
8.06/8.23 c before 18.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6772
8.06/8.23 c before 756.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7284
8.06/8.23 c
8.06/8.23 c solver 1
8.06/8.23 c before 0.0 seconds: {} 0
8.06/8.23 c before 18.0 seconds: {3, 4, 5, 6, 7, 9} 3808
8.06/8.23 c before 36.0 seconds: {0, 1, 3, 4, 5, 6, 7, 9} 5792
8.06/8.23 c before 1062.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 9} 6772
8.06/8.23 c
8.06/8.23 c solver 2
8.06/8.23 c before 0.0 seconds: {} 0
8.06/8.23 c before 18.0 seconds: {4, 5, 6, 7, 8, 9} 3349
8.06/8.23 c
8.06/8.23 cTotal time: 102
8.06/8.23 c run abscon for 756.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 7284
8.06/8.23 c run mistral for 36.0 seconds {0, 1, 3, 4, 5, 6, 7, 9} 5792
8.06/8.23 c run choco for 18.0 seconds {4, 5, 6, 7, 8, 9} 3349
8.06/8.23 c Starting solver: HOME/cpHydra_k_10/solver/abscon
8.06/8.23 c On Instance: HOME/instance-1051891-1215054995.xml
8.06/8.23 c Running for: 756 seconds
764.94/765.49 c Starting solver: HOME/cpHydra_k_10/solver/mistral
764.94/765.49 c On Instance: HOME/instance-1051891-1215054995.xml
764.94/765.49 c Running for: 36 seconds
800.98/801.84 c Starting solver: HOME/cpHydra_k_10/solver/choco
800.98/801.84 c On Instance: HOME/instance-1051891-1215054995.xml
800.98/801.84 c Running for: 18 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-1051891-1215054995/watcher-1051891-1215054995 -o /tmp/evaluation-result-1051891-1215054995/solver-1051891-1215054995 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1051891-1215054995.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.01 2.00 4/72 25754
/proc/meminfo: memFree=1801776/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=0
/proc/25754/stat : 25754 (hydra) R 25752 25754 23014 0 -1 4194304 263 0 0 0 0 0 0 0 20 0 1 0 1984473303 5488640 231 996147200 4194304 4889804 548682068816 18446744073709551615 4315788 0 0 4100 65536 0 0 0 17 1 0 0
/proc/25754/statm: 1340 231 192 169 0 51 0
[startup+0.108622 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 25754
/proc/meminfo: memFree=1801776/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=0
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984473303 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.201625 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 25754
/proc/meminfo: memFree=1801776/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=0
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984473303 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301633 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 25754
/proc/meminfo: memFree=1801776/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=0
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984473303 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701664 s]
/proc/loadavg: 2.00 2.01 2.00 4/72 25754
/proc/meminfo: memFree=1801776/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=0
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984473303 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50171 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 25758
/proc/meminfo: memFree=1783712/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=0
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1984473303 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 236 195 169 0 51 0
[pid=25758] ppid=25754 vsize=22216 CPUtime=1.47
/proc/25758/stat : 25758 (xsolve) R 25754 25754 23014 0 -1 4194304 4883 0 0 0 145 2 0 0 25 0 1 0 1984473304 22749184 4842 996147200 134512640 135239763 4294956176 18446744073709551615 134543151 0 0 4096 0 0 0 0 17 1 0 0
/proc/25758/statm: 5554 4842 413 177 0 4457 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 27576
[startup+3.10181 s]
/proc/loadavg: 2.00 2.01 2.00 3/74 25758
/proc/meminfo: memFree=1782688/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=2.26
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 375 5479 0 0 0 0 222 4 18 0 1 0 1984473303 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 5360
[startup+6.30201 s]
/proc/loadavg: 2.00 2.01 2.00 3/82 25770
/proc/meminfo: memFree=1784160/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=2.26
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 375 5479 0 0 0 0 222 4 18 0 1 0 1984473303 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 238 196 169 0 51 0
[pid=25762] ppid=25754 vsize=197108 CPUtime=3.94
/proc/25762/stat : 25762 (java) S 25754 25754 23014 0 -1 0 9216 0 1 0 382 12 0 0 18 0 9 0 1984473534 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 49277 7641 2540 9 0 43860 0
[pid=25762/tid=25763] ppid=25754 vsize=197108 CPUtime=3.06
/proc/25762/task/25763/stat : 25763 (java) R 25754 25754 23014 0 -1 64 3431 0 1 0 303 3 0 0 25 0 9 0 1984473535 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4126550002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25764] ppid=25754 vsize=197108 CPUtime=0.68
/proc/25762/task/25764/stat : 25764 (java) S 25754 25754 23014 0 -1 64 4430 0 0 0 61 7 0 0 16 0 9 0 1984473536 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25754 vsize=197108 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25754 25754 23014 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1984473536 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25754 vsize=197108 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25754 25754 23014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984473536 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25754 vsize=197108 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25754 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984473538 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25754 vsize=197108 CPUtime=0.17
/proc/25762/task/25768/stat : 25768 (java) S 25754 25754 23014 0 -1 64 630 0 0 0 17 0 0 0 16 0 9 0 1984473538 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25754 vsize=197108 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25754 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984473538 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25754 vsize=197108 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25754 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984473538 201838592 7641 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 202468
[startup+12.7034 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 25782
/proc/meminfo: memFree=1707392/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=2.26
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 375 5479 0 0 0 0 222 4 18 0 1 0 1984473303 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 238 196 169 0 51 0
[pid=25762] ppid=25754 vsize=197432 CPUtime=5.84
/proc/25762/stat : 25762 (java) S 25754 25754 23014 0 -1 0 11427 0 1 0 567 17 0 0 18 0 10 0 1984473534 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 49358 9404 2544 9 0 43941 0
[pid=25772] ppid=25762 vsize=5356 CPUtime=0
/proc/25772/stat : 25772 (abscon) S 25762 25754 23014 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1984474127 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25772/statm: 1339 237 196 169 0 50 0
[pid=25773] ppid=25772 vsize=655948 CPUtime=4.44
/proc/25773/stat : 25773 (java) S 25772 25754 23014 0 -1 0 21952 0 1 0 375 69 0 0 18 0 9 0 1984474127 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25773/statm: 163987 21242 2614 9 0 158515 0
[pid=25773/tid=25775] ppid=25772 vsize=655948 CPUtime=3.65
/proc/25773/task/25775/stat : 25775 (java) R 25772 25754 23014 0 -1 64 12493 0 1 0 301 64 0 0 25 0 9 0 1984474128 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25776] ppid=25772 vsize=655948 CPUtime=0.53
/proc/25773/task/25776/stat : 25776 (java) S 25772 25754 23014 0 -1 64 8227 0 0 0 50 3 0 0 18 0 9 0 1984474129 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25777] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25777/stat : 25777 (java) S 25772 25754 23014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1984474130 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25778] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25778/stat : 25778 (java) S 25772 25754 23014 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1984474130 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25779] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25779/stat : 25779 (java) S 25772 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1984474131 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25780] ppid=25772 vsize=655948 CPUtime=0.23
/proc/25773/task/25780/stat : 25780 (java) S 25772 25754 23014 0 -1 64 686 0 0 0 23 0 0 0 16 0 9 0 1984474131 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25781] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25781/stat : 25781 (java) S 25772 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1984474132 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25782] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25782/stat : 25782 (java) S 25772 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984474132 671690752 21242 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25774] ppid=25772 vsize=7044 CPUtime=0
/proc/25774/stat : 25774 (translate) S 25772 25754 23014 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1984474128 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25774/statm: 1761 213 182 1 0 41 0
[pid=25762/tid=25763] ppid=25754 vsize=197432 CPUtime=4.68
/proc/25762/task/25763/stat : 25763 (java) S 25754 25754 23014 0 -1 64 3856 0 1 0 463 5 0 0 25 0 10 0 1984473535 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25762/tid=25764] ppid=25754 vsize=197432 CPUtime=0.93
/proc/25762/task/25764/stat : 25764 (java) S 25754 25754 23014 0 -1 64 6124 0 0 0 83 10 0 0 16 0 10 0 1984473536 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25754 vsize=197432 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25754 25754 23014 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984473536 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25754 vsize=197432 CPUtime=0
/proc/25762/task/25766/stat : 25766 (java) S 25754 25754 23014 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 1984473536 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25754 vsize=197432 CPUtime=0
/proc/25762/task/25767/stat : 25767 (java) S 25754 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1984473538 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25754 vsize=197432 CPUtime=0.2
/proc/25762/task/25768/stat : 25768 (java) S 25754 25754 23014 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 1984473538 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25769] ppid=25754 vsize=197432 CPUtime=0
/proc/25762/task/25769/stat : 25769 (java) S 25754 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1984473538 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25754 vsize=197432 CPUtime=0
/proc/25762/task/25770/stat : 25770 (java) S 25754 25754 23014 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 1984473538 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25771] ppid=25754 vsize=197432 CPUtime=0
/proc/25762/task/25771/stat : 25771 (java) S 25754 25754 23014 0 -1 64 70 0 0 0 0 0 0 0 25 0 10 0 1984474127 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 871140
[startup+25.5022 s]
/proc/loadavg: 2.00 2.01 2.00 3/94 25782
/proc/meminfo: memFree=1692224/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=2.26
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 375 5479 0 0 0 0 222 4 18 0 1 0 1984473303 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 238 196 169 0 51 0
[pid=25762] ppid=25754 vsize=197432 CPUtime=5.84
/proc/25762/stat : 25762 (java) S 25754 25754 23014 0 -1 0 11433 0 1 0 567 17 0 0 18 0 10 0 1984473534 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 49358 9404 2544 9 0 43941 0
[pid=25772] ppid=25762 vsize=5356 CPUtime=0
/proc/25772/stat : 25772 (abscon) S 25762 25754 23014 0 -1 4194304 304 0 0 0 0 0 0 0 25 0 1 0 1984474127 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25772/statm: 1339 237 196 169 0 50 0
[pid=25773] ppid=25772 vsize=655948 CPUtime=17.23
/proc/25773/stat : 25773 (java) S 25772 25754 23014 0 -1 0 23505 0 1 0 1653 70 0 0 18 0 9 0 1984474127 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/25773/statm: 163987 22771 2616 9 0 158515 0
[pid=25773/tid=25775] ppid=25772 vsize=655948 CPUtime=16.2
/proc/25773/task/25775/stat : 25775 (java) R 25772 25754 23014 0 -1 64 12560 0 1 0 1556 64 0 0 25 0 9 0 1984474128 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4127215968 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25776] ppid=25772 vsize=655948 CPUtime=0.63
/proc/25773/task/25776/stat : 25776 (java) S 25772 25754 23014 0 -1 64 9611 0 0 0 59 4 0 0 16 0 9 0 1984474129 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25777] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25777/stat : 25777 (java) S 25772 25754 23014 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1984474130 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25778] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25778/stat : 25778 (java) S 25772 25754 23014 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1984474130 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25779] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25779/stat : 25779 (java) S 25772 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1984474131 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25780] ppid=25772 vsize=655948 CPUtime=0.38
/proc/25773/task/25780/stat : 25780 (java) S 25772 25754 23014 0 -1 64 774 0 0 0 38 0 0 0 16 0 9 0 1984474131 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25781] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25781/stat : 25781 (java) S 25772 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1984474132 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25773/tid=25782] ppid=25772 vsize=655948 CPUtime=0
/proc/25773/task/25782/stat : 25782 (java) S 25772 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984474132 671690752 22771 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25774] ppid=25772 vsize=7044 CPUtime=0
/proc/25774/stat : 25774 (translate) S 25772 25754 23014 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1984474128 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 221780869202 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/25774/statm: 1761 213 182 1 0 41 0
[pid=25762/tid=25763] ppid=25754 vsize=197432 CPUtime=4.68
/proc/25762/task/25763/stat : 25763 (java) S 25754 25754 23014 0 -1 64 3856 0 1 0 463 5 0 0 25 0 10 0 1984473535 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25762/tid=25764] ppid=25754 vsize=197432 CPUtime=0.93
/proc/25762/task/25764/stat : 25764 (java) S 25754 25754 23014 0 -1 64 6124 0 0 0 83 10 0 0 16 0 10 0 1984473536 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25765] ppid=25754 vsize=197432 CPUtime=0
/proc/25762/task/25765/stat : 25765 (java) S 25754 25754 23014 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1984473536 202170368 9404 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/25762/statm: 49439 9411 2545 9 0 44022 0
[pid=25789] ppid=25762 vsize=5356 CPUtime=0
/proc/25789/stat : 25789 (choco) S 25762 25754 23014 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1984553487 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25789/statm: 1339 238 197 169 0 50 0
[pid=25790] ppid=25789 vsize=655480 CPUtime=906.5
/proc/25790/stat : 25790 (java) S 25789 25754 23014 0 -1 0 27122 0 1 0 90312 338 0 0 18 0 9 0 1984553488 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25790/statm: 163870 24859 1937 9 0 158399 0
[pid=25790/tid=25791] ppid=25789 vsize=655480 CPUtime=904.25
/proc/25790/task/25791/stat : 25791 (java) R 25789 25754 23014 0 -1 64 13973 0 1 0 90108 317 0 0 25 0 9 0 1984553489 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25790/tid=25792] ppid=25789 vsize=655480 CPUtime=1.82
/proc/25790/task/25792/stat : 25792 (java) S 25789 25754 23014 0 -1 64 11890 0 0 0 164 18 0 0 16 0 9 0 1984553490 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25790/tid=25793] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25793/stat : 25793 (java) S 25789 25754 23014 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984553490 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25794] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25794/stat : 25794 (java) S 25789 25754 23014 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984553490 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25795] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25795/stat : 25795 (java) S 25789 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25796] ppid=25789 vsize=655480 CPUtime=0.41
/proc/25790/task/25796/stat : 25796 (java) S 25789 25754 23014 0 -1 64 707 0 0 0 40 1 0 0 16 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25797] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25797/stat : 25797 (java) S 25789 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25798] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25798/stat : 25798 (java) S 25789 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25763] ppid=25754 vsize=197756 CPUtime=797.61
/proc/25762/task/25763/stat : 25763 (java) S 25754 25754 23014 0 -1 64 4029 29256 1 1 463 5 79217 76 16 0 10 0 1984473535 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25762/tid=25764] ppid=25754 vsize=197756 CPUtime=793.86
/proc/25762/task/25764/stat : 25764 (java) S 25754 25754 23014 0 -1 64 6170 29256 0 1 83 10 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25765/stat : 25765 (java) S 25754 25754 23014 0 -1 64 11 29256 0 1 0 0 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25766/stat : 25766 (java) S 25754 25754 23014 0 -1 64 5 29256 0 1 0 0 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25767/stat : 25767 (java) S 25754 25754 23014 0 -1 64 0 29256 0 1 0 0 79217 76 18 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25754 vsize=197756 CPUtime=793.13
/proc/25762/task/25768/stat : 25768 (java) S 25754 25754 23014 0 -1 64 675 29256 0 1 20 0 79217 76 16 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25769/stat : 25769 (java) S 25754 25754 23014 0 -1 64 1 29256 0 1 0 0 79217 76 19 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25770/stat : 25770 (java) S 25754 25754 23014 0 -1 64 25 29256 0 1 0 0 79217 76 15 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25788] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25788/stat : 25788 (java) S 25754 25754 23014 0 -1 64 42 29256 0 1 0 0 79217 76 17 0 10 0 1984553487 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.54
Current children cumulated vsize (KiB) 863952
[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.02 3/93 25928
/proc/meminfo: memFree=1494256/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=2.26
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 375 5479 0 0 0 0 222 4 18 0 1 0 1984473303 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 238 196 169 0 51 0
[pid=25762] ppid=25754 vsize=197756 CPUtime=798.78
/proc/25762/stat : 25762 (java) S 25754 25754 23014 0 -1 0 11811 29256 1 1 568 17 79217 76 18 0 10 0 1984473534 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 49439 9411 2545 9 0 44022 0
[pid=25789] ppid=25762 vsize=5356 CPUtime=0
/proc/25789/stat : 25789 (choco) S 25762 25754 23014 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1984553487 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25789/statm: 1339 238 197 169 0 50 0
[pid=25790] ppid=25789 vsize=655480 CPUtime=966.47
/proc/25790/stat : 25790 (java) S 25789 25754 23014 0 -1 0 27248 0 1 0 96284 363 0 0 18 0 9 0 1984553488 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25790/statm: 163870 24859 1937 9 0 158399 0
[pid=25790/tid=25791] ppid=25789 vsize=655480 CPUtime=964.15
/proc/25790/task/25791/stat : 25791 (java) R 25789 25754 23014 0 -1 64 14099 0 1 0 96073 342 0 0 25 0 9 0 1984553489 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25790/tid=25792] ppid=25789 vsize=655480 CPUtime=1.89
/proc/25790/task/25792/stat : 25792 (java) S 25789 25754 23014 0 -1 64 11890 0 0 0 170 19 0 0 16 0 9 0 1984553490 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25790/tid=25793] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25793/stat : 25793 (java) S 25789 25754 23014 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984553490 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25794] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25794/stat : 25794 (java) S 25789 25754 23014 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984553490 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25795] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25795/stat : 25795 (java) S 25789 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25796] ppid=25789 vsize=655480 CPUtime=0.41
/proc/25790/task/25796/stat : 25796 (java) S 25789 25754 23014 0 -1 64 707 0 0 0 40 1 0 0 16 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25797] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25797/stat : 25797 (java) S 25789 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25798] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25798/stat : 25798 (java) S 25789 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984553492 671211520 24859 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25763] ppid=25754 vsize=197756 CPUtime=797.61
/proc/25762/task/25763/stat : 25763 (java) S 25754 25754 23014 0 -1 64 4029 29256 1 1 463 5 79217 76 16 0 10 0 1984473535 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25762/tid=25764] ppid=25754 vsize=197756 CPUtime=793.86
/proc/25762/task/25764/stat : 25764 (java) S 25754 25754 23014 0 -1 64 6170 29256 0 1 83 10 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25765/stat : 25765 (java) S 25754 25754 23014 0 -1 64 11 29256 0 1 0 0 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25766/stat : 25766 (java) S 25754 25754 23014 0 -1 64 5 29256 0 1 0 0 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25767/stat : 25767 (java) S 25754 25754 23014 0 -1 64 0 29256 0 1 0 0 79217 76 18 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25754 vsize=197756 CPUtime=793.13
/proc/25762/task/25768/stat : 25768 (java) S 25754 25754 23014 0 -1 64 675 29256 0 1 20 0 79217 76 16 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25769/stat : 25769 (java) S 25754 25754 23014 0 -1 64 1 29256 0 1 0 0 79217 76 19 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25770/stat : 25770 (java) R 25754 25754 23014 0 -1 64 25 29256 0 1 0 0 79217 76 15 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25788] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25788/stat : 25788 (java) S 25754 25754 23014 0 -1 64 42 29256 0 1 0 0 79217 76 17 0 10 0 1984553487 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1767.51
Current children cumulated vsize (KiB) 863952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.9 s]
/proc/loadavg: 2.01 2.06 2.02 3/93 25928
/proc/meminfo: memFree=1440624/2055920 swapFree=4180452/4192956
[pid=25754] ppid=25752 vsize=5360 CPUtime=2.26
/proc/25754/stat : 25754 (hydra) S 25752 25754 23014 0 -1 4194304 375 5479 0 0 0 0 222 4 18 0 1 0 1984473303 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 221780697924 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25754/statm: 1340 238 196 169 0 51 0
[pid=25762] ppid=25754 vsize=197756 CPUtime=798.78
/proc/25762/stat : 25762 (java) S 25754 25754 23014 0 -1 0 11811 29256 1 1 568 17 79217 76 18 0 10 0 1984473534 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25762/statm: 49439 9411 2545 9 0 44022 0
[pid=25789] ppid=25762 vsize=5356 CPUtime=0
/proc/25789/stat : 25789 (choco) S 25762 25754 23014 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1984553487 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 221780697924 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/25789/statm: 1339 238 197 169 0 50 0
[pid=25790] ppid=25789 vsize=655480 CPUtime=999.06
/proc/25790/stat : 25790 (java) S 25789 25754 23014 0 -1 0 27318 0 1 0 99531 375 0 0 18 0 9 0 1984553488 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25790/statm: 163870 24860 1937 9 0 158399 0
[pid=25790/tid=25791] ppid=25789 vsize=655480 CPUtime=996.69
/proc/25790/task/25791/stat : 25791 (java) R 25789 25754 23014 0 -1 64 14168 0 1 0 99316 353 0 0 25 0 9 0 1984553489 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4127298986 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25790/tid=25792] ppid=25789 vsize=655480 CPUtime=1.93
/proc/25790/task/25792/stat : 25792 (java) S 25789 25754 23014 0 -1 64 11891 0 0 0 174 19 0 0 16 0 9 0 1984553490 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25790/tid=25793] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25793/stat : 25793 (java) S 25789 25754 23014 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984553490 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25794] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25794/stat : 25794 (java) S 25789 25754 23014 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984553490 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25795] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25795/stat : 25795 (java) S 25789 25754 23014 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984553492 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25796] ppid=25789 vsize=655480 CPUtime=0.41
/proc/25790/task/25796/stat : 25796 (java) S 25789 25754 23014 0 -1 64 707 0 0 0 40 1 0 0 16 0 9 0 1984553492 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25797] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25797/stat : 25797 (java) S 25789 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1984553492 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25790/tid=25798] ppid=25789 vsize=655480 CPUtime=0
/proc/25790/task/25798/stat : 25798 (java) S 25789 25754 23014 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1984553492 671211520 24860 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25763] ppid=25754 vsize=197756 CPUtime=797.61
/proc/25762/task/25763/stat : 25763 (java) S 25754 25754 23014 0 -1 64 4029 29256 1 1 463 5 79217 76 16 0 10 0 1984473535 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=25762/tid=25764] ppid=25754 vsize=197756 CPUtime=793.86
/proc/25762/task/25764/stat : 25764 (java) S 25754 25754 23014 0 -1 64 6170 29256 0 1 83 10 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25765] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25765/stat : 25765 (java) S 25754 25754 23014 0 -1 64 11 29256 0 1 0 0 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25766] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25766/stat : 25766 (java) S 25754 25754 23014 0 -1 64 5 29256 0 1 0 0 79217 76 16 0 10 0 1984473536 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25767] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25767/stat : 25767 (java) S 25754 25754 23014 0 -1 64 0 29256 0 1 0 0 79217 76 18 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25768] ppid=25754 vsize=197756 CPUtime=793.13
/proc/25762/task/25768/stat : 25768 (java) S 25754 25754 23014 0 -1 64 675 29256 0 1 20 0 79217 76 16 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25762/tid=25769] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25769/stat : 25769 (java) S 25754 25754 23014 0 -1 64 1 29256 0 1 0 0 79217 76 19 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25770] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25770/stat : 25770 (java) S 25754 25754 23014 0 -1 64 25 29256 0 1 0 0 79217 76 15 0 10 0 1984473538 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25762/tid=25788] ppid=25754 vsize=197756 CPUtime=792.93
/proc/25762/task/25788/stat : 25788 (java) S 25754 25754 23014 0 -1 64 42 29256 0 1 0 0 79217 76 17 0 10 0 1984553487 202502144 9411 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 863952
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 25754 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=229661
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=45993
# CPU time returned by wait4() is 2.27565
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1814.93
CPU time (s): 1800.1
CPU user time (s): 1795.38
CPU system time (s): 4.72
CPU usage (%): 99.1826
Max. virtual memory (cumulated for all children) (KiB): 871232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.22966
system time used= 0.045993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5854
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= 58
runsolver used 7.64684 second user time and 18.3342 second system time
The end