runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3743235-1338798838/watcher-3743235-1338798838 -o /tmp/evaluation-result-3743235-1338798838/solver-3743235-1338798838 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3743235-1338798838.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 2/193 15833
/proc/meminfo: memFree=26918424/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 1208 0 0 0 0 0 0 0 20 0 2 0 346011274 95129600 919 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 23225 924 701 9 0 16769 0
[pid=15833/tid=15834] ppid=15831 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) D 15831 15833 14611 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 346011274 95129600 926 33554432000 1073741824 1073778376 140736782884400 140027975396904 219504799015 0 0 4096 0 18446744072100609316 0 0 -1 3 0 0 0 0 0
[startup+0.0464559 s]
/proc/loadavg: 2.01 2.02 2.00 2/193 15833
/proc/meminfo: memFree=26918424/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2315716 CPUtime=0.04 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 3708 0 1 0 3 1 0 0 20 0 13 0 346011274 2371293184 5427 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 578929 5427 1709 9 0 569630 0
[pid=15833/tid=15834] ppid=15831 vsize=2315716 CPUtime=0.02 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2527 0 1 0 2 0 0 0 20 0 13 0 346011274 2371293184 5427 33554432000 1073741824 1073778376 140736782884400 140027975399144 219517347085 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2315716
[startup+0.100305 s]
/proc/loadavg: 2.01 2.02 2.00 2/193 15833
/proc/meminfo: memFree=26918424/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 4800 0 1 0 10 1 0 0 20 0 18 0 346011274 2712133632 9057 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 662142 9057 2150 9 0 652835 0
[pid=15833/tid=15834] ppid=15831 vsize=2648568 CPUtime=0.08 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2736 0 1 0 6 2 0 0 20 0 18 0 346011274 2712133632 9057 33554432000 1073741824 1073778376 140736782884400 140027975400136 140027828972847 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2648568
[startup+0.300258 s]
/proc/loadavg: 2.01 2.02 2.00 2/193 15833
/proc/meminfo: memFree=26918424/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2648568 CPUtime=0.54 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 6610 0 1 0 52 2 0 0 20 0 18 0 346011274 2712133632 15525 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 662142 15525 2225 9 0 652835 0
[pid=15833/tid=15834] ppid=15831 vsize=2648568 CPUtime=0.28 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2755 0 1 0 26 2 0 0 20 0 18 0 346011274 2712133632 15525 33554432000 1073741824 1073778376 140736782884400 140027975400136 140027828975304 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 2648568
[startup+0.700251 s]
/proc/loadavg: 2.01 2.02 2.00 2/193 15833
/proc/meminfo: memFree=26918424/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2648568 CPUtime=1.17 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 9670 0 1 0 110 7 0 0 20 0 18 0 346011274 2712133632 68676 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 662142 68676 2235 9 0 652835 0
[pid=15833/tid=15834] ppid=15831 vsize=2648568 CPUtime=0.68 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2855 0 1 0 62 6 0 0 20 0 18 0 346011274 2712133632 68676 33554432000 1073741824 1073778376 140736782884400 140027975400136 140027983166554 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 2648568
[startup+1.50069 s]
/proc/loadavg: 2.01 2.02 2.00 3/211 15851
/proc/meminfo: memFree=26151408/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2648568 CPUtime=2.29 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 9907 0 1 0 212 17 0 0 20 0 18 0 346011274 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 662142 110217 2251 9 0 652835 0
[pid=15833/tid=15834] ppid=15831 vsize=2648568 CPUtime=1.37 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2907 0 1 0 129 8 0 0 20 0 18 0 346011274 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027975400920 219517347085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15836] ppid=15831 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/15833/task/15836/stat : 15836 (java) S 15831 15833 14611 0 -1 4202560 28 0 0 0 3 2 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027959851944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15837] ppid=15831 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15837/stat : 15837 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027958799400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15838] ppid=15831 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15838/stat : 15838 (java) S 15831 15833 14611 0 -1 4202560 20 0 0 0 3 0 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027957746344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15839] ppid=15831 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/15833/task/15839/stat : 15839 (java) S 15831 15833 14611 0 -1 4202560 31 0 0 0 3 2 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027956693800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15840] ppid=15831 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15840/stat : 15840 (java) S 15831 15833 14611 0 -1 4202560 16 0 0 0 3 0 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027955640744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15841] ppid=15831 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/15833/task/15841/stat : 15841 (java) S 15831 15833 14611 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027954588200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15842] ppid=15831 vsize=2648568 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15842/stat : 15842 (java) S 15831 15833 14611 0 -1 4202560 21 0 0 0 2 1 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027953535144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15843] ppid=15831 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/15833/task/15843/stat : 15843 (java) S 15831 15833 14611 0 -1 4202560 36 0 0 0 5 1 0 0 20 0 18 0 346011275 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027952482600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15844] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15844/stat : 15844 (java) S 15831 15833 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346011276 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027822574440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15845] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15845/stat : 15845 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346011276 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027821520760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346011276 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027820467592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346011278 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027819416336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 14611 0 -1 4202560 2747 0 0 0 24 0 0 0 20 0 18 0 346011278 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027818363192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 14611 0 -1 4202560 2884 0 0 0 22 1 0 0 20 0 18 0 346011278 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027817310648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346011278 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027816257784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346011278 2712133632 110217 33554432000 1073741824 1073778376 140736782884400 140027815205448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 2648568
[startup+3.1007 s]
/proc/loadavg: 2.01 2.02 2.00 7/211 15851
/proc/meminfo: memFree=26060304/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2648568 CPUtime=4.62 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 10220 0 1 0 432 30 0 0 20 0 18 0 346011274 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 662142 134908 2251 9 0 652835 0
[pid=15833/tid=15834] ppid=15831 vsize=2648568 CPUtime=2.72 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) S 15831 15833 14611 0 -1 4202560 2910 0 1 0 264 8 0 0 20 0 18 0 346011274 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027975400328 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15836] ppid=15831 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/15833/task/15836/stat : 15836 (java) R 15831 15833 14611 0 -1 4202560 60 0 0 0 10 3 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027959852120 140027978680220 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15837] ppid=15831 vsize=2648568 CPUtime=0.14 cores=1,3,5,7
/proc/15833/task/15837/stat : 15837 (java) R 15831 15833 14611 0 -1 4202560 54 0 0 0 11 3 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027958799576 140027979577519 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15838] ppid=15831 vsize=2648568 CPUtime=0.16 cores=1,3,5,7
/proc/15833/task/15838/stat : 15838 (java) R 15831 15833 14611 0 -1 4202560 57 0 0 0 13 3 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027957746520 140027979563748 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15839] ppid=15831 vsize=2648568 CPUtime=0.15 cores=1,3,5,7
/proc/15833/task/15839/stat : 15839 (java) R 15831 15833 14611 0 -1 4202560 59 0 0 0 12 3 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027956693976 140027982300745 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15840] ppid=15831 vsize=2648568 CPUtime=0.18 cores=1,3,5,7
/proc/15833/task/15840/stat : 15840 (java) R 15831 15833 14611 0 -1 4202560 72 0 0 0 15 3 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027955640624 140027979563648 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15841] ppid=15831 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/15833/task/15841/stat : 15841 (java) R 15831 15833 14611 0 -1 4202560 50 0 0 0 11 2 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027954588376 140027982300736 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15842] ppid=15831 vsize=2648568 CPUtime=0.13 cores=1,3,5,7
/proc/15833/task/15842/stat : 15842 (java) R 15831 15833 14611 0 -1 4202560 53 0 0 0 11 2 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027953535320 140027982300736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15843] ppid=15831 vsize=2648568 CPUtime=0.26 cores=1,3,5,7
/proc/15833/task/15843/stat : 15843 (java) R 15831 15833 14611 0 -1 4202560 93 0 0 0 23 3 0 0 20 0 18 0 346011275 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027952482600 140027982300704 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15844] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15844/stat : 15844 (java) S 15831 15833 14611 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 346011276 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027822573320 219517334588 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15845] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15845/stat : 15845 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 346011276 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027821520760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 346011276 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027820467592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346011278 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027819416336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 14611 0 -1 4202560 2747 0 0 0 24 0 0 0 20 0 18 0 346011278 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027818363192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 14611 0 -1 4202560 2884 0 0 0 22 1 0 0 20 0 18 0 346011278 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027817310648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346011278 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027816257784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 346011278 2712133632 134908 33554432000 1073741824 1073778376 140736782884400 140027815205448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 2648568
[startup+6.30076 s]
/proc/loadavg: 2.01 2.02 2.00 4/213 15853
/proc/meminfo: memFree=25787256/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2715132 CPUtime=9.05 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 11022 0 1 0 869 36 0 0 20 0 19 0 346011274 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 678783 150288 2267 9 0 669476 0
[pid=15833/tid=15834] ppid=15831 vsize=2715132 CPUtime=5.6 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2945 0 1 0 551 9 0 0 20 0 19 0 346011274 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027975401912 140027829668494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15836] ppid=15831 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/15833/task/15836/stat : 15836 (java) S 15831 15833 14611 0 -1 4202560 168 0 0 0 20 3 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027959851944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15837] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15837/stat : 15837 (java) S 15831 15833 14611 0 -1 4202560 300 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027958799400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15838] ppid=15831 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/15833/task/15838/stat : 15838 (java) S 15831 15833 14611 0 -1 4202560 82 0 0 0 26 4 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027957746344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15839] ppid=15831 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/15833/task/15839/stat : 15839 (java) S 15831 15833 14611 0 -1 4202560 76 0 0 0 23 3 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027956693800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15840] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15840/stat : 15840 (java) S 15831 15833 14611 0 -1 4202560 95 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027955640744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15841] ppid=15831 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/15833/task/15841/stat : 15841 (java) S 15831 15833 14611 0 -1 4202560 65 0 0 0 24 3 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027954588200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15842] ppid=15831 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/15833/task/15842/stat : 15842 (java) S 15831 15833 14611 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027953535144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15843] ppid=15831 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/15833/task/15843/stat : 15843 (java) S 15831 15833 14611 0 -1 4202560 110 0 0 0 34 4 0 0 20 0 19 0 346011275 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027952482600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15844] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15844/stat : 15844 (java) S 15831 15833 14611 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027822574440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15845] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15845/stat : 15845 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027821520760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027820467592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027819416336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=2715132 CPUtime=0.46 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 14611 0 -1 4202560 2920 0 0 0 46 0 0 0 20 0 19 0 346011278 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027818363192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 14611 0 -1 4202560 2978 0 0 0 47 2 0 0 20 0 19 0 346011278 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027817310648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027816257784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 150288 33554432000 1073741824 1073778376 140736782884400 140027815205448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=15833/tid=15841] ppid=15831 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/15833/task/15841/stat : 15841 (java) S 15831 15833 14611 0 -1 4202560 65 0 0 0 24 3 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027954588200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15842] ppid=15831 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/15833/task/15842/stat : 15842 (java) S 15831 15833 14611 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027953535144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15843] ppid=15831 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/15833/task/15843/stat : 15843 (java) S 15831 15833 14611 0 -1 4202560 110 0 0 0 34 4 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027952482600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15844] ppid=15831 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15844/stat : 15844 (java) S 15831 15833 14611 0 -1 4202560 13 0 0 0 0 3 0 0 20 0 19 0 346011276 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027822574440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15845] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15845/stat : 15845 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027821520760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027820467592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027819416336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 14611 0 -1 4202560 2930 0 0 0 53 0 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027818363192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 14611 0 -1 4202560 2991 0 0 0 72 2 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027817310648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027816257784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 14611 0 -1 4202560 95 0 0 0 23 32 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027815205448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011801 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027814151720 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1665.19
Current children cumulated vsize (KiB) 2715132
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/213 15890
/proc/meminfo: memFree=25777320/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2715132 CPUtime=1725.18 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 11157 0 1 0 172462 56 0 0 20 0 19 0 346011274 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 678783 150193 2270 9 0 669476 0
[pid=15833/tid=15834] ppid=15831 vsize=2715132 CPUtime=1721.35 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2955 0 1 0 172098 37 0 0 20 0 19 0 346011274 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027975399824 140027829799120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15836] ppid=15831 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/15833/task/15836/stat : 15836 (java) S 15831 15833 14611 0 -1 4202560 168 0 0 0 20 3 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027959851944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15837] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15837/stat : 15837 (java) S 15831 15833 14611 0 -1 4202560 300 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027958799400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15838] ppid=15831 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/15833/task/15838/stat : 15838 (java) S 15831 15833 14611 0 -1 4202560 82 0 0 0 26 4 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027957746344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15839] ppid=15831 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/15833/task/15839/stat : 15839 (java) S 15831 15833 14611 0 -1 4202560 76 0 0 0 23 3 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027956693800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15840] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15840/stat : 15840 (java) S 15831 15833 14611 0 -1 4202560 95 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027955640744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15841] ppid=15831 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/15833/task/15841/stat : 15841 (java) S 15831 15833 14611 0 -1 4202560 65 0 0 0 24 3 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027954588200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15842] ppid=15831 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/15833/task/15842/stat : 15842 (java) S 15831 15833 14611 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027953535144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15843] ppid=15831 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/15833/task/15843/stat : 15843 (java) S 15831 15833 14611 0 -1 4202560 110 0 0 0 34 4 0 0 20 0 19 0 346011275 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027952482600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15844] ppid=15831 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15844/stat : 15844 (java) S 15831 15833 14611 0 -1 4202560 13 0 0 0 0 3 0 0 20 0 19 0 346011276 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027822574440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15845] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15845/stat : 15845 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027821520760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027820467592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027819416336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 14611 0 -1 4202560 2930 0 0 0 53 0 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027818363192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 14611 0 -1 4202560 2991 0 0 0 72 2 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027817310648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027816257784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=2715132 CPUtime=0.55 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 14611 0 -1 4202560 99 0 0 0 23 32 0 0 20 0 19 0 346011278 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027815205448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011801 2780295168 150193 33554432000 1073741824 1073778376 140736782884400 140027814151720 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1725.18
Current children cumulated vsize (KiB) 2715132
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 15890
/proc/meminfo: memFree=25771748/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2715132 CPUtime=1785.18 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 11161 0 1 0 178460 58 0 0 20 0 19 0 346011274 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 678783 151619 2270 9 0 669476 0
[pid=15833/tid=15834] ppid=15831 vsize=2715132 CPUtime=1781.34 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2955 0 1 0 178096 38 0 0 20 0 19 0 346011274 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027975399824 140027829630584 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15836] ppid=15831 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/15833/task/15836/stat : 15836 (java) S 15831 15833 14611 0 -1 4202560 168 0 0 0 20 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027959851944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15837] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15837/stat : 15837 (java) S 15831 15833 14611 0 -1 4202560 300 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027958799400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15838] ppid=15831 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/15833/task/15838/stat : 15838 (java) S 15831 15833 14611 0 -1 4202560 82 0 0 0 26 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027957746344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15839] ppid=15831 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/15833/task/15839/stat : 15839 (java) S 15831 15833 14611 0 -1 4202560 76 0 0 0 23 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027956693800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15840] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15840/stat : 15840 (java) S 15831 15833 14611 0 -1 4202560 95 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027955640744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15841] ppid=15831 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/15833/task/15841/stat : 15841 (java) S 15831 15833 14611 0 -1 4202560 65 0 0 0 24 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027954588200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15842] ppid=15831 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/15833/task/15842/stat : 15842 (java) S 15831 15833 14611 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027953535144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15843] ppid=15831 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/15833/task/15843/stat : 15843 (java) S 15831 15833 14611 0 -1 4202560 110 0 0 0 34 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027952482600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15844] ppid=15831 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15844/stat : 15844 (java) S 15831 15833 14611 0 -1 4202560 13 0 0 0 0 3 0 0 20 0 19 0 346011276 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027822574440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15845] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15845/stat : 15845 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027821520760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027820467592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027819416336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 14611 0 -1 4202560 2930 0 0 0 53 0 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027818363192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 14611 0 -1 4202560 2991 0 0 0 72 2 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027817310648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027816257784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 14611 0 -1 4202560 103 0 0 0 24 32 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027815205448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011801 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027814151720 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 2715132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.2 s]
/proc/loadavg: 2.03 2.01 2.00 2/193 15893
/proc/meminfo: memFree=26378736/32873648 swapFree=7120/7120
[pid=15833] ppid=15831 vsize=2715132 CPUtime=1800.08 cores=1,3,5,7
/proc/15833/stat : 15833 (java) S 15831 15833 14611 0 -1 4202496 11161 0 1 0 179950 58 0 0 20 0 19 0 346011274 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140736782875536 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/15833/statm: 678783 151619 2270 9 0 669476 0
[pid=15833/tid=15834] ppid=15831 vsize=2715132 CPUtime=1796.24 cores=1,3,5,7
/proc/15833/task/15834/stat : 15834 (java) R 15831 15833 14611 0 -1 4202560 2955 0 1 0 179586 38 0 0 20 0 19 0 346011274 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027975399824 140027829428976 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15836] ppid=15831 vsize=2715132 CPUtime=0.23 cores=1,3,5,7
/proc/15833/task/15836/stat : 15836 (java) S 15831 15833 14611 0 -1 4202560 168 0 0 0 20 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027959851944 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15837] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15837/stat : 15837 (java) S 15831 15833 14611 0 -1 4202560 300 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027958799400 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15838] ppid=15831 vsize=2715132 CPUtime=0.3 cores=1,3,5,7
/proc/15833/task/15838/stat : 15838 (java) S 15831 15833 14611 0 -1 4202560 82 0 0 0 26 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027957746344 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15839] ppid=15831 vsize=2715132 CPUtime=0.26 cores=1,3,5,7
/proc/15833/task/15839/stat : 15839 (java) S 15831 15833 14611 0 -1 4202560 76 0 0 0 23 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027956693800 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15840] ppid=15831 vsize=2715132 CPUtime=0.32 cores=1,3,5,7
/proc/15833/task/15840/stat : 15840 (java) S 15831 15833 14611 0 -1 4202560 95 0 0 0 28 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027955640744 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15841] ppid=15831 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/15833/task/15841/stat : 15841 (java) S 15831 15833 14611 0 -1 4202560 65 0 0 0 24 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027954588200 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15842] ppid=15831 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/15833/task/15842/stat : 15842 (java) S 15831 15833 14611 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027953535144 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15843] ppid=15831 vsize=2715132 CPUtime=0.38 cores=1,3,5,7
/proc/15833/task/15843/stat : 15843 (java) S 15831 15833 14611 0 -1 4202560 110 0 0 0 34 4 0 0 20 0 19 0 346011275 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027952482600 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15844] ppid=15831 vsize=2715132 CPUtime=0.03 cores=1,3,5,7
/proc/15833/task/15844/stat : 15844 (java) S 15831 15833 14611 0 -1 4202560 13 0 0 0 0 3 0 0 20 0 19 0 346011276 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027822574440 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=15833/tid=15845] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15845/stat : 15845 (java) S 15831 15833 14611 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027821520760 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15846] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15846/stat : 15846 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011276 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027820467592 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15847] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15847/stat : 15847 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027819416336 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15848] ppid=15831 vsize=2715132 CPUtime=0.53 cores=1,3,5,7
/proc/15833/task/15848/stat : 15848 (java) S 15831 15833 14611 0 -1 4202560 2930 0 0 0 53 0 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027818363192 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15833/tid=15849] ppid=15831 vsize=2715132 CPUtime=0.74 cores=1,3,5,7
/proc/15833/task/15849/stat : 15849 (java) S 15831 15833 14611 0 -1 4202560 2991 0 0 0 72 2 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027817310648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15850] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15850/stat : 15850 (java) S 15831 15833 14611 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027816257784 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=15833/tid=15851] ppid=15831 vsize=2715132 CPUtime=0.57 cores=1,3,5,7
/proc/15833/task/15851/stat : 15851 (java) S 15831 15833 14611 0 -1 4202560 103 0 0 0 24 33 0 0 20 0 19 0 346011278 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027815205448 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=15833/tid=15853] ppid=15831 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/15833/task/15853/stat : 15853 (java) S 15831 15833 14611 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 346011801 2780295168 151619 33554432000 1073741824 1073778376 140736782884400 140027814151720 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 2715132
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.24
CPU time (s): 1800.82
CPU user time (s): 1799.64
CPU system time (s): 1.18282
CPU usage (%): 100.199
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 1.18282
maximum resident set size= 606644
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11206
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38932
involuntary context switches= 25395
runsolver used 5.82311 second user time and 15.8006 second system time
The end