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-3731024-1338682926/watcher-3731024-1338682926 -o /tmp/evaluation-result-3731024-1338682926/solver-3731024-1338682926 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3731024-1338682926.opb
running on 4 cores: 0,2,4,6
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: 1.93 1.99 1.94 3/194 17067
/proc/meminfo: memFree=28471820/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/17067/stat : 17067 (java) D 17065 17067 15565 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 334417458 9515008 182 33554432000 1073741824 1073778376 140734515653200 140734515644232 233220947637 0 0 4096 0 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/17067/statm: 2323 182 140 9 0 71 0
[startup+0.00790397 s]
/proc/loadavg: 1.93 1.99 1.94 3/194 17067
/proc/meminfo: memFree=28471820/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3568 CPUtime=0 cores=0,2,4,6
/proc/17067/stat : 17067 (java) R 17065 17067 15565 0 -1 4202496 301 0 0 0 0 0 0 0 20 0 1 0 334417458 3653632 49 33554432000 1073741824 1073778376 140733357267360 140733357264488 233211784487 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 1408 52 41 9 0 30 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 3568
[startup+0.100162 s]
/proc/loadavg: 1.93 1.99 1.94 3/194 17067
/proc/meminfo: memFree=28471820/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 4141 0 1 0 6 1 0 0 20 0 18 0 334417458 3028844544 5859 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 739464 5859 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300227 s]
/proc/loadavg: 1.93 1.99 1.94 3/194 17067
/proc/meminfo: memFree=28471820/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=2957856 CPUtime=0.46 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 6768 0 1 0 45 1 0 0 20 0 18 0 334417458 3028844544 10233 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 739464 10233 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.70023 s]
/proc/loadavg: 1.93 1.99 1.94 3/194 17067
/proc/meminfo: memFree=28471820/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3024420 CPUtime=1.28 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 9966 0 1 0 124 4 0 0 20 0 19 0 334417458 3097006080 35094 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 756105 35094 2274 9 0 746526 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 3024420
[startup+1.50061 s]
/proc/loadavg: 1.93 1.99 1.94 3/213 17086
/proc/meminfo: memFree=28339692/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3024420 CPUtime=2.47 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 12329 0 1 0 242 5 0 0 20 0 19 0 334417458 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 756105 37677 2281 9 0 746526 0
[pid=17067/tid=17069] ppid=17065 vsize=3024420 CPUtime=1.46 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (java) R 17065 17067 15565 0 -1 4202560 3107 0 1 0 142 4 0 0 20 0 19 0 334417459 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216160772376 140216003005825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216144198312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17071] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17071/stat : 17071 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216143145768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17072] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17072/stat : 17072 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216142093224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17073] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17073/stat : 17073 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216141040680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17074] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17074/stat : 17074 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216139987112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17075] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17075/stat : 17075 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216138934568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17076] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17076/stat : 17076 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216137882024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17077] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17077/stat : 17077 (java) S 17065 17067 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216136829480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17078] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17078/stat : 17078 (java) S 17065 17067 15565 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216124418664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17079] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17079/stat : 17079 (java) S 17065 17067 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216123364984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17080] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17080/stat : 17080 (java) S 17065 17067 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216122312328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17081] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17081/stat : 17081 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216121261072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17082] ppid=17065 vsize=3024420 CPUtime=0.47 cores=0,2,4,6
/proc/17067/task/17082/stat : 17082 (java) S 17065 17067 15565 0 -1 4202560 4746 0 0 0 45 2 0 0 20 0 19 0 334417465 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216002144312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17083] ppid=17065 vsize=3024420 CPUtime=0.52 cores=0,2,4,6
/proc/17067/task/17083/stat : 17083 (java) S 17065 17067 15565 0 -1 4202560 3272 0 0 0 52 0 0 0 20 0 19 0 334417465 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216001091768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17084] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17084/stat : 17084 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140216000039416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17085] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17085/stat : 17085 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 37677 33554432000 1073741824 1073778376 140733357267360 140215998987080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.47
Current children cumulated vsize (KiB) 3024420
[startup+3.10068 s]
/proc/loadavg: 1.93 1.99 1.94 3/212 17088
/proc/meminfo: memFree=28318948/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3024420 CPUtime=4.14 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 12376 0 1 0 408 6 0 0 20 0 18 0 334417458 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 756105 46380 2281 9 0 746526 0
[pid=17067/tid=17069] ppid=17065 vsize=3024420 CPUtime=3.05 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (java) R 17065 17067 15565 0 -1 4202560 3126 0 1 0 301 4 0 0 20 0 18 0 334417459 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216160772712 140216003024080 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216144198312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17071] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17071/stat : 17071 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216143145768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17072] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17072/stat : 17072 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216142093224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17073] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17073/stat : 17073 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216141040680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17074] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17074/stat : 17074 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216139987112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17075] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17075/stat : 17075 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216138934568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17076] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17076/stat : 17076 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216137882024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17077] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17077/stat : 17077 (java) S 17065 17067 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334417460 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216136829480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17078] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17078/stat : 17078 (java) S 17065 17067 15565 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 334417462 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216124418664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17079] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17079/stat : 17079 (java) S 17065 17067 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 334417462 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216123364984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17080] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17080/stat : 17080 (java) S 17065 17067 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334417462 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216122312328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17081] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17081/stat : 17081 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417465 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216121261072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17082] ppid=17065 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/17067/task/17082/stat : 17082 (java) S 17065 17067 15565 0 -1 4202560 4767 0 0 0 48 2 0 0 20 0 18 0 334417465 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216002144312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17083] ppid=17065 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/17067/task/17083/stat : 17083 (java) S 17065 17067 15565 0 -1 4202560 3272 0 0 0 56 0 0 0 20 0 18 0 334417465 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216001091768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17084] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17084/stat : 17084 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417465 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140216000039416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17085] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17085/stat : 17085 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334417465 3097006080 46380 33554432000 1073741824 1073778376 140733357267360 140215998987080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 3024420
[startup+6.30066 s]
/proc/loadavg: 1.93 1.99 1.94 3/213 17092
/proc/meminfo: memFree=28258936/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3024420 CPUtime=7.34 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 12400 0 1 0 728 6 0 0 20 0 19 0 334417458 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 756105 56086 2281 9 0 746526 0
[pid=17067/tid=17069] ppid=17065 vsize=3024420 CPUtime=6.24 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (java) R 17065 17067 15565 0 -1 4202560 3146 0 1 0 620 4 0 0 20 0 19 0 334417459 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216160770528 140216003005871 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216144198312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17071] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17071/stat : 17071 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216143145768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17072] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17072/stat : 17072 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216142093224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17073] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17073/stat : 17073 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216141040680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17074] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17074/stat : 17074 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216139987112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17075] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17075/stat : 17075 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216138934568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17076] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17076/stat : 17076 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216137882024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17077] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17077/stat : 17077 (java) S 17065 17067 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334417460 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216136829480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17078] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17078/stat : 17078 (java) S 17065 17067 15565 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216124418664 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17079] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17079/stat : 17079 (java) S 17065 17067 15565 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216123364984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17080] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17080/stat : 17080 (java) S 17065 17067 15565 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216122312328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17081] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17081/stat : 17081 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216121261072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17082] ppid=17065 vsize=3024420 CPUtime=0.5 cores=0,2,4,6
/proc/17067/task/17082/stat : 17082 (java) S 17065 17067 15565 0 -1 4202560 4767 0 0 0 48 2 0 0 20 0 19 0 334417465 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216002144312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17083] ppid=17065 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/17067/task/17083/stat : 17083 (java) S 17065 17067 15565 0 -1 4202560 3272 0 0 0 56 0 0 0 20 0 19 0 334417465 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216001091768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17084] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17084/stat : 17084 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140216000039416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17085] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17085/stat : 17085 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140215998987080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17092] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17092/stat : 17092 (java) S 17065 17067 15565 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334417832 3097006080 56086 33554432000 1073741824 1073778376 140733357267360 140215996855336 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.34
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
/proc/loadavg: 1.94 1.99 1.94 3/213 17093
/proc/meminfo: memFree=28184604/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3024420 CPUtime=13.78 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 12441 0 1 0 1370 8 0 0 20 0 19 0 334417458 3097006080 75031 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
/proc/17067/task/17078/stat : 17078 (java) R 17065 17067 15565 0 -1 4202560 175 0 0 0 712 5 0 0 20 0 19 0 334417462 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140216124418664 140216166898831 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17079] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17079/stat : 17079 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140216123364984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17080] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17080/stat : 17080 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140216122312328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17081] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17081/stat : 17081 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140216121261072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17082] ppid=17065 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/17067/task/17082/stat : 17082 (java) S 17065 17067 15565 0 -1 4202560 4771 0 0 0 53 2 0 0 20 0 19 0 334417465 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140216002144312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17083] ppid=17065 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/17067/task/17083/stat : 17083 (java) S 17065 17067 15565 0 -1 4202560 3272 0 0 0 57 0 0 0 20 0 19 0 334417465 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140216001091768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17084] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17084/stat : 17084 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140216000039416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17085] ppid=17065 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/17067/task/17085/stat : 17085 (java) S 17065 17067 15565 0 -1 4202560 15 0 0 0 5 5 0 0 20 0 19 0 334417465 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140215998987080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17097] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17097/stat : 17097 (java) S 17065 17067 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334441269 3097006080 418126 33554432000 1073741824 1073778376 140733357267360 140215996855976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 269.14
Current children cumulated vsize (KiB) 3024420
[startup+266.701 s]
/proc/loadavg: 2.03 2.05 1.98 3/213 17098
/proc/meminfo: memFree=26522384/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3024420 CPUtime=269.54 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 14674 0 1 0 26819 135 0 0 20 0 19 0 334417458 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 756105 418128 2301 9 0 746526 0
[pid=17067/tid=17069] ppid=17065 vsize=3024420 CPUtime=257.8 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (java) S 17065 17067 15565 0 -1 4202560 3292 0 1 0 25769 11 0 0 20 0 19 0 334417459 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216160773000 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17065 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (java) S 17065 17067 15565 0 -1 4202560 330 0 0 0 16 20 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216144198312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17071] ppid=17065 vsize=3024420 CPUtime=0.23 cores=0,2,4,6
/proc/17067/task/17071/stat : 17071 (java) S 17065 17067 15565 0 -1 4202560 203 0 0 0 11 12 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216143145768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17072] ppid=17065 vsize=3024420 CPUtime=0.25 cores=0,2,4,6
/proc/17067/task/17072/stat : 17072 (java) S 17065 17067 15565 0 -1 4202560 227 0 0 0 12 13 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216142093224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17073] ppid=17065 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/17067/task/17073/stat : 17073 (java) S 17065 17067 15565 0 -1 4202560 265 0 0 0 13 16 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216141040680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17074] ppid=17065 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/17067/task/17074/stat : 17074 (java) S 17065 17067 15565 0 -1 4202560 279 0 0 0 14 17 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216139987112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17075] ppid=17065 vsize=3024420 CPUtime=0.27 cores=0,2,4,6
/proc/17067/task/17075/stat : 17075 (java) S 17065 17067 15565 0 -1 4202560 238 0 0 0 12 15 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216138934568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17076] ppid=17065 vsize=3024420 CPUtime=0.21 cores=0,2,4,6
/proc/17067/task/17076/stat : 17076 (java) S 17065 17067 15565 0 -1 4202560 193 0 0 0 10 11 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216137882024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17077] ppid=17065 vsize=3024420 CPUtime=0.2 cores=0,2,4,6
/proc/17067/task/17077/stat : 17077 (java) S 17065 17067 15565 0 -1 4202560 187 0 0 0 10 10 0 0 20 0 19 0 334417460 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216136829480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17078] ppid=17065 vsize=3024420 CPUtime=7.57 cores=0,2,4,6
/proc/17067/task/17078/stat : 17078 (java) R 17065 17067 15565 0 -1 4202560 177 0 0 0 752 5 0 0 20 0 19 0 334417462 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216124418824 233220620564 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17079] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17079/stat : 17079 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216123364984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17080] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17080/stat : 17080 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334417462 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216122312328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17081] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17081/stat : 17081 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216121261072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17082] ppid=17065 vsize=3024420 CPUtime=0.55 cores=0,2,4,6
/proc/17067/task/17082/stat : 17082 (java) S 17065 17067 15565 0 -1 4202560 4771 0 0 0 53 2 0 0 20 0 19 0 334417465 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216002144312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17083] ppid=17065 vsize=3024420 CPUtime=0.57 cores=0,2,4,6
/proc/17067/task/17083/stat : 17083 (java) S 17065 17067 15565 0 -1 4202560 3272 0 0 0 57 0 0 0 20 0 19 0 334417465 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216001091768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17084] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17084/stat : 17084 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334417465 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140216000039416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17085] ppid=17065 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/17067/task/17085/stat : 17085 (java) S 17065 17067 15565 0 -1 4202560 15 0 0 0 5 5 0 0 20 0 19 0 334417465 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140215998987080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17097] ppid=17065 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17097/stat : 17097 (java) S 17065 17067 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334441269 3097006080 418128 33554432000 1073741824 1073778376 140733357267360 140215996855976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 269.54
Current children cumulated vsize (KiB) 3024420
[startup+267.101 s]
/proc/loadavg: 2.03 2.05 1.98 3/213 17098
/proc/meminfo: memFree=26522384/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3090984 CPUtime=269.94 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 14688 0 1 0 26859 135 0 0 20 0 20 0 334417458 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 772746 418139 2301 9 0 763167 0
[pid=17067/tid=17069] ppid=17065 vsize=3090984 CPUtime=257.8 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (java) S 17065 17067 15565 0 -1 4202560 3295 0 1 0 25769 11 0 0 20 0 20 0 334417459 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216160773304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17065 vsize=3090984 CPUtime=0.36 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (java) S 17065 17067 15565 0 -1 4202560 330 0 0 0 16 20 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216144198312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17071] ppid=17065 vsize=3090984 CPUtime=0.23 cores=0,2,4,6
/proc/17067/task/17071/stat : 17071 (java) S 17065 17067 15565 0 -1 4202560 203 0 0 0 11 12 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216143145768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17072] ppid=17065 vsize=3090984 CPUtime=0.25 cores=0,2,4,6
/proc/17067/task/17072/stat : 17072 (java) S 17065 17067 15565 0 -1 4202560 227 0 0 0 12 13 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216142093224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17073] ppid=17065 vsize=3090984 CPUtime=0.29 cores=0,2,4,6
/proc/17067/task/17073/stat : 17073 (java) S 17065 17067 15565 0 -1 4202560 265 0 0 0 13 16 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216141040680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17074] ppid=17065 vsize=3090984 CPUtime=0.31 cores=0,2,4,6
/proc/17067/task/17074/stat : 17074 (java) S 17065 17067 15565 0 -1 4202560 279 0 0 0 14 17 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216139987112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17075] ppid=17065 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/17067/task/17075/stat : 17075 (java) S 17065 17067 15565 0 -1 4202560 238 0 0 0 12 15 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216138934568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17076] ppid=17065 vsize=3090984 CPUtime=0.21 cores=0,2,4,6
/proc/17067/task/17076/stat : 17076 (java) S 17065 17067 15565 0 -1 4202560 193 0 0 0 10 11 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216137882024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17077] ppid=17065 vsize=3090984 CPUtime=0.2 cores=0,2,4,6
/proc/17067/task/17077/stat : 17077 (java) S 17065 17067 15565 0 -1 4202560 187 0 0 0 10 10 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216136829480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17078] ppid=17065 vsize=3090984 CPUtime=7.97 cores=0,2,4,6
/proc/17067/task/17078/stat : 17078 (java) R 17065 17067 15565 0 -1 4202560 178 0 0 0 792 5 0 0 20 0 20 0 334417462 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216124418824 140216167626807 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17079] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17079/stat : 17079 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334417462 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216123364984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17080] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17080/stat : 17080 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334417462 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216122312328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17081] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17081/stat : 17081 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216121261072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17082] ppid=17065 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/17067/task/17082/stat : 17082 (java) S 17065 17067 15565 0 -1 4202560 4771 0 0 0 53 2 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216002144312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17083] ppid=17065 vsize=3090984 CPUtime=0.57 cores=0,2,4,6
/proc/17067/task/17083/stat : 17083 (java) S 17065 17067 15565 0 -1 4202560 3272 0 0 0 57 0 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216001091768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17084] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17084/stat : 17084 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216000039416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17085] ppid=17065 vsize=3090984 CPUtime=0.11 cores=0,2,4,6
/proc/17067/task/17085/stat : 17085 (java) S 17065 17067 15565 0 -1 4202560 15 0 0 0 6 5 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140215998987080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17097] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17097/stat : 17097 (java) S 17065 17067 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334441269 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140215996855976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 269.94
Current children cumulated vsize (KiB) 3090984
[startup+267.201 s]
/proc/loadavg: 2.03 2.05 1.98 3/214 17099
/proc/meminfo: memFree=26522376/32873844 swapFree=7120/7120
[pid=17067] ppid=17065 vsize=3090984 CPUtime=270.04 cores=0,2,4,6
/proc/17067/stat : 17067 (java) S 17065 17067 15565 0 -1 4202496 14689 0 1 0 26869 135 0 0 20 0 20 0 334417458 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140733357258496 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17067/statm: 772746 418139 2301 9 0 763167 0
[pid=17067/tid=17069] ppid=17065 vsize=3090984 CPUtime=257.8 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (java) S 17065 17067 15565 0 -1 4202560 3295 0 1 0 25769 11 0 0 20 0 20 0 334417459 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216160773304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17065 vsize=3090984 CPUtime=0.36 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (java) S 17065 17067 15565 0 -1 4202560 330 0 0 0 16 20 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216144198312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17071] ppid=17065 vsize=3090984 CPUtime=0.23 cores=0,2,4,6
/proc/17067/task/17071/stat : 17071 (java) S 17065 17067 15565 0 -1 4202560 203 0 0 0 11 12 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216143145768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17072] ppid=17065 vsize=3090984 CPUtime=0.25 cores=0,2,4,6
/proc/17067/task/17072/stat : 17072 (java) S 17065 17067 15565 0 -1 4202560 227 0 0 0 12 13 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216142093224 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17073] ppid=17065 vsize=3090984 CPUtime=0.29 cores=0,2,4,6
/proc/17067/task/17073/stat : 17073 (java) S 17065 17067 15565 0 -1 4202560 265 0 0 0 13 16 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216141040680 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17074] ppid=17065 vsize=3090984 CPUtime=0.31 cores=0,2,4,6
/proc/17067/task/17074/stat : 17074 (java) S 17065 17067 15565 0 -1 4202560 279 0 0 0 14 17 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216139987112 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17075] ppid=17065 vsize=3090984 CPUtime=0.27 cores=0,2,4,6
/proc/17067/task/17075/stat : 17075 (java) S 17065 17067 15565 0 -1 4202560 238 0 0 0 12 15 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216138934568 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17076] ppid=17065 vsize=3090984 CPUtime=0.21 cores=0,2,4,6
/proc/17067/task/17076/stat : 17076 (java) S 17065 17067 15565 0 -1 4202560 193 0 0 0 10 11 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216137882024 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17077] ppid=17065 vsize=3090984 CPUtime=0.2 cores=0,2,4,6
/proc/17067/task/17077/stat : 17077 (java) S 17065 17067 15565 0 -1 4202560 187 0 0 0 10 10 0 0 20 0 20 0 334417460 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216136829480 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17078] ppid=17065 vsize=3090984 CPUtime=8.07 cores=0,2,4,6
/proc/17067/task/17078/stat : 17078 (java) R 17065 17067 15565 0 -1 4202560 178 0 0 0 802 5 0 0 20 0 20 0 334417462 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216124418824 140216162968112 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17079] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17079/stat : 17079 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334417462 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216123364984 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17080] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17080/stat : 17080 (java) S 17065 17067 15565 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 334417462 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216122312328 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17081] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17081/stat : 17081 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216121261072 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17082] ppid=17065 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/17067/task/17082/stat : 17082 (java) S 17065 17067 15565 0 -1 4202560 4771 0 0 0 53 2 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216002144312 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17067/tid=17083] ppid=17065 vsize=3090984 CPUtime=0.57 cores=0,2,4,6
/proc/17067/task/17083/stat : 17083 (java) S 17065 17067 15565 0 -1 4202560 3272 0 0 0 57 0 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216001091768 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17084] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17084/stat : 17084 (java) S 17065 17067 15565 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140216000039416 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17085] ppid=17065 vsize=3090984 CPUtime=0.11 cores=0,2,4,6
/proc/17067/task/17085/stat : 17085 (java) S 17065 17067 15565 0 -1 4202560 15 0 0 0 6 5 0 0 20 0 20 0 334417465 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140215998987080 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17097] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17097/stat : 17097 (java) S 17065 17067 15565 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 20 0 334441269 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140215996855976 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17067/tid=17099] ppid=17065 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17099/stat : 17099 (java) S 17065 17067 15565 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 20 0 334444137 3165167616 418139 33554432000 1073741824 1073778376 140733357267360 140215995801848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 270.04
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17067 and gives
# childrusage.ru_utime.tv_sec=268
# childrusage.ru_utime.tv_usec=40251
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=502771
# CPU time returned by wait4() is 269.543
# while last known CPU time is 270.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 267.285
CPU time (s): 270.04
CPU user time (s): 268.69
CPU system time (s): 1.35
CPU usage (%): 101.031
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 268.04
system time used= 1.50277
maximum resident set size= 1672576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14699
page faults= 1
swaps= 0
block input operations= 256
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6181
involuntary context switches= 1740
runsolver used 0.620905 second user time and 1.66775 second system time
The end