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-3687578-1337872303/watcher-3687578-1337872303 -o /tmp/evaluation-result-3687578-1337872303/solver-3687578-1337872303 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687578-1337872303.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.92 2.91 1.38 4/197 30883
/proc/meminfo: memFree=27379248/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/30883/stat : 30883 (java) R 30881 30883 30487 0 -1 4202496 251 0 0 0 0 0 0 0 20 0 1 0 253355778 8192 1 33554432000 0 0 0 140737013436456 214537235895 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2 1 0 0 0 2 0
[startup+0.085145 s]
/proc/loadavg: 3.92 2.91 1.38 4/197 30883
/proc/meminfo: memFree=27379248/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 3917 0 1 0 6 1 0 0 20 0 18 0 253355778 9787813888 5122 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2389603 5122 2035 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.100244 s]
/proc/loadavg: 3.92 2.91 1.38 4/197 30883
/proc/meminfo: memFree=27379248/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 4325 0 1 0 8 1 0 0 20 0 18 0 253355778 9787813888 6040 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2389603 6042 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300157 s]
/proc/loadavg: 3.92 2.91 1.38 4/197 30883
/proc/meminfo: memFree=27379248/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 6861 0 1 0 45 4 0 0 20 0 19 0 253355778 10060460032 9750 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 9750 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9824668
[startup+0.700142 s]
/proc/loadavg: 3.92 2.91 1.38 4/197 30883
/proc/meminfo: memFree=27379248/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=0.49 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 6861 0 1 0 45 4 0 0 20 0 19 0 253355778 10060460032 9750 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 9750 2229 9 0 2446860 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9824668
[startup+1.50063 s]
/proc/loadavg: 3.92 2.91 1.38 3/216 30908
/proc/meminfo: memFree=27342268/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=1.56 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 13834 0 1 0 149 7 0 0 20 0 22 0 253355778 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 17958 2240 9 0 2446860 0
[pid=30883/tid=30885] ppid=30881 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/30883/task/30885/stat : 30885 (java) S 30881 30883 30487 0 -1 4202560 2452 0 1 0 20 2 0 0 20 0 22 0 253355779 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656687019000 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30886] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30886/stat : 30886 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656648510120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30887] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30887/stat : 30887 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656647457576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30888] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30888/stat : 30888 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656646405032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30889] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30889/stat : 30889 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656645352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30890] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30890/stat : 30890 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656644298920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30891] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30891/stat : 30891 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656643246376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30892] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30892/stat : 30892 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656642193832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30893] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30893/stat : 30893 (java) S 30881 30883 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656641141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30894] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30894/stat : 30894 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656510282344 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30895] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30895/stat : 30895 (java) S 30881 30883 30487 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656509228664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30896] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30896/stat : 30896 (java) S 30881 30883 30487 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656508176008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30897] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30897/stat : 30897 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656507124752 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30898] ppid=30881 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/30883/task/30898/stat : 30898 (java) R 30881 30883 30487 0 -1 4202560 3510 0 0 0 36 0 0 0 20 0 22 0 253355784 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656506071096 139656689653228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30899] ppid=30881 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/30883/task/30899/stat : 30899 (java) R 30881 30883 30487 0 -1 4202560 6547 0 0 0 37 1 0 0 20 0 22 0 253355784 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656505005832 139656691135190 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30900] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30900/stat : 30900 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656503966200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30901] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30901/stat : 30901 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139656502913864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30904] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30904/stat : 30904 (java) S 30881 30883 30487 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 253355803 10060460032 17958 33554432000 1073741824 1073778376 140736992562368 139655357916712 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 9824668
[startup+3.10066 s]
/proc/loadavg: 3.92 2.91 1.38 3/216 30911
/proc/meminfo: memFree=27269044/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=5.32 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 27186 0 1 0 519 13 0 0 20 0 22 0 253355778 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 48375 2278 9 0 2446860 0
[pid=30883/tid=30885] ppid=30881 vsize=9824668 CPUtime=0.22 cores=1,3,5,7
/proc/30883/task/30885/stat : 30885 (java) S 30881 30883 30487 0 -1 4202560 2452 0 1 0 20 2 0 0 20 0 22 0 253355779 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656687019000 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30886] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30886/stat : 30886 (java) S 30881 30883 30487 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656648510120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30887] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30887/stat : 30887 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656647457576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30888] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30888/stat : 30888 (java) S 30881 30883 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656646405032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30889] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30889/stat : 30889 (java) S 30881 30883 30487 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656645352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30890] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30890/stat : 30890 (java) S 30881 30883 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656644298920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30891] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30891/stat : 30891 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656643246376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30892] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30892/stat : 30892 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656642193832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30893] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30893/stat : 30893 (java) S 30881 30883 30487 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656641141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30894] ppid=30881 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/30883/task/30894/stat : 30894 (java) S 30881 30883 30487 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 253355781 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656510282344 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30895] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30895/stat : 30895 (java) S 30881 30883 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656509228664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30896] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30896/stat : 30896 (java) S 30881 30883 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656508176008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30897] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30897/stat : 30897 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656507124752 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30898] ppid=30881 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/30883/task/30898/stat : 30898 (java) S 30881 30883 30487 0 -1 4202560 11530 0 0 0 86 2 0 0 20 0 22 0 253355784 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656506071096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30899] ppid=30881 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/30883/task/30899/stat : 30899 (java) S 30881 30883 30487 0 -1 4202560 11753 0 0 0 86 2 0 0 20 0 22 0 253355784 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656505018552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30900] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30900/stat : 30900 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656503966200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30901] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30901/stat : 30901 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656502913864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30911] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30911/stat : 30911 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253355904 10060460032 48375 33554432000 1073741824 1073778376 140736992562368 139656500807080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 9824668
[startup+6.30081 s]
/proc/loadavg: 3.93 2.92 1.39 5/219 30917
/proc/meminfo: memFree=27158328/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=11.69 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 27360 0 1 0 1153 16 0 0 20 0 22 0 253355778 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 57049 2279 9 0 2446860 0
[pid=30883/tid=30885] ppid=30881 vsize=9824668 CPUtime=0.23 cores=1,3,5,7
/proc/30883/task/30885/stat : 30885 (java) S 30881 30883 30487 0 -1 4202560 2453 0 1 0 21 2 0 0 20 0 22 0 253355779 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656687019000 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30886] ppid=30881 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30883/task/30886/stat : 30886 (java) S 30881 30883 30487 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656648510120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30887] ppid=30881 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/30883/task/30887/stat : 30887 (java) S 30881 30883 30487 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656647457576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30888] ppid=30881 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/30883/task/30888/stat : 30888 (java) S 30881 30883 30487 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656646405032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30889] ppid=30881 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/30883/task/30889/stat : 30889 (java) S 30881 30883 30487 0 -1 4202560 23 0 0 0 2 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656645352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30890] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30890/stat : 30890 (java) S 30881 30883 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656644298920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30891] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30891/stat : 30891 (java) S 30881 30883 30487 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656643246376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30892] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30892/stat : 30892 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656642193832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30893] ppid=30881 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/30883/task/30893/stat : 30893 (java) S 30881 30883 30487 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253355780 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656641141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30894] ppid=30881 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/30883/task/30894/stat : 30894 (java) S 30881 30883 30487 0 -1 4202560 44 0 0 0 22 2 0 0 20 0 22 0 253355781 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656510282344 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30895] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30895/stat : 30895 (java) S 30881 30883 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656509228664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30896] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30896/stat : 30896 (java) S 30881 30883 30487 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656508176008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30897] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30897/stat : 30897 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656507124752 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30898] ppid=30881 vsize=9824668 CPUtime=1.06 cores=1,3,5,7
/proc/30883/task/30898/stat : 30898 (java) S 30881 30883 30487 0 -1 4202560 11643 0 0 0 104 2 0 0 20 0 22 0 253355784 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656506071096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30899] ppid=30881 vsize=9824668 CPUtime=1.07 cores=1,3,5,7
/proc/30883/task/30899/stat : 30899 (java) S 30881 30883 30487 0 -1 4202560 11753 0 0 0 105 2 0 0 20 0 22 0 253355784 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656505018552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30900] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30900/stat : 30900 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656503966200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30901] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30901/stat : 30901 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656502913864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30911] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30911/stat : 30911 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253355904 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656500807080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30915] ppid=30881 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/30883/task/30915/stat : 30915 (java) R 30881 30883 30487 0 -1 4202560 4 0 0 0 184 0 0 0 20 0 22 0 253356204 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139656501858528 139656516174539 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30916] ppid=30881 vsize=9824668 CPUtime=1.84 cores=1,3,5,7
/proc/30883/task/30916/stat : 30916 (java) R 30881 30883 30487 0 -1 4202560 6 0 0 0 184 0 0 0 20 0 22 0 253356204 10060460032 57049 33554432000 1073741824 1073778376 140736992562368 139655356862344 139656516238105 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
################
# More data... #
################
[pid=30883/tid=30921] ppid=30881 vsize=9824668 CPUtime=689.69 cores=1,3,5,7
/proc/30883/task/30921/stat : 30921 (java) R 30881 30883 30487 0 -1 4202560 62 0 0 0 68957 12 0 0 20 0 22 0 253359192 10060460032 713970 33554432000 1073741824 1073778376 140736992562368 139655356862512 139656516056201 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30922] ppid=30881 vsize=9824668 CPUtime=689.69 cores=1,3,5,7
/proc/30883/task/30922/stat : 30922 (java) R 30881 30883 30487 0 -1 4202560 782 0 0 0 68951 18 0 0 20 0 22 0 253359192 10060460032 713970 33554432000 1073741824 1073778376 140736992562368 139656501858560 139656516237930 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30923] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30923/stat : 30923 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253359192 10060460032 713970 33554432000 1073741824 1073778376 140736992562368 139655357916072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1561.08
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.96 3.81 2.89 5/219 31013
/proc/meminfo: memFree=24386692/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=1676.47 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 41032 0 1 0 167484 163 0 0 20 0 22 0 253355778 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 721151 2280 9 0 2446860 0
[pid=30883/tid=30885] ppid=30881 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/30883/task/30885/stat : 30885 (java) S 30881 30883 30487 0 -1 4202560 2499 0 1 0 23 3 0 0 20 0 22 0 253355779 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656687019000 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30886] ppid=30881 vsize=9824668 CPUtime=3.79 cores=1,3,5,7
/proc/30883/task/30886/stat : 30886 (java) S 30881 30883 30487 0 -1 4202560 1128 0 0 0 369 10 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656648510120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30887] ppid=30881 vsize=9824668 CPUtime=3.52 cores=1,3,5,7
/proc/30883/task/30887/stat : 30887 (java) S 30881 30883 30487 0 -1 4202560 1119 0 0 0 341 11 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656647457576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30888] ppid=30881 vsize=9824668 CPUtime=3.4 cores=1,3,5,7
/proc/30883/task/30888/stat : 30888 (java) S 30881 30883 30487 0 -1 4202560 973 0 0 0 330 10 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656646405032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30889] ppid=30881 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/30883/task/30889/stat : 30889 (java) S 30881 30883 30487 0 -1 4202560 671 0 0 0 346 10 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656645352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30890] ppid=30881 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/30883/task/30890/stat : 30890 (java) S 30881 30883 30487 0 -1 4202560 1773 0 0 0 337 10 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656644298920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30891] ppid=30881 vsize=9824668 CPUtime=3.64 cores=1,3,5,7
/proc/30883/task/30891/stat : 30891 (java) S 30881 30883 30487 0 -1 4202560 940 0 0 0 354 10 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656643246376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30892] ppid=30881 vsize=9824668 CPUtime=3.37 cores=1,3,5,7
/proc/30883/task/30892/stat : 30892 (java) S 30881 30883 30487 0 -1 4202560 780 0 0 0 327 10 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656642193832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30893] ppid=30881 vsize=9824668 CPUtime=3.56 cores=1,3,5,7
/proc/30883/task/30893/stat : 30893 (java) S 30881 30883 30487 0 -1 4202560 921 0 0 0 345 11 0 0 20 0 22 0 253355780 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656641141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30894] ppid=30881 vsize=9824668 CPUtime=100.48 cores=1,3,5,7
/proc/30883/task/30894/stat : 30894 (java) S 30881 30883 30487 0 -1 4202560 3854 0 0 0 10016 32 0 0 20 0 22 0 253355781 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656510282344 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30895] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30895/stat : 30895 (java) S 30881 30883 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656509228664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30896] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30896/stat : 30896 (java) S 30881 30883 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656508176008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30897] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30897/stat : 30897 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656507124752 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30898] ppid=30881 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/30883/task/30898/stat : 30898 (java) S 30881 30883 30487 0 -1 4202560 12095 0 0 0 119 2 0 0 20 0 22 0 253355784 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656506071096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30899] ppid=30881 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/30883/task/30899/stat : 30899 (java) S 30881 30883 30487 0 -1 4202560 11802 0 0 0 168 3 0 0 20 0 22 0 253355784 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656505018552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30900] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30900/stat : 30900 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656503966200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30901] ppid=30881 vsize=9824668 CPUtime=0.34 cores=1,3,5,7
/proc/30883/task/30901/stat : 30901 (java) S 30881 30883 30487 0 -1 4202560 51 0 0 0 13 21 0 0 20 0 22 0 253355784 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656502913864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30911] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30911/stat : 30911 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253355904 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656500807080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30921] ppid=30881 vsize=9824668 CPUtime=743.6 cores=1,3,5,7
/proc/30883/task/30921/stat : 30921 (java) R 30881 30883 30487 0 -1 4202560 66 0 0 0 74347 13 0 0 20 0 22 0 253359192 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139655356862512 139656516056018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30922] ppid=30881 vsize=9824668 CPUtime=743.62 cores=1,3,5,7
/proc/30883/task/30922/stat : 30922 (java) R 30881 30883 30487 0 -1 4202560 787 0 0 0 74343 19 0 0 20 0 22 0 253359192 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139656501856480 139656516230339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30923] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30923/stat : 30923 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253359192 10060460032 721151 33554432000 1073741824 1073778376 140736992562368 139655357916072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1676.47
Current children cumulated vsize (KiB) 9824668
[startup+942.301 s]
/proc/loadavg: 3.54 3.72 2.91 4/220 31017
/proc/meminfo: memFree=24317804/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=1788.32 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 42474 0 1 0 178664 168 0 0 20 0 22 0 253355778 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 735765 2280 9 0 2446860 0
[pid=30883/tid=30885] ppid=30881 vsize=9824668 CPUtime=0.26 cores=1,3,5,7
/proc/30883/task/30885/stat : 30885 (java) S 30881 30883 30487 0 -1 4202560 2502 0 1 0 23 3 0 0 20 0 22 0 253355779 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656687019000 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30886] ppid=30881 vsize=9824668 CPUtime=4.01 cores=1,3,5,7
/proc/30883/task/30886/stat : 30886 (java) S 30881 30883 30487 0 -1 4202560 1130 0 0 0 391 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656648510120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30887] ppid=30881 vsize=9824668 CPUtime=3.81 cores=1,3,5,7
/proc/30883/task/30887/stat : 30887 (java) S 30881 30883 30487 0 -1 4202560 1119 0 0 0 370 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656647457576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30888] ppid=30881 vsize=9824668 CPUtime=3.78 cores=1,3,5,7
/proc/30883/task/30888/stat : 30888 (java) S 30881 30883 30487 0 -1 4202560 979 0 0 0 368 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656646405032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30889] ppid=30881 vsize=9824668 CPUtime=3.92 cores=1,3,5,7
/proc/30883/task/30889/stat : 30889 (java) S 30881 30883 30487 0 -1 4202560 671 0 0 0 382 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656645352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30890] ppid=30881 vsize=9824668 CPUtime=3.79 cores=1,3,5,7
/proc/30883/task/30890/stat : 30890 (java) S 30881 30883 30487 0 -1 4202560 1779 0 0 0 368 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656644298920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30891] ppid=30881 vsize=9824668 CPUtime=3.99 cores=1,3,5,7
/proc/30883/task/30891/stat : 30891 (java) S 30881 30883 30487 0 -1 4202560 940 0 0 0 389 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656643246376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30892] ppid=30881 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/30883/task/30892/stat : 30892 (java) S 30881 30883 30487 0 -1 4202560 785 0 0 0 347 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656642193832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30893] ppid=30881 vsize=9824668 CPUtime=3.77 cores=1,3,5,7
/proc/30883/task/30893/stat : 30893 (java) S 30881 30883 30487 0 -1 4202560 921 0 0 0 366 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656641141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30894] ppid=30881 vsize=9824668 CPUtime=109.74 cores=1,3,5,7
/proc/30883/task/30894/stat : 30894 (java) S 30881 30883 30487 0 -1 4202560 5265 0 0 0 10941 33 0 0 20 0 22 0 253355781 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656510282344 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30895] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30895/stat : 30895 (java) S 30881 30883 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656509228664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30896] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30896/stat : 30896 (java) S 30881 30883 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656508176008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30897] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30897/stat : 30897 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656507124752 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30898] ppid=30881 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/30883/task/30898/stat : 30898 (java) S 30881 30883 30487 0 -1 4202560 12095 0 0 0 119 2 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656506071096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30899] ppid=30881 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/30883/task/30899/stat : 30899 (java) S 30881 30883 30487 0 -1 4202560 11802 0 0 0 168 3 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656505018552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30900] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30900/stat : 30900 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656503966200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30901] ppid=30881 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/30883/task/30901/stat : 30901 (java) S 30881 30883 30487 0 -1 4202560 55 0 0 0 14 22 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656502913864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30911] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30911/stat : 30911 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253355904 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656500807080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30921] ppid=30881 vsize=9824668 CPUtime=793.72 cores=1,3,5,7
/proc/30883/task/30921/stat : 30921 (java) R 30881 30883 30487 0 -1 4202560 69 0 0 0 79358 14 0 0 20 0 22 0 253359192 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139655356862512 139656516056120 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30922] ppid=30881 vsize=9824668 CPUtime=793.73 cores=1,3,5,7
/proc/30883/task/30922/stat : 30922 (java) R 30881 30883 30487 0 -1 4202560 789 0 0 0 79353 20 0 0 20 0 22 0 253359192 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656501858544 139656516230522 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30923] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30923/stat : 30923 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253359192 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139655357916072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1788.32
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+948.207 s]
/proc/loadavg: 3.57 3.73 2.92 5/219 31017
/proc/meminfo: memFree=24321588/32873648 swapFree=7104/7104
[pid=30883] ppid=30881 vsize=9824668 CPUtime=1800.14 cores=1,3,5,7
/proc/30883/stat : 30883 (java) S 30881 30883 30487 0 -1 4202496 42474 0 1 0 179846 168 0 0 20 0 22 0 253355778 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 140736992553504 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30883/statm: 2456167 735765 2280 9 0 2446860 0
[pid=30883/tid=30885] ppid=30881 vsize=9824668 CPUtime=0.27 cores=1,3,5,7
/proc/30883/task/30885/stat : 30885 (java) S 30881 30883 30487 0 -1 4202560 2502 0 1 0 23 4 0 0 20 0 22 0 253355779 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656687019000 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30886] ppid=30881 vsize=9824668 CPUtime=4.01 cores=1,3,5,7
/proc/30883/task/30886/stat : 30886 (java) S 30881 30883 30487 0 -1 4202560 1130 0 0 0 391 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656648510120 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30887] ppid=30881 vsize=9824668 CPUtime=3.81 cores=1,3,5,7
/proc/30883/task/30887/stat : 30887 (java) S 30881 30883 30487 0 -1 4202560 1119 0 0 0 370 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656647457576 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30888] ppid=30881 vsize=9824668 CPUtime=3.78 cores=1,3,5,7
/proc/30883/task/30888/stat : 30888 (java) S 30881 30883 30487 0 -1 4202560 979 0 0 0 368 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656646405032 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30889] ppid=30881 vsize=9824668 CPUtime=3.92 cores=1,3,5,7
/proc/30883/task/30889/stat : 30889 (java) S 30881 30883 30487 0 -1 4202560 671 0 0 0 382 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656645352488 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30890] ppid=30881 vsize=9824668 CPUtime=3.79 cores=1,3,5,7
/proc/30883/task/30890/stat : 30890 (java) S 30881 30883 30487 0 -1 4202560 1779 0 0 0 368 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656644298920 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30891] ppid=30881 vsize=9824668 CPUtime=3.99 cores=1,3,5,7
/proc/30883/task/30891/stat : 30891 (java) S 30881 30883 30487 0 -1 4202560 940 0 0 0 389 10 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656643246376 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30892] ppid=30881 vsize=9824668 CPUtime=3.58 cores=1,3,5,7
/proc/30883/task/30892/stat : 30892 (java) S 30881 30883 30487 0 -1 4202560 785 0 0 0 347 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656642193832 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30893] ppid=30881 vsize=9824668 CPUtime=3.77 cores=1,3,5,7
/proc/30883/task/30893/stat : 30893 (java) S 30881 30883 30487 0 -1 4202560 921 0 0 0 366 11 0 0 20 0 22 0 253355780 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656641141288 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30894] ppid=30881 vsize=9824668 CPUtime=109.74 cores=1,3,5,7
/proc/30883/task/30894/stat : 30894 (java) S 30881 30883 30487 0 -1 4202560 5265 0 0 0 10941 33 0 0 20 0 22 0 253355781 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656510282344 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30895] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30895/stat : 30895 (java) S 30881 30883 30487 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656509228664 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30896] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30896/stat : 30896 (java) S 30881 30883 30487 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253355781 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656508176008 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30897] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30897/stat : 30897 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656507124752 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30898] ppid=30881 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/30883/task/30898/stat : 30898 (java) S 30881 30883 30487 0 -1 4202560 12095 0 0 0 119 2 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656506071096 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30883/tid=30899] ppid=30881 vsize=9824668 CPUtime=1.71 cores=1,3,5,7
/proc/30883/task/30899/stat : 30899 (java) S 30881 30883 30487 0 -1 4202560 11802 0 0 0 168 3 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656505018552 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30900] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30900/stat : 30900 (java) S 30881 30883 30487 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656503966200 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30883/tid=30901] ppid=30881 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/30883/task/30901/stat : 30901 (java) S 30881 30883 30487 0 -1 4202560 55 0 0 0 14 22 0 0 20 0 22 0 253355784 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656502913864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30911] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30911/stat : 30911 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253355904 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656500807080 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30921] ppid=30881 vsize=9824668 CPUtime=799.64 cores=1,3,5,7
/proc/30883/task/30921/stat : 30921 (java) R 30881 30883 30487 0 -1 4202560 69 0 0 0 79950 14 0 0 20 0 22 0 253359192 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139655356862512 139656516174126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30883/tid=30922] ppid=30881 vsize=9824668 CPUtime=799.64 cores=1,3,5,7
/proc/30883/task/30922/stat : 30922 (java) R 30881 30883 30487 0 -1 4202560 789 0 0 0 79944 20 0 0 20 0 22 0 253359192 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139656501858544 139656516287052 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30883/tid=30923] ppid=30881 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/30883/task/30923/stat : 30923 (java) S 30881 30883 30487 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253359192 10060460032 735765 33554432000 1073741824 1073778376 140736992562368 139655357916072 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 9824668
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): 948.257
CPU time (s): 1800.74
CPU user time (s): 1798.57
CPU system time (s): 2.17267
CPU usage (%): 189.9
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 2.17267
maximum resident set size= 2943188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42509
page faults= 1
swaps= 0
block input operations= 8
block output operations= 992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 28426
involuntary context switches= 48447
runsolver used 3.43148 second user time and 8.65468 second system time
The end