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-3458762-1307148791/watcher-3458762-1307148791 -o /tmp/evaluation-result-3458762-1307148791/solver-3458762-1307148791 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458762-1307148791.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: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 2267 0 1 0 0 0 0 0 24 0 2 0 826481497 13833195520 1969 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3377245 1981 906 9 0 3368401 0
[pid=11961/tid=11962] ppid=11959 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 6444 0 1 0 0 0 0 0 25 0 2 0 826481497 13850947584 7260 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212435711035 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0880629 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13621336 CPUtime=0.08 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 15057 0 1 0 6 2 0 0 24 0 18 0 826481497 13948248064 14727 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405334 14742 2017 9 0 3396068 0
[pid=11961/tid=11962] ppid=11959 vsize=13621336 CPUtime=0.07 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 13437 0 1 0 6 1 0 0 18 0 18 0 826481497 13948248064 14746 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 47325461465939 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13621336
[startup+0.101094 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13622248 CPUtime=0.11 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 15544 0 1 0 9 2 0 0 24 0 18 0 826481497 13949181952 15214 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405562 15216 2092 9 0 3396296 0
[pid=11961/tid=11962] ppid=11959 vsize=13622248 CPUtime=0.08 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 13627 0 1 0 7 1 0 0 18 0 18 0 826481497 13949181952 15216 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 13622248
[startup+0.312956 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13623568 CPUtime=0.52 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 18810 0 1 0 50 2 0 0 24 0 18 0 826481497 13950533632 18146 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405892 18147 2201 9 0 3396626 0
[pid=11961/tid=11962] ppid=11959 vsize=13623568 CPUtime=0.3 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 15771 0 1 0 28 2 0 0 18 0 18 0 826481497 13950533632 18148 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505542185 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 13623568
[startup+0.700984 s]
/proc/loadavg: 1.92 2.06 1.96 2/498 11961
/proc/meminfo: memFree=26789236/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13623568 CPUtime=1 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 56724 0 1 0 93 7 0 0 24 0 18 0 826481497 13950533632 55287 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3405892 55292 2210 9 0 3396626 0
[pid=11961/tid=11962] ppid=11959 vsize=13623568 CPUtime=0.68 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 52078 0 1 0 62 6 0 0 18 0 18 0 826481497 13950533632 55294 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505637624 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 13623568
[startup+1.50083 s]
/proc/loadavg: 1.92 2.06 1.96 3/518 11981
/proc/meminfo: memFree=26535320/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=2.08 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 62142 0 1 0 201 7 0 0 24 0 19 0 826481497 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 59882 2230 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1.49 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 55960 0 1 0 142 7 0 0 20 0 19 0 826481497 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505624490 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481500 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 826481501 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 826481501 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.27 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1358 0 0 0 27 0 0 0 15 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.31 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 3664 0 0 0 31 0 0 0 15 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 59882 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.08
Current children cumulated vsize (KiB) 13626908
[startup+3.10154 s]
/proc/loadavg: 1.92 2.06 1.96 3/518 11981
/proc/meminfo: memFree=26453356/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=3.84 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 78366 0 1 0 375 9 0 0 24 0 19 0 826481497 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 76099 2259 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=3.03 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 61012 0 1 0 296 7 0 0 23 0 19 0 826481497 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505780225 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 107 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 54 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 181 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.01 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 1805 0 0 0 1 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 3623 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=0.03 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 5353 0 0 0 3 0 0 0 16 0 19 0 826481501 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.35 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1396 0 0 0 35 0 0 0 15 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 3682 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 76099 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 13626908
[startup+6.30092 s]
/proc/loadavg: 1.92 2.06 1.96 3/518 11981
/proc/meminfo: memFree=26294656/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=7.11 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 93055 0 1 0 700 11 0 0 24 0 19 0 826481497 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 90730 2259 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=6.14 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 61017 0 1 0 607 7 0 0 25 0 19 0 826481497 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505762916 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=0.01 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 2817 0 0 0 1 0 0 0 16 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 2256 0 0 0 0 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 2589 0 0 0 0 0 0 0 18 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 529 0 0 0 0 0 0 0 16 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 544 0 0 0 0 0 0 0 16 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.01 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 1805 0 0 0 1 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 3623 0 0 0 0 0 0 0 15 0 19 0 826481500 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=0.1 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 11639 0 0 0 9 1 0 0 16 0 19 0 826481501 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.39 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 3687 0 0 0 39 0 0 0 15 0 19 0 826481503 13953953792 90730 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.21 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 117 4 0 0 16 0 19 0 826481500 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.91 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13342 0 0 0 89 2 0 0 16 0 19 0 826481500 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.9 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18091 0 0 0 88 2 0 0 15 0 19 0 826481500 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.1 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108597 0 0 0 997 13 0 0 15 0 19 0 826481501 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 97 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 359085 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1668.86
Current children cumulated vsize (KiB) 13626908
[startup+1722.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 12039
/proc/meminfo: memFree=24121720/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=1728.94 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 363047 0 1 0 172841 53 0 0 24 0 19 0 826481497 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 359686 2260 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1708.78 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 94618 0 1 0 170864 14 0 0 25 0 19 0 826481497 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505768323 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=1.16 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 21376 0 0 0 113 3 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=1.03 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 20020 0 0 0 101 2 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=1.32 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 24578 0 0 0 129 3 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 10556 0 0 0 98 1 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=1.31 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 18847 0 0 0 129 2 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.25 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 121 4 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=0.91 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13342 0 0 0 89 2 0 0 15 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.93 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18091 0 0 0 91 2 0 0 16 0 19 0 826481500 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.2 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108599 0 0 0 1007 13 0 0 15 0 19 0 826481501 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 359686 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1728.94
Current children cumulated vsize (KiB) 13626908
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 12041
/proc/meminfo: memFree=24109656/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=1789.15 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 365884 0 1 0 178862 53 0 0 24 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 362515 2260 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1768.46 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 97408 0 1 0 176832 14 0 0 25 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505762810 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=1.22 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 21380 0 0 0 119 3 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=1.08 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 20020 0 0 0 106 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=1.32 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 24578 0 0 0 129 3 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 10556 0 0 0 98 1 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=1.36 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 18859 0 0 0 134 2 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.25 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 121 4 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=1.02 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13355 0 0 0 100 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18103 0 0 0 97 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.41 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108603 0 0 0 1028 13 0 0 15 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 103 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (KiB) 13626908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1793.2 s]
/proc/loadavg: 2.09 2.04 2.01 5/517 12088
/proc/meminfo: memFree=25442940/32951124 swapFree=38422276/67111528
[pid=11961] ppid=11959 vsize=13626908 CPUtime=1800.06 cores=1,3,5,7
/proc/11961/stat : 11961 (java) S 11959 11961 10080 0 -1 4202496 365886 0 1 0 179953 53 0 0 24 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447819749 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/11961/statm: 3406727 362515 2260 9 0 3397461 0
[pid=11961/tid=11962] ppid=11959 vsize=13626908 CPUtime=1779.38 cores=1,3,5,7
/proc/11961/task/11962/stat : 11962 (java) R 11959 11961 10080 0 -1 4202560 97408 0 1 0 177924 14 0 0 25 0 19 0 826481497 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 46912505698719 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=11961/tid=11964] ppid=11959 vsize=13626908 CPUtime=1.22 cores=1,3,5,7
/proc/11961/task/11964/stat : 11964 (java) S 11959 11961 10080 0 -1 4202560 21380 0 0 0 119 3 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11965] ppid=11959 vsize=13626908 CPUtime=1.08 cores=1,3,5,7
/proc/11961/task/11965/stat : 11965 (java) S 11959 11961 10080 0 -1 4202560 20020 0 0 0 106 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11966] ppid=11959 vsize=13626908 CPUtime=1.32 cores=1,3,5,7
/proc/11961/task/11966/stat : 11966 (java) S 11959 11961 10080 0 -1 4202560 24578 0 0 0 129 3 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 1 0 0 0
[pid=11961/tid=11967] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11967/stat : 11967 (java) S 11959 11961 10080 0 -1 4202560 10556 0 0 0 98 1 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11968] ppid=11959 vsize=13626908 CPUtime=1.36 cores=1,3,5,7
/proc/11961/task/11968/stat : 11968 (java) S 11959 11961 10080 0 -1 4202560 18859 0 0 0 134 2 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11969] ppid=11959 vsize=13626908 CPUtime=1.25 cores=1,3,5,7
/proc/11961/task/11969/stat : 11969 (java) S 11959 11961 10080 0 -1 4202560 25970 0 0 0 121 4 0 0 15 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11970] ppid=11959 vsize=13626908 CPUtime=1.02 cores=1,3,5,7
/proc/11961/task/11970/stat : 11970 (java) S 11959 11961 10080 0 -1 4202560 13355 0 0 0 100 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11971] ppid=11959 vsize=13626908 CPUtime=0.99 cores=1,3,5,7
/proc/11961/task/11971/stat : 11971 (java) S 11959 11961 10080 0 -1 4202560 18103 0 0 0 97 2 0 0 16 0 19 0 826481500 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11972] ppid=11959 vsize=13626908 CPUtime=10.41 cores=1,3,5,7
/proc/11961/task/11972/stat : 11972 (java) S 11959 11961 10080 0 -1 4202560 108603 0 0 0 1028 13 0 0 15 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 0 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11974] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11974/stat : 11974 (java) S 11959 11961 10080 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11975] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11975/stat : 11975 (java) S 11959 11961 10080 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 826481501 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11976] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11976/stat : 11976 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447840689 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11977] ppid=11959 vsize=13626908 CPUtime=0.37 cores=1,3,5,7
/proc/11961/task/11977/stat : 11977 (java) S 11959 11961 10080 0 -1 4202560 1398 0 0 0 37 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
[pid=11961/tid=11978] ppid=11959 vsize=13626908 CPUtime=0.55 cores=1,3,5,7
/proc/11961/task/11978/stat : 11978 (java) S 11959 11961 10080 0 -1 4202560 4402 0 0 0 55 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11979] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11979/stat : 11979 (java) S 11959 11961 10080 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447832985 0 4 0 16800975 18446604466070682304 0 0 -1 5 0 0 0
[pid=11961/tid=11980] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11980/stat : 11980 (java) S 11959 11961 10080 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 826481503 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 3 0 0 0
[pid=11961/tid=11981] ppid=11959 vsize=13626908 CPUtime=0 cores=1,3,5,7
/proc/11961/task/11981/stat : 11981 (java) S 11959 11961 10080 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 826481569 13953953792 362515 33554432000 1073741824 1073778376 140734168904592 18446744073709551615 212447833600 0 4 0 16800975 18446604466070682304 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 13626908
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1793.32
CPU time (s): 1800.23
CPU user time (s): 1799.64
CPU system time (s): 0.592909
CPU usage (%): 100.386
Max. virtual memory (cumulated for all children) (KiB): 13626908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.592909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 365945
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= 39917
involuntary context switches= 18021
runsolver used 8.5327 second user time and 20.2269 second system time
The end