0.00/0.00 c cpHydra_k_10 version 0.0
7.28/7.40 c CASE TO CLASSIFY:
7.28/7.40 c Case: 0
7.28/7.40 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.316300 | c 15 > 21.686500 | c 34 > 47.316300 | c 16 > 2.000000 | c 13 > 4.233320 | c 14 > 7.820180 | c 11 > 12.550700 | c 12 > 2.389610 | c 21 > 35.391100 | c 20 > 100.000000 | c 22 > 36.055500 | 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 > 8.228820 | c 10 > 13.854300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.545900 | c 6 > 12.476700 | c 32 > -1.000000 | c 5 > 22.909300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.28/7.41 c choco : 1801.0
7.28/7.41 c mistral : 1801.0
7.28/7.41 c abscon : 1801.0
7.28/7.41 c
7.28/7.41 c
7.28/7.49 c List of same ones: 10
7.28/7.49 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-1.xml
7.28/7.49 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.916100 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.634900 | c 14 > 7.636620 | c 11 > 11.720700 | c 12 > 2.292390 | c 21 > 35.728500 | c 20 > 100.000000 | c 22 > 36.414300 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.127800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.50 c choco : 24.34
7.38/7.50 c mistral : 2.62
7.38/7.50 c abscon : 1800.1
7.38/7.50 c
7.38/7.50 c
7.38/7.50 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-3.xml
7.38/7.50 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.744100 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.564180 | c 14 > 7.693490 | c 11 > 11.720700 | c 12 > 2.286000 | c 21 > 34.530200 | c 20 > 100.000000 | c 22 > 35.213600 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.029500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.51 c choco : 39.45
7.38/7.51 c mistral : 1146.73
7.38/7.51 c abscon : 1800.07
7.38/7.51 c
7.38/7.51 c
7.38/7.51 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-9.xml
7.38/7.51 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.827700 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.136540 | c 14 > 7.033420 | c 11 > 11.720700 | c 12 > 2.124030 | c 21 > 34.936100 | c 20 > 100.000000 | c 22 > 35.637100 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.063100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.52 c choco : 1065.61
7.38/7.52 c mistral : 1800.03
7.38/7.52 c abscon : 1800.14
7.38/7.52 c
7.38/7.52 c
7.38/7.52 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-7.xml
7.38/7.52 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.686400 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 2.979520 | c 14 > 7.139550 | c 11 > 11.720700 | c 12 > 1.962210 | c 21 > 35.104500 | c 20 > 100.000000 | c 22 > 35.805000 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.076900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.53 c choco : 93.42
7.38/7.53 c mistral : 1800.05
7.38/7.53 c abscon : 1800.14
7.38/7.53 c
7.38/7.53 c
7.38/7.53 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-9.xml
7.38/7.53 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.713600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.128840 | c 14 > 6.870360 | c 11 > 11.720700 | c 12 > 2.093910 | c 21 > 35.840300 | c 20 > 100.000000 | c 22 > 36.524000 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.136700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.54 c choco : 36.21
7.38/7.54 c mistral : 8.59169
7.38/7.54 c abscon : 1800.13
7.38/7.54 c
7.38/7.54 c
7.38/7.54 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-105-5.xml
7.38/7.54 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.684300 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 2.945250 | c 14 > 6.894820 | c 11 > 11.720700 | c 12 > 2.020160 | c 21 > 35.490200 | c 20 > 100.000000 | c 22 > 36.180100 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.108500 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.55 c choco : 60.7
7.38/7.55 c mistral : 1800.02
7.38/7.55 c abscon : 1800.08
7.38/7.55 c
7.38/7.55 c
7.38/7.55 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-100-1.xml
7.38/7.55 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.809400 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 2.936190 | c 14 > 7.055280 | c 11 > 11.720700 | c 12 > 2.006500 | c 21 > 34.835700 | c 20 > 100.000000 | c 22 > 35.538700 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.054900 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.55 c choco : 860.71
7.38/7.55 c mistral : 1800.03
7.38/7.55 c abscon : 1800.1
7.38/7.55 c
7.38/7.55 c
7.38/7.55 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-20-15/js-taillard-20-15-105-3.xml
7.38/7.55 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 27.316300 | c 15 > 20.560200 | c 34 > 47.316300 | c 16 > 2.000000 | c 13 > 3.308310 | c 14 > 6.375040 | c 11 > 12.550700 | c 12 > 2.022720 | c 21 > 37.112000 | c 20 > 100.000000 | c 22 > 37.735900 | 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 > 8.228820 | c 10 > 13.854300 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.545900 | c 6 > 12.476700 | c 32 > -1.000000 | c 5 > 23.046100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.56 c choco : 83.58
7.38/7.56 c mistral : 1800.03
7.38/7.56 c abscon : 1800.09
7.38/7.56 c
7.38/7.56 c
7.38/7.56 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-8.xml
7.38/7.56 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.683900 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.206080 | c 14 > 7.129280 | c 11 > 11.720700 | c 12 > 2.092410 | c 21 > 34.254900 | c 20 > 100.000000 | c 22 > 35.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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 22.006400 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.57 c choco : 42.84
7.38/7.57 c mistral : 20.7328
7.38/7.57 c abscon : 1800.11
7.38/7.57 c
7.38/7.57 c
7.38/7.57 c /home/eomahony/cpZilla/CSP/taillard/js-taillard-15/js-taillard-15-95-9.xml
7.38/7.57 c 19 > 0.000000 | c 35 > 20.000000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 26.470600 | c 15 > 20.644600 | c 34 > 46.470600 | c 16 > 2.000000 | c 13 > 3.711880 | c 14 > 7.459430 | c 11 > 11.720700 | c 12 > 2.316190 | c 21 > 34.022500 | c 20 > 100.000000 | c 22 > 34.741900 | 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 > 7.813780 | c 10 > 13.018000 | c 1 > -1.000000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.714200 | c 6 > 11.621100 | c 32 > -1.000000 | c 5 > 21.986800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
7.38/7.58 c choco : 31.0
7.38/7.58 c mistral : 1800.05
7.38/7.58 c abscon : 1800.13
7.38/7.58 c
7.38/7.58 c
7.56/7.79 c Length: 10
7.56/7.79 c 2.502565929201464 2.828673376231339 2.853572316238017 2.9104417359741115 2.9306893002159047 2.9559582758557323 2.9839564022619363 3.186092950903974 3.203296372363944 3.2182841133280946
7.56/7.79 c
7.56/7.79 c 1.0 0.6869846188484813 0.6709493748195875 0.6369900425987499 0.625714445247935 0.612190349229488 0.5978723650770215 0.5115030454598003 0.5052906052063586 0.5
7.56/7.79 c
7.56/7.79 c solver 0
7.56/7.79 c before 0.0 seconds: {} 0
7.56/7.79 c
7.56/7.79 c solver 1
7.56/7.79 c before 0.0 seconds: {} 0
7.56/7.79 c before 18.0 seconds: {0, 4} 1625
7.56/7.79 c before 36.0 seconds: {0, 4, 8} 2131
7.56/7.79 c before 1152.0 seconds: {0, 1, 4, 8} 2817
7.56/7.79 c
7.56/7.79 c solver 2
7.56/7.79 c before 0.0 seconds: {} 0
7.56/7.79 c before 36.0 seconds: {0, 9} 1500
7.56/7.79 c before 54.0 seconds: {0, 1, 4, 8, 9} 3317
7.56/7.79 c before 72.0 seconds: {0, 1, 4, 5, 8, 9} 3930
7.56/7.79 c before 90.0 seconds: {0, 1, 4, 5, 7, 8, 9} 4441
7.56/7.79 c before 108.0 seconds: {0, 1, 3, 4, 5, 7, 8, 9} 5078
7.56/7.79 c before 864.0 seconds: {0, 1, 3, 4, 5, 6, 7, 8, 9} 5676
7.56/7.79 c before 1080.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6347
7.56/7.79 c
7.56/7.79 cTotal time: 124
7.56/7.79 c do not run abscon
7.56/7.79 c run mistral for 36.0 seconds {0, 4, 8} 2131
7.56/7.79 c run choco for 1080.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 6347
7.56/7.79 c Starting solver: HOME/cpHydra_k_10/solver/mistral
7.56/7.79 c On Instance: HOME/instance-1080843-1215213427.xml
7.56/7.79 c Running for: 36 seconds
43.63/44.21 c Starting solver: HOME/cpHydra_k_10/solver/choco
43.63/44.21 c On Instance: HOME/instance-1080843-1215213427.xml
43.63/44.21 c Running for: 1080 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-1080843-1215213427/watcher-1080843-1215213427 -o /tmp/evaluation-result-1080843-1215213427/solver-1080843-1215213427 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1080843-1215213427.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.01 1.99 1.94 4/73 10725
/proc/meminfo: memFree=1596328/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=0
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 285 0 0 0 0 0 0 0 21 0 1 0 2000314482 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 236 195 169 0 51 0
[pid=10726] ppid=10725 vsize=0 CPUtime=0
/proc/10726/stat : 10726 (hydra) R 10725 10725 7988 0 -1 4194368 22 0 0 0 0 0 0 0 23 0 1 0 2000314483 0 0 996147200 0 0 0 18446744073709551615 236437695783 0 0 4096 0 0 0 0 17 1 0 0
/proc/10726/statm: 0 0 0 0 0 0 0
[startup+0.0612249 s]
/proc/loadavg: 2.01 1.99 1.94 4/73 10725
/proc/meminfo: memFree=1596328/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=0
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000314482 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.102229 s]
/proc/loadavg: 2.01 1.99 1.94 4/73 10725
/proc/meminfo: memFree=1596328/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=0
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000314482 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301271 s]
/proc/loadavg: 2.01 1.99 1.94 4/73 10725
/proc/meminfo: memFree=1596328/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=0
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000314482 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.70135 s]
/proc/loadavg: 2.01 1.99 1.94 4/73 10725
/proc/meminfo: memFree=1596328/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=0
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000314482 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50251 s]
/proc/loadavg: 2.01 1.99 1.94 3/75 10729
/proc/meminfo: memFree=1583256/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=0
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 330 247 0 0 0 0 0 0 22 0 1 0 2000314482 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 236 195 169 0 51 0
[pid=10729] ppid=10725 vsize=17156 CPUtime=1.47
/proc/10729/stat : 10729 (xsolve) R 10725 10725 7988 0 -1 4194304 3630 0 0 0 145 2 0 0 25 0 1 0 2000314483 17567744 3589 996147200 134512640 135239763 4294956176 18446744073709551615 134787932 0 0 4096 0 0 0 0 17 1 0 0
/proc/10729/statm: 4289 3589 422 177 0 3192 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 22516
[startup+3.10181 s]
/proc/loadavg: 2.01 1.99 1.94 3/83 10741
/proc/meminfo: memFree=1589592/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=1.71
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 375 4228 0 0 0 0 168 3 20 0 1 0 2000314482 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 238 196 169 0 51 0
[pid=10733] ppid=10725 vsize=197016 CPUtime=1.34
/proc/10733/stat : 10733 (java) S 10725 10725 7988 0 -1 0 5039 0 1 0 128 6 0 0 18 0 9 0 2000314656 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10733/statm: 49254 4225 1678 9 0 43837 0
[pid=10733/tid=10734] ppid=10725 vsize=197016 CPUtime=1.02
/proc/10733/task/10734/stat : 10734 (java) R 10725 10725 7988 0 -1 64 2738 0 1 0 100 2 0 0 25 0 9 0 2000314657 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4126430775 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10735] ppid=10725 vsize=197016 CPUtime=0.15
/proc/10733/task/10735/stat : 10735 (java) S 10725 10725 7988 0 -1 64 966 0 0 0 13 2 0 0 16 0 9 0 2000314658 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10736] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10736/stat : 10736 (java) S 10725 10725 7988 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000314659 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10737] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10737/stat : 10737 (java) S 10725 10725 7988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000314659 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10738] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10738/stat : 10738 (java) S 10725 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000314661 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10739] ppid=10725 vsize=197016 CPUtime=0.14
/proc/10733/task/10739/stat : 10739 (java) S 10725 10725 7988 0 -1 64 610 0 0 0 14 0 0 0 16 0 9 0 2000314661 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10740] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10740/stat : 10740 (java) S 10725 10725 7988 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000314661 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10741] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10741/stat : 10741 (java) S 10725 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000314661 201744384 4225 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 202376
[startup+6.30244 s]
/proc/loadavg: 2.01 1.99 1.94 3/83 10741
/proc/meminfo: memFree=1576024/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=1.71
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 375 4228 0 0 0 0 168 3 20 0 1 0 2000314482 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 238 196 169 0 51 0
[pid=10733] ppid=10725 vsize=197016 CPUtime=4.48
/proc/10733/stat : 10733 (java) S 10725 10725 7988 0 -1 0 9914 0 1 0 432 16 0 0 18 0 9 0 2000314656 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10733/statm: 49254 8218 2540 9 0 43837 0
[pid=10733/tid=10734] ppid=10725 vsize=197016 CPUtime=3.49
/proc/10733/task/10734/stat : 10734 (java) R 10725 10725 7988 0 -1 64 3536 0 1 0 344 5 0 0 25 0 9 0 2000314657 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4126469105 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10735] ppid=10725 vsize=197016 CPUtime=0.78
/proc/10733/task/10735/stat : 10735 (java) S 10725 10725 7988 0 -1 64 5027 0 0 0 70 8 0 0 16 0 9 0 2000314658 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10736] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10736/stat : 10736 (java) S 10725 10725 7988 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 2000314659 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10737] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10737/stat : 10737 (java) S 10725 10725 7988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000314659 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10738] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10738/stat : 10738 (java) S 10725 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2000314661 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10739] ppid=10725 vsize=197016 CPUtime=0.17
/proc/10733/task/10739/stat : 10739 (java) S 10725 10725 7988 0 -1 64 626 0 0 0 16 1 0 0 16 0 9 0 2000314661 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10740] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10740/stat : 10740 (java) S 10725 10725 7988 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 2000314661 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10741] ppid=10725 vsize=197016 CPUtime=0
/proc/10733/task/10741/stat : 10741 (java) S 10725 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000314661 201744384 8218 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 202376
[startup+12.7017 s]
/proc/loadavg: 2.01 1.99 1.94 3/86 10744
/proc/meminfo: memFree=1554176/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=1.71
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 375 4228 0 0 0 0 168 3 20 0 1 0 2000314482 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 238 196 169 0 51 0
[pid=10733] ppid=10725 vsize=197340 CPUtime=5.94
/proc/10733/stat : 10733 (java) S 10725 10725 7988 0 -1 0 13876 0 1 0 572 22 0 0 18 0 10 0 2000314656 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10733/statm: 49335 9388 2543 9 0 43918 0
[pid=10743] ppid=10733 vsize=5356 CPUtime=0
/proc/10743/stat : 10743 (mistral) S 10733 10725 7988 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 2000315262 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 236437693252 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10743/statm: 1339 238 198 169 0 50 0
[pid=10744] ppid=10743 vsize=17292 CPUtime=4.83
/proc/10744/stat : 10744 (xsolve) R 10743 10725 7988 0 -1 4194304 3654 0 0 0 481 2 0 0 25 0 1 0 2000315263 17707008 3586 996147200 134512640 135239763 4294955952 18446744073709551615 135030883 0 4 0 0 0 0 0 17 1 0 0
/proc/10744/statm: 4323 3586 405 177 0 3226 0
[pid=10733/tid=10734] ppid=10725 vsize=197340 CPUtime=4.55
/proc/10733/task/10734/stat : 10734 (java) S 10725 10725 7988 0 -1 64 3852 0 1 0 448 7 0 0 23 0 10 0 2000314657 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10733/tid=10735] ppid=10725 vsize=197340 CPUtime=1.16
/proc/10733/task/10735/stat : 10735 (java) S 10725 10725 7988 0 -1 64 8571 0 0 0 104 12 0 0 16 0 10 0 2000314658 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10736] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10736/stat : 10736 (java) S 10725 10725 7988 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000314659 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10737] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10737/stat : 10737 (java) S 10725 10725 7988 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000314659 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10738] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10738/stat : 10738 (java) S 10725 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10739] ppid=10725 vsize=197340 CPUtime=0.2
/proc/10733/task/10739/stat : 10739 (java) S 10725 10725 7988 0 -1 64 643 0 0 0 19 1 0 0 16 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10740] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10740/stat : 10740 (java) S 10725 10725 7988 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10741] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10741/stat : 10741 (java) S 10725 10725 7988 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10742] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10742/stat : 10742 (java) S 10725 10725 7988 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 2000315262 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 225348
[startup+25.5022 s]
/proc/loadavg: 2.01 1.99 1.94 3/86 10744
/proc/meminfo: memFree=1553344/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=1.71
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 375 4228 0 0 0 0 168 3 20 0 1 0 2000314482 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 238 196 169 0 51 0
[pid=10733] ppid=10725 vsize=197340 CPUtime=5.94
/proc/10733/stat : 10733 (java) S 10725 10725 7988 0 -1 0 13876 0 1 0 572 22 0 0 18 0 10 0 2000314656 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10733/statm: 49335 9388 2543 9 0 43918 0
[pid=10743] ppid=10733 vsize=5356 CPUtime=0
/proc/10743/stat : 10743 (mistral) S 10733 10725 7988 0 -1 4194304 293 0 0 0 0 0 0 0 25 0 1 0 2000315262 5484544 238 996147200 4194304 4889804 548682068576 18446744073709551615 236437693252 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10743/statm: 1339 238 198 169 0 50 0
[pid=10744] ppid=10743 vsize=17292 CPUtime=17.49
/proc/10744/stat : 10744 (xsolve) R 10743 10725 7988 0 -1 4194304 3654 0 0 0 1747 2 0 0 25 0 1 0 2000315263 17707008 3586 996147200 134512640 135239763 4294955952 18446744073709551615 134842477 0 4 0 0 0 0 0 17 1 0 0
/proc/10744/statm: 4323 3586 405 177 0 3226 0
[pid=10733/tid=10734] ppid=10725 vsize=197340 CPUtime=4.55
/proc/10733/task/10734/stat : 10734 (java) S 10725 10725 7988 0 -1 64 3852 0 1 0 448 7 0 0 23 0 10 0 2000314657 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10733/tid=10735] ppid=10725 vsize=197340 CPUtime=1.16
/proc/10733/task/10735/stat : 10735 (java) S 10725 10725 7988 0 -1 64 8571 0 0 0 104 12 0 0 16 0 10 0 2000314658 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10736] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10736/stat : 10736 (java) S 10725 10725 7988 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 2000314659 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10737] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10737/stat : 10737 (java) S 10725 10725 7988 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 2000314659 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10738] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10738/stat : 10738 (java) S 10725 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10739] ppid=10725 vsize=197340 CPUtime=0.2
/proc/10733/task/10739/stat : 10739 (java) S 10725 10725 7988 0 -1 64 643 0 0 0 19 1 0 0 16 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10740] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10740/stat : 10740 (java) S 10725 10725 7988 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10741] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10741/stat : 10741 (java) S 10725 10725 7988 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000314661 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10742] ppid=10725 vsize=197340 CPUtime=0
/proc/10733/task/10742/stat : 10742 (java) S 10725 10725 7988 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 2000315262 202076160 9388 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 225348
[startup+51.1022 s]
################
# More data... #
################
/proc/10733/statm: 49416 9394 2544 9 0 43999 0
[pid=10746] ppid=10733 vsize=5356 CPUtime=0
/proc/10746/stat : 10746 (choco) S 10733 10725 7988 0 -1 4194304 294 0 0 0 0 0 0 0 19 0 1 0 2000318904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 236437693252 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10746/statm: 1339 238 197 169 0 50 0
[pid=10747] ppid=10746 vsize=655748 CPUtime=1721.86
/proc/10747/stat : 10747 (java) S 10746 10725 7988 0 -1 0 19933 0 1 0 172111 75 0 0 20 0 9 0 2000318905 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10747/statm: 163937 18616 1944 9 0 158466 0
[pid=10747/tid=10748] ppid=10746 vsize=655748 CPUtime=1720.36
/proc/10747/task/10748/stat : 10748 (java) R 10746 10725 7988 0 -1 64 13120 0 1 0 171972 64 0 0 25 0 9 0 2000318905 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4127330538 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10747/tid=10749] ppid=10746 vsize=655748 CPUtime=0.99
/proc/10747/task/10749/stat : 10749 (java) S 10746 10725 7988 0 -1 64 5514 0 0 0 91 8 0 0 17 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10747/tid=10750] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10750/stat : 10750 (java) S 10746 10725 7988 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10751] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10751/stat : 10751 (java) S 10746 10725 7988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10752] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10752/stat : 10752 (java) S 10746 10725 7988 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10753] ppid=10746 vsize=655748 CPUtime=0.47
/proc/10747/task/10753/stat : 10753 (java) S 10746 10725 7988 0 -1 64 753 0 0 0 46 1 0 0 16 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10754] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10754/stat : 10754 (java) S 10746 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10755] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10755/stat : 10755 (java) S 10746 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10734] ppid=10725 vsize=197664 CPUtime=40.54
/proc/10733/task/10734/stat : 10734 (java) S 10725 10725 7988 0 -1 64 3924 3961 1 0 448 7 3596 3 16 0 10 0 2000314657 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10733/tid=10735] ppid=10725 vsize=197664 CPUtime=37.15
/proc/10733/task/10735/stat : 10735 (java) S 10725 10725 7988 0 -1 64 8584 3961 0 0 104 12 3596 3 16 0 10 0 2000314658 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10736] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10736/stat : 10736 (java) S 10725 10725 7988 0 -1 64 11 3961 0 0 0 0 3596 3 16 0 10 0 2000314659 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10737] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10737/stat : 10737 (java) S 10725 10725 7988 0 -1 64 5 3961 0 0 0 0 3596 3 15 0 10 0 2000314659 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10738] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10738/stat : 10738 (java) S 10725 10725 7988 0 -1 64 1 3961 0 0 0 0 3596 3 18 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10739] ppid=10725 vsize=197664 CPUtime=36.19
/proc/10733/task/10739/stat : 10739 (java) S 10725 10725 7988 0 -1 64 643 3961 0 0 19 1 3596 3 16 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10740] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10740/stat : 10740 (java) S 10725 10725 7988 0 -1 64 0 3961 0 0 0 0 3596 3 19 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10741] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10741/stat : 10741 (java) S 10725 10725 7988 0 -1 64 16 3961 0 0 0 0 3596 3 15 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10745] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10745/stat : 10745 (java) S 10725 10725 7988 0 -1 64 41 3961 0 0 0 0 3596 3 17 0 10 0 2000318904 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1765.51
Current children cumulated vsize (KiB) 864128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 10845
/proc/meminfo: memFree=1510536/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=1.71
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 375 4228 0 0 0 0 168 3 20 0 1 0 2000314482 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 238 196 169 0 51 0
[pid=10733] ppid=10725 vsize=197664 CPUtime=41.94
/proc/10733/stat : 10733 (java) S 10725 10725 7988 0 -1 0 14036 3961 1 0 572 23 3596 3 18 0 10 0 2000314656 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10733/statm: 49416 9394 2544 9 0 43999 0
[pid=10746] ppid=10733 vsize=5356 CPUtime=0
/proc/10746/stat : 10746 (choco) S 10733 10725 7988 0 -1 4194304 294 0 0 0 0 0 0 0 19 0 1 0 2000318904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 236437693252 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10746/statm: 1339 238 197 169 0 50 0
[pid=10747] ppid=10746 vsize=655748 CPUtime=1756.45
/proc/10747/stat : 10747 (java) S 10746 10725 7988 0 -1 0 19951 0 1 0 175569 76 0 0 20 0 9 0 2000318905 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10747/statm: 163937 18616 1944 9 0 158466 0
[pid=10747/tid=10748] ppid=10746 vsize=655748 CPUtime=1754.94
/proc/10747/task/10748/stat : 10748 (java) R 10746 10725 7988 0 -1 64 13138 0 1 0 175429 65 0 0 25 0 9 0 2000318905 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4127343962 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10747/tid=10749] ppid=10746 vsize=655748 CPUtime=1
/proc/10747/task/10749/stat : 10749 (java) S 10746 10725 7988 0 -1 64 5514 0 0 0 92 8 0 0 17 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10747/tid=10750] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10750/stat : 10750 (java) S 10746 10725 7988 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10751] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10751/stat : 10751 (java) S 10746 10725 7988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10752] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10752/stat : 10752 (java) S 10746 10725 7988 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10753] ppid=10746 vsize=655748 CPUtime=0.47
/proc/10747/task/10753/stat : 10753 (java) S 10746 10725 7988 0 -1 64 753 0 0 0 46 1 0 0 16 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10754] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10754/stat : 10754 (java) S 10746 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10755] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10755/stat : 10755 (java) S 10746 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10734] ppid=10725 vsize=197664 CPUtime=40.54
/proc/10733/task/10734/stat : 10734 (java) S 10725 10725 7988 0 -1 64 3924 3961 1 0 448 7 3596 3 16 0 10 0 2000314657 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10733/tid=10735] ppid=10725 vsize=197664 CPUtime=37.15
/proc/10733/task/10735/stat : 10735 (java) S 10725 10725 7988 0 -1 64 8584 3961 0 0 104 12 3596 3 16 0 10 0 2000314658 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10736] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10736/stat : 10736 (java) S 10725 10725 7988 0 -1 64 11 3961 0 0 0 0 3596 3 16 0 10 0 2000314659 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10737] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10737/stat : 10737 (java) S 10725 10725 7988 0 -1 64 5 3961 0 0 0 0 3596 3 15 0 10 0 2000314659 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10738] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10738/stat : 10738 (java) S 10725 10725 7988 0 -1 64 1 3961 0 0 0 0 3596 3 18 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10739] ppid=10725 vsize=197664 CPUtime=36.19
/proc/10733/task/10739/stat : 10739 (java) S 10725 10725 7988 0 -1 64 643 3961 0 0 19 1 3596 3 16 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10740] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10740/stat : 10740 (java) S 10725 10725 7988 0 -1 64 0 3961 0 0 0 0 3596 3 19 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10741] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10741/stat : 10741 (java) S 10725 10725 7988 0 -1 64 16 3961 0 0 0 0 3596 3 15 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10745] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10745/stat : 10745 (java) S 10725 10725 7988 0 -1 64 41 3961 0 0 0 0 3596 3 17 0 10 0 2000318904 202407936 9394 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) 864128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1816.9 s]
/proc/loadavg: 2.02 2.02 2.00 3/101 10845
/proc/meminfo: memFree=1510536/2055920 swapFree=4179416/4192956
[pid=10725] ppid=10723 vsize=5360 CPUtime=1.71
/proc/10725/stat : 10725 (hydra) S 10723 10725 7988 0 -1 4194304 375 4228 0 0 0 0 168 3 20 0 1 0 2000314482 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/10725/statm: 1340 238 196 169 0 51 0
[pid=10733] ppid=10725 vsize=197664 CPUtime=41.94
/proc/10733/stat : 10733 (java) S 10725 10725 7988 0 -1 0 14036 3961 1 0 572 23 3596 3 18 0 10 0 2000314656 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10733/statm: 49416 9394 2544 9 0 43999 0
[pid=10746] ppid=10733 vsize=5356 CPUtime=0
/proc/10746/stat : 10746 (choco) S 10733 10725 7988 0 -1 4194304 294 0 0 0 0 0 0 0 19 0 1 0 2000318904 5484544 238 996147200 4194304 4889804 548682068592 18446744073709551615 236437693252 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/10746/statm: 1339 238 197 169 0 50 0
[pid=10747] ppid=10746 vsize=655748 CPUtime=1756.45
/proc/10747/stat : 10747 (java) S 10746 10725 7988 0 -1 0 19951 0 1 0 175569 76 0 0 20 0 9 0 2000318905 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/10747/statm: 163937 18616 1944 9 0 158466 0
[pid=10747/tid=10748] ppid=10746 vsize=655748 CPUtime=1754.94
/proc/10747/task/10748/stat : 10748 (java) R 10746 10725 7988 0 -1 64 13138 0 1 0 175429 65 0 0 25 0 9 0 2000318905 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4127343962 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10747/tid=10749] ppid=10746 vsize=655748 CPUtime=1
/proc/10747/task/10749/stat : 10749 (java) S 10746 10725 7988 0 -1 64 5514 0 0 0 92 8 0 0 17 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10747/tid=10750] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10750/stat : 10750 (java) S 10746 10725 7988 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10751] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10751/stat : 10751 (java) S 10746 10725 7988 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 2000318907 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10752] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10752/stat : 10752 (java) S 10746 10725 7988 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10753] ppid=10746 vsize=655748 CPUtime=0.47
/proc/10747/task/10753/stat : 10753 (java) S 10746 10725 7988 0 -1 64 753 0 0 0 46 1 0 0 16 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10754] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10754/stat : 10754 (java) S 10746 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10747/tid=10755] ppid=10746 vsize=655748 CPUtime=0
/proc/10747/task/10755/stat : 10755 (java) S 10746 10725 7988 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 2000318912 671485952 18616 996147200 134512640 134550740 4294955920 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10734] ppid=10725 vsize=197664 CPUtime=40.54
/proc/10733/task/10734/stat : 10734 (java) S 10725 10725 7988 0 -1 64 3924 3961 1 0 448 7 3596 3 16 0 10 0 2000314657 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=10733/tid=10735] ppid=10725 vsize=197664 CPUtime=37.15
/proc/10733/task/10735/stat : 10735 (java) S 10725 10725 7988 0 -1 64 8584 3961 0 0 104 12 3596 3 16 0 10 0 2000314658 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10736] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10736/stat : 10736 (java) S 10725 10725 7988 0 -1 64 11 3961 0 0 0 0 3596 3 16 0 10 0 2000314659 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10737] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10737/stat : 10737 (java) S 10725 10725 7988 0 -1 64 5 3961 0 0 0 0 3596 3 15 0 10 0 2000314659 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10738] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10738/stat : 10738 (java) S 10725 10725 7988 0 -1 64 1 3961 0 0 0 0 3596 3 18 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10739] ppid=10725 vsize=197664 CPUtime=36.19
/proc/10733/task/10739/stat : 10739 (java) S 10725 10725 7988 0 -1 64 643 3961 0 0 19 1 3596 3 16 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10740] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10740/stat : 10740 (java) S 10725 10725 7988 0 -1 64 0 3961 0 0 0 0 3596 3 19 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10741] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10741/stat : 10741 (java) S 10725 10725 7988 0 -1 64 16 3961 0 0 0 0 3596 3 15 0 10 0 2000314661 202407936 9394 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10733/tid=10745] ppid=10725 vsize=197664 CPUtime=35.99
/proc/10733/task/10745/stat : 10745 (java) S 10725 10725 7988 0 -1 64 41 3961 0 0 0 0 3596 3 17 0 10 0 2000318904 202407936 9394 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) 864128
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10725 and gives
# childrusage.ru_utime.tv_sec=1
# childrusage.ru_utime.tv_usec=683744
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=33994
# CPU time returned by wait4() is 1.71774
# 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): 1816.93
CPU time (s): 1800.1
CPU user time (s): 1799.05
CPU system time (s): 1.05
CPU usage (%): 99.0735
Max. virtual memory (cumulated for all children) (KiB): 864128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.68374
system time used= 0.033994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4603
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= 31
involuntary context switches= 50
runsolver used 6.90995 second user time and 19.1161 second system time
The end