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-3454035-1307195411/watcher-3454035-1307195411 -o /tmp/evaluation-result-3454035-1307195411/solver-3454035-1307195411 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454035-1307195411.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.62 1.95 2.72 2/457 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=86844 CPUtime=0 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 1376 0 1 0 0 0 0 0 17 0 2 0 831139275 88928256 1078 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 21711 1083 836 9 0 12867 0
[pid=19913/tid=19914] ppid=19909 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) R 19909 19913 14960 0 -1 4202560 3436 0 1 0 0 0 0 0 17 0 2 0 831139275 10694979584 4252 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232335586363 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0757449 s]
/proc/loadavg: 1.62 1.95 2.72 2/457 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 11875 0 1 0 4 1 0 0 17 0 18 0 831139275 10724442112 11572 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2618272 11572 1754 9 0 2609006 0
[pid=19913/tid=19914] ppid=19909 vsize=10473088 CPUtime=0.05 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) R 19909 19913 14960 0 -1 4202560 10701 0 1 0 4 1 0 0 20 0 18 0 831139275 10724442112 11572 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 47739861362488 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) 10473088
[startup+0.10579 s]
/proc/loadavg: 1.62 1.95 2.72 2/457 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10539820 CPUtime=0.1 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 13030 0 1 0 9 1 0 0 17 0 18 0 831139275 10792775680 12727 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2634955 12727 2093 9 0 2625689 0
[pid=19913/tid=19914] ppid=19909 vsize=10539820 CPUtime=0.08 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) R 19909 19913 14960 0 -1 4202560 11109 0 1 0 7 1 0 0 18 0 18 0 831139275 10792775680 12727 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 47739861361868 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) 10539820
[startup+0.300672 s]
/proc/loadavg: 1.62 1.95 2.72 2/457 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10540396 CPUtime=0.46 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 15989 0 1 0 44 2 0 0 17 0 18 0 831139275 10793365504 15181 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2635099 15182 2208 9 0 2625833 0
[pid=19913/tid=19914] ppid=19909 vsize=10540396 CPUtime=0.27 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) R 19909 19913 14960 0 -1 4202560 12856 0 1 0 26 1 0 0 18 0 18 0 831139275 10793365504 15182 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 46912505556806 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10540396
[startup+0.700602 s]
/proc/loadavg: 1.62 1.95 2.72 2/457 19913
/proc/meminfo: memFree=26250732/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10552156 CPUtime=1.66 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 32405 0 1 0 162 4 0 0 17 0 22 0 831139275 10805407744 29956 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2638039 29956 2242 9 0 2628773 0
[pid=19913/tid=19914] ppid=19909 vsize=10552156 CPUtime=0.57 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) S 19909 19913 14960 0 -1 4202560 22594 0 1 0 54 3 0 0 19 0 22 0 831139275 10805407744 29956 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.66
Current children cumulated vsize (KiB) 10552156
[startup+1.50153 s]
/proc/loadavg: 1.62 1.95 2.72 2/495 19957
/proc/meminfo: memFree=25979076/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10552928 CPUtime=2.73 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 44455 0 1 0 268 5 0 0 17 0 19 0 831139275 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2638232 39859 2246 9 0 2628966 0
[pid=19913/tid=19914] ppid=19909 vsize=10552928 CPUtime=0.58 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) S 19909 19913 14960 0 -1 4202560 22631 0 1 0 55 3 0 0 16 0 19 0 831139275 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19919] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19919/stat : 19919 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19921] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19921/stat : 19921 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19923] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19923/stat : 19923 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19925] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19925/stat : 19925 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19927] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19927/stat : 19927 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19929] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19929/stat : 19929 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19931] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19931/stat : 19931 (java) S 19909 19913 14960 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19933] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19933/stat : 19933 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19935] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19935/stat : 19935 (java) S 19909 19913 14960 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 831139278 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 0 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19937] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19937/stat : 19937 (java) S 19909 19913 14960 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 831139279 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19939] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19939/stat : 19939 (java) S 19909 19913 14960 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 831139279 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19940] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19940/stat : 19940 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831139281 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347716017 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19941] ppid=19909 vsize=10552928 CPUtime=0.77 cores=1,3,5,7
/proc/19913/task/19941/stat : 19941 (java) S 19909 19913 14960 0 -1 4202560 5471 0 0 0 77 0 0 0 16 0 19 0 831139281 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19944] ppid=19909 vsize=10552928 CPUtime=0.63 cores=1,3,5,7
/proc/19913/task/19944/stat : 19944 (java) S 19909 19913 14960 0 -1 4202560 5113 0 0 0 63 0 0 0 16 0 19 0 831139281 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19945] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19945/stat : 19945 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139281 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19948] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19948/stat : 19948 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831139281 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19954] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19954/stat : 19954 (java) S 19909 19913 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831139336 10806198272 39859 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.73
Current children cumulated vsize (KiB) 10552928
[startup+3.10122 s]
/proc/loadavg: 1.62 1.95 2.72 2/495 19969
/proc/meminfo: memFree=25906412/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10552928 CPUtime=3.25 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 57361 0 1 0 319 6 0 0 17 0 19 0 831139275 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2638232 52763 2247 9 0 2628966 0
[pid=19913/tid=19914] ppid=19909 vsize=10552928 CPUtime=0.58 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) S 19909 19913 14960 0 -1 4202560 22716 0 1 0 55 3 0 0 16 0 19 0 831139275 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19919] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19919/stat : 19919 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19921] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19921/stat : 19921 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19923] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19923/stat : 19923 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19925] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19925/stat : 19925 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19927] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19927/stat : 19927 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19929] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19929/stat : 19929 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19931] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19931/stat : 19931 (java) S 19909 19913 14960 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19933] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19933/stat : 19933 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19935] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19935/stat : 19935 (java) S 19909 19913 14960 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 831139278 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 0 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19937] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19937/stat : 19937 (java) S 19909 19913 14960 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 831139279 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19939] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19939/stat : 19939 (java) S 19909 19913 14960 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 831139279 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19940] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19940/stat : 19940 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831139281 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347716017 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19941] ppid=19909 vsize=10552928 CPUtime=0.87 cores=1,3,5,7
/proc/19913/task/19941/stat : 19941 (java) S 19909 19913 14960 0 -1 4202560 5489 0 0 0 87 0 0 0 15 0 19 0 831139281 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19944] ppid=19909 vsize=10552928 CPUtime=0.68 cores=1,3,5,7
/proc/19913/task/19944/stat : 19944 (java) S 19909 19913 14960 0 -1 4202560 5117 0 0 0 68 0 0 0 15 0 19 0 831139281 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19945] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19945/stat : 19945 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 831139281 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19948] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19948/stat : 19948 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831139281 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19954] ppid=19909 vsize=10552928 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19954/stat : 19954 (java) S 19909 19913 14960 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 831139336 10806198272 52763 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 10552928
[startup+6.30166 s]
/proc/loadavg: 1.89 2.00 2.73 2/495 20011
/proc/meminfo: memFree=25628548/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10550496 CPUtime=4.3 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 95154 0 1 0 419 11 0 0 17 0 19 0 831139275 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2637624 89937 2248 9 0 2628358 0
[pid=19913/tid=19914] ppid=19909 vsize=10550496 CPUtime=0.59 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) S 19909 19913 14960 0 -1 4202560 22917 0 1 0 56 3 0 0 16 0 19 0 831139275 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19919] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19919/stat : 19919 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19921] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19921/stat : 19921 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19923] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19923/stat : 19923 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19925] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19925/stat : 19925 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19927] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19927/stat : 19927 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19929] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19929/stat : 19929 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19931] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19931/stat : 19931 (java) S 19909 19913 14960 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19933] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19933/stat : 19933 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 831139277 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19935] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19935/stat : 19935 (java) S 19909 19913 14960 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 831139278 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 0 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19937] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19937/stat : 19937 (java) S 19909 19913 14960 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 831139279 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19939] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19939/stat : 19939 (java) S 19909 19913 14960 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 831139279 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19940] ppid=19909 vsize=10550496 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19940/stat : 19940 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 831139281 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347716017 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19941] ppid=19909 vsize=10550496 CPUtime=0.91 cores=1,3,5,7
/proc/19913/task/19941/stat : 19941 (java) S 19909 19913 14960 0 -1 4202560 5492 0 0 0 91 0 0 0 15 0 19 0 831139281 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19944] ppid=19909 vsize=10550496 CPUtime=0.73 cores=1,3,5,7
/proc/19913/task/19944/stat : 19944 (java) S 19909 19913 14960 0 -1 4202560 5120 0 0 0 73 0 0 0 15 0 19 0 831139281 10803707904 89937 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=21300196/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10551484 CPUtime=1606.15 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 627360 0 1 0 160546 69 0 0 17 0 22 0 831139275 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2637871 621873 2273 9 0 2628605 0
[pid=19913/tid=19914] ppid=19909 vsize=10551484 CPUtime=0.6 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) S 19909 19913 14960 0 -1 4202560 23067 0 1 0 57 3 0 0 15 0 22 0 831139275 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19919] ppid=19909 vsize=10551484 CPUtime=0.39 cores=1,3,5,7
/proc/19913/task/19919/stat : 19919 (java) S 19909 19913 14960 0 -1 4202560 1343 0 0 0 39 0 0 0 16 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19921] ppid=19909 vsize=10551484 CPUtime=0.4 cores=1,3,5,7
/proc/19913/task/19921/stat : 19921 (java) S 19909 19913 14960 0 -1 4202560 36 0 0 0 40 0 0 0 16 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19923] ppid=19909 vsize=10551484 CPUtime=0.36 cores=1,3,5,7
/proc/19913/task/19923/stat : 19923 (java) S 19909 19913 14960 0 -1 4202560 356 0 0 0 36 0 0 0 16 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19925] ppid=19909 vsize=10551484 CPUtime=0.39 cores=1,3,5,7
/proc/19913/task/19925/stat : 19925 (java) S 19909 19913 14960 0 -1 4202560 665 0 0 0 39 0 0 0 15 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19927] ppid=19909 vsize=10551484 CPUtime=0.4 cores=1,3,5,7
/proc/19913/task/19927/stat : 19927 (java) S 19909 19913 14960 0 -1 4202560 620 0 0 0 40 0 0 0 16 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19929] ppid=19909 vsize=10551484 CPUtime=0.39 cores=1,3,5,7
/proc/19913/task/19929/stat : 19929 (java) S 19909 19913 14960 0 -1 4202560 1654 0 0 0 39 0 0 0 16 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19931] ppid=19909 vsize=10551484 CPUtime=0.34 cores=1,3,5,7
/proc/19913/task/19931/stat : 19931 (java) S 19909 19913 14960 0 -1 4202560 1660 0 0 0 34 0 0 0 15 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19933] ppid=19909 vsize=10551484 CPUtime=0.4 cores=1,3,5,7
/proc/19913/task/19933/stat : 19933 (java) S 19909 19913 14960 0 -1 4202560 572 0 0 0 40 0 0 0 15 0 22 0 831139277 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19935] ppid=19909 vsize=10551484 CPUtime=27.81 cores=1,3,5,7
/proc/19913/task/19935/stat : 19935 (java) S 19909 19913 14960 0 -1 4202560 43067 0 0 0 2776 5 0 0 15 0 22 0 831139278 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 0 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19937] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19937/stat : 19937 (java) S 19909 19913 14960 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831139279 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19939] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19939/stat : 19939 (java) S 19909 19913 14960 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831139279 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19940] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19940/stat : 19940 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831139281 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347716017 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19941] ppid=19909 vsize=10551484 CPUtime=1.43 cores=1,3,5,7
/proc/19913/task/19941/stat : 19941 (java) S 19909 19913 14960 0 -1 4202560 5663 0 0 0 143 0 0 0 15 0 22 0 831139281 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19944] ppid=19909 vsize=10551484 CPUtime=0.88 cores=1,3,5,7
/proc/19913/task/19944/stat : 19944 (java) S 19909 19913 14960 0 -1 4202560 5144 0 0 0 88 0 0 0 15 0 22 0 831139281 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19945] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19945/stat : 19945 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831139281 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19948] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19948/stat : 19948 (java) S 19909 19913 14960 0 -1 4202560 49 0 0 0 0 0 0 0 15 0 22 0 831139281 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=20038] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/20038/stat : 20038 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831140091 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=20067] ppid=19909 vsize=10551484 CPUtime=755.94 cores=1,3,5,7
/proc/19913/task/20067/stat : 20067 (java) R 19909 19913 14960 0 -1 4202560 969 0 0 0 75594 0 0 0 25 0 22 0 831143107 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 46912506020272 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19913/tid=20068] ppid=19909 vsize=10551484 CPUtime=755.86 cores=1,3,5,7
/proc/19913/task/20068/stat : 20068 (java) R 19909 19913 14960 0 -1 4202560 68266 0 0 0 75580 6 0 0 25 0 22 0 831143107 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 46912505989150 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19913/tid=20069] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/20069/stat : 20069 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831143107 10804719616 621873 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1606.15
Current children cumulated vsize (KiB) 10551484
[startup+882.301 s]
/proc/loadavg: 3.94 3.83 3.45 6/501 20113
/proc/meminfo: memFree=21289708/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10551484 CPUtime=1723.07 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 629179 0 1 0 172237 70 0 0 17 0 22 0 831139275 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2637871 623677 2273 9 0 2628605 0
[pid=19913/tid=19914] ppid=19909 vsize=10551484 CPUtime=0.6 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) S 19909 19913 14960 0 -1 4202560 23067 0 1 0 57 3 0 0 15 0 22 0 831139275 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19919] ppid=19909 vsize=10551484 CPUtime=0.44 cores=1,3,5,7
/proc/19913/task/19919/stat : 19919 (java) S 19909 19913 14960 0 -1 4202560 1343 0 0 0 44 0 0 0 16 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19921] ppid=19909 vsize=10551484 CPUtime=0.42 cores=1,3,5,7
/proc/19913/task/19921/stat : 19921 (java) S 19909 19913 14960 0 -1 4202560 38 0 0 0 42 0 0 0 15 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19923] ppid=19909 vsize=10551484 CPUtime=0.39 cores=1,3,5,7
/proc/19913/task/19923/stat : 19923 (java) S 19909 19913 14960 0 -1 4202560 357 0 0 0 39 0 0 0 16 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19925] ppid=19909 vsize=10551484 CPUtime=0.44 cores=1,3,5,7
/proc/19913/task/19925/stat : 19925 (java) S 19909 19913 14960 0 -1 4202560 665 0 0 0 44 0 0 0 15 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19927] ppid=19909 vsize=10551484 CPUtime=0.44 cores=1,3,5,7
/proc/19913/task/19927/stat : 19927 (java) S 19909 19913 14960 0 -1 4202560 630 0 0 0 44 0 0 0 15 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19929] ppid=19909 vsize=10551484 CPUtime=0.44 cores=1,3,5,7
/proc/19913/task/19929/stat : 19929 (java) S 19909 19913 14960 0 -1 4202560 1658 0 0 0 44 0 0 0 15 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19931] ppid=19909 vsize=10551484 CPUtime=0.38 cores=1,3,5,7
/proc/19913/task/19931/stat : 19931 (java) S 19909 19913 14960 0 -1 4202560 1660 0 0 0 38 0 0 0 15 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19933] ppid=19909 vsize=10551484 CPUtime=0.45 cores=1,3,5,7
/proc/19913/task/19933/stat : 19933 (java) S 19909 19913 14960 0 -1 4202560 572 0 0 0 45 0 0 0 16 0 22 0 831139277 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19935] ppid=19909 vsize=10551484 CPUtime=31.04 cores=1,3,5,7
/proc/19913/task/19935/stat : 19935 (java) S 19909 19913 14960 0 -1 4202560 44856 0 0 0 3099 5 0 0 15 0 22 0 831139278 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 0 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19937] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19937/stat : 19937 (java) S 19909 19913 14960 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831139279 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19939] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19939/stat : 19939 (java) S 19909 19913 14960 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831139279 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19940] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19940/stat : 19940 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831139281 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347716017 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19941] ppid=19909 vsize=10551484 CPUtime=1.43 cores=1,3,5,7
/proc/19913/task/19941/stat : 19941 (java) S 19909 19913 14960 0 -1 4202560 5663 0 0 0 143 0 0 0 15 0 22 0 831139281 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19944] ppid=19909 vsize=10551484 CPUtime=0.88 cores=1,3,5,7
/proc/19913/task/19944/stat : 19944 (java) S 19909 19913 14960 0 -1 4202560 5144 0 0 0 88 0 0 0 15 0 22 0 831139281 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19945] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19945/stat : 19945 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831139281 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19948] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19948/stat : 19948 (java) S 19909 19913 14960 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 831139281 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=20038] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/20038/stat : 20038 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831140091 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=20067] ppid=19909 vsize=10551484 CPUtime=812.61 cores=1,3,5,7
/proc/19913/task/20067/stat : 20067 (java) R 19909 19913 14960 0 -1 4202560 978 0 0 0 81261 0 0 0 25 0 22 0 831143107 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 46912505983415 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19913/tid=20068] ppid=19909 vsize=10551484 CPUtime=812.54 cores=1,3,5,7
/proc/19913/task/20068/stat : 20068 (java) R 19909 19913 14960 0 -1 4202560 68266 0 0 0 81248 6 0 0 25 0 22 0 831143107 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 46912506016235 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19913/tid=20069] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/20069/stat : 20069 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831143107 10804719616 623677 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1723.07
Current children cumulated vsize (KiB) 10551484
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+922.101 s]
/proc/loadavg: 3.94 3.85 3.47 3/478 20117
/proc/meminfo: memFree=23747132/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=10551484 CPUtime=1800.08 cores=1,3,5,7
/proc/19913/stat : 19913 (java) S 19909 19913 14960 0 -1 4202496 630023 0 1 0 179938 70 0 0 17 0 22 0 831139275 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347695077 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 2637871 624508 2273 9 0 2628605 0
[pid=19913/tid=19914] ppid=19909 vsize=10551484 CPUtime=0.6 cores=1,3,5,7
/proc/19913/task/19914/stat : 19914 (java) S 19909 19913 14960 0 -1 4202560 23067 0 1 0 57 3 0 0 15 0 22 0 831139275 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19919] ppid=19909 vsize=10551484 CPUtime=0.46 cores=1,3,5,7
/proc/19913/task/19919/stat : 19919 (java) S 19909 19913 14960 0 -1 4202560 1345 0 0 0 46 0 0 0 16 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19921] ppid=19909 vsize=10551484 CPUtime=0.46 cores=1,3,5,7
/proc/19913/task/19921/stat : 19921 (java) S 19909 19913 14960 0 -1 4202560 43 0 0 0 46 0 0 0 15 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19923] ppid=19909 vsize=10551484 CPUtime=0.42 cores=1,3,5,7
/proc/19913/task/19923/stat : 19923 (java) S 19909 19913 14960 0 -1 4202560 360 0 0 0 42 0 0 0 15 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19925] ppid=19909 vsize=10551484 CPUtime=0.46 cores=1,3,5,7
/proc/19913/task/19925/stat : 19925 (java) S 19909 19913 14960 0 -1 4202560 665 0 0 0 46 0 0 0 16 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19927] ppid=19909 vsize=10551484 CPUtime=0.48 cores=1,3,5,7
/proc/19913/task/19927/stat : 19927 (java) S 19909 19913 14960 0 -1 4202560 630 0 0 0 48 0 0 0 16 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=19929] ppid=19909 vsize=10551484 CPUtime=0.47 cores=1,3,5,7
/proc/19913/task/19929/stat : 19929 (java) S 19909 19913 14960 0 -1 4202560 1658 0 0 0 47 0 0 0 16 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19931] ppid=19909 vsize=10551484 CPUtime=0.4 cores=1,3,5,7
/proc/19913/task/19931/stat : 19931 (java) S 19909 19913 14960 0 -1 4202560 1660 0 0 0 40 0 0 0 15 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19933] ppid=19909 vsize=10551484 CPUtime=0.49 cores=1,3,5,7
/proc/19913/task/19933/stat : 19933 (java) S 19909 19913 14960 0 -1 4202560 572 0 0 0 49 0 0 0 16 0 22 0 831139277 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19935] ppid=19909 vsize=10551484 CPUtime=33.74 cores=1,3,5,7
/proc/19913/task/19935/stat : 19935 (java) S 19909 19913 14960 0 -1 4202560 45681 0 0 0 3369 5 0 0 15 0 22 0 831139278 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 0 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19937] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19937/stat : 19937 (java) S 19909 19913 14960 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 22 0 831139279 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19939] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19939/stat : 19939 (java) S 19909 19913 14960 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 831139279 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19940] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19940/stat : 19940 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831139281 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347716017 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19941] ppid=19909 vsize=10551484 CPUtime=1.43 cores=1,3,5,7
/proc/19913/task/19941/stat : 19941 (java) S 19909 19913 14960 0 -1 4202560 5663 0 0 0 143 0 0 0 15 0 22 0 831139281 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
[pid=19913/tid=19944] ppid=19909 vsize=10551484 CPUtime=0.88 cores=1,3,5,7
/proc/19913/task/19944/stat : 19944 (java) S 19909 19913 14960 0 -1 4202560 5144 0 0 0 88 0 0 0 15 0 22 0 831139281 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 7 0 0 0
[pid=19913/tid=19945] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19945/stat : 19945 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 831139281 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708313 0 4 0 16800975 18446604460383920448 0 0 -1 3 0 0 0
[pid=19913/tid=19948] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/19948/stat : 19948 (java) S 19909 19913 14960 0 -1 4202560 55 0 0 0 0 0 0 0 15 0 22 0 831139281 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=20038] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/20038/stat : 20038 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 831140091 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 1 0 0 0
[pid=19913/tid=20067] ppid=19909 vsize=10551484 CPUtime=849.65 cores=1,3,5,7
/proc/19913/task/20067/stat : 20067 (java) R 19909 19913 14960 0 -1 4202560 985 0 0 0 84965 0 0 0 25 0 22 0 831143107 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 46912506082778 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=19913/tid=20068] ppid=19909 vsize=10551484 CPUtime=849.58 cores=1,3,5,7
/proc/19913/task/20068/stat : 20068 (java) R 19909 19913 14960 0 -1 4202560 68266 0 0 0 84952 6 0 0 25 0 22 0 831143107 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 46912505989319 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=19913/tid=20069] ppid=19909 vsize=10551484 CPUtime=0 cores=1,3,5,7
/proc/19913/task/20069/stat : 20069 (java) S 19909 19913 14960 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 22 0 831143107 10804719616 624508 33554432000 1073741824 1073778376 140736362246400 18446744073709551615 232347708928 0 4 0 16800975 18446604460383920448 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 10551484
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+922.224 s]
/proc/loadavg: 3.94 3.85 3.47 3/478 20117
/proc/meminfo: memFree=23747132/32951124 swapFree=60688864/67111528
[pid=19913] ppid=19909 vsize=0 CPUtime=1800.22 cores=1,3,5,7
/proc/19913/stat : 19913 (java) Z 19909 19913 14960 0 -1 4203548 630051 0 1 0 179943 79 0 0 15 0 2 0 831139275 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/19913/statm: 0 0 0 0 0 0 0
[pid=19913/tid=20068] ppid=19909 vsize=0 CPUtime=849.68 cores=1,3,5,7
/proc/19913/task/20068/stat : 20068 (java) R 19909 19913 14960 0 -1 4203588 68266 0 0 0 84953 15 0 0 25 0 2 0 831143107 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 922.225
CPU time (s): 1800.23
CPU user time (s): 1799.43
CPU system time (s): 0.798878
CPU usage (%): 195.205
Max. virtual memory (cumulated for all children) (KiB): 10556284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.798878
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 630051
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= 26040
involuntary context switches= 17918
runsolver used 4.31234 second user time and 10.7734 second system time
The end