0.00/0.00 c cpHydra_k_10 version 0.0
12.01/12.19 c CASE TO CLASSIFY:
12.01/12.19 c Case: 0
12.01/12.19 c 19 > 96.468700 | c 35 > 27.940700 | c 17 > 0.000000 | c 18 > 0.000000 | c 33 > 56.182000 | c 15 > 20.009600 | c 34 > 44.842600 | c 16 > 13.000000 | c 13 > 4.094070 | c 14 > 6.599910 | c 11 > 14.465000 | c 12 > 3.008150 | c 21 > 1.395970 | c 20 > 3.531310 | 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.877900 | c 1 > 14.465000 | c 0 > -1.000000 | c 30 > -1.000000 | c 7 > 15.805300 | c 6 > -1.000000 | c 32 > -1.000000 | c 5 > 21.728700 | c 31 > -1.000000 | c 4 > -1.000000 | c 9 > -1.000000 | c 8 > -1.000000 | c
12.11/12.20 c choco : 1801.0
12.11/12.20 c mistral : 1801.0
12.11/12.20 c abscon : 1801.0
12.11/12.20 c
12.11/12.20 c
12.11/12.28 c List of same ones: 10
12.11/12.28 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf9.xml
12.11/12.28 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
12.11/12.29 c choco : 1801.0
12.11/12.29 c mistral : 486.27
12.11/12.29 c abscon : 1800.1
12.11/12.29 c
12.11/12.29 c
12.11/12.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv10-ucl.xml
12.11/12.29 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
12.11/12.29 c choco : 1801.0
12.11/12.29 c mistral : 6.01008
12.11/12.29 c abscon : 91.5061
12.11/12.29 c
12.11/12.29 c
12.11/12.29 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf8.xml
12.11/12.29 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
12.20/12.31 c choco : 105.94
12.20/12.31 c mistral : 13.16
12.20/12.31 c abscon : 104.611
12.20/12.31 c
12.20/12.31 c
12.20/12.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/37s-smv.xml
12.20/12.31 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
12.20/12.31 c choco : 1801.0
12.20/12.31 c mistral : 21.11
12.20/12.31 c abscon : 101.771
12.20/12.31 c
12.20/12.31 c
12.20/12.31 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/cache-inv8-ucl.xml
12.20/12.31 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
12.20/12.33 c choco : 9.84
12.20/12.33 c mistral : 1.89971
12.20/12.33 c abscon : 16.4835
12.20/12.33 c
12.20/12.33 c
12.20/12.33 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf7.xml
12.20/12.33 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
12.20/12.34 c choco : 782.2
12.20/12.34 c mistral : 251.58
12.20/12.34 c abscon : 320.647
12.20/12.34 c
12.20/12.34 c
12.20/12.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/elf-rf7.xml
12.20/12.34 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
12.20/12.34 c choco : 7.85
12.20/12.34 c mistral : 0.439932
12.20/12.34 c abscon : 5.2372
12.20/12.34 c
12.20/12.34 c
12.20/12.34 c /home/eomahony/cpZilla/CSP/pseudoSeries/uclid/ooo-rf6.xml
12.20/12.34 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
12.20/12.35 c choco : 28.2
12.20/12.35 c mistral : 5.10822
12.20/12.35 c abscon : 56.1605
12.20/12.35 c
12.20/12.35 c
12.20/12.35 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-12-16.xml
12.20/12.35 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
12.20/12.36 c choco : 1801.0
12.20/12.36 c mistral : 554.94
12.20/12.36 c abscon : 1800.07
12.20/12.36 c
12.20/12.36 c
12.20/12.36 c /home/eomahony/cpZilla/CSP/pseudoSeries/ppp/ppp-1-13.xml
12.20/12.36 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
12.20/12.37 c choco : 1801.0
12.20/12.37 c mistral : 926.13
12.20/12.37 c abscon : 1800.08
12.20/12.37 c
12.20/12.37 c
12.20/12.37 c Length: 10
12.20/12.37 c 4.593921355661191 13.684700669269311 16.304570555577357 16.677462911687133 17.107020731591458 17.86752541530024 19.431041162459614 19.855267624192322 20.15869329526842 20.179796970599085
12.20/12.37 c
12.20/12.37 c 1.0 0.6316040670856128 0.570983878741094 0.5632889019178056 0.5546777282802352 0.5400608670248442 0.5123057542125603 0.5052602686172637 0.5003387357404643 0.5
12.20/12.38 c
12.20/12.38 c solver 0
12.20/12.38 c before 0.0 seconds: {} 0
12.20/12.38 c before 18.0 seconds: {4, 6} 1066
12.20/12.38 c before 72.0 seconds: {4, 6, 7} 1572
12.20/12.38 c before 108.0 seconds: {1, 2, 3, 4, 6, 7} 3338
12.20/12.38 c before 324.0 seconds: {1, 2, 3, 4, 5, 6, 7} 3878
12.20/12.38 c
12.20/12.38 c solver 1
12.20/12.38 c before 0.0 seconds: {} 0
12.20/12.38 c before 18.0 seconds: {1, 2, 4, 6, 7} 2774
12.20/12.38 c before 36.0 seconds: {1, 2, 3, 4, 6, 7} 3338
12.20/12.38 c before 252.0 seconds: {1, 2, 3, 4, 5, 6, 7} 3878
12.20/12.38 c before 504.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7} 4878
12.20/12.38 c before 558.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8} 5378
12.20/12.38 c before 936.0 seconds: {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5878
12.20/12.38 c
12.20/12.38 c solver 2
12.20/12.38 c before 0.0 seconds: {} 0
12.20/12.38 c before 18.0 seconds: {4, 6} 1066
12.20/12.38 c before 36.0 seconds: {4, 6, 7} 1572
12.20/12.38 c before 108.0 seconds: {2, 4, 6, 7} 2143
12.20/12.38 c before 792.0 seconds: {2, 4, 5, 6, 7} 2683
12.20/12.38 c
12.20/12.38 cTotal time: 114
12.20/12.38 c run abscon for 324.0 seconds {1, 2, 3, 4, 5, 6, 7} 3878
12.20/12.38 c run mistral for 936.0 seconds {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} 5878
12.20/12.38 c run choco for 108.0 seconds {2, 4, 6, 7} 2143
12.20/12.38 c Starting solver: HOME/cpHydra_k_10/solver/abscon
12.20/12.38 c On Instance: HOME/instance-1064832-1215144255.xml
12.20/12.38 c Running for: 324 seconds
339.72/344.83 c Starting solver: HOME/cpHydra_k_10/solver/mistral
339.72/344.83 c On Instance: HOME/instance-1064832-1215144255.xml
339.72/344.83 c Running for: 936 seconds
1275.56/1284.07 c Starting solver: HOME/cpHydra_k_10/solver/choco
1275.56/1284.07 c On Instance: HOME/instance-1064832-1215144255.xml
1275.56/1284.07 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-1064832-1215144255/watcher-1064832-1215144255 -o /tmp/evaluation-result-1064832-1215144255/solver-1064832-1215144255 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/cpHydra_k_10/hydra HOME/instance-1064832-1215144255.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.02 2.16 2.09 4/72 13601
/proc/meminfo: memFree=1374664/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=18572 CPUtime=0
/proc/13601/stat : 13601 (runsolver) R 13599 13601 11295 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 698391956 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 226238197031 0 0 4096 24578 0 0 0 17 1 0 0
/proc/13601/statm: 4643 292 257 25 0 2626 0
[startup+0.0717529 s]
/proc/loadavg: 2.02 2.16 2.09 4/72 13601
/proc/meminfo: memFree=1374664/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=0
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 698391956 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.101752 s]
/proc/loadavg: 2.02 2.16 2.09 4/72 13601
/proc/meminfo: memFree=1374664/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=0
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 698391956 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.301792 s]
/proc/loadavg: 2.02 2.16 2.09 4/72 13601
/proc/meminfo: memFree=1374664/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=0
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 698391956 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+0.701856 s]
/proc/loadavg: 2.02 2.16 2.09 4/72 13601
/proc/meminfo: memFree=1374664/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=0
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 698391956 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 236 195 169 0 51 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5360
[startup+1.50199 s]
/proc/loadavg: 2.02 2.16 2.09 3/74 13605
/proc/meminfo: memFree=1356720/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=0
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 698391956 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 236 195 169 0 51 0
[pid=13605] ppid=13601 vsize=29176 CPUtime=1.47
/proc/13605/stat : 13605 (xsolve) R 13601 13601 11295 0 -1 4194304 6686 0 0 0 143 4 0 0 25 0 1 0 698391958 29876224 6515 996147200 134512640 135239763 4294956176 18446744073709551615 134630422 0 0 4096 0 0 0 0 17 1 0 0
/proc/13605/statm: 7294 6515 375 177 0 6197 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 34536
[startup+3.10126 s]
/proc/loadavg: 2.02 2.16 2.09 3/74 13605
/proc/meminfo: memFree=1340912/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=0
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 698391956 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 236 195 169 0 51 0
[pid=13605] ppid=13601 vsize=50080 CPUtime=3.07
/proc/13605/stat : 13605 (xsolve) R 13601 13601 11295 0 -1 4194304 12179 0 0 0 300 7 0 0 25 0 1 0 698391958 51281920 11717 996147200 134512640 135239763 4294956176 18446744073709551615 6181055 0 0 4096 0 0 0 0 17 1 0 0
/proc/13605/statm: 12520 11717 375 177 0 11423 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 55440
[startup+6.3018 s]
/proc/loadavg: 2.02 2.16 2.09 3/74 13605
/proc/meminfo: memFree=1207472/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=0
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 330 247 0 0 0 0 0 0 21 0 1 0 698391956 5488640 236 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 236 195 169 0 51 0
[pid=13605] ppid=13601 vsize=169416 CPUtime=6.25
/proc/13605/stat : 13605 (xsolve) R 13601 13601 11295 0 -1 4194304 43482 0 0 0 604 21 0 0 25 0 1 0 698391958 173481984 40997 996147200 134512640 135239763 4294956176 18446744073709551615 5300258 0 0 4096 0 0 0 0 17 1 0 0
/proc/13605/statm: 42354 40997 443 177 0 41257 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 174776
[startup+12.7029 s]
/proc/loadavg: 2.02 2.15 2.09 3/82 13617
/proc/meminfo: memFree=1348016/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=6.34
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 375 44067 0 0 0 0 610 24 20 0 1 0 698391956 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 238 196 169 0 51 0
[pid=13609] ppid=13601 vsize=197432 CPUtime=5.93
/proc/13609/stat : 13609 (java) S 13601 13601 11295 0 -1 0 11382 0 1 0 578 15 0 0 18 0 10 0 698392595 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13609/statm: 49358 9345 2543 9 0 43941 0
[pid=13609/tid=13610] ppid=13601 vsize=197432 CPUtime=4.8
/proc/13609/task/13610/stat : 13610 (java) S 13601 13601 11295 0 -1 64 3856 0 1 0 475 5 0 0 25 0 10 0 698392596 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=13609/tid=13611] ppid=13601 vsize=197432 CPUtime=0.9
/proc/13609/task/13611/stat : 13611 (java) S 13601 13601 11295 0 -1 64 6078 0 0 0 82 8 0 0 16 0 10 0 698392597 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13612] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13612/stat : 13612 (java) S 13601 13601 11295 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 698392597 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13613] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13613/stat : 13613 (java) S 13601 13601 11295 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 698392597 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13614] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13614/stat : 13614 (java) S 13601 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13615] ppid=13601 vsize=197432 CPUtime=0.2
/proc/13609/task/13615/stat : 13615 (java) S 13601 13601 11295 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13616] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13616/stat : 13616 (java) S 13601 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13617] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13617/stat : 13617 (java) S 13601 13601 11295 0 -1 64 7 0 0 0 0 0 0 0 15 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.27
Current children cumulated vsize (KiB) 202792
[startup+25.503 s]
/proc/loadavg: 2.01 2.14 2.09 4/94 13629
/proc/meminfo: memFree=1079504/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=6.34
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 375 44067 0 0 0 0 610 24 20 0 1 0 698391956 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 238 196 169 0 51 0
[pid=13609] ppid=13601 vsize=197432 CPUtime=5.93
/proc/13609/stat : 13609 (java) S 13601 13601 11295 0 -1 0 11422 0 1 0 578 15 0 0 18 0 10 0 698392595 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13609/statm: 49358 9345 2543 9 0 43941 0
[pid=13619] ppid=13609 vsize=5356 CPUtime=0
/proc/13619/stat : 13619 (abscon) S 13609 13601 11295 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 698393195 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13619/statm: 1339 237 196 169 0 50 0
[pid=13620] ppid=13619 vsize=655752 CPUtime=12.9
/proc/13620/stat : 13620 (java) S 13619 13601 11295 0 -1 0 71896 0 1 0 994 296 0 0 18 0 9 0 698393196 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13620/statm: 163938 71377 2013 9 0 158466 0
[pid=13620/tid=13622] ppid=13619 vsize=655752 CPUtime=10.76
/proc/13620/task/13622/stat : 13622 (java) R 13619 13601 11295 0 -1 64 12494 0 1 0 805 271 0 0 25 0 9 0 698393197 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4125965652 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13623] ppid=13619 vsize=655752 CPUtime=1.84
/proc/13620/task/13623/stat : 13623 (java) S 13619 13601 11295 0 -1 64 58187 0 0 0 161 23 0 0 16 0 9 0 698393199 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13624] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13624/stat : 13624 (java) S 13619 13601 11295 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 698393199 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13625] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13625/stat : 13625 (java) S 13619 13601 11295 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 698393199 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13626] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13626/stat : 13626 (java) S 13619 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 698393201 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13627] ppid=13619 vsize=655752 CPUtime=0.27
/proc/13620/task/13627/stat : 13627 (java) S 13619 13601 11295 0 -1 64 670 0 0 0 27 0 0 0 16 0 9 0 698393201 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13628] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13628/stat : 13628 (java) S 13619 13601 11295 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 698393201 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13629] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13629/stat : 13629 (java) S 13619 13601 11295 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 698393201 671490048 71377 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13621] ppid=13619 vsize=7044 CPUtime=0
/proc/13621/stat : 13621 (translate) S 13619 13601 11295 0 -1 4194304 250 0 0 0 0 0 0 0 15 0 1 0 698393196 7213056 213 996147200 4194304 4199737 548682068640 18446744073709551615 226238365778 0 4 0 0 18446744071563648864 0 0 17 1 0 0
/proc/13621/statm: 1761 213 182 1 0 41 0
[pid=13609/tid=13610] ppid=13601 vsize=197432 CPUtime=4.8
/proc/13609/task/13610/stat : 13610 (java) S 13601 13601 11295 0 -1 64 3856 0 1 0 475 5 0 0 25 0 10 0 698392596 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 1 0 0
[pid=13609/tid=13611] ppid=13601 vsize=197432 CPUtime=0.9
/proc/13609/task/13611/stat : 13611 (java) S 13601 13601 11295 0 -1 64 6112 0 0 0 82 8 0 0 16 0 10 0 698392597 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13612] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13612/stat : 13612 (java) S 13601 13601 11295 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 698392597 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13613] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13613/stat : 13613 (java) S 13601 13601 11295 0 -1 64 5 0 0 0 0 0 0 0 16 0 10 0 698392597 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13614] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13614/stat : 13614 (java) S 13601 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13615] ppid=13601 vsize=197432 CPUtime=0.2
/proc/13609/task/13615/stat : 13615 (java) S 13601 13601 11295 0 -1 64 646 0 0 0 20 0 0 0 16 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13616] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13616/stat : 13616 (java) S 13601 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13617] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13617/stat : 13617 (java) S 13601 13601 11295 0 -1 64 13 0 0 0 0 0 0 0 15 0 10 0 698392599 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13618] ppid=13601 vsize=197432 CPUtime=0
/proc/13609/task/13618/stat : 13618 (java) S 13601 13601 11295 0 -1 64 71 0 0 0 0 0 0 0 25 0 10 0 698393195 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 870944
[startup+51.1023 s]
/proc/loadavg: 2.01 2.13 2.08 3/94 13629
/proc/meminfo: memFree=1031376/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=6.34
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 375 44067 0 0 0 0 610 24 20 0 1 0 698391956 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 238 196 169 0 51 0
[pid=13609] ppid=13601 vsize=197432 CPUtime=5.93
/proc/13609/stat : 13609 (java) S 13601 13601 11295 0 -1 0 11422 0 1 0 578 15 0 0 18 0 10 0 698392595 202170368 9345 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13609/statm: 49358 9345 2543 9 0 43941 0
[pid=13619] ppid=13609 vsize=5356 CPUtime=0
/proc/13619/stat : 13619 (abscon) S 13609 13601 11295 0 -1 4194304 303 0 0 0 0 0 0 0 25 0 1 0 698393195 5484544 237 996147200 4194304 4889804 548682068592 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13619/statm: 1339 237 196 169 0 50 0
[pid=13620] ppid=13619 vsize=655752 CPUtime=38.12
/proc/13620/stat : 13620 (java) S 13619 13601 11295 0 -1 0 84377 0 1 0 3509 303 0 0 18 0 9 0 698393196 671490048 81106 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13620/statm: 163938 81106 2616 9 0 158466 0
[pid=13620/tid=13622] ppid=13619 vsize=655752 CPUtime=34.66
/proc/13620/task/13622/stat : 13622 (java) R 13619 13601 11295 0 -1 64 12579 0 1 0 3194 272 0 0 25 0 9 0 698393197 671490048 81106 996147200 134512640 134550740 4294955808 18446744073709551615 4127078680 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13623] ppid=13619 vsize=655752 CPUtime=3
/proc/13620/task/13623/stat : 13623 (java) S 13619 13601 11295 0 -1 64 70476 0 0 0 271 29 0 0 16 0 9 0 698393199 671490048 81106 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13624] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13624/stat : 13624 (java) S 13619 13601 11295 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 698393199 671490048 81106 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13625] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13625/stat : 13625 (java) S 13619 13601 11295 0 -1 64 19 0 0 0 0 0 0 0 15 0 9 0 698393199 671490048 81106 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13620/tid=13626] ppid=13619 vsize=655752 CPUtime=0
/proc/13620/task/13626/stat : 13626 (java) S 13619 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 698393201 671490048 81106 996147200 134512640 134550740 4294955808 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/13609/statm: 49439 9391 2544 9 0 44022 0
[pid=13664] ppid=13609 vsize=5356 CPUtime=0
/proc/13664/stat : 13664 (choco) S 13609 13601 11295 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 698520364 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13664/statm: 1339 238 197 169 0 50 0
[pid=13665] ppid=13664 vsize=655512 CPUtime=497.78
/proc/13665/stat : 13665 (java) S 13664 13601 11295 0 -1 0 114702 0 1 0 49711 67 0 0 18 0 9 0 698520365 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13665/statm: 163878 113854 1940 9 0 158407 0
[pid=13665/tid=13666] ppid=13664 vsize=655512 CPUtime=489.12
/proc/13665/task/13666/stat : 13666 (java) R 13664 13601 11295 0 -1 64 12595 0 1 0 48889 23 0 0 25 0 9 0 698520366 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4127624755 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13667] ppid=13664 vsize=655512 CPUtime=8.09
/proc/13665/task/13667/stat : 13667 (java) S 13664 13601 11295 0 -1 64 100731 0 0 0 767 42 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13668] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13668/stat : 13668 (java) S 13664 13601 11295 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13669] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13669/stat : 13669 (java) S 13664 13601 11295 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13670] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13670/stat : 13670 (java) S 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 698520372 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13665/tid=13671] ppid=13664 vsize=655512 CPUtime=0.55
/proc/13665/task/13671/stat : 13671 (java) S 13664 13601 11295 0 -1 64 822 0 0 0 54 1 0 0 16 0 9 0 698520372 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13672] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13672/stat : 13672 (java) S 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 698520382 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13665/tid=13673] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13673/stat : 13673 (java) S 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 698520382 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13610] ppid=13601 vsize=197756 CPUtime=1268.18
/proc/13609/task/13610/stat : 13610 (java) S 13601 13601 11295 0 -1 64 3986 128735 1 1 475 5 125998 340 15 0 10 0 698392596 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13609/tid=13611] ppid=13601 vsize=197756 CPUtime=1264.46
/proc/13609/task/13611/stat : 13611 (java) S 13601 13601 11295 0 -1 64 14409 128735 0 1 98 10 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13612] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13612/stat : 13612 (java) S 13601 13601 11295 0 -1 64 12 128735 0 1 0 0 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13613] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13613/stat : 13613 (java) S 13601 13601 11295 0 -1 64 16 128735 0 1 0 0 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13614] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13614/stat : 13614 (java) S 13601 13601 11295 0 -1 64 1 128735 0 1 0 0 125998 340 18 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13615] ppid=13601 vsize=197756 CPUtime=1263.58
/proc/13609/task/13615/stat : 13615 (java) S 13601 13601 11295 0 -1 64 646 128735 0 1 20 0 125998 340 16 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13616] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13616/stat : 13616 (java) S 13601 13601 11295 0 -1 64 1 128735 0 1 0 0 125998 340 19 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13617] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13617/stat : 13617 (java) S 13601 13601 11295 0 -1 64 21 128735 0 1 0 0 125998 340 15 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13663] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13663/stat : 13663 (java) S 13601 13601 11295 0 -1 64 22 128735 0 1 0 0 125998 340 16 0 10 0 698520364 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.63
Current children cumulated vsize (KiB) 863984
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.7 s]
/proc/loadavg: 2.04 2.06 2.02 3/93 13673
/proc/meminfo: memFree=890184/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=6.34
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 375 44067 0 0 0 0 610 24 20 0 1 0 698391956 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 238 196 169 0 51 0
[pid=13609] ppid=13601 vsize=197756 CPUtime=1269.51
/proc/13609/stat : 13609 (java) S 13601 13601 11295 0 -1 0 19966 128735 1 1 595 18 125998 340 18 0 10 0 698392595 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13609/statm: 49439 9391 2544 9 0 44022 0
[pid=13664] ppid=13609 vsize=5356 CPUtime=0
/proc/13664/stat : 13664 (choco) S 13609 13601 11295 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 698520364 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13664/statm: 1339 238 197 169 0 50 0
[pid=13665] ppid=13664 vsize=655512 CPUtime=524.17
/proc/13665/stat : 13665 (java) S 13664 13601 11295 0 -1 0 114702 0 1 0 52349 68 0 0 18 0 9 0 698520365 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13665/statm: 163878 113854 1940 9 0 158407 0
[pid=13665/tid=13666] ppid=13664 vsize=655512 CPUtime=515.5
/proc/13665/task/13666/stat : 13666 (java) R 13664 13601 11295 0 -1 64 12595 0 1 0 51527 23 0 0 25 0 9 0 698520366 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4127842482 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13667] ppid=13664 vsize=655512 CPUtime=8.09
/proc/13665/task/13667/stat : 13667 (java) S 13664 13601 11295 0 -1 64 100731 0 0 0 767 42 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13668] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13668/stat : 13668 (java) S 13664 13601 11295 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13669] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13669/stat : 13669 (java) S 13664 13601 11295 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13670] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13670/stat : 13670 (java) S 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 698520372 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13665/tid=13671] ppid=13664 vsize=655512 CPUtime=0.55
/proc/13665/task/13671/stat : 13671 (java) S 13664 13601 11295 0 -1 64 822 0 0 0 54 1 0 0 16 0 9 0 698520372 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13672] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13672/stat : 13672 (java) S 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 698520382 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13665/tid=13673] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13673/stat : 13673 (java) R 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 698520382 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13610] ppid=13601 vsize=197756 CPUtime=1268.18
/proc/13609/task/13610/stat : 13610 (java) S 13601 13601 11295 0 -1 64 3986 128735 1 1 475 5 125998 340 15 0 10 0 698392596 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13609/tid=13611] ppid=13601 vsize=197756 CPUtime=1264.46
/proc/13609/task/13611/stat : 13611 (java) S 13601 13601 11295 0 -1 64 14409 128735 0 1 98 10 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13612] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13612/stat : 13612 (java) S 13601 13601 11295 0 -1 64 12 128735 0 1 0 0 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13613] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13613/stat : 13613 (java) S 13601 13601 11295 0 -1 64 16 128735 0 1 0 0 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13614] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13614/stat : 13614 (java) S 13601 13601 11295 0 -1 64 1 128735 0 1 0 0 125998 340 18 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13615] ppid=13601 vsize=197756 CPUtime=1263.58
/proc/13609/task/13615/stat : 13615 (java) S 13601 13601 11295 0 -1 64 646 128735 0 1 20 0 125998 340 16 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13616] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13616/stat : 13616 (java) S 13601 13601 11295 0 -1 64 1 128735 0 1 0 0 125998 340 19 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13617] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13617/stat : 13617 (java) R 13601 13601 11295 0 -1 64 21 128735 0 1 0 0 125998 340 15 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13663] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13663/stat : 13663 (java) S 13601 13601 11295 0 -1 64 22 128735 0 1 0 0 125998 340 16 0 10 0 698520364 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 863984
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1808.7 s]
/proc/loadavg: 2.04 2.06 2.02 3/93 13673
/proc/meminfo: memFree=890184/2055920 swapFree=4156332/4192956
[pid=13601] ppid=13599 vsize=5360 CPUtime=6.34
/proc/13601/stat : 13601 (hydra) S 13599 13601 11295 0 -1 4194304 375 44067 0 0 0 0 610 24 20 0 1 0 698391956 5488640 238 996147200 4194304 4889804 548682068816 18446744073709551615 226238194500 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13601/statm: 1340 238 196 169 0 51 0
[pid=13609] ppid=13601 vsize=197756 CPUtime=1269.51
/proc/13609/stat : 13609 (java) S 13601 13601 11295 0 -1 0 19966 128735 1 1 595 18 125998 340 18 0 10 0 698392595 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13609/statm: 49439 9391 2544 9 0 44022 0
[pid=13664] ppid=13609 vsize=5356 CPUtime=0
/proc/13664/stat : 13664 (choco) S 13609 13601 11295 0 -1 4194304 295 0 0 0 0 0 0 0 18 0 1 0 698520364 5484544 238 996147200 4194304 4889804 548682068608 18446744073709551615 226238194500 0 65540 4 65538 18446744071563356171 0 0 17 1 0 0
/proc/13664/statm: 1339 238 197 169 0 50 0
[pid=13665] ppid=13664 vsize=655512 CPUtime=524.17
/proc/13665/stat : 13665 (java) S 13664 13601 11295 0 -1 0 114702 0 1 0 52349 68 0 0 18 0 9 0 698520365 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13665/statm: 163878 113854 1940 9 0 158407 0
[pid=13665/tid=13666] ppid=13664 vsize=655512 CPUtime=515.5
/proc/13665/task/13666/stat : 13666 (java) R 13664 13601 11295 0 -1 64 12595 0 1 0 51527 23 0 0 25 0 9 0 698520366 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4127842482 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13667] ppid=13664 vsize=655512 CPUtime=8.09
/proc/13665/task/13667/stat : 13667 (java) S 13664 13601 11295 0 -1 64 100731 0 0 0 767 42 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13668] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13668/stat : 13668 (java) S 13664 13601 11295 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13669] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13669/stat : 13669 (java) S 13664 13601 11295 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 698520368 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13670] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13670/stat : 13670 (java) S 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 698520372 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13665/tid=13671] ppid=13664 vsize=655512 CPUtime=0.55
/proc/13665/task/13671/stat : 13671 (java) S 13664 13601 11295 0 -1 64 822 0 0 0 54 1 0 0 16 0 9 0 698520372 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13665/tid=13672] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13672/stat : 13672 (java) S 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 698520382 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13665/tid=13673] ppid=13664 vsize=655512 CPUtime=0
/proc/13665/task/13673/stat : 13673 (java) R 13664 13601 11295 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 698520382 671244288 113854 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13610] ppid=13601 vsize=197756 CPUtime=1268.18
/proc/13609/task/13610/stat : 13610 (java) S 13601 13601 11295 0 -1 64 3986 128735 1 1 475 5 125998 340 15 0 10 0 698392596 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563648864 0 0 -1 0 0 0
[pid=13609/tid=13611] ppid=13601 vsize=197756 CPUtime=1264.46
/proc/13609/task/13611/stat : 13611 (java) S 13601 13601 11295 0 -1 64 14409 128735 0 1 98 10 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13612] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13612/stat : 13612 (java) S 13601 13601 11295 0 -1 64 12 128735 0 1 0 0 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13613] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13613/stat : 13613 (java) S 13601 13601 11295 0 -1 64 16 128735 0 1 0 0 125998 340 16 0 10 0 698392597 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=13609/tid=13614] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13614/stat : 13614 (java) S 13601 13601 11295 0 -1 64 1 128735 0 1 0 0 125998 340 18 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13615] ppid=13601 vsize=197756 CPUtime=1263.58
/proc/13609/task/13615/stat : 13615 (java) S 13601 13601 11295 0 -1 64 646 128735 0 1 20 0 125998 340 16 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13616] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13616/stat : 13616 (java) S 13601 13601 11295 0 -1 64 1 128735 0 1 0 0 125998 340 19 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13617] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13617/stat : 13617 (java) R 13601 13601 11295 0 -1 64 21 128735 0 1 0 0 125998 340 15 0 10 0 698392599 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13609/tid=13663] ppid=13601 vsize=197756 CPUtime=1263.38
/proc/13609/task/13663/stat : 13663 (java) S 13601 13601 11295 0 -1 64 22 128735 0 1 0 0 125998 340 16 0 10 0 698520364 202502144 9391 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 863984
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13601 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=100072
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=249962
# CPU time returned by wait4() is 6.35003
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1808.73
CPU time (s): 1800.02
CPU user time (s): 1795.52
CPU system time (s): 4.5
CPU usage (%): 99.5182
Max. virtual memory (cumulated for all children) (KiB): 876576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.10007
system time used= 0.249962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44442
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= 90
runsolver used 5.29219 second user time and 11.5632 second system time
The end