0.00/0.00 c cpHydra_k_10 version 0.0
11.65/11.81 c CASE TO CLASSIFY:
11.65/11.81 c Case: 0
11.65/11.82 c 19 > 96.464600 | c 35 > 26.930900 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.184000 | c 15 > 20.231700 | c 34 > 42.870300 | c 16 > 13.000000 | c 13 > 8.239070 | c 14 > 10.041700 | c 11 > 14.383900 | c 12 > 4.255780 | c 21 > 1.414200 | c 20 > 3.535410 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.741800 | c 1 > 14.383900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.631600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.488600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.65/11.83 c choco : 1801.0
11.65/11.83 c mistral : 1801.0
11.65/11.83 c abscon : 1801.0
11.65/11.83 c
11.65/11.83 c
11.75/11.90 c List of same ones: 10
11.75/11.90 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf9.xml
11.75/11.90 c 19 > 96.824300 | c 35 > 26.551200 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.515100 | c 15 > 19.485000 | c 34 > 42.158000 | c 16 > 13.000000 | c 13 > 6.330600 | c 14 > 8.903880 | c 11 > 14.319400 | c 12 > 3.231970 | c 21 > 1.414200 | c 20 > 3.175740 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 16.576900 | c 1 > 14.319400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.329200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 20.949700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.91 c choco : 1801.0
11.75/11.91 c mistral : 486.27
11.75/11.91 c abscon : 1800.1
11.75/11.91 c
11.75/11.91 c
11.75/11.91 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv10-ucl.xml
11.75/11.91 c 19 > 91.196100 | c 35 > 23.971400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 57.415800 | c 15 > 19.128100 | c 34 > 37.234200 | c 16 > 9.000000 | c 13 > 3.298200 | c 14 > 7.257390 | c 11 > 14.211400 | c 12 > 2.114260 | c 21 > 1.412310 | c 20 > 8.803860 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.053800 | c 1 > 13.117800 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.299200 | c 6 > 0.000000 | c 32 > -1.000000 | c 5 > 16.691200 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.92 c choco : 1801.0
11.75/11.92 c mistral : 6.01008
11.75/11.92 c abscon : 91.5061
11.75/11.92 c
11.75/11.92 c
11.75/11.92 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf8.xml
11.75/11.92 c 19 > 85.716000 | c 35 > 27.034100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.511400 | c 15 > 19.405500 | c 34 > 43.254200 | c 16 > 11.000000 | c 13 > 5.621090 | c 14 > 8.294620 | c 11 > 12.559600 | c 12 > 3.361290 | c 21 > 1.412930 | c 20 > 14.284000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.024200 | c 1 > 12.559600 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.217800 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 18.859300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.93 c choco : 105.94
11.75/11.93 c mistral : 13.16
11.75/11.93 c abscon : 104.611
11.75/11.93 c
11.75/11.93 c
11.75/11.93 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/37s-smv.xml
11.75/11.93 c 19 > 87.995000 | c 35 > 26.587100 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.549300 | c 15 > 19.437700 | c 34 > 42.721600 | c 16 > 11.000000 | c 13 > 4.848390 | c 14 > 9.807350 | c 11 > 11.935500 | c 12 > 3.277080 | c 21 > 1.393860 | c 20 > 12.005000 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.492900 | c 1 > 10.131900 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.574100 | c 6 > 3.584960 | c 32 > -1.000000 | c 5 > 16.299000 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.94 c choco : 1801.0
11.75/11.94 c mistral : 21.11
11.75/11.94 c abscon : 101.771
11.75/11.94 c
11.75/11.94 c
11.75/11.94 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv8-ucl.xml
11.75/11.94 c 19 > 87.661300 | c 35 > 24.972600 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.627600 | c 15 > 19.261800 | c 34 > 39.123500 | c 16 > 9.000000 | c 13 > 4.107600 | c 14 > 8.661780 | c 11 > 12.759700 | c 12 > 2.349210 | c 21 > 1.414210 | c 20 > 12.338700 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.356900 | c 1 > 11.201500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.161100 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 15.786300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.95 c choco : 9.84
11.75/11.95 c mistral : 1.89971
11.75/11.95 c abscon : 16.4835
11.75/11.95 c
11.75/11.95 c
11.75/11.95 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf7.xml
11.75/11.95 c 19 > 85.443800 | c 35 > 26.109400 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.095100 | c 15 > 19.030500 | c 34 > 41.303600 | c 16 > 11.000000 | c 13 > 5.954350 | c 14 > 8.581200 | c 11 > 13.676400 | c 12 > 2.553270 | c 21 > 1.412320 | c 20 > 14.556200 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 14.214900 | c 1 > 11.859500 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 13.302200 | c 6 > 2.321930 | c 32 > -1.000000 | c 5 > 17.739800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.96 c choco : 782.2
11.75/11.96 c mistral : 251.58
11.75/11.96 c abscon : 320.647
11.75/11.96 c
11.75/11.96 c
11.75/11.96 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml
11.75/11.96 c 19 > 84.827600 | c 35 > 26.211000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.105500 | c 15 > 19.134800 | c 34 > 41.578100 | c 16 > 9.000000 | c 13 > 5.711110 | c 14 > 9.002820 | c 11 > 12.712500 | c 12 > 3.225330 | c 21 > 1.410880 | c 20 > 15.172400 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 13.149400 | c 1 > 10.803300 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 12.264700 | c 6 > 2.000000 | c 32 > -1.000000 | c 5 > 16.034100 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.97 c choco : 28.2
11.75/11.97 c mistral : 5.10822
11.75/11.97 c abscon : 56.1605
11.75/11.97 c
11.75/11.97 c
11.75/11.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml
11.75/11.97 c 19 > 84.617700 | c 35 > 27.276000 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 55.976700 | c 15 > 17.621300 | c 34 > 43.879900 | c 16 > 11.000000 | c 13 > 4.848120 | c 14 > 8.252670 | c 11 > 12.330900 | c 12 > 2.439020 | c 21 > 1.410480 | c 20 > 15.382300 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 12.744400 | c 1 > 10.359700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 11.983000 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 16.359300 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.97 c choco : 7.85
11.75/11.97 c mistral : 0.439932
11.75/11.97 c abscon : 5.2372
11.75/11.97 c
11.75/11.97 c
11.75/11.97 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml
11.75/11.97 c 19 > 96.228700 | c 35 > 31.725800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.526000 | c 15 > 18.840600 | c 34 > 53.130800 | c 16 > 29.000000 | c 13 > 3.183720 | c 14 > 10.765700 | c 11 > 12.186700 | c 12 > 4.473390 | c 21 > 1.414210 | c 20 > 3.771280 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.608100 | c 1 > 12.186700 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.232600 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.268800 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.98 c choco : 1801.0
11.75/11.98 c mistral : 554.94
11.75/11.98 c abscon : 1800.07
11.75/11.98 c
11.75/11.98 c
11.75/11.98 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml
11.75/11.98 c 19 > 96.152600 | c 35 > 31.743800 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 59.514400 | c 15 > 18.917900 | c 34 > 53.167200 | c 16 > 29.000000 | c 13 > 3.193410 | c 14 > 10.755700 | c 11 > 12.177400 | c 12 > 4.449120 | c 21 > 1.414210 | c 20 > 3.847390 | c 22 > 1.414210 | c 23 > 100.000000 | c 24 > 100.000000 | c 25 > 0.000000 | c 26 > -1.000000 | c 27 > -1.000000 | c 28 > -1.000000 | c 29 > -1.000000 | c 3 > -1.000000 | c 2 > -1.000000 | c 10 > 15.580100 | c 1 > 12.177400 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 14.217200 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 17.241600 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
11.75/11.99 c choco : 1801.0
11.75/11.99 c mistral : 926.13
11.75/11.99 c abscon : 1800.08
11.75/11.99 c
11.75/11.99 c
11.94/12.19 c Length: 10
11.94/12.19 c 2.8248767350629653 13.618411115398157 16.286097661745135 16.353183106667647 16.774951967037047 17.479153016147556 19.426157199791216 19.66477543048738 21.31471301898292 21.338526075661836
11.94/12.19 c
11.94/12.19 c 1.0 0.6317102836249192 0.5790062378937423 0.5777939869490467 0.5702872847880235 0.5581792950143258 0.5272301395228832 0.5236716077756749 0.5003217677507539 0.5
12.03/12.20 c
12.03/12.20 c solver 0
12.03/12.20 c before 0.0 seconds: {} 0
12.03/12.20 c before 18.0 seconds: {4, 7} 1093
12.03/12.20 c before 72.0 seconds: {4, 6, 7} 1621
12.03/12.20 c before 108.0 seconds: {1, 2, 3, 4, 6, 7} 3409
12.03/12.20 c before 324.0 seconds: {1, 2, 3, 4, 5, 6, 7} 3967
12.03/12.20 c
12.03/12.20 c solver 1
12.03/12.20 c before 0.0 seconds: {} 0
12.03/12.20 c before 18.0 seconds: {1, 2, 4, 6, 7} 2831
12.03/12.20 c before 36.0 seconds: {1, 2, 3, 4, 6, 7} 3409
12.03/12.20 c before 252.0 seconds: {1, 2, 3, 4, 5, 6, 7} 3967
12.03/12.20 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 4967
12.03/12.20 c before 558.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5468
12.03/12.20 c before 936.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5968
12.03/12.20 c
12.03/12.20 c solver 2
12.03/12.20 c before 0.0 seconds: {} 0
12.03/12.20 c before 18.0 seconds: {4, 7} 1093
12.03/12.20 c before 36.0 seconds: {4, 6, 7} 1621
12.03/12.20 c before 108.0 seconds: {2, 4, 6, 7} 2200
12.03/12.20 c before 792.0 seconds: {2, 4, 5, 6, 7} 2758
12.03/12.20 c
12.03/12.20 cTotal time: 114
12.03/12.20 c run abscon for 324.0 seconds {1, 2, 3, 4, 5, 6, 7} 3967
12.03/12.20 c run mistral for 936.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5968
12.03/12.20 c run choco for 108.0 seconds {2, 4, 6, 7} 2200
12.03/12.20 c Starting solver: HOME/cpHydra_k_10/solver/abscon
12.03/12.20 c On Instance: HOME/instance-1064937-1215144857.xml
12.03/12.20 c Running for: 324 seconds
338.99/339.55 c Starting solver: HOME/cpHydra_k_10/solver/mistral
338.99/339.55 c On Instance: HOME/instance-1064937-1215144857.xml
338.99/339.55 c Running for: 936 seconds
1274.92/1281.61 c Starting solver: HOME/cpHydra_k_10/solver/choco
1274.92/1281.61 c On Instance: HOME/instance-1064937-1215144857.xml
1274.92/1281.61 c Running for: 108 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-1064937-1215144857/watcher-1064937-1215144857 -o /tmp/evaluation-result-1064937-1215144857/solver-1064937-1215144857 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064937-1215144857.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.05 2.08 2.08 4/80 18083
/proc/meminfo: memFree=1561720/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=18572 CPUtime=0
/proc/18083/stat : 18083 (runsolver) R 18081 18083 15940 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 1302731702 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 273952599335 0 0 4096 24578 0 0 0 17 1 0 0
/proc/18083/statm: 4643 292 257 25 0 2626 0
[startup+0.071647 s]
/proc/loadavg: 2.05 2.08 2.08 4/80 18083
/proc/meminfo: memFree=1561720/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=0
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1302731702 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101685 s]
/proc/loadavg: 2.05 2.08 2.08 4/80 18083
/proc/meminfo: memFree=1561720/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=0
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1302731702 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301697 s]
/proc/loadavg: 2.05 2.08 2.08 4/80 18083
/proc/meminfo: memFree=1561720/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=0
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1302731702 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701775 s]
/proc/loadavg: 2.05 2.08 2.08 4/80 18083
/proc/meminfo: memFree=1561720/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=0
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1302731702 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50193 s]
/proc/loadavg: 2.05 2.08 2.08 3/82 18087
/proc/meminfo: memFree=1544808/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=0
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1302731702 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 236 195 169 0 51 0
[pid=18087] ppid=18083 vsize=28492 CPUtime=1.47
/proc/18087/stat : 18087 (xsolve) R 18083 18083 15940 0 -1 4194304 6558 0 0 0 143 4 0 0 25 0 1 0 1302731703 29175808 6354 996147200 134512640 135239763 4294956176 18446744073709551615 134617907 0 0 4096 0 0 0 0 17 1 0 0
/proc/18087/statm: 7123 6354 375 177 0 6026 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 33852
[startup+3.10125 s]
/proc/loadavg: 2.05 2.08 2.08 3/82 18087
/proc/meminfo: memFree=1530088/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=0
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 1302731702 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 236 195 169 0 51 0
[pid=18087] ppid=18083 vsize=53740 CPUtime=3.06
/proc/18087/stat : 18087 (xsolve) R 18083 18083 15940 0 -1 4194304 13172 0 0 0 298 8 0 0 25 0 1 0 1302731703 55029760 12677 996147200 134512640 135239763 4294956176 18446744073709551615 134579055 0 0 4096 0 0 0 0 17 1 0 0
/proc/18087/statm: 13435 12677 376 177 0 12338 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 59100
[startup+6.30188 s]
/proc/loadavg: 2.05 2.08 2.08 3/82 18087
/proc/meminfo: memFree=1411176/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=5.93
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 375 40368 0 0 0 0 570 23 18 0 1 0 1302731702 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 238 196 169 0 51 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 5360
[startup+12.7021 s]
/proc/loadavg: 2.04 2.07 2.08 5/90 18099
/proc/meminfo: memFree=1534312/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=5.93
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 375 40368 0 0 0 0 570 23 18 0 1 0 1302731702 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 238 196 169 0 51 0
[pid=18091] ppid=18083 vsize=197432 CPUtime=6.1
/proc/18091/stat : 18091 (java) S 18083 18083 15940 0 -1 0 13839 0 1 0 592 18 0 0 18 0 10 0 1302732302 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18091/statm: 49358 9392 2543 9 0 43941 0
[pid=18091/tid=18092] ppid=18083 vsize=197432 CPUtime=4.76
/proc/18091/task/18092/stat : 18092 (java) S 18083 18083 15940 0 -1 64 3853 0 1 0 471 5 0 0 25 0 10 0 1302732303 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18091/tid=18093] ppid=18083 vsize=197432 CPUtime=1.1
/proc/18091/task/18093/stat : 18093 (java) S 18083 18083 15940 0 -1 64 8536 0 0 0 100 10 0 0 16 0 10 0 1302732304 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18094] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18094/stat : 18094 (java) S 18083 18083 15940 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1302732305 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18095] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18095/stat : 18095 (java) S 18083 18083 15940 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1302732305 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18096] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18096/stat : 18096 (java) S 18083 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18097] ppid=18083 vsize=197432 CPUtime=0.21
/proc/18091/task/18097/stat : 18097 (java) S 18083 18083 15940 0 -1 64 646 0 0 0 20 1 0 0 16 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18098] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18098/stat : 18098 (java) S 18083 18083 15940 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18099] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18099/stat : 18099 (java) S 18083 18083 15940 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.03
Current children cumulated vsize (KiB) 202792
[startup+25.5027 s]
/proc/loadavg: 2.03 2.07 2.08 3/102 18111
/proc/meminfo: memFree=1289224/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=5.93
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 375 40368 0 0 0 0 570 23 18 0 1 0 1302731702 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 238 196 169 0 51 0
[pid=18091] ppid=18083 vsize=197432 CPUtime=6.1
/proc/18091/stat : 18091 (java) S 18083 18083 15940 0 -1 0 13879 0 1 0 592 18 0 0 18 0 10 0 1302732302 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18091/statm: 49358 9392 2543 9 0 43941 0
[pid=18101] ppid=18091 vsize=5356 CPUtime=0
/proc/18101/stat : 18101 (abscon) S 18091 18083 15940 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 1302732923 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18101/statm: 1339 237 196 169 0 50 0
[pid=18102] ppid=18101 vsize=655704 CPUtime=13.26
/proc/18102/stat : 18102 (java) S 18101 18083 15940 0 -1 0 66758 0 1 0 1073 253 0 0 18 0 9 0 1302732924 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18102/statm: 163926 63581 2616 9 0 158454 0
[pid=18102/tid=18104] ppid=18101 vsize=655704 CPUtime=10.29
/proc/18102/task/18104/stat : 18104 (java) R 18101 18083 15940 0 -1 64 12566 0 1 0 800 229 0 0 25 0 9 0 1302732924 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4127454844 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18105] ppid=18101 vsize=655704 CPUtime=2.56
/proc/18102/task/18105/stat : 18105 (java) S 18101 18083 15940 0 -1 64 52879 0 0 0 234 22 0 0 16 0 9 0 1302732926 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18106] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18106/stat : 18106 (java) S 18101 18083 15940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1302732926 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18107] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18107/stat : 18107 (java) S 18101 18083 15940 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1302732926 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18108] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18108/stat : 18108 (java) S 18101 18083 15940 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1302732928 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18109] ppid=18101 vsize=655704 CPUtime=0.38
/proc/18102/task/18109/stat : 18109 (java) S 18101 18083 15940 0 -1 64 754 0 0 0 37 1 0 0 15 0 9 0 1302732928 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18110] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18110/stat : 18110 (java) S 18101 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1302732928 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18111] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18111/stat : 18111 (java) S 18101 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1302732928 671440896 63581 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18103] ppid=18101 vsize=7044 CPUtime=0
/proc/18103/stat : 18103 (translate) S 18101 18083 15940 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 1302732924 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 273952768082 0 4 0 0 18446744071563648864 0 0 17 0 0 0
/proc/18103/statm: 1761 213 182 1 0 41 0
[pid=18091/tid=18092] ppid=18083 vsize=197432 CPUtime=4.76
/proc/18091/task/18092/stat : 18092 (java) S 18083 18083 15940 0 -1 64 3853 0 1 0 471 5 0 0 25 0 10 0 1302732303 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=18091/tid=18093] ppid=18083 vsize=197432 CPUtime=1.1
/proc/18091/task/18093/stat : 18093 (java) S 18083 18083 15940 0 -1 64 8570 0 0 0 100 10 0 0 16 0 10 0 1302732304 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18094] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18094/stat : 18094 (java) S 18083 18083 15940 0 -1 64 11 0 0 0 0 0 0 0 16 0 10 0 1302732305 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18095] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18095/stat : 18095 (java) S 18083 18083 15940 0 -1 64 5 0 0 0 0 0 0 0 15 0 10 0 1302732305 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18096] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18096/stat : 18096 (java) S 18083 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18097] ppid=18083 vsize=197432 CPUtime=0.21
/proc/18091/task/18097/stat : 18097 (java) S 18083 18083 15940 0 -1 64 646 0 0 0 20 1 0 0 16 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18098] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18098/stat : 18098 (java) S 18083 18083 15940 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18099] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18099/stat : 18099 (java) S 18083 18083 15940 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 1302732307 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18100] ppid=18083 vsize=197432 CPUtime=0
/proc/18091/task/18100/stat : 18100 (java) S 18083 18083 15940 0 -1 64 74 0 0 0 0 0 0 0 25 0 10 0 1302732923 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 870896
[startup+51.1027 s]
/proc/loadavg: 2.02 2.06 2.07 3/102 18111
/proc/meminfo: memFree=1288712/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=5.93
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 375 40368 0 0 0 0 570 23 18 0 1 0 1302731702 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 238 196 169 0 51 0
[pid=18091] ppid=18083 vsize=197432 CPUtime=6.1
/proc/18091/stat : 18091 (java) S 18083 18083 15940 0 -1 0 13879 0 1 0 592 18 0 0 18 0 10 0 1302732302 202170368 9392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18091/statm: 49358 9392 2543 9 0 43941 0
[pid=18101] ppid=18091 vsize=5356 CPUtime=0
/proc/18101/stat : 18101 (abscon) S 18091 18083 15940 0 -1 4194304 303 0 0 0 0 0 0 0 18 0 1 0 1302732923 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/18101/statm: 1339 237 196 169 0 50 0
[pid=18102] ppid=18101 vsize=655704 CPUtime=38.83
/proc/18102/stat : 18102 (java) S 18101 18083 15940 0 -1 0 66795 0 1 0 3629 254 0 0 18 0 9 0 1302732924 671440896 63608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18102/statm: 163926 63608 2616 9 0 158454 0
[pid=18102/tid=18104] ppid=18101 vsize=655704 CPUtime=35.8
/proc/18102/task/18104/stat : 18104 (java) R 18101 18083 15940 0 -1 64 12571 0 1 0 3351 229 0 0 25 0 9 0 1302732924 671440896 63608 996147200 134512640 134550740 4294955808 18446744073709551615 4126457559 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18105] ppid=18101 vsize=655704 CPUtime=2.56
/proc/18102/task/18105/stat : 18105 (java) S 18101 18083 15940 0 -1 64 52879 0 0 0 234 22 0 0 16 0 9 0 1302732926 671440896 63608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18106] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18106/stat : 18106 (java) S 18101 18083 15940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1302732926 671440896 63608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18107] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18107/stat : 18107 (java) S 18101 18083 15940 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 1302732926 671440896 63608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18108] ppid=18101 vsize=655704 CPUtime=0
/proc/18102/task/18108/stat : 18108 (java) S 18101 18083 15940 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1302732928 671440896 63608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18109] ppid=18101 vsize=655704 CPUtime=0.43
/proc/18102/task/18109/stat : 18109 (java) S 18101 18083 15940 0 -1 64 786 0 0 0 42 1 0 0 15 0 9 0 1302732928 671440896 63608 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18102/tid=18110] ppid=18101 vsize=655704 CPUtime=0
################
# More data... #
################
/proc/18091/statm: 49439 9398 2544 9 0 44022 0
[pid=18158] ppid=18091 vsize=5356 CPUtime=0
/proc/18158/stat : 18158 (choco) S 18091 18083 15940 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1302859864 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18158/statm: 1339 238 197 169 0 50 0
[pid=18159] ppid=18158 vsize=655628 CPUtime=440.26
/proc/18159/stat : 18159 (java) S 18158 18083 15940 0 -1 0 103839 0 1 0 43960 66 0 0 19 0 9 0 1302859865 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18159/statm: 163907 103053 1939 9 0 158436 0
[pid=18159/tid=18160] ppid=18158 vsize=655628 CPUtime=432.65
/proc/18159/task/18160/stat : 18160 (java) R 18158 18083 15940 0 -1 64 12537 0 1 0 43236 29 0 0 25 0 9 0 1302859866 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4127618419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18161] ppid=18158 vsize=655628 CPUtime=7.04
/proc/18159/task/18161/stat : 18161 (java) S 18158 18083 15940 0 -1 64 89931 0 0 0 669 35 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18162] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18162/stat : 18162 (java) S 18158 18083 15940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18163] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18163/stat : 18163 (java) S 18158 18083 15940 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18164] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18164/stat : 18164 (java) S 18158 18083 15940 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18165] ppid=18158 vsize=655628 CPUtime=0.55
/proc/18159/task/18165/stat : 18165 (java) S 18158 18083 15940 0 -1 64 818 0 0 0 54 1 0 0 16 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18166] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18166/stat : 18166 (java) S 18158 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18167] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18167/stat : 18167 (java) S 18158 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18091/tid=18092] ppid=18083 vsize=197756 CPUtime=1267.66
/proc/18091/task/18092/stat : 18092 (java) S 18083 18083 15940 0 -1 64 4015 107439 1 1 471 5 126005 285 16 0 10 0 1302732303 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=18091/tid=18093] ppid=18083 vsize=197756 CPUtime=1264
/proc/18091/task/18093/stat : 18093 (java) S 18083 18083 15940 0 -1 64 8607 107439 0 1 100 10 126005 285 16 0 10 0 1302732304 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18091/tid=18094] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18094/stat : 18094 (java) S 18083 18083 15940 0 -1 64 11 107439 0 1 0 0 126005 285 16 0 10 0 1302732305 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18095] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18095/stat : 18095 (java) S 18083 18083 15940 0 -1 64 5 107439 0 1 0 0 126005 285 15 0 10 0 1302732305 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18096] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18096/stat : 18096 (java) S 18083 18083 15940 0 -1 64 0 107439 0 1 0 0 126005 285 18 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18097] ppid=18083 vsize=197756 CPUtime=1263.11
/proc/18091/task/18097/stat : 18097 (java) S 18083 18083 15940 0 -1 64 646 107439 0 1 20 1 126005 285 16 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18098] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18098/stat : 18098 (java) S 18083 18083 15940 0 -1 64 1 107439 0 1 0 0 126005 285 19 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18099] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18099/stat : 18099 (java) S 18083 18083 15940 0 -1 64 24 107439 0 1 0 0 126005 285 15 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18157] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18157/stat : 18157 (java) S 18083 18083 15940 0 -1 64 43 107439 0 1 0 0 126005 285 17 0 10 0 1302859864 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.21
Current children cumulated vsize (KiB) 864100
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18167
/proc/meminfo: memFree=1196912/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=5.93
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 375 40368 0 0 0 0 570 23 18 0 1 0 1302731702 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 238 196 169 0 51 0
[pid=18091] ppid=18083 vsize=197756 CPUtime=1269.02
/proc/18091/stat : 18091 (java) S 18083 18083 15940 0 -1 0 14211 107439 1 1 593 19 126005 285 18 0 10 0 1302732302 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18091/statm: 49439 9398 2544 9 0 44022 0
[pid=18158] ppid=18091 vsize=5356 CPUtime=0
/proc/18158/stat : 18158 (choco) S 18091 18083 15940 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1302859864 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18158/statm: 1339 238 197 169 0 50 0
[pid=18159] ppid=18158 vsize=655628 CPUtime=500.22
/proc/18159/stat : 18159 (java) S 18158 18083 15940 0 -1 0 103841 0 1 0 49953 69 0 0 19 0 9 0 1302859865 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18159/statm: 163907 103053 1939 9 0 158436 0
[pid=18159/tid=18160] ppid=18158 vsize=655628 CPUtime=492.6
/proc/18159/task/18160/stat : 18160 (java) R 18158 18083 15940 0 -1 64 12539 0 1 0 49229 31 0 0 25 0 9 0 1302859866 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4127782899 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18161] ppid=18158 vsize=655628 CPUtime=7.04
/proc/18159/task/18161/stat : 18161 (java) S 18158 18083 15940 0 -1 64 89931 0 0 0 669 35 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18162] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18162/stat : 18162 (java) S 18158 18083 15940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18163] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18163/stat : 18163 (java) S 18158 18083 15940 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18164] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18164/stat : 18164 (java) S 18158 18083 15940 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18165] ppid=18158 vsize=655628 CPUtime=0.55
/proc/18159/task/18165/stat : 18165 (java) S 18158 18083 15940 0 -1 64 818 0 0 0 54 1 0 0 16 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18166] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18166/stat : 18166 (java) S 18158 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18167] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18167/stat : 18167 (java) S 18158 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18091/tid=18092] ppid=18083 vsize=197756 CPUtime=1267.66
/proc/18091/task/18092/stat : 18092 (java) S 18083 18083 15940 0 -1 64 4015 107439 1 1 471 5 126005 285 16 0 10 0 1302732303 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=18091/tid=18093] ppid=18083 vsize=197756 CPUtime=1264
/proc/18091/task/18093/stat : 18093 (java) S 18083 18083 15940 0 -1 64 8607 107439 0 1 100 10 126005 285 16 0 10 0 1302732304 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18091/tid=18094] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18094/stat : 18094 (java) S 18083 18083 15940 0 -1 64 11 107439 0 1 0 0 126005 285 16 0 10 0 1302732305 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18095] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18095/stat : 18095 (java) S 18083 18083 15940 0 -1 64 5 107439 0 1 0 0 126005 285 15 0 10 0 1302732305 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18096] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18096/stat : 18096 (java) S 18083 18083 15940 0 -1 64 0 107439 0 1 0 0 126005 285 18 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18097] ppid=18083 vsize=197756 CPUtime=1263.11
/proc/18091/task/18097/stat : 18097 (java) S 18083 18083 15940 0 -1 64 646 107439 0 1 20 1 126005 285 16 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18098] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18098/stat : 18098 (java) S 18083 18083 15940 0 -1 64 1 107439 0 1 0 0 126005 285 19 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18099] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18099/stat : 18099 (java) S 18083 18083 15940 0 -1 64 24 107439 0 1 0 0 126005 285 15 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18157] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18157/stat : 18157 (java) S 18083 18083 15940 0 -1 64 43 107439 0 1 0 0 126005 285 17 0 10 0 1302859864 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1775.17
Current children cumulated vsize (KiB) 864100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/102 18167
/proc/meminfo: memFree=1195312/2055920 swapFree=4122004/4192956
[pid=18083] ppid=18081 vsize=5360 CPUtime=5.93
/proc/18083/stat : 18083 (hydra) S 18081 18083 15940 0 -1 4194304 375 40368 0 0 0 0 570 23 18 0 1 0 1302731702 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18083/statm: 1340 238 196 169 0 51 0
[pid=18091] ppid=18083 vsize=197756 CPUtime=1269.02
/proc/18091/stat : 18091 (java) S 18083 18083 15940 0 -1 0 14211 107439 1 1 593 19 126005 285 18 0 10 0 1302732302 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18091/statm: 49439 9398 2544 9 0 44022 0
[pid=18158] ppid=18091 vsize=5356 CPUtime=0
/proc/18158/stat : 18158 (choco) S 18091 18083 15940 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 1302859864 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 273952596804 0 65540 4 65538 18446744071563356171 0 0 17 0 0 0
/proc/18158/statm: 1339 238 197 169 0 50 0
[pid=18159] ppid=18158 vsize=655628 CPUtime=525.11
/proc/18159/stat : 18159 (java) S 18158 18083 15940 0 -1 0 103841 0 1 0 52441 70 0 0 19 0 9 0 1302859865 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/18159/statm: 163907 103053 1939 9 0 158436 0
[pid=18159/tid=18160] ppid=18158 vsize=655628 CPUtime=517.49
/proc/18159/task/18160/stat : 18160 (java) R 18158 18083 15940 0 -1 64 12539 0 1 0 51717 32 0 0 25 0 9 0 1302859866 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4127618419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18161] ppid=18158 vsize=655628 CPUtime=7.04
/proc/18159/task/18161/stat : 18161 (java) S 18158 18083 15940 0 -1 64 89931 0 0 0 669 35 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18162] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18162/stat : 18162 (java) S 18158 18083 15940 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18163] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18163/stat : 18163 (java) S 18158 18083 15940 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1302859867 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18164] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18164/stat : 18164 (java) S 18158 18083 15940 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18165] ppid=18158 vsize=655628 CPUtime=0.55
/proc/18159/task/18165/stat : 18165 (java) S 18158 18083 15940 0 -1 64 818 0 0 0 54 1 0 0 16 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18166] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18166/stat : 18166 (java) S 18158 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18159/tid=18167] ppid=18158 vsize=655628 CPUtime=0
/proc/18159/task/18167/stat : 18167 (java) S 18158 18083 15940 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1302859869 671363072 103053 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18091/tid=18092] ppid=18083 vsize=197756 CPUtime=1267.66
/proc/18091/task/18092/stat : 18092 (java) S 18083 18083 15940 0 -1 64 4015 107439 1 1 471 5 126005 285 16 0 10 0 1302732303 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=18091/tid=18093] ppid=18083 vsize=197756 CPUtime=1264
/proc/18091/task/18093/stat : 18093 (java) S 18083 18083 15940 0 -1 64 8607 107439 0 1 100 10 126005 285 16 0 10 0 1302732304 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=18091/tid=18094] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18094/stat : 18094 (java) S 18083 18083 15940 0 -1 64 11 107439 0 1 0 0 126005 285 16 0 10 0 1302732305 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18095] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18095/stat : 18095 (java) S 18083 18083 15940 0 -1 64 5 107439 0 1 0 0 126005 285 15 0 10 0 1302732305 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18096] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18096/stat : 18096 (java) S 18083 18083 15940 0 -1 64 0 107439 0 1 0 0 126005 285 18 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18097] ppid=18083 vsize=197756 CPUtime=1263.11
/proc/18091/task/18097/stat : 18097 (java) S 18083 18083 15940 0 -1 64 646 107439 0 1 20 1 126005 285 16 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18098] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18098/stat : 18098 (java) S 18083 18083 15940 0 -1 64 1 107439 0 1 0 0 126005 285 19 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18099] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18099/stat : 18099 (java) R 18083 18083 15940 0 -1 64 24 107439 0 1 0 0 126005 285 15 0 10 0 1302732307 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18091/tid=18157] ppid=18083 vsize=197756 CPUtime=1262.9
/proc/18091/task/18157/stat : 18157 (java) S 18083 18083 15940 0 -1 64 43 107439 0 1 0 0 126005 285 17 0 10 0 1302859864 202502144 9398 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 864100
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 18083 and gives
# childrusage.ru_utime.tv_sec=5
# childrusage.ru_utime.tv_usec=701133
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=241963
# CPU time returned by wait4() is 5.9431
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1807.24
CPU time (s): 1800.06
CPU user time (s): 1796.09
CPU system time (s): 3.97
CPU usage (%): 99.6026
Max. virtual memory (cumulated for all children) (KiB): 876528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.70113
system time used= 0.241963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40743
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= 249
runsolver used 4.48132 second user time and 12.3391 second system time
The end