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-3454429-1307190396/watcher-3454429-1307190396 -o /tmp/evaluation-result-3454429-1307190396/solver-3454429-1307190396 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454429-1307190396.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: 3.48 3.67 3.45 3/532 8362
/proc/meminfo: memFree=13190728/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 1768 0 1 0 0 0 0 0 25 0 2 0 811455760 10681323520 1469 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2607745 1482 906 9 0 2598901 0
[pid=8362/tid=8363] ppid=8360 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8362 5093 0 -1 4202560 5209 0 1 0 0 0 0 0 25 0 2 0 811455761 10694979584 6025 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.083973 s]
/proc/loadavg: 3.48 3.67 3.45 3/532 8362
/proc/meminfo: memFree=13190728/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10538628 CPUtime=0.06 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 12155 0 1 0 5 1 0 0 25 0 18 0 811455760 10791555072 11851 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2634657 11861 1875 9 0 2625391 0
[pid=8362/tid=8363] ppid=8360 vsize=10538628 CPUtime=0.06 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8362 5093 0 -1 4202560 10829 0 1 0 5 1 0 0 22 0 18 0 811455761 10791555072 11868 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118594741 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10538628
[startup+0.105008 s]
/proc/loadavg: 3.48 3.67 3.45 3/532 8362
/proc/meminfo: memFree=13190728/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10539856 CPUtime=0.1 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 13053 0 1 0 9 1 0 0 25 0 18 0 811455760 10792812544 12749 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2634964 12751 2092 9 0 2625698 0
[pid=8362/tid=8363] ppid=8360 vsize=10539856 CPUtime=0.08 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8362 5093 0 -1 4202560 11163 0 1 0 7 1 0 0 22 0 18 0 811455761 10792812544 12752 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912496197424 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539856
[startup+0.300948 s]
/proc/loadavg: 3.48 3.67 3.45 3/532 8362
/proc/meminfo: memFree=13190728/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10542244 CPUtime=0.46 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 20796 0 1 0 44 2 0 0 25 0 18 0 811455760 10795257856 19924 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2635561 19927 2199 9 0 2626295 0
[pid=8362/tid=8363] ppid=8360 vsize=10542244 CPUtime=0.27 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8362 5093 0 -1 4202560 17216 0 1 0 26 1 0 0 22 0 18 0 811455761 10795257856 19928 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912505604013 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) 10542244
[startup+0.70086 s]
/proc/loadavg: 3.48 3.67 3.45 3/532 8362
/proc/meminfo: memFree=13190728/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10552924 CPUtime=1.42 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 48061 0 1 0 136 6 0 0 25 0 18 0 811455760 10806194176 42464 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2638231 42466 2205 9 0 2628965 0
[pid=8362/tid=8363] ppid=8360 vsize=10552924 CPUtime=0.67 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8362 5093 0 -1 4202560 34995 0 1 0 64 3 0 0 23 0 18 0 811455761 10806194176 42468 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912505573746 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 10552924
[startup+1.50073 s]
/proc/loadavg: 3.48 3.67 3.45 4/550 8380
/proc/meminfo: memFree=12908788/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10552924 CPUtime=2.34 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 121642 0 1 0 220 14 0 0 25 0 18 0 811455760 10806194176 116045 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2638231 116047 2212 9 0 2628965 0
[pid=8362/tid=8363] ppid=8360 vsize=10552924 CPUtime=1.47 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) R 8360 8362 5093 0 -1 4202560 108526 0 1 0 136 11 0 0 25 0 18 0 811455761 10806194176 116047 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118595531 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8362/tid=8365] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116049 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8366] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8362 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116051 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8367] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116052 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8368] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116054 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8369] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116056 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8370] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116057 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8371] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116059 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8372] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 811455763 10806194176 116061 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8373] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8362 5093 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 811455764 10806194176 116062 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8374] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8362 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 811455764 10806194176 116064 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8375] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8362 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 18 0 811455764 10806194176 116066 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8376] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 18 0 811455767 10806194176 116067 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8377] ppid=8360 vsize=10552924 CPUtime=0.47 cores=1,3,5,7
/proc/8362/task/8377/stat : 8377 (java) S 8360 8362 5093 0 -1 4202560 4271 0 0 0 47 0 0 0 15 0 18 0 811455767 10806194176 116069 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8378] ppid=8360 vsize=10552924 CPUtime=0.36 cores=1,3,5,7
/proc/8362/task/8378/stat : 8378 (java) S 8360 8362 5093 0 -1 4202560 7694 0 0 0 35 1 0 0 15 0 18 0 811455767 10806194176 116071 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8379] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8379/stat : 8379 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 18 0 811455767 10806194176 116072 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8380] ppid=8360 vsize=10552924 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8380/stat : 8380 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 811455767 10806194176 116074 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 10552924
[startup+3.1014 s]
/proc/loadavg: 3.48 3.67 3.45 6/554 8385
/proc/meminfo: memFree=12645752/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10555308 CPUtime=6.09 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 160930 0 1 0 591 18 0 0 25 0 22 0 811455760 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2638827 154671 2236 9 0 2629561 0
[pid=8362/tid=8363] ppid=8360 vsize=10555308 CPUtime=1.76 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) S 8360 8362 5093 0 -1 4202560 124031 0 1 0 163 13 0 0 15 0 22 0 811455761 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8365] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8366] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8362 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8367] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8368] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8369] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8370] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8371] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8372] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8373] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8362 5093 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 22 0 811455764 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8374] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8362 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811455764 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8375] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8362 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811455764 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8376] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811455767 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8377] ppid=8360 vsize=10555308 CPUtime=0.9 cores=1,3,5,7
/proc/8362/task/8377/stat : 8377 (java) S 8360 8362 5093 0 -1 4202560 4330 0 0 0 90 0 0 0 15 0 22 0 811455767 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8378] ppid=8360 vsize=10555308 CPUtime=0.8 cores=1,3,5,7
/proc/8362/task/8378/stat : 8378 (java) S 8360 8362 5093 0 -1 4202560 8105 0 0 0 79 1 0 0 15 0 22 0 811455767 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8379] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8379/stat : 8379 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811455767 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8380] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8380/stat : 8380 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811455767 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8382] ppid=8360 vsize=10555308 CPUtime=1.3 cores=1,3,5,7
/proc/8362/task/8382/stat : 8382 (java) R 8360 8362 5093 0 -1 4202560 1619 0 0 0 130 0 0 0 19 0 22 0 811455939 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912505914591 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8362/tid=8383] ppid=8360 vsize=10555308 CPUtime=1.28 cores=1,3,5,7
/proc/8362/task/8383/stat : 8383 (java) R 8360 8362 5093 0 -1 4202560 21676 0 0 0 126 2 0 0 19 0 22 0 811455939 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912506254487 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=8362/tid=8384] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8384/stat : 8384 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8385] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8385/stat : 8385 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 154671 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 10555308
[startup+6.30089 s]
/proc/loadavg: 3.52 3.67 3.45 4/552 8385
/proc/meminfo: memFree=12437684/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10555308 CPUtime=12.58 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 217759 0 1 0 1232 26 0 0 25 0 22 0 811455760 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2638827 211010 2238 9 0 2629561 0
[pid=8362/tid=8363] ppid=8360 vsize=10555308 CPUtime=1.76 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) S 8360 8362 5093 0 -1 4202560 124031 0 1 0 163 13 0 0 15 0 22 0 811455761 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8365] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8366] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8362 5093 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8367] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8368] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8369] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8370] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8371] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8372] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811455763 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8373] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8362 5093 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 22 0 811455764 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8374] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8362 5093 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811455764 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8375] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8362 5093 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 811455764 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8376] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811455767 10808635392 211010 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
################
# More data... #
################
[startup+822.302 s]
/proc/loadavg: 3.99 4.00 3.77 5/554 8415
/proc/meminfo: memFree=8663000/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10555308 CPUtime=1645.47 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 1105070 0 1 0 164409 138 0 0 25 0 22 0 811455760 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2638827 1094093 2263 9 0 2629561 0
[pid=8362/tid=8363] ppid=8360 vsize=10555308 CPUtime=1.76 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) S 8360 8362 5093 0 -1 4202560 124038 0 1 0 163 13 0 0 15 0 22 0 811455761 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8365] ppid=8360 vsize=10555308 CPUtime=1.6 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8362 5093 0 -1 4202560 63573 0 0 0 152 8 0 0 15 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8366] ppid=8360 vsize=10555308 CPUtime=1.4 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8362 5093 0 -1 4202560 62045 0 0 0 132 8 0 0 16 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8367] ppid=8360 vsize=10555308 CPUtime=1.2 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8362 5093 0 -1 4202560 49161 0 0 0 115 5 0 0 16 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8368] ppid=8360 vsize=10555308 CPUtime=1.3 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8362 5093 0 -1 4202560 47455 0 0 0 124 6 0 0 15 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8369] ppid=8360 vsize=10555308 CPUtime=1.05 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8362 5093 0 -1 4202560 23971 0 0 0 102 3 0 0 16 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8370] ppid=8360 vsize=10555308 CPUtime=1.42 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8362 5093 0 -1 4202560 72485 0 0 0 132 10 0 0 15 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8371] ppid=8360 vsize=10555308 CPUtime=1.43 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8362 5093 0 -1 4202560 58342 0 0 0 137 6 0 0 16 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8372] ppid=8360 vsize=10555308 CPUtime=1.56 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8362 5093 0 -1 4202560 52565 0 0 0 149 7 0 0 16 0 22 0 811455763 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8373] ppid=8360 vsize=10555308 CPUtime=4.48 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8362 5093 0 -1 4202560 3219 0 0 0 447 1 0 0 15 0 22 0 811455764 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8374] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8362 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811455764 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8375] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8362 5093 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811455764 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8376] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811455767 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8377] ppid=8360 vsize=10555308 CPUtime=1.29 cores=1,3,5,7
/proc/8362/task/8377/stat : 8377 (java) S 8360 8362 5093 0 -1 4202560 4420 0 0 0 129 0 0 0 15 0 22 0 811455767 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8378] ppid=8360 vsize=10555308 CPUtime=0.93 cores=1,3,5,7
/proc/8362/task/8378/stat : 8378 (java) S 8360 8362 5093 0 -1 4202560 8126 0 0 0 92 1 0 0 15 0 22 0 811455767 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8379] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8379/stat : 8379 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811455767 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8380] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8380/stat : 8380 (java) S 8360 8362 5093 0 -1 4202560 48 0 0 0 0 0 0 0 15 0 22 0 811455767 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8382] ppid=8360 vsize=10555308 CPUtime=813 cores=1,3,5,7
/proc/8362/task/8382/stat : 8382 (java) R 8360 8362 5093 0 -1 4202560 2435 0 0 0 81300 0 0 0 25 0 22 0 811455939 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912506036609 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8362/tid=8383] ppid=8360 vsize=10555308 CPUtime=812.91 cores=1,3,5,7
/proc/8362/task/8383/stat : 8383 (java) R 8360 8362 5093 0 -1 4202560 532029 0 0 0 81229 62 0 0 25 0 22 0 811455939 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912505619437 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8362/tid=8384] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8384/stat : 8384 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8385] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8385/stat : 8385 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 1094093 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1645.47
Current children cumulated vsize (KiB) 10555308
[startup+882.301 s]
/proc/loadavg: 4.09 4.03 3.80 5/554 8521
/proc/meminfo: memFree=11088284/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10555308 CPUtime=1765.57 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 1105108 0 1 0 176418 139 0 0 25 0 22 0 811455760 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2638827 1094096 2263 9 0 2629561 0
[pid=8362/tid=8363] ppid=8360 vsize=10555308 CPUtime=1.76 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) S 8360 8362 5093 0 -1 4202560 124038 0 1 0 163 13 0 0 15 0 22 0 811455761 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8365] ppid=8360 vsize=10555308 CPUtime=1.63 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8362 5093 0 -1 4202560 63573 0 0 0 155 8 0 0 15 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8366] ppid=8360 vsize=10555308 CPUtime=1.42 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8362 5093 0 -1 4202560 62045 0 0 0 134 8 0 0 15 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8367] ppid=8360 vsize=10555308 CPUtime=1.26 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8362 5093 0 -1 4202560 49161 0 0 0 120 6 0 0 15 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8368] ppid=8360 vsize=10555308 CPUtime=1.33 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8362 5093 0 -1 4202560 47455 0 0 0 127 6 0 0 15 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8369] ppid=8360 vsize=10555308 CPUtime=1.08 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8362 5093 0 -1 4202560 23972 0 0 0 105 3 0 0 16 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8370] ppid=8360 vsize=10555308 CPUtime=1.45 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8362 5093 0 -1 4202560 72485 0 0 0 135 10 0 0 16 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8371] ppid=8360 vsize=10555308 CPUtime=1.44 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8362 5093 0 -1 4202560 58343 0 0 0 138 6 0 0 16 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8372] ppid=8360 vsize=10555308 CPUtime=1.6 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8362 5093 0 -1 4202560 52566 0 0 0 153 7 0 0 16 0 22 0 811455763 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8373] ppid=8360 vsize=10555308 CPUtime=4.49 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8362 5093 0 -1 4202560 3223 0 0 0 447 2 0 0 15 0 22 0 811455764 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8374] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8362 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811455764 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8375] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8362 5093 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811455764 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8376] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811455767 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8377] ppid=8360 vsize=10555308 CPUtime=1.29 cores=1,3,5,7
/proc/8362/task/8377/stat : 8377 (java) S 8360 8362 5093 0 -1 4202560 4420 0 0 0 129 0 0 0 15 0 22 0 811455767 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8378] ppid=8360 vsize=10555308 CPUtime=0.93 cores=1,3,5,7
/proc/8362/task/8378/stat : 8378 (java) S 8360 8362 5093 0 -1 4202560 8126 0 0 0 92 1 0 0 15 0 22 0 811455767 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8379] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8379/stat : 8379 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811455767 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8380] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8380/stat : 8380 (java) S 8360 8362 5093 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811455767 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8382] ppid=8360 vsize=10555308 CPUtime=872.92 cores=1,3,5,7
/proc/8362/task/8382/stat : 8382 (java) R 8360 8362 5093 0 -1 4202560 2449 0 0 0 87292 0 0 0 25 0 22 0 811455939 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912506036520 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8362/tid=8383] ppid=8360 vsize=10555308 CPUtime=872.84 cores=1,3,5,7
/proc/8362/task/8383/stat : 8383 (java) R 8360 8362 5093 0 -1 4202560 532042 0 0 0 87222 62 0 0 25 0 22 0 811455939 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912506250253 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8362/tid=8384] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8384/stat : 8384 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8385] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8385/stat : 8385 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 1094096 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1765.57
Current children cumulated vsize (KiB) 10555308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.201 s]
/proc/loadavg: 4.13 4.04 3.81 5/554 8527
/proc/meminfo: memFree=11078356/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=10555308 CPUtime=1800.11 cores=1,3,5,7
/proc/8362/stat : 8362 (java) S 8360 8362 5093 0 -1 4202496 1107800 0 1 0 179871 140 0 0 25 0 22 0 811455760 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 2638827 1094097 2263 9 0 2629561 0
[pid=8362/tid=8363] ppid=8360 vsize=10555308 CPUtime=1.76 cores=1,3,5,7
/proc/8362/task/8363/stat : 8363 (java) S 8360 8362 5093 0 -1 4202560 124038 0 1 0 163 13 0 0 15 0 22 0 811455761 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8365] ppid=8360 vsize=10555308 CPUtime=1.63 cores=1,3,5,7
/proc/8362/task/8365/stat : 8365 (java) S 8360 8362 5093 0 -1 4202560 63573 0 0 0 155 8 0 0 15 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8366] ppid=8360 vsize=10555308 CPUtime=1.43 cores=1,3,5,7
/proc/8362/task/8366/stat : 8366 (java) S 8360 8362 5093 0 -1 4202560 62045 0 0 0 135 8 0 0 16 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8367] ppid=8360 vsize=10555308 CPUtime=1.27 cores=1,3,5,7
/proc/8362/task/8367/stat : 8367 (java) S 8360 8362 5093 0 -1 4202560 49161 0 0 0 121 6 0 0 16 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8368] ppid=8360 vsize=10555308 CPUtime=1.34 cores=1,3,5,7
/proc/8362/task/8368/stat : 8368 (java) S 8360 8362 5093 0 -1 4202560 47455 0 0 0 128 6 0 0 15 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8369] ppid=8360 vsize=10555308 CPUtime=1.09 cores=1,3,5,7
/proc/8362/task/8369/stat : 8369 (java) S 8360 8362 5093 0 -1 4202560 23972 0 0 0 106 3 0 0 15 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8370] ppid=8360 vsize=10555308 CPUtime=1.46 cores=1,3,5,7
/proc/8362/task/8370/stat : 8370 (java) S 8360 8362 5093 0 -1 4202560 72485 0 0 0 136 10 0 0 16 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8371] ppid=8360 vsize=10555308 CPUtime=1.45 cores=1,3,5,7
/proc/8362/task/8371/stat : 8371 (java) S 8360 8362 5093 0 -1 4202560 58343 0 0 0 139 6 0 0 16 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8372] ppid=8360 vsize=10555308 CPUtime=1.6 cores=1,3,5,7
/proc/8362/task/8372/stat : 8372 (java) S 8360 8362 5093 0 -1 4202560 52566 0 0 0 153 7 0 0 16 0 22 0 811455763 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8373] ppid=8360 vsize=10555308 CPUtime=5.77 cores=1,3,5,7
/proc/8362/task/8373/stat : 8373 (java) S 8360 8362 5093 0 -1 4202560 5910 0 0 0 575 2 0 0 15 0 22 0 811455764 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 0 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8374] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8374/stat : 8374 (java) S 8360 8362 5093 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 811455764 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8375] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8375/stat : 8375 (java) S 8360 8362 5093 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 811455764 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 7 0 0 0
[pid=8362/tid=8376] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8376/stat : 8376 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 22 0 811455767 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118592433 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8377] ppid=8360 vsize=10555308 CPUtime=1.29 cores=1,3,5,7
/proc/8362/task/8377/stat : 8377 (java) S 8360 8362 5093 0 -1 4202560 4420 0 0 0 129 0 0 0 15 0 22 0 811455767 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8378] ppid=8360 vsize=10555308 CPUtime=0.93 cores=1,3,5,7
/proc/8362/task/8378/stat : 8378 (java) S 8360 8362 5093 0 -1 4202560 8126 0 0 0 92 1 0 0 15 0 22 0 811455767 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8379] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8379/stat : 8379 (java) S 8360 8362 5093 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 811455767 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118584729 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
[pid=8362/tid=8380] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8380/stat : 8380 (java) S 8360 8362 5093 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 811455767 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 1 0 0 0
[pid=8362/tid=8382] ppid=8360 vsize=10555308 CPUtime=889.53 cores=1,3,5,7
/proc/8362/task/8382/stat : 8382 (java) R 8360 8362 5093 0 -1 4202560 2453 0 0 0 88952 1 0 0 25 0 22 0 811455939 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912505914598 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=8362/tid=8383] ppid=8360 vsize=10555308 CPUtime=889.44 cores=1,3,5,7
/proc/8362/task/8383/stat : 8383 (java) R 8360 8362 5093 0 -1 4202560 532043 0 0 0 88882 62 0 0 25 0 22 0 811455939 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 46912505619437 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=8362/tid=8384] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8384/stat : 8384 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 3 0 0 0
[pid=8362/tid=8385] ppid=8360 vsize=10555308 CPUtime=0 cores=1,3,5,7
/proc/8362/task/8385/stat : 8385 (java) S 8360 8362 5093 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811455952 10808635392 1094097 33554432000 1073741824 1073778376 140735479137392 18446744073709551615 255118585344 0 4 0 16800975 18446604468339914880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 10555308
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.401 s]
/proc/loadavg: 4.13 4.04 3.81 5/554 8527
/proc/meminfo: memFree=11078356/32951124 swapFree=67111204/67111528
[pid=8362] ppid=8360 vsize=0 CPUtime=1800.33 cores=1,3,5,7
/proc/8362/stat : 8362 (java) Z 8360 8362 5093 0 -1 4203548 1107827 0 1 0 179876 157 0 0 17 0 2 0 811455760 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/8362/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 900.412
CPU time (s): 1800.35
CPU user time (s): 1798.76
CPU system time (s): 1.58276
CPU usage (%): 199.947
Max. virtual memory (cumulated for all children) (KiB): 10558028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.58276
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1107827
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= 24289
involuntary context switches= 20337
runsolver used 4.75828 second user time and 10.8374 second system time
The end