runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454442-1307190976/watcher-3454442-1307190976 -o /tmp/evaluation-result-3454442-1307190976/solver-3454442-1307190976 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454442-1307190976.opb
running on 4 cores: 1,3,5,7
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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.62 3.27 3/572 1739
/proc/meminfo: memFree=23540680/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=2464 CPUtime=0 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4194304 280 0 0 0 0 0 0 0 23 0 1 0 830695325 2523136 45 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212682751623 0 2147483391 4096 0 18446744071699199166 0 0 17 3 0 0 0
/proc/1739/statm: 616 45 35 9 0 27 0
[pid=1739/tid=1740] ppid=1737 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) R 1737 1739 30921 0 -1 4202560 7088 0 1 0 0 0 0 0 25 0 2 0 830695326 10694979584 7904 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212687369275 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0651151 s]
/proc/loadavg: 2.01 2.62 3.27 3/572 1739
/proc/meminfo: memFree=23540680/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 11688 0 1 0 4 1 0 0 23 0 18 0 830695325 10724274176 11386 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2618231 11386 1733 9 0 2608972 0
[pid=1739/tid=1740] ppid=1737 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) R 1737 1739 30921 0 -1 4202560 10513 0 1 0 4 1 0 0 25 0 18 0 830695326 10724274176 11386 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 47582733451239 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.101108 s]
/proc/loadavg: 2.01 2.62 3.27 3/572 1739
/proc/meminfo: memFree=23540680/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10540044 CPUtime=0.1 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 13070 0 1 0 9 1 0 0 23 0 18 0 830695325 10793005056 12747 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2635011 12747 2093 9 0 2625745 0
[pid=1739/tid=1740] ppid=1737 vsize=10540044 CPUtime=0.08 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) R 1737 1739 30921 0 -1 4202560 11139 0 1 0 7 1 0 0 18 0 18 0 830695326 10793005056 12747 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699494112 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540044
[startup+0.301042 s]
/proc/loadavg: 2.01 2.62 3.27 3/572 1739
/proc/meminfo: memFree=23540680/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10553116 CPUtime=0.6 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 25862 0 1 0 58 2 0 0 23 0 18 0 830695325 10806390784 21865 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2638279 21865 2195 9 0 2629013 0
[pid=1739/tid=1740] ppid=1737 vsize=10553116 CPUtime=0.28 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) R 1737 1739 30921 0 -1 4202560 12459 0 1 0 27 1 0 0 18 0 18 0 830695326 10806390784 21865 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 47582734313096 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10553116
[startup+0.701031 s]
/proc/loadavg: 2.01 2.62 3.27 3/572 1739
/proc/meminfo: memFree=23540680/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10555196 CPUtime=1.94 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 30076 0 1 0 192 2 0 0 23 0 22 0 830695325 10808520704 25064 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2638799 25064 2219 9 0 2629533 0
[pid=1739/tid=1740] ppid=1737 vsize=10555196 CPUtime=0.36 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) S 1737 1739 30921 0 -1 4202560 13451 0 1 0 35 1 0 0 19 0 22 0 830695326 10808520704 25064 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 10555196
[startup+1.50086 s]
/proc/loadavg: 2.33 2.67 3.28 5/614 1832
/proc/meminfo: memFree=23335476/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10556940 CPUtime=3.93 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 82920 0 1 0 384 9 0 0 23 0 22 0 830695325 10810306560 77907 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2639235 77908 2230 9 0 2629969 0
[pid=1739/tid=1740] ppid=1737 vsize=10556940 CPUtime=0.36 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) S 1737 1739 30921 0 -1 4202560 13458 0 1 0 35 1 0 0 15 0 22 0 830695326 10810306560 77908 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1742] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1742/stat : 1742 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77909 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1743] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1743/stat : 1743 (java) S 1737 1739 30921 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77909 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1744] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1744/stat : 1744 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77909 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1745] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1745/stat : 1745 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77910 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1746] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1746/stat : 1746 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77910 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1747] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1747/stat : 1747 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77910 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1748] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1748/stat : 1748 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77911 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1749] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1749/stat : 1749 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695328 10810306560 77911 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1750] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1750/stat : 1750 (java) S 1737 1739 30921 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 77911 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 0 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1751] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1751/stat : 1751 (java) S 1737 1739 30921 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 830695329 10810306560 77911 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1752] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1752/stat : 1752 (java) S 1737 1739 30921 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 830695329 10810306560 77912 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1753] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1753/stat : 1753 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 77912 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699498929 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1754] ppid=1737 vsize=10556940 CPUtime=0.77 cores=1,3,5,7
/proc/1739/task/1754/stat : 1754 (java) S 1737 1739 30921 0 -1 4202560 9162 0 0 0 77 0 0 0 22 0 22 0 830695332 10810306560 77912 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1755] ppid=1737 vsize=10556940 CPUtime=0.78 cores=1,3,5,7
/proc/1739/task/1755/stat : 1755 (java) S 1737 1739 30921 0 -1 4202560 4807 0 0 0 78 0 0 0 24 0 22 0 830695332 10810306560 77913 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1756] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1756/stat : 1756 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 77913 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1757] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1757/stat : 1757 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830695332 10810306560 77913 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1784] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1784/stat : 1784 (java) S 1737 1739 30921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830695366 10810306560 77913 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1807] ppid=1737 vsize=10556940 CPUtime=0.59 cores=1,3,5,7
/proc/1739/task/1807/stat : 1807 (java) R 1737 1739 30921 0 -1 4202560 261 0 0 0 59 0 0 0 17 0 22 0 830695415 10810306560 77914 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505700540 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1739/tid=1808] ppid=1737 vsize=10556940 CPUtime=0.58 cores=1,3,5,7
/proc/1739/task/1808/stat : 1808 (java) R 1737 1739 30921 0 -1 4202560 45175 0 0 0 53 5 0 0 18 0 22 0 830695415 10810306560 77914 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505857680 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1739/tid=1809] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1809/stat : 1809 (java) S 1737 1739 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830695416 10810306560 77914 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.93
Current children cumulated vsize (KiB) 10556940
[startup+3.10159 s]
/proc/loadavg: 2.33 2.67 3.28 4/598 1835
/proc/meminfo: memFree=23064156/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10556940 CPUtime=7.28 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 158214 0 1 0 710 18 0 0 23 0 22 0 830695325 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2639235 153196 2258 9 0 2629969 0
[pid=1739/tid=1740] ppid=1737 vsize=10556940 CPUtime=0.36 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) S 1737 1739 30921 0 -1 4202560 13458 0 1 0 35 1 0 0 15 0 22 0 830695326 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1742] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1742/stat : 1742 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1743] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1743/stat : 1743 (java) S 1737 1739 30921 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1744] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1744/stat : 1744 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1745] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1745/stat : 1745 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1746] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1746/stat : 1746 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1747] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1747/stat : 1747 (java) S 1737 1739 30921 0 -1 4202560 272 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1748] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1748/stat : 1748 (java) S 1737 1739 30921 0 -1 4202560 468 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1749] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1749/stat : 1749 (java) S 1737 1739 30921 0 -1 4202560 338 0 0 0 0 0 0 0 18 0 22 0 830695328 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1750] ppid=1737 vsize=10556940 CPUtime=0.01 cores=1,3,5,7
/proc/1739/task/1750/stat : 1750 (java) S 1737 1739 30921 0 -1 4202560 1077 0 0 0 1 0 0 0 15 0 22 0 830695329 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 0 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1751] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1751/stat : 1751 (java) S 1737 1739 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1752] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1752/stat : 1752 (java) S 1737 1739 30921 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1753] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1753/stat : 1753 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699498929 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1754] ppid=1737 vsize=10556940 CPUtime=0.79 cores=1,3,5,7
/proc/1739/task/1754/stat : 1754 (java) S 1737 1739 30921 0 -1 4202560 9171 0 0 0 79 0 0 0 15 0 22 0 830695332 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1755] ppid=1737 vsize=10556940 CPUtime=0.93 cores=1,3,5,7
/proc/1739/task/1755/stat : 1755 (java) S 1737 1739 30921 0 -1 4202560 4825 0 0 0 93 0 0 0 15 0 22 0 830695332 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1756] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1756/stat : 1756 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1757] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1757/stat : 1757 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830695332 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1784] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1784/stat : 1784 (java) S 1737 1739 30921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830695366 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1807] ppid=1737 vsize=10556940 CPUtime=2.17 cores=1,3,5,7
/proc/1739/task/1807/stat : 1807 (java) R 1737 1739 30921 0 -1 4202560 860 0 0 0 217 0 0 0 19 0 22 0 830695415 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505700540 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1739/tid=1808] ppid=1737 vsize=10556940 CPUtime=2.16 cores=1,3,5,7
/proc/1739/task/1808/stat : 1808 (java) R 1737 1739 30921 0 -1 4202560 117683 0 0 0 202 14 0 0 20 0 22 0 830695415 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505859266 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1739/tid=1809] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1809/stat : 1809 (java) S 1737 1739 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830695416 10810306560 153196 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 7.28
Current children cumulated vsize (KiB) 10556940
[startup+6.30099 s]
/proc/loadavg: 2.46 2.70 3.29 5/618 1883
/proc/meminfo: memFree=22379752/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10556940 CPUtime=13.86 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 212632 0 1 0 1361 25 0 0 23 0 22 0 830695325 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2639235 207535 2258 9 0 2629969 0
[pid=1739/tid=1740] ppid=1737 vsize=10556940 CPUtime=0.36 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) S 1737 1739 30921 0 -1 4202560 13458 0 1 0 35 1 0 0 15 0 22 0 830695326 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1742] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1742/stat : 1742 (java) S 1737 1739 30921 0 -1 4202560 383 0 0 0 0 0 0 0 15 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1743] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1743/stat : 1743 (java) S 1737 1739 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1744] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1744/stat : 1744 (java) S 1737 1739 30921 0 -1 4202560 537 0 0 0 0 0 0 0 15 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1745] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1745/stat : 1745 (java) S 1737 1739 30921 0 -1 4202560 307 0 0 0 0 0 0 0 16 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1746] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1746/stat : 1746 (java) S 1737 1739 30921 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1747] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1747/stat : 1747 (java) S 1737 1739 30921 0 -1 4202560 276 0 0 0 0 0 0 0 15 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1748] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1748/stat : 1748 (java) S 1737 1739 30921 0 -1 4202560 471 0 0 0 0 0 0 0 16 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1749] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1749/stat : 1749 (java) S 1737 1739 30921 0 -1 4202560 338 0 0 0 0 0 0 0 15 0 22 0 830695328 10810306560 207535 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=1739/tid=1807] ppid=1737 vsize=10556940 CPUtime=776.34 cores=1,3,5,7
/proc/1739/task/1807/stat : 1807 (java) R 1737 1739 30921 0 -1 4202560 1759 0 0 0 77633 1 0 0 25 0 22 0 830695415 10810306560 469053 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505904552 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1739/tid=1808] ppid=1737 vsize=10556940 CPUtime=776.34 cores=1,3,5,7
/proc/1739/task/1808/stat : 1808 (java) R 1737 1739 30921 0 -1 4202560 366168 0 0 0 77588 46 0 0 25 0 22 0 830695415 10810306560 469053 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505856919 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1739/tid=1809] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1809/stat : 1809 (java) S 1737 1739 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830695416 10810306560 469053 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1603.46
Current children cumulated vsize (KiB) 10556940
[startup+882.301 s]
/proc/loadavg: 3.93 3.91 3.70 5/618 1906
/proc/meminfo: memFree=17997860/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10556940 CPUtime=1719.05 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 479870 0 1 0 171840 65 0 0 23 0 22 0 830695325 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2639235 472309 2259 9 0 2629969 0
[pid=1739/tid=1740] ppid=1737 vsize=10556940 CPUtime=0.37 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) S 1737 1739 30921 0 -1 4202560 13458 0 1 0 36 1 0 0 15 0 22 0 830695326 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1742] ppid=1737 vsize=10556940 CPUtime=0.54 cores=1,3,5,7
/proc/1739/task/1742/stat : 1742 (java) S 1737 1739 30921 0 -1 4202560 852 0 0 0 54 0 0 0 15 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1743] ppid=1737 vsize=10556940 CPUtime=0.52 cores=1,3,5,7
/proc/1739/task/1743/stat : 1743 (java) S 1737 1739 30921 0 -1 4202560 272 0 0 0 52 0 0 0 15 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1744] ppid=1737 vsize=10556940 CPUtime=0.44 cores=1,3,5,7
/proc/1739/task/1744/stat : 1744 (java) S 1737 1739 30921 0 -1 4202560 559 0 0 0 44 0 0 0 16 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1745] ppid=1737 vsize=10556940 CPUtime=0.49 cores=1,3,5,7
/proc/1739/task/1745/stat : 1745 (java) S 1737 1739 30921 0 -1 4202560 341 0 0 0 49 0 0 0 16 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1746] ppid=1737 vsize=10556940 CPUtime=0.52 cores=1,3,5,7
/proc/1739/task/1746/stat : 1746 (java) S 1737 1739 30921 0 -1 4202560 150 0 0 0 52 0 0 0 15 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1747] ppid=1737 vsize=10556940 CPUtime=0.46 cores=1,3,5,7
/proc/1739/task/1747/stat : 1747 (java) S 1737 1739 30921 0 -1 4202560 542 0 0 0 46 0 0 0 15 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1748] ppid=1737 vsize=10556940 CPUtime=0.52 cores=1,3,5,7
/proc/1739/task/1748/stat : 1748 (java) S 1737 1739 30921 0 -1 4202560 551 0 0 0 52 0 0 0 16 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1749] ppid=1737 vsize=10556940 CPUtime=0.51 cores=1,3,5,7
/proc/1739/task/1749/stat : 1749 (java) S 1737 1739 30921 0 -1 4202560 508 0 0 0 51 0 0 0 16 0 22 0 830695328 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1750] ppid=1737 vsize=10556940 CPUtime=48.8 cores=1,3,5,7
/proc/1739/task/1750/stat : 1750 (java) S 1737 1739 30921 0 -1 4202560 68051 0 0 0 4869 11 0 0 15 0 22 0 830695329 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 0 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1751] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1751/stat : 1751 (java) S 1737 1739 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1752] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1752/stat : 1752 (java) S 1737 1739 30921 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1753] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1753/stat : 1753 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699498929 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1754] ppid=1737 vsize=10556940 CPUtime=0.94 cores=1,3,5,7
/proc/1739/task/1754/stat : 1754 (java) S 1737 1739 30921 0 -1 4202560 9194 0 0 0 94 0 0 0 16 0 22 0 830695332 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1755] ppid=1737 vsize=10556940 CPUtime=1.61 cores=1,3,5,7
/proc/1739/task/1755/stat : 1755 (java) S 1737 1739 30921 0 -1 4202560 7338 0 0 0 161 0 0 0 16 0 22 0 830695332 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1756] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1756/stat : 1756 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1757] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1757/stat : 1757 (java) S 1737 1739 30921 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830695332 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1784] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1784/stat : 1784 (java) S 1737 1739 30921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830695366 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1807] ppid=1737 vsize=10556940 CPUtime=831.2 cores=1,3,5,7
/proc/1739/task/1807/stat : 1807 (java) R 1737 1739 30921 0 -1 4202560 1777 0 0 0 83119 1 0 0 25 0 22 0 830695415 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505853069 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1739/tid=1808] ppid=1737 vsize=10556940 CPUtime=831.2 cores=1,3,5,7
/proc/1739/task/1808/stat : 1808 (java) R 1737 1739 30921 0 -1 4202560 366169 0 0 0 83074 46 0 0 25 0 22 0 830695415 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505859572 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1739/tid=1809] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1809/stat : 1809 (java) S 1737 1739 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830695416 10810306560 472309 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1719.05
Current children cumulated vsize (KiB) 10556940
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+924.701 s]
/proc/loadavg: 3.78 3.87 3.70 6/618 1991
/proc/meminfo: memFree=19753132/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10556940 CPUtime=1800.18 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 481947 0 1 0 179952 66 0 0 23 0 22 0 830695325 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2639235 474367 2259 9 0 2629969 0
[pid=1739/tid=1740] ppid=1737 vsize=10556940 CPUtime=0.37 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) S 1737 1739 30921 0 -1 4202560 13462 0 1 0 36 1 0 0 15 0 22 0 830695326 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1742] ppid=1737 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/1739/task/1742/stat : 1742 (java) S 1737 1739 30921 0 -1 4202560 852 0 0 0 56 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1743] ppid=1737 vsize=10556940 CPUtime=0.57 cores=1,3,5,7
/proc/1739/task/1743/stat : 1743 (java) S 1737 1739 30921 0 -1 4202560 275 0 0 0 57 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1744] ppid=1737 vsize=10556940 CPUtime=0.47 cores=1,3,5,7
/proc/1739/task/1744/stat : 1744 (java) S 1737 1739 30921 0 -1 4202560 560 0 0 0 47 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1745] ppid=1737 vsize=10556940 CPUtime=0.52 cores=1,3,5,7
/proc/1739/task/1745/stat : 1745 (java) S 1737 1739 30921 0 -1 4202560 342 0 0 0 52 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1746] ppid=1737 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/1739/task/1746/stat : 1746 (java) S 1737 1739 30921 0 -1 4202560 156 0 0 0 56 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1747] ppid=1737 vsize=10556940 CPUtime=0.5 cores=1,3,5,7
/proc/1739/task/1747/stat : 1747 (java) S 1737 1739 30921 0 -1 4202560 542 0 0 0 50 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1748] ppid=1737 vsize=10556940 CPUtime=0.55 cores=1,3,5,7
/proc/1739/task/1748/stat : 1748 (java) S 1737 1739 30921 0 -1 4202560 551 0 0 0 55 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1749] ppid=1737 vsize=10556940 CPUtime=0.54 cores=1,3,5,7
/proc/1739/task/1749/stat : 1749 (java) S 1737 1739 30921 0 -1 4202560 508 0 0 0 54 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1750] ppid=1737 vsize=10556940 CPUtime=52.58 cores=1,3,5,7
/proc/1739/task/1750/stat : 1750 (java) S 1737 1739 30921 0 -1 4202560 70100 0 0 0 5247 11 0 0 16 0 22 0 830695329 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 0 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1751] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1751/stat : 1751 (java) S 1737 1739 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1752] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1752/stat : 1752 (java) S 1737 1739 30921 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1753] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1753/stat : 1753 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699498929 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1754] ppid=1737 vsize=10556940 CPUtime=0.94 cores=1,3,5,7
/proc/1739/task/1754/stat : 1754 (java) S 1737 1739 30921 0 -1 4202560 9194 0 0 0 94 0 0 0 16 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1755] ppid=1737 vsize=10556940 CPUtime=1.61 cores=1,3,5,7
/proc/1739/task/1755/stat : 1755 (java) S 1737 1739 30921 0 -1 4202560 7338 0 0 0 161 0 0 0 16 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1756] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1756/stat : 1756 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1757] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1757/stat : 1757 (java) S 1737 1739 30921 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1784] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1784/stat : 1784 (java) S 1737 1739 30921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830695366 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1807] ppid=1737 vsize=10556940 CPUtime=869.76 cores=1,3,5,7
/proc/1739/task/1807/stat : 1807 (java) R 1737 1739 30921 0 -1 4202560 1787 0 0 0 86975 1 0 0 22 0 22 0 830695415 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505831713 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1739/tid=1808] ppid=1737 vsize=10556940 CPUtime=869.76 cores=1,3,5,7
/proc/1739/task/1808/stat : 1808 (java) R 1737 1739 30921 0 -1 4202560 366170 0 0 0 86930 46 0 0 23 0 22 0 830695415 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505857821 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1739/tid=1809] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1809/stat : 1809 (java) S 1737 1739 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830695416 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10556940
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+924.701 s]
/proc/loadavg: 3.78 3.87 3.70 6/618 1991
/proc/meminfo: memFree=19753132/32951124 swapFree=58940260/67111528
[pid=1739] ppid=1737 vsize=10556940 CPUtime=1800.18 cores=1,3,5,7
/proc/1739/stat : 1739 (java) S 1737 1739 30921 0 -1 4202496 481947 0 1 0 179952 66 0 0 23 0 22 0 830695325 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699477989 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/1739/statm: 2639235 474367 2259 9 0 2629969 0
[pid=1739/tid=1740] ppid=1737 vsize=10556940 CPUtime=0.37 cores=1,3,5,7
/proc/1739/task/1740/stat : 1740 (java) S 1737 1739 30921 0 -1 4202560 13462 0 1 0 36 1 0 0 15 0 22 0 830695326 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1742] ppid=1737 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/1739/task/1742/stat : 1742 (java) S 1737 1739 30921 0 -1 4202560 852 0 0 0 56 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1743] ppid=1737 vsize=10556940 CPUtime=0.57 cores=1,3,5,7
/proc/1739/task/1743/stat : 1743 (java) S 1737 1739 30921 0 -1 4202560 275 0 0 0 57 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1744] ppid=1737 vsize=10556940 CPUtime=0.47 cores=1,3,5,7
/proc/1739/task/1744/stat : 1744 (java) S 1737 1739 30921 0 -1 4202560 560 0 0 0 47 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1745] ppid=1737 vsize=10556940 CPUtime=0.52 cores=1,3,5,7
/proc/1739/task/1745/stat : 1745 (java) S 1737 1739 30921 0 -1 4202560 342 0 0 0 52 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1746] ppid=1737 vsize=10556940 CPUtime=0.56 cores=1,3,5,7
/proc/1739/task/1746/stat : 1746 (java) S 1737 1739 30921 0 -1 4202560 156 0 0 0 56 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1747] ppid=1737 vsize=10556940 CPUtime=0.5 cores=1,3,5,7
/proc/1739/task/1747/stat : 1747 (java) S 1737 1739 30921 0 -1 4202560 542 0 0 0 50 0 0 0 16 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1748] ppid=1737 vsize=10556940 CPUtime=0.55 cores=1,3,5,7
/proc/1739/task/1748/stat : 1748 (java) S 1737 1739 30921 0 -1 4202560 551 0 0 0 55 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1749] ppid=1737 vsize=10556940 CPUtime=0.54 cores=1,3,5,7
/proc/1739/task/1749/stat : 1749 (java) S 1737 1739 30921 0 -1 4202560 508 0 0 0 54 0 0 0 15 0 22 0 830695328 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1750] ppid=1737 vsize=10556940 CPUtime=52.58 cores=1,3,5,7
/proc/1739/task/1750/stat : 1750 (java) S 1737 1739 30921 0 -1 4202560 70100 0 0 0 5247 11 0 0 16 0 22 0 830695329 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 0 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1751] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1751/stat : 1751 (java) S 1737 1739 30921 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
[pid=1739/tid=1752] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1752/stat : 1752 (java) S 1737 1739 30921 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830695329 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1753] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1753/stat : 1753 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699498929 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1754] ppid=1737 vsize=10556940 CPUtime=0.94 cores=1,3,5,7
/proc/1739/task/1754/stat : 1754 (java) S 1737 1739 30921 0 -1 4202560 9194 0 0 0 94 0 0 0 16 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 1 0 0 0
[pid=1739/tid=1755] ppid=1737 vsize=10556940 CPUtime=1.61 cores=1,3,5,7
/proc/1739/task/1755/stat : 1755 (java) S 1737 1739 30921 0 -1 4202560 7338 0 0 0 161 0 0 0 16 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 5 0 0 0
[pid=1739/tid=1756] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1756/stat : 1756 (java) S 1737 1739 30921 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491225 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1757] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1757/stat : 1757 (java) S 1737 1739 30921 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 830695332 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1784] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1784/stat : 1784 (java) S 1737 1739 30921 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 830695366 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 3 0 0 0
[pid=1739/tid=1807] ppid=1737 vsize=10556940 CPUtime=869.76 cores=1,3,5,7
/proc/1739/task/1807/stat : 1807 (java) R 1737 1739 30921 0 -1 4202560 1787 0 0 0 86975 1 0 0 22 0 22 0 830695415 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505831713 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=1739/tid=1808] ppid=1737 vsize=10556940 CPUtime=869.76 cores=1,3,5,7
/proc/1739/task/1808/stat : 1808 (java) R 1737 1739 30921 0 -1 4202560 366170 0 0 0 86930 46 0 0 23 0 22 0 830695415 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 46912505857821 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=1739/tid=1809] ppid=1737 vsize=10556940 CPUtime=0 cores=1,3,5,7
/proc/1739/task/1809/stat : 1809 (java) S 1737 1739 30921 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 830695416 10810306560 474367 33554432000 1073741824 1073778376 140735891984032 18446744073709551615 212699491840 0 4 0 16800975 18446604455843572544 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 10556940
Child status: 143
Real time (s): 924.824
CPU time (s): 1800.36
CPU user time (s): 1799.61
CPU system time (s): 0.748886
CPU usage (%): 194.67
Max. virtual memory (cumulated for all children) (KiB): 10558476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.748886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 481981
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30324
involuntary context switches= 25072
runsolver used 5.49216 second user time and 12.904 second system time
The end