runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453904-1307194404/watcher-3453904-1307194404 -o /tmp/evaluation-result-3453904-1307194404/solver-3453904-1307194404 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453904-1307194404.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.47 3.82 3.76 3/464 29993
/proc/meminfo: memFree=28289644/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 6052 0 1 0 0 0 0 0 25 0 2 0 909671118 10694979584 5754 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2611079 5767 917 9 0 2602235 0
[pid=29993/tid=29994] ppid=29991 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) R 29991 29993 23545 0 -1 4202560 5448 0 1 0 0 0 0 0 25 0 2 0 909671118 10694979584 6264 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231895184443 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.0250949 s]
/proc/loadavg: 3.47 3.82 3.76 3/464 29993
/proc/meminfo: memFree=28289644/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10454868 CPUtime=0.02 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 10331 0 1 0 1 1 0 0 25 0 10 0 909671118 10705784832 10030 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2613717 10038 1248 9 0 2604465 0
[pid=29993/tid=29994] ppid=29991 vsize=10454868 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) R 29991 29993 23545 0 -1 4202560 9219 0 1 0 0 0 0 0 25 0 10 0 909671118 10705784832 10042 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912504009893 0 4 0 16784584 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868
[startup+0.101079 s]
/proc/loadavg: 3.47 3.82 3.76 3/464 29993
/proc/meminfo: memFree=28289644/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10539824 CPUtime=0.1 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 13114 0 1 0 9 1 0 0 25 0 18 0 909671118 10792779776 12771 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2634956 12771 2092 9 0 2625690 0
[pid=29993/tid=29994] ppid=29991 vsize=10539824 CPUtime=0.09 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) R 29991 29993 23545 0 -1 4202560 11168 0 1 0 8 1 0 0 18 0 18 0 909671118 10792779776 12771 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 47111050443603 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539824
[startup+0.30103 s]
/proc/loadavg: 3.47 3.82 3.76 3/464 29993
/proc/meminfo: memFree=28289644/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10542976 CPUtime=0.48 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 16706 0 1 0 46 2 0 0 25 0 18 0 909671118 10796007424 15577 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2635744 15577 2209 9 0 2626478 0
[pid=29993/tid=29994] ppid=29991 vsize=10542976 CPUtime=0.28 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) R 29991 29993 23545 0 -1 4202560 12897 0 1 0 27 1 0 0 18 0 18 0 909671118 10796007424 15577 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10542976
[startup+0.700955 s]
/proc/loadavg: 3.47 3.82 3.76 3/464 29993
/proc/meminfo: memFree=28289644/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10553328 CPUtime=1.63 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 35691 0 1 0 159 4 0 0 25 0 18 0 909671118 10806607872 30295 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2638332 30298 2228 9 0 2629066 0
[pid=29993/tid=29994] ppid=29991 vsize=10553328 CPUtime=0.68 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) R 29991 29993 23545 0 -1 4202560 23172 0 1 0 66 2 0 0 18 0 18 0 909671118 10806607872 30300 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912505557644 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10553328
[startup+1.50084 s]
/proc/loadavg: 3.47 3.82 3.76 4/482 30011
/proc/meminfo: memFree=27806412/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10557440 CPUtime=2.82 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 94262 0 1 0 270 12 0 0 25 0 19 0 909671118 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2639360 88865 2236 9 0 2630094 0
[pid=29993/tid=29994] ppid=29991 vsize=10557440 CPUtime=1.13 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) S 29991 29993 23545 0 -1 4202560 74395 0 1 0 104 9 0 0 20 0 19 0 909671118 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=29996] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29996/stat : 29996 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29997] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29997/stat : 29997 (java) S 29991 29993 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29998] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29998/stat : 29998 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29999] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29999/stat : 29999 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30000] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30000/stat : 30000 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30001] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30001/stat : 30001 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30002] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30002/stat : 30002 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30003] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30003/stat : 30003 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30004] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30004/stat : 30004 (java) S 29991 29993 23545 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 909671121 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 0 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30005] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30005/stat : 30005 (java) S 29991 29993 23545 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909671121 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30006] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30006/stat : 30006 (java) S 29991 29993 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909671121 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30007] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30007/stat : 30007 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671123 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907314097 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30008] ppid=29991 vsize=10557440 CPUtime=0.63 cores=1,3,5,7
/proc/29993/task/30008/stat : 30008 (java) S 29991 29993 23545 0 -1 4202560 5464 0 0 0 63 0 0 0 21 0 19 0 909671123 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30009] ppid=29991 vsize=10557440 CPUtime=0.62 cores=1,3,5,7
/proc/29993/task/30009/stat : 30009 (java) S 29991 29993 23545 0 -1 4202560 5960 0 0 0 62 0 0 0 15 0 19 0 909671123 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=30010] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30010/stat : 30010 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671123 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30011] ppid=29991 vsize=10557440 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30011/stat : 30011 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909671123 10810818560 88865 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 10557440
[startup+3.10154 s]
/proc/loadavg: 3.47 3.82 3.76 3/483 30018
/proc/meminfo: memFree=27542756/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10559636 CPUtime=5.52 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 165976 0 1 0 531 21 0 0 25 0 19 0 909671118 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2639909 159385 2244 9 0 2630643 0
[pid=29993/tid=29994] ppid=29991 vsize=10559636 CPUtime=1.26 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) S 29991 29993 23545 0 -1 4202560 75410 0 1 0 117 9 0 0 17 0 19 0 909671118 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=29996] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29996/stat : 29996 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29997] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29997/stat : 29997 (java) S 29991 29993 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29998] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29998/stat : 29998 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29999] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29999/stat : 29999 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30000] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30000/stat : 30000 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30001] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30001/stat : 30001 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30002] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30002/stat : 30002 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30003] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30003/stat : 30003 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671120 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30004] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30004/stat : 30004 (java) S 29991 29993 23545 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 909671121 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 0 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30005] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30005/stat : 30005 (java) S 29991 29993 23545 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 909671121 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30006] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30006/stat : 30006 (java) S 29991 29993 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 909671121 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30007] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30007/stat : 30007 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671123 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907314097 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30008] ppid=29991 vsize=10559636 CPUtime=1.02 cores=1,3,5,7
/proc/29993/task/30008/stat : 30008 (java) S 29991 29993 23545 0 -1 4202560 7017 0 0 0 101 1 0 0 15 0 19 0 909671123 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30009] ppid=29991 vsize=10559636 CPUtime=0.99 cores=1,3,5,7
/proc/29993/task/30009/stat : 30009 (java) S 29991 29993 23545 0 -1 4202560 6287 0 0 0 99 0 0 0 16 0 19 0 909671123 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30010] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30010/stat : 30010 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 909671123 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30011] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30011/stat : 30011 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 909671123 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30015] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30015/stat : 30015 (java) S 29991 29993 23545 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 909671236 10813067264 159385 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 10559636
[startup+6.30085 s]
/proc/loadavg: 3.51 3.82 3.77 5/486 30027
/proc/meminfo: memFree=26674428/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10559636 CPUtime=11.65 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 400964 0 1 0 1122 43 0 0 25 0 22 0 909671118 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2639909 394355 2244 9 0 2630643 0
[pid=29993/tid=29994] ppid=29991 vsize=10559636 CPUtime=1.3 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) S 29991 29993 23545 0 -1 4202560 75740 0 1 0 121 9 0 0 15 0 22 0 909671118 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29996] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29996/stat : 29996 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29997] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29997/stat : 29997 (java) S 29991 29993 23545 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29998] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29998/stat : 29998 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29999] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/29999/stat : 29999 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30000] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30000/stat : 30000 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30001] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30001/stat : 30001 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30002] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30002/stat : 30002 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30003] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30003/stat : 30003 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671120 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30004] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30004/stat : 30004 (java) S 29991 29993 23545 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 22 0 909671121 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 0 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30005] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30005/stat : 30005 (java) S 29991 29993 23545 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 909671121 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30006] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30006/stat : 30006 (java) S 29991 29993 23545 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 909671121 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30007] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30007/stat : 30007 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907314097 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30008] ppid=29991 vsize=10559636 CPUtime=1.09 cores=1,3,5,7
/proc/29993/task/30008/stat : 30008 (java) S 29991 29993 23545 0 -1 4202560 7037 0 0 0 108 1 0 0 16 0 22 0 909671123 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30009] ppid=29991 vsize=10559636 CPUtime=1.06 cores=1,3,5,7
/proc/29993/task/30009/stat : 30009 (java) S 29991 29993 23545 0 -1 4202560 6298 0 0 0 106 0 0 0 15 0 22 0 909671123 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30010] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30010/stat : 30010 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 394355 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
################
# More data... #
################
/proc/29993/task/29998/stat : 29998 (java) S 29991 29993 23545 0 -1 4202560 20576 0 0 0 77 2 0 0 16 0 22 0 909671120 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29999] ppid=29991 vsize=10559636 CPUtime=0.85 cores=1,3,5,7
/proc/29993/task/29999/stat : 29999 (java) S 29991 29993 23545 0 -1 4202560 19000 0 0 0 83 2 0 0 15 0 22 0 909671120 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30000] ppid=29991 vsize=10559636 CPUtime=0.68 cores=1,3,5,7
/proc/29993/task/30000/stat : 30000 (java) S 29991 29993 23545 0 -1 4202560 16782 0 0 0 67 1 0 0 15 0 22 0 909671120 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30001] ppid=29991 vsize=10559636 CPUtime=0.82 cores=1,3,5,7
/proc/29993/task/30001/stat : 30001 (java) S 29991 29993 23545 0 -1 4202560 24024 0 0 0 79 3 0 0 16 0 22 0 909671120 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30002] ppid=29991 vsize=10559636 CPUtime=0.96 cores=1,3,5,7
/proc/29993/task/30002/stat : 30002 (java) S 29991 29993 23545 0 -1 4202560 34892 0 0 0 92 4 0 0 15 0 22 0 909671120 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30003] ppid=29991 vsize=10559636 CPUtime=0.98 cores=1,3,5,7
/proc/29993/task/30003/stat : 30003 (java) S 29991 29993 23545 0 -1 4202560 20525 0 0 0 95 3 0 0 16 0 22 0 909671120 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30004] ppid=29991 vsize=10559636 CPUtime=24.57 cores=1,3,5,7
/proc/29993/task/30004/stat : 30004 (java) S 29991 29993 23545 0 -1 4202560 81466 0 0 0 2449 8 0 0 15 0 22 0 909671121 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 0 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=30005] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30005/stat : 30005 (java) S 29991 29993 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909671121 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30006] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30006/stat : 30006 (java) S 29991 29993 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671121 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30007] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30007/stat : 30007 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907314097 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30008] ppid=29991 vsize=10559636 CPUtime=1.36 cores=1,3,5,7
/proc/29993/task/30008/stat : 30008 (java) S 29991 29993 23545 0 -1 4202560 7064 0 0 0 135 1 0 0 15 0 22 0 909671123 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30009] ppid=29991 vsize=10559636 CPUtime=1.14 cores=1,3,5,7
/proc/29993/task/30009/stat : 30009 (java) S 29991 29993 23545 0 -1 4202560 6302 0 0 0 114 0 0 0 16 0 22 0 909671123 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30010] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30010/stat : 30010 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30011] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30011/stat : 30011 (java) S 29991 29993 23545 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 22 0 909671123 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30027] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30027/stat : 30027 (java) S 29991 29993 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671451 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30032] ppid=29991 vsize=10559636 CPUtime=756.3 cores=1,3,5,7
/proc/29993/task/30032/stat : 30032 (java) R 29991 29993 23545 0 -1 4202560 12 0 0 0 75630 0 0 0 25 0 22 0 909675333 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912505966112 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29993/tid=30033] ppid=29991 vsize=10559636 CPUtime=756.29 cores=1,3,5,7
/proc/29993/task/30033/stat : 30033 (java) R 29991 29993 23545 0 -1 4202560 89594 0 0 0 75621 8 0 0 25 0 22 0 909675333 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912506119017 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29993/tid=30034] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30034/stat : 30034 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909675333 10813067264 1002017 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1621.6
Current children cumulated vsize (KiB) 10559636
[startup+882.301 s]
/proc/loadavg: 4.07 3.99 3.88 5/486 30063
/proc/meminfo: memFree=21936532/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10559636 CPUtime=1741.09 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 1013877 0 1 0 174000 109 0 0 25 0 22 0 909671118 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2639909 1002050 2269 9 0 2630643 0
[pid=29993/tid=29994] ppid=29991 vsize=10559636 CPUtime=1.34 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) S 29991 29993 23545 0 -1 4202560 75771 0 1 0 125 9 0 0 15 0 22 0 909671118 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29996] ppid=29991 vsize=10559636 CPUtime=0.66 cores=1,3,5,7
/proc/29993/task/29996/stat : 29996 (java) S 29991 29993 23545 0 -1 4202560 12251 0 0 0 65 1 0 0 16 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29997] ppid=29991 vsize=10559636 CPUtime=0.89 cores=1,3,5,7
/proc/29993/task/29997/stat : 29997 (java) S 29991 29993 23545 0 -1 4202560 28982 0 0 0 86 3 0 0 15 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=29998] ppid=29991 vsize=10559636 CPUtime=0.84 cores=1,3,5,7
/proc/29993/task/29998/stat : 29998 (java) S 29991 29993 23545 0 -1 4202560 20576 0 0 0 82 2 0 0 15 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=29999] ppid=29991 vsize=10559636 CPUtime=0.88 cores=1,3,5,7
/proc/29993/task/29999/stat : 29999 (java) S 29991 29993 23545 0 -1 4202560 19000 0 0 0 86 2 0 0 16 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30000] ppid=29991 vsize=10559636 CPUtime=0.75 cores=1,3,5,7
/proc/29993/task/30000/stat : 30000 (java) S 29991 29993 23545 0 -1 4202560 16783 0 0 0 74 1 0 0 16 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=30001] ppid=29991 vsize=10559636 CPUtime=0.85 cores=1,3,5,7
/proc/29993/task/30001/stat : 30001 (java) S 29991 29993 23545 0 -1 4202560 24024 0 0 0 82 3 0 0 16 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30002] ppid=29991 vsize=10559636 CPUtime=1.04 cores=1,3,5,7
/proc/29993/task/30002/stat : 30002 (java) S 29991 29993 23545 0 -1 4202560 34908 0 0 0 100 4 0 0 15 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30003] ppid=29991 vsize=10559636 CPUtime=1.04 cores=1,3,5,7
/proc/29993/task/30003/stat : 30003 (java) S 29991 29993 23545 0 -1 4202560 20525 0 0 0 101 3 0 0 15 0 22 0 909671120 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30004] ppid=29991 vsize=10559636 CPUtime=25.25 cores=1,3,5,7
/proc/29993/task/30004/stat : 30004 (java) S 29991 29993 23545 0 -1 4202560 81470 0 0 0 2517 8 0 0 15 0 22 0 909671121 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 0 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=30005] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30005/stat : 30005 (java) S 29991 29993 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909671121 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30006] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30006/stat : 30006 (java) S 29991 29993 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671121 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30007] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30007/stat : 30007 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907314097 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30008] ppid=29991 vsize=10559636 CPUtime=1.36 cores=1,3,5,7
/proc/29993/task/30008/stat : 30008 (java) S 29991 29993 23545 0 -1 4202560 7064 0 0 0 135 1 0 0 15 0 22 0 909671123 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30009] ppid=29991 vsize=10559636 CPUtime=1.14 cores=1,3,5,7
/proc/29993/task/30009/stat : 30009 (java) S 29991 29993 23545 0 -1 4202560 6302 0 0 0 114 0 0 0 16 0 22 0 909671123 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30010] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30010/stat : 30010 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30011] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30011/stat : 30011 (java) S 29991 29993 23545 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 22 0 909671123 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30027] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30027/stat : 30027 (java) S 29991 29993 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671451 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30032] ppid=29991 vsize=10559636 CPUtime=815.51 cores=1,3,5,7
/proc/29993/task/30032/stat : 30032 (java) R 29991 29993 23545 0 -1 4202560 15 0 0 0 81551 0 0 0 25 0 22 0 909675333 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912506149190 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29993/tid=30033] ppid=29991 vsize=10559636 CPUtime=815.5 cores=1,3,5,7
/proc/29993/task/30033/stat : 30033 (java) R 29991 29993 23545 0 -1 4202560 89595 0 0 0 81542 8 0 0 25 0 22 0 909675333 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912505569492 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29993/tid=30034] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30034/stat : 30034 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909675333 10813067264 1002050 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1741.09
Current children cumulated vsize (KiB) 10559636
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+912.102 s]
/proc/loadavg: 4.04 3.99 3.88 3/459 30084
/proc/meminfo: memFree=25789736/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=10559636 CPUtime=1800.14 cores=1,3,5,7
/proc/29993/stat : 29993 (java) S 29991 29993 23545 0 -1 4202496 1013907 0 1 0 179905 109 0 0 25 0 22 0 909671118 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 2639909 1002076 2269 9 0 2630643 0
[pid=29993/tid=29994] ppid=29991 vsize=10559636 CPUtime=1.34 cores=1,3,5,7
/proc/29993/task/29994/stat : 29994 (java) S 29991 29993 23545 0 -1 4202560 75771 0 1 0 125 9 0 0 15 0 22 0 909671118 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=29996] ppid=29991 vsize=10559636 CPUtime=0.68 cores=1,3,5,7
/proc/29993/task/29996/stat : 29996 (java) S 29991 29993 23545 0 -1 4202560 12251 0 0 0 67 1 0 0 16 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=29997] ppid=29991 vsize=10559636 CPUtime=0.92 cores=1,3,5,7
/proc/29993/task/29997/stat : 29997 (java) S 29991 29993 23545 0 -1 4202560 28982 0 0 0 89 3 0 0 16 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=29998] ppid=29991 vsize=10559636 CPUtime=0.87 cores=1,3,5,7
/proc/29993/task/29998/stat : 29998 (java) S 29991 29993 23545 0 -1 4202560 20578 0 0 0 85 2 0 0 16 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=29999] ppid=29991 vsize=10559636 CPUtime=0.92 cores=1,3,5,7
/proc/29993/task/29999/stat : 29999 (java) S 29991 29993 23545 0 -1 4202560 19000 0 0 0 90 2 0 0 15 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30000] ppid=29991 vsize=10559636 CPUtime=0.76 cores=1,3,5,7
/proc/29993/task/30000/stat : 30000 (java) S 29991 29993 23545 0 -1 4202560 16783 0 0 0 75 1 0 0 15 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30001] ppid=29991 vsize=10559636 CPUtime=0.9 cores=1,3,5,7
/proc/29993/task/30001/stat : 30001 (java) S 29991 29993 23545 0 -1 4202560 24024 0 0 0 87 3 0 0 16 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30002] ppid=29991 vsize=10559636 CPUtime=1.04 cores=1,3,5,7
/proc/29993/task/30002/stat : 30002 (java) S 29991 29993 23545 0 -1 4202560 34908 0 0 0 100 4 0 0 15 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 7 0 0 0
[pid=29993/tid=30003] ppid=29991 vsize=10559636 CPUtime=1.07 cores=1,3,5,7
/proc/29993/task/30003/stat : 30003 (java) S 29991 29993 23545 0 -1 4202560 20549 0 0 0 104 3 0 0 16 0 22 0 909671120 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30004] ppid=29991 vsize=10559636 CPUtime=25.93 cores=1,3,5,7
/proc/29993/task/30004/stat : 30004 (java) S 29991 29993 23545 0 -1 4202560 81470 0 0 0 2585 8 0 0 15 0 22 0 909671121 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 0 0 16800975 18446604464488042880 0 0 -1 3 0 0 0
[pid=29993/tid=30005] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30005/stat : 30005 (java) S 29991 29993 23545 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 909671121 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30006] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30006/stat : 30006 (java) S 29991 29993 23545 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 909671121 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30007] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30007/stat : 30007 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907314097 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30008] ppid=29991 vsize=10559636 CPUtime=1.36 cores=1,3,5,7
/proc/29993/task/30008/stat : 30008 (java) S 29991 29993 23545 0 -1 4202560 7064 0 0 0 135 1 0 0 15 0 22 0 909671123 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30009] ppid=29991 vsize=10559636 CPUtime=1.14 cores=1,3,5,7
/proc/29993/task/30009/stat : 30009 (java) S 29991 29993 23545 0 -1 4202560 6302 0 0 0 114 0 0 0 16 0 22 0 909671123 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30010] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30010/stat : 30010 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 909671123 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907306393 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30011] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30011/stat : 30011 (java) S 29991 29993 23545 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 22 0 909671123 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 1 0 0 0
[pid=29993/tid=30027] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30027/stat : 30027 (java) S 29991 29993 23545 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 22 0 909671451 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
[pid=29993/tid=30032] ppid=29991 vsize=10559636 CPUtime=844.59 cores=1,3,5,7
/proc/29993/task/30032/stat : 30032 (java) R 29991 29993 23545 0 -1 4202560 16 0 0 0 84459 0 0 0 25 0 22 0 909675333 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912505965992 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=29993/tid=30033] ppid=29991 vsize=10559636 CPUtime=844.57 cores=1,3,5,7
/proc/29993/task/30033/stat : 30033 (java) R 29991 29993 23545 0 -1 4202560 89596 0 0 0 84449 8 0 0 25 0 22 0 909675333 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 46912506250053 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=29993/tid=30034] ppid=29991 vsize=10559636 CPUtime=0 cores=1,3,5,7
/proc/29993/task/30034/stat : 30034 (java) S 29991 29993 23545 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 909675333 10813067264 1002076 33554432000 1073741824 1073778376 140736349538304 18446744073709551615 231907307008 0 4 0 16800975 18446604464488042880 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 10559636
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+912.224 s]
/proc/loadavg: 4.04 3.99 3.88 3/459 30084
/proc/meminfo: memFree=25789736/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/29993/stat : 29993 (java) Z 29991 29993 23545 0 -1 4203548 1013937 0 1 0 179910 117 0 0 17 0 2 0 909671118 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 0 0 0 0 0 0 0
[pid=29993/tid=30033] ppid=29991 vsize=0 CPUtime=844.65 cores=1,3,5,7
/proc/29993/task/30033/stat : 30033 (java) R 29991 29993 23545 0 -1 4203588 89596 0 0 0 84450 15 0 0 25 0 2 0 909675333 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0
[startup+912.301 s]
/proc/loadavg: 4.04 3.99 3.88 3/459 30084
/proc/meminfo: memFree=25789736/32950928 swapFree=52246700/67111528
[pid=29993] ppid=29991 vsize=0 CPUtime=1800.35 cores=1,3,5,7
/proc/29993/stat : 29993 (java) Z 29991 29993 23545 0 -1 4203548 1013937 0 1 0 179910 125 0 0 17 0 2 0 909671118 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/29993/statm: 0 0 0 0 0 0 0
[pid=29993/tid=30033] ppid=29991 vsize=0 CPUtime=844.73 cores=1,3,5,7
/proc/29993/task/30033/stat : 30033 (java) R 29991 29993 23545 0 -1 4203588 89596 0 0 0 84450 23 0 0 25 0 2 0 909675333 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 912.306
CPU time (s): 1800.36
CPU user time (s): 1799.1
CPU system time (s): 1.25681
CPU usage (%): 197.342
Max. virtual memory (cumulated for all children) (KiB): 10559636
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.25681
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1013937
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22999
involuntary context switches= 9321
runsolver used 4.16137 second user time and 9.82351 second system time
The end