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-3454599-1307190316/watcher-3454599-1307190316 -o /tmp/evaluation-result-3454599-1307190316/solver-3454599-1307190316 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454599-1307190316.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.75 3.81 3.66 3/294 14818
/proc/meminfo: memFree=24734156/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/14818/stat : 14818 (java) R 14816 14818 10640 0 -1 4202496 951 0 0 0 0 0 0 0 19 0 1 0 830632364 23580672 695 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222916814312 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/14818/statm: 5757 695 512 9 0 124 0
[pid=14818/tid=14819] ppid=14816 vsize=35788 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 202 0 0 0 0 0 0 0 20 0 2 0 830632365 36646912 1018 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222921797190 0 0 0 16784584 602703350374334463 0 0 -1 1 0 0 0
[startup+0.0954789 s]
/proc/loadavg: 3.75 3.81 3.66 3/294 14818
/proc/meminfo: memFree=24734156/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10540240 CPUtime=0.1 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 12957 0 1 0 8 2 0 0 19 0 18 0 830632364 10793205760 12654 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2635060 12654 2092 9 0 2625794 0
[pid=14818/tid=14819] ppid=14816 vsize=10540240 CPUtime=0.07 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) R 14816 14818 10640 0 -1 4202560 11042 0 1 0 6 1 0 0 25 0 18 0 830632365 10793205760 12654 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912504004886 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540240
[startup+0.100475 s]
/proc/loadavg: 3.75 3.81 3.66 3/294 14818
/proc/meminfo: memFree=24734156/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10540240 CPUtime=0.1 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 13019 0 1 0 8 2 0 0 19 0 18 0 830632364 10793205760 12716 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2635060 12716 2092 9 0 2625794 0
[pid=14818/tid=14819] ppid=14816 vsize=10540240 CPUtime=0.08 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) R 14816 14818 10640 0 -1 4202560 11104 0 1 0 7 1 0 0 25 0 18 0 830632365 10793205760 12716 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222921473723 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540240
[startup+0.300441 s]
/proc/loadavg: 3.75 3.81 3.66 3/294 14818
/proc/meminfo: memFree=24734156/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10545164 CPUtime=0.56 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 18407 0 1 0 54 2 0 0 19 0 18 0 830632364 10798247936 16576 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2636291 16576 2206 9 0 2627025 0
[pid=14818/tid=14819] ppid=14816 vsize=10545164 CPUtime=0.28 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) R 14816 14818 10640 0 -1 4202560 12990 0 1 0 26 2 0 0 25 0 18 0 830632365 10798247936 16576 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912505509968 0 4 0 16800975 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10545164
[startup+0.700366 s]
/proc/loadavg: 3.75 3.81 3.66 3/294 14818
/proc/meminfo: memFree=24734156/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10557700 CPUtime=1.6 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 46883 0 1 0 154 6 0 0 19 0 20 0 830632364 10811084800 41312 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2639425 41312 2225 9 0 2630159 0
[pid=14818/tid=14819] ppid=14816 vsize=10557700 CPUtime=0.66 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 31407 0 1 0 62 4 0 0 25 0 20 0 830632365 10811084800 41312 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 10557700
[startup+1.50125 s]
/proc/loadavg: 3.75 3.81 3.66 5/316 14840
/proc/meminfo: memFree=24545832/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10559756 CPUtime=3.49 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 67676 0 1 0 340 9 0 0 19 0 22 0 830632364 10813190144 62104 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2639939 62105 2238 9 0 2630673 0
[pid=14818/tid=14819] ppid=14816 vsize=10559756 CPUtime=0.67 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 31666 0 1 0 63 4 0 0 21 0 22 0 830632365 10813190144 62105 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14821] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830632367 10813190144 62106 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14822] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 62107 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14823] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 62108 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14824] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 62110 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14825] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 10640 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 22 0 830632367 10813190144 62114 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14826] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 62115 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14827] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14827/stat : 14827 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 62117 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14828] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14828/stat : 14828 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 62118 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14829] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14829/stat : 14829 (java) S 14816 14818 10640 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 22 0 830632368 10813190144 62120 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 0 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14830] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14830/stat : 14830 (java) S 14816 14818 10640 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 830632368 10813190144 62121 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14831] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14831/stat : 14831 (java) S 14816 14818 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830632368 10813190144 62123 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14832] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14832/stat : 14832 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10813190144 62124 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933600689 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14833] ppid=14816 vsize=10559756 CPUtime=0.64 cores=1,3,5,7
/proc/14818/task/14833/stat : 14833 (java) S 14816 14818 10640 0 -1 4202560 4147 0 0 0 64 0 0 0 21 0 22 0 830632370 10813190144 62125 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14834] ppid=14816 vsize=10559756 CPUtime=0.8 cores=1,3,5,7
/proc/14818/task/14834/stat : 14834 (java) S 14816 14818 10640 0 -1 4202560 10271 0 0 0 80 0 0 0 23 0 22 0 830632370 10813190144 62127 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14835] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14835/stat : 14835 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10813190144 62129 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14836] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14836/stat : 14836 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830632370 10813190144 62130 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14840] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14840/stat : 14840 (java) S 14816 14818 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830632434 10813190144 62130 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10559756
[startup+3.10096 s]
/proc/loadavg: 3.75 3.81 3.66 5/316 14843
/proc/meminfo: memFree=24269188/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10559756 CPUtime=6.81 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 266935 0 1 0 649 32 0 0 19 0 22 0 830632364 10813190144 261362 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2639939 261368 2238 9 0 2630673 0
[pid=14818/tid=14819] ppid=14816 vsize=10559756 CPUtime=0.67 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 31666 0 1 0 63 4 0 0 15 0 22 0 830632365 10813190144 261368 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14821] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 830632367 10813190144 261374 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14822] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 261377 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14823] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 261380 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14824] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 261381 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14825] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 10640 0 -1 4202560 2 0 0 0 0 0 0 0 23 0 22 0 830632367 10813190144 261387 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14826] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 261390 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14827] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14827/stat : 14827 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 261391 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14828] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14828/stat : 14828 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 22 0 830632367 10813190144 261395 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14829] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14829/stat : 14829 (java) S 14816 14818 10640 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 22 0 830632368 10813190144 261398 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 0 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14830] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14830/stat : 14830 (java) S 14816 14818 10640 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 22 0 830632368 10813190144 261402 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14831] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14831/stat : 14831 (java) S 14816 14818 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830632368 10813190144 261402 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14832] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14832/stat : 14832 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10813190144 261408 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933600689 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14833] ppid=14816 vsize=10559756 CPUtime=0.75 cores=1,3,5,7
/proc/14818/task/14833/stat : 14833 (java) S 14816 14818 10640 0 -1 4202560 4162 0 0 0 75 0 0 0 19 0 22 0 830632370 10813190144 261412 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14834] ppid=14816 vsize=10559756 CPUtime=0.81 cores=1,3,5,7
/proc/14818/task/14834/stat : 14834 (java) S 14816 14818 10640 0 -1 4202560 10271 0 0 0 81 0 0 0 21 0 22 0 830632370 10813190144 261414 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14835] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14835/stat : 14835 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10813190144 261417 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14836] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14836/stat : 14836 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830632370 10813190144 261421 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14840] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14840/stat : 14840 (java) S 14816 14818 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830632434 10813190144 261425 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14841] ppid=14816 vsize=10559756 CPUtime=1.9 cores=1,3,5,7
/proc/14818/task/14841/stat : 14841 (java) R 14816 14818 10640 0 -1 4202560 510 0 0 0 190 0 0 0 19 0 22 0 830632484 10813190144 261425 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 47130038811475 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14818/tid=14842] ppid=14816 vsize=10559756 CPUtime=1.89 cores=1,3,5,7
/proc/14818/task/14842/stat : 14842 (java) R 14816 14818 10640 0 -1 4202560 206362 0 0 0 165 24 0 0 25 0 22 0 830632484 10813190144 261431 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912505589585 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14818/tid=14843] ppid=14816 vsize=10559756 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14843/stat : 14843 (java) S 14816 14818 10640 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 22 0 830632484 10813190144 261433 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 10559756
[startup+6.30138 s]
/proc/loadavg: 3.69 3.80 3.66 4/316 14846
/proc/meminfo: memFree=23208672/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10560312 CPUtime=13.15 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 511191 0 1 0 1257 58 0 0 19 0 22 0 830632364 10813759488 505584 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2640078 505593 2264 9 0 2630812 0
[pid=14818/tid=14819] ppid=14816 vsize=10560312 CPUtime=0.68 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 31925 0 1 0 64 4 0 0 15 0 22 0 830632365 10813759488 505599 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14821] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 10640 0 -1 4202560 1161 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505606 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14822] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 10640 0 -1 4202560 551 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505609 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14823] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 10640 0 -1 4202560 800 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505609 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14824] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 10640 0 -1 4202560 334 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505615 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14825] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 10640 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505621 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14826] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 10640 0 -1 4202560 220 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505627 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14827] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14827/stat : 14827 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505634 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14828] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14828/stat : 14828 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830632367 10813759488 505634 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14829] ppid=14816 vsize=10560312 CPUtime=0.03 cores=1,3,5,7
/proc/14818/task/14829/stat : 14829 (java) S 14816 14818 10640 0 -1 4202560 3030 0 0 0 3 0 0 0 15 0 22 0 830632368 10813759488 505636 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 0 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14830] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14830/stat : 14830 (java) S 14816 14818 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830632368 10813759488 505641 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14831] ppid=14816 vsize=10560312 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14831/stat : 14831 (java) S 14816 14818 10640 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 830632368 10813759488 505648 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
################
# More data... #
################
/proc/meminfo: memFree=21030704/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10558024 CPUtime=1629.08 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 923043 0 1 0 162800 108 0 0 19 0 22 0 830632364 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2639506 914598 2265 9 0 2630240 0
[pid=14818/tid=14819] ppid=14816 vsize=10558024 CPUtime=0.69 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 31940 0 1 0 65 4 0 0 15 0 22 0 830632365 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14821] ppid=14816 vsize=10558024 CPUtime=0.41 cores=1,3,5,7
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 10640 0 -1 4202560 7035 0 0 0 40 1 0 0 15 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14822] ppid=14816 vsize=10558024 CPUtime=0.35 cores=1,3,5,7
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 10640 0 -1 4202560 4506 0 0 0 35 0 0 0 15 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14823] ppid=14816 vsize=10558024 CPUtime=0.38 cores=1,3,5,7
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 10640 0 -1 4202560 4848 0 0 0 38 0 0 0 15 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14824] ppid=14816 vsize=10558024 CPUtime=0.42 cores=1,3,5,7
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 10640 0 -1 4202560 6034 0 0 0 41 1 0 0 15 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14825] ppid=14816 vsize=10558024 CPUtime=0.33 cores=1,3,5,7
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 10640 0 -1 4202560 3749 0 0 0 33 0 0 0 16 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14826] ppid=14816 vsize=10558024 CPUtime=0.4 cores=1,3,5,7
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 10640 0 -1 4202560 3932 0 0 0 40 0 0 0 16 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14827] ppid=14816 vsize=10558024 CPUtime=0.38 cores=1,3,5,7
/proc/14818/task/14827/stat : 14827 (java) S 14816 14818 10640 0 -1 4202560 3408 0 0 0 38 0 0 0 16 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14828] ppid=14816 vsize=10558024 CPUtime=0.41 cores=1,3,5,7
/proc/14818/task/14828/stat : 14828 (java) S 14816 14818 10640 0 -1 4202560 4625 0 0 0 41 0 0 0 15 0 22 0 830632367 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14829] ppid=14816 vsize=10558024 CPUtime=18.09 cores=1,3,5,7
/proc/14818/task/14829/stat : 14829 (java) S 14816 14818 10640 0 -1 4202560 13662 0 0 0 1806 3 0 0 15 0 22 0 830632368 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 0 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14830] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14830/stat : 14830 (java) S 14816 14818 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830632368 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14831] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14831/stat : 14831 (java) S 14816 14818 10640 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830632368 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14832] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14832/stat : 14832 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933600689 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14833] ppid=14816 vsize=10558024 CPUtime=1.19 cores=1,3,5,7
/proc/14818/task/14833/stat : 14833 (java) S 14816 14818 10640 0 -1 4202560 4224 0 0 0 119 0 0 0 15 0 22 0 830632370 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14834] ppid=14816 vsize=10558024 CPUtime=1.57 cores=1,3,5,7
/proc/14818/task/14834/stat : 14834 (java) S 14816 14818 10640 0 -1 4202560 10968 0 0 0 156 1 0 0 15 0 22 0 830632370 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14835] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14835/stat : 14835 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14836] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14836/stat : 14836 (java) S 14816 14818 10640 0 -1 4202560 47 0 0 0 0 0 0 0 15 0 22 0 830632370 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14840] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14840/stat : 14840 (java) S 14816 14818 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830632434 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14852] ppid=14816 vsize=10558024 CPUtime=721.97 cores=1,3,5,7
/proc/14818/task/14852/stat : 14852 (java) R 14816 14818 10640 0 -1 4202560 155 0 0 0 72197 0 0 0 25 0 22 0 830640571 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912506457392 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14818/tid=14853] ppid=14816 vsize=10558024 CPUtime=721.99 cores=1,3,5,7
/proc/14818/task/14853/stat : 14853 (java) R 14816 14818 10640 0 -1 4202560 79 0 0 0 72199 0 0 0 25 0 22 0 830640571 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912505994706 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14818/tid=14854] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14854/stat : 14854 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830640572 10811416576 914598 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1629.08
Current children cumulated vsize (KiB) 10558024
[startup+882.301 s]
/proc/loadavg: 3.99 3.95 3.81 5/316 14927
/proc/meminfo: memFree=21008056/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10558024 CPUtime=1747.47 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 925986 0 1 0 174639 108 0 0 19 0 22 0 830632364 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2639506 917442 2265 9 0 2630240 0
[pid=14818/tid=14819] ppid=14816 vsize=10558024 CPUtime=0.69 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 31942 0 1 0 65 4 0 0 15 0 22 0 830632365 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14821] ppid=14816 vsize=10558024 CPUtime=0.44 cores=1,3,5,7
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 10640 0 -1 4202560 7279 0 0 0 43 1 0 0 15 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14822] ppid=14816 vsize=10558024 CPUtime=0.36 cores=1,3,5,7
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 10640 0 -1 4202560 4596 0 0 0 36 0 0 0 15 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14823] ppid=14816 vsize=10558024 CPUtime=0.42 cores=1,3,5,7
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 10640 0 -1 4202560 4967 0 0 0 42 0 0 0 15 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14824] ppid=14816 vsize=10558024 CPUtime=0.46 cores=1,3,5,7
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 10640 0 -1 4202560 6736 0 0 0 45 1 0 0 15 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14825] ppid=14816 vsize=10558024 CPUtime=0.36 cores=1,3,5,7
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 10640 0 -1 4202560 3752 0 0 0 36 0 0 0 16 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14826] ppid=14816 vsize=10558024 CPUtime=0.44 cores=1,3,5,7
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 10640 0 -1 4202560 4564 0 0 0 44 0 0 0 16 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14827] ppid=14816 vsize=10558024 CPUtime=0.43 cores=1,3,5,7
/proc/14818/task/14827/stat : 14827 (java) S 14816 14818 10640 0 -1 4202560 3409 0 0 0 43 0 0 0 16 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14828] ppid=14816 vsize=10558024 CPUtime=0.46 cores=1,3,5,7
/proc/14818/task/14828/stat : 14828 (java) S 14816 14818 10640 0 -1 4202560 5162 0 0 0 46 0 0 0 16 0 22 0 830632367 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14829] ppid=14816 vsize=10558024 CPUtime=19.78 cores=1,3,5,7
/proc/14818/task/14829/stat : 14829 (java) S 14816 14818 10640 0 -1 4202560 14258 0 0 0 1975 3 0 0 15 0 22 0 830632368 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 0 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14830] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14830/stat : 14830 (java) S 14816 14818 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830632368 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14831] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14831/stat : 14831 (java) S 14816 14818 10640 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830632368 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14832] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14832/stat : 14832 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933600689 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14833] ppid=14816 vsize=10558024 CPUtime=1.19 cores=1,3,5,7
/proc/14818/task/14833/stat : 14833 (java) S 14816 14818 10640 0 -1 4202560 4224 0 0 0 119 0 0 0 15 0 22 0 830632370 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14834] ppid=14816 vsize=10558024 CPUtime=1.57 cores=1,3,5,7
/proc/14818/task/14834/stat : 14834 (java) S 14816 14818 10640 0 -1 4202560 10968 0 0 0 156 1 0 0 15 0 22 0 830632370 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14835] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14835/stat : 14835 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14836] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14836/stat : 14836 (java) S 14816 14818 10640 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 22 0 830632370 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14840] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14840/stat : 14840 (java) S 14816 14818 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830632434 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14852] ppid=14816 vsize=10558024 CPUtime=780.18 cores=1,3,5,7
/proc/14818/task/14852/stat : 14852 (java) R 14816 14818 10640 0 -1 4202560 162 0 0 0 78018 0 0 0 25 0 22 0 830640571 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912506457437 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=14818/tid=14853] ppid=14816 vsize=10558024 CPUtime=780.21 cores=1,3,5,7
/proc/14818/task/14853/stat : 14853 (java) R 14816 14818 10640 0 -1 4202560 85 0 0 0 78021 0 0 0 25 0 22 0 830640571 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912506248505 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14818/tid=14854] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14854/stat : 14854 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830640572 10811416576 917442 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1747.47
Current children cumulated vsize (KiB) 10558024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+908.901 s]
/proc/loadavg: 3.92 3.93 3.81 5/316 14927
/proc/meminfo: memFree=20998348/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=10558024 CPUtime=1800.06 cores=1,3,5,7
/proc/14818/stat : 14818 (java) S 14816 14818 10640 0 -1 4202496 928369 0 1 0 179897 109 0 0 19 0 22 0 830632364 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 2639506 919739 2265 9 0 2630240 0
[pid=14818/tid=14819] ppid=14816 vsize=10558024 CPUtime=0.69 cores=1,3,5,7
/proc/14818/task/14819/stat : 14819 (java) S 14816 14818 10640 0 -1 4202560 31942 0 1 0 65 4 0 0 15 0 22 0 830632365 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14821] ppid=14816 vsize=10558024 CPUtime=0.46 cores=1,3,5,7
/proc/14818/task/14821/stat : 14821 (java) S 14816 14818 10640 0 -1 4202560 7760 0 0 0 45 1 0 0 16 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14822] ppid=14816 vsize=10558024 CPUtime=0.38 cores=1,3,5,7
/proc/14818/task/14822/stat : 14822 (java) S 14816 14818 10640 0 -1 4202560 5060 0 0 0 38 0 0 0 15 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14823] ppid=14816 vsize=10558024 CPUtime=0.42 cores=1,3,5,7
/proc/14818/task/14823/stat : 14823 (java) S 14816 14818 10640 0 -1 4202560 4967 0 0 0 42 0 0 0 16 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14824] ppid=14816 vsize=10558024 CPUtime=0.48 cores=1,3,5,7
/proc/14818/task/14824/stat : 14824 (java) S 14816 14818 10640 0 -1 4202560 7091 0 0 0 47 1 0 0 16 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14825] ppid=14816 vsize=10558024 CPUtime=0.38 cores=1,3,5,7
/proc/14818/task/14825/stat : 14825 (java) S 14816 14818 10640 0 -1 4202560 4007 0 0 0 38 0 0 0 15 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14826] ppid=14816 vsize=10558024 CPUtime=0.45 cores=1,3,5,7
/proc/14818/task/14826/stat : 14826 (java) S 14816 14818 10640 0 -1 4202560 4606 0 0 0 45 0 0 0 15 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14827] ppid=14816 vsize=10558024 CPUtime=0.45 cores=1,3,5,7
/proc/14818/task/14827/stat : 14827 (java) S 14816 14818 10640 0 -1 4202560 3717 0 0 0 45 0 0 0 16 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14828] ppid=14816 vsize=10558024 CPUtime=0.47 cores=1,3,5,7
/proc/14818/task/14828/stat : 14828 (java) S 14816 14818 10640 0 -1 4202560 5307 0 0 0 47 0 0 0 15 0 22 0 830632367 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 5 0 0 0
[pid=14818/tid=14829] ppid=14816 vsize=10558024 CPUtime=20.45 cores=1,3,5,7
/proc/14818/task/14829/stat : 14829 (java) S 14816 14818 10640 0 -1 4202560 14581 0 0 0 2041 4 0 0 15 0 22 0 830632368 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 0 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14830] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14830/stat : 14830 (java) S 14816 14818 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 830632368 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14831] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14831/stat : 14831 (java) S 14816 14818 10640 0 -1 4202560 11 0 0 0 0 0 0 0 18 0 22 0 830632368 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14832] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14832/stat : 14832 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933600689 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14833] ppid=14816 vsize=10558024 CPUtime=1.19 cores=1,3,5,7
/proc/14818/task/14833/stat : 14833 (java) S 14816 14818 10640 0 -1 4202560 4224 0 0 0 119 0 0 0 15 0 22 0 830632370 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14834] ppid=14816 vsize=10558024 CPUtime=1.57 cores=1,3,5,7
/proc/14818/task/14834/stat : 14834 (java) S 14816 14818 10640 0 -1 4202560 10968 0 0 0 156 1 0 0 15 0 22 0 830632370 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14835] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14835/stat : 14835 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830632370 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933592985 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
[pid=14818/tid=14836] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14836/stat : 14836 (java) S 14816 14818 10640 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 22 0 830632370 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 3 0 0 0
[pid=14818/tid=14840] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14840/stat : 14840 (java) S 14816 14818 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 830632434 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 1 0 0 0
[pid=14818/tid=14852] ppid=14816 vsize=10558024 CPUtime=806.08 cores=1,3,5,7
/proc/14818/task/14852/stat : 14852 (java) R 14816 14818 10640 0 -1 4202560 170 0 0 0 80608 0 0 0 25 0 22 0 830640571 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912505780603 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=14818/tid=14853] ppid=14816 vsize=10558024 CPUtime=806.11 cores=1,3,5,7
/proc/14818/task/14853/stat : 14853 (java) R 14816 14818 10640 0 -1 4202560 85 0 0 0 80611 0 0 0 25 0 22 0 830640571 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 46912506248529 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=14818/tid=14854] ppid=14816 vsize=10558024 CPUtime=0 cores=1,3,5,7
/proc/14818/task/14854/stat : 14854 (java) S 14816 14818 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 830640572 10811416576 919739 33554432000 1073741824 1073778376 140736674135152 18446744073709551615 222933593600 0 4 0 16800975 18446604465937922944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 10558024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+909.017 s]
/proc/loadavg: 3.92 3.93 3.81 5/316 14927
/proc/meminfo: memFree=20998348/32951124 swapFree=55664332/67111528
[pid=14818] ppid=14816 vsize=0 CPUtime=1800.26 cores=1,3,5,7
/proc/14818/stat : 14818 (java) Z 14816 14818 10640 0 -1 4203548 928404 0 1 0 179911 115 0 0 17 0 2 0 830632364 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/14818/statm: 0 0 0 0 0 0 0
[pid=14818/tid=14852] ppid=14816 vsize=0 CPUtime=806.18 cores=1,3,5,7
/proc/14818/task/14852/stat : 14852 (java) R 14816 14818 10640 0 -1 4203588 170 0 0 0 80612 6 0 0 25 0 2 0 830640571 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 909.086
CPU time (s): 1800.34
CPU user time (s): 1799.11
CPU system time (s): 1.22581
CPU usage (%): 198.038
Max. virtual memory (cumulated for all children) (KiB): 10563676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.11
system time used= 1.22581
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 928404
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= 28848
involuntary context switches= 26731
runsolver used 2.41563 second user time and 5.83611 second system time
The end