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-3734896-1338753481/watcher-3734896-1338753481 -o /tmp/evaluation-result-3734896-1338753481/solver-3734896-1338753481 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3734896-1338753481.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: 1.92 2.01 1.99 2/194 3219
/proc/meminfo: memFree=27479944/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3219/stat : 3219 (java6) R 3217 3219 2643 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 341472954 9515008 182 33554432000 1073741824 1073778376 140733475012672 140733474995400 233220947637 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/3219/statm: 2323 182 140 9 0 71 0
[startup+0.070342 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 3219
/proc/meminfo: memFree=27479944/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2315716 CPUtime=0.04 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 3717 0 1 0 3 1 0 0 20 0 13 0 341472954 2371293184 5436 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800971 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 578929 5436 1715 9 0 569630 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2315716
[startup+0.100361 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 3219
/proc/meminfo: memFree=27479944/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 4094 0 1 0 6 1 0 0 20 0 18 0 341472954 2712133632 5813 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 662142 5813 1934 9 0 652835 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2648568
[startup+0.300231 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 3219
/proc/meminfo: memFree=27479944/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=0.52 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 8069 0 1 0 50 2 0 0 20 0 19 0 341472954 2780295168 9745 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 9745 2219 9 0 669476 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2715132
[startup+0.700262 s]
/proc/loadavg: 1.92 2.01 1.99 2/194 3219
/proc/meminfo: memFree=27479944/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=1.3 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 13419 0 1 0 127 3 0 0 20 0 19 0 341472954 2780295168 22111 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 22111 2231 9 0 669476 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 2715132
[startup+1.50081 s]
/proc/loadavg: 1.92 2.01 1.99 3/213 3238
/proc/meminfo: memFree=27374556/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=2.27 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 13741 0 1 0 222 5 0 0 20 0 19 0 341472954 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 38530 2235 9 0 669476 0
[pid=3219/tid=3221] ppid=3217 vsize=2715132 CPUtime=1.46 cores=1,3,5,7
/proc/3219/task/3221/stat : 3221 (java) R 3217 3219 2643 0 -1 4202560 2808 0 1 0 143 3 0 0 20 0 19 0 341472955 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140658009878960 140657847347946 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3222] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3222/stat : 3222 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657994336936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3223] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3223/stat : 3223 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657993284392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3224] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3224/stat : 3224 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657992231848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3225] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3225/stat : 3225 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657991179304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3226] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3226/stat : 3226 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657990125736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3227] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3227/stat : 3227 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657989073192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3228] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3228/stat : 3228 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657988020648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3229] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3229/stat : 3229 (java) S 3217 3219 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657986968104 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3230] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3230/stat : 3230 (java) S 3217 3219 2643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657974557288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3231] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3231/stat : 3231 (java) S 3217 3219 2643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657973503608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3232] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3232/stat : 3232 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657972450952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3233] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3233/stat : 3233 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657971399696 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3234] ppid=3217 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/3219/task/3234/stat : 3234 (java) S 3217 3219 2643 0 -1 4202560 6126 0 0 0 42 0 0 0 20 0 19 0 341472961 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657970346040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3235] ppid=3217 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/3219/task/3235/stat : 3235 (java) S 3217 3219 2643 0 -1 4202560 3612 0 0 0 35 0 0 0 20 0 19 0 341472961 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657969293496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3236] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3236/stat : 3236 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657968241144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3237] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3237/stat : 3237 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657967188808 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3238] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3238/stat : 3238 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472969 2780295168 38530 33554432000 1073741824 1073778376 140735451858624 140657966134568 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 2715132
[startup+3.1008 s]
/proc/loadavg: 1.92 2.01 1.99 3/213 3238
/proc/meminfo: memFree=27294188/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=3.87 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 13787 0 1 0 380 7 0 0 20 0 19 0 341472954 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 62082 2235 9 0 669476 0
[pid=3219/tid=3221] ppid=3217 vsize=2715132 CPUtime=3.05 cores=1,3,5,7
/proc/3219/task/3221/stat : 3221 (java) R 3217 3219 2643 0 -1 4202560 2854 0 1 0 300 5 0 0 20 0 19 0 341472955 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140658009878960 140657847432356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3222] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3222/stat : 3222 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657994336936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3223] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3223/stat : 3223 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657993284392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3224] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3224/stat : 3224 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657992231848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3225] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3225/stat : 3225 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657991179304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3226] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3226/stat : 3226 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657990125736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3227] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3227/stat : 3227 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657989073192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3228] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3228/stat : 3228 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657988020648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3229] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3229/stat : 3229 (java) S 3217 3219 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657986968104 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3230] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3230/stat : 3230 (java) S 3217 3219 2643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657974557288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3231] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3231/stat : 3231 (java) S 3217 3219 2643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657973503608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3232] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3232/stat : 3232 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657972450952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3233] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3233/stat : 3233 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657971399696 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3234] ppid=3217 vsize=2715132 CPUtime=0.42 cores=1,3,5,7
/proc/3219/task/3234/stat : 3234 (java) S 3217 3219 2643 0 -1 4202560 6126 0 0 0 42 0 0 0 20 0 19 0 341472961 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657970346040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3235] ppid=3217 vsize=2715132 CPUtime=0.35 cores=1,3,5,7
/proc/3219/task/3235/stat : 3235 (java) S 3217 3219 2643 0 -1 4202560 3612 0 0 0 35 0 0 0 20 0 19 0 341472961 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657969293496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3236] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3236/stat : 3236 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657968241144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3237] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3237/stat : 3237 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657967188808 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3238] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3238/stat : 3238 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472969 2780295168 62082 33554432000 1073741824 1073778376 140735451858624 140657966134568 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 2715132
[startup+6.30085 s]
/proc/loadavg: 1.93 2.01 1.99 3/213 3238
/proc/meminfo: memFree=27141332/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=7.09 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 13852 0 1 0 699 10 0 0 20 0 19 0 341472954 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 93485 2237 9 0 669476 0
[pid=3219/tid=3221] ppid=3217 vsize=2715132 CPUtime=6.24 cores=1,3,5,7
/proc/3219/task/3221/stat : 3221 (java) R 3217 3219 2643 0 -1 4202560 2917 0 1 0 616 8 0 0 20 0 19 0 341472955 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140658009886856 140657847432356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3222] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3222/stat : 3222 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657994336936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3223] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3223/stat : 3223 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657993284392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3224] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3224/stat : 3224 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657992231848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3225] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3225/stat : 3225 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657991179304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3226] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3226/stat : 3226 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657990125736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3227] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3227/stat : 3227 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657989073192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3228] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3228/stat : 3228 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657988020648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3229] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3229/stat : 3229 (java) S 3217 3219 2643 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 341472957 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657986968104 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3230] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3230/stat : 3230 (java) S 3217 3219 2643 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657974557288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3231] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3231/stat : 3231 (java) S 3217 3219 2643 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657973503608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3232] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3232/stat : 3232 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657972450952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3233] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3233/stat : 3233 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657971399696 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3234] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3234/stat : 3234 (java) S 3217 3219 2643 0 -1 4202560 6127 0 0 0 43 0 0 0 20 0 19 0 341472961 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657970346040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3235] ppid=3217 vsize=2715132 CPUtime=0.36 cores=1,3,5,7
/proc/3219/task/3235/stat : 3235 (java) S 3217 3219 2643 0 -1 4202560 3612 0 0 0 36 0 0 0 20 0 19 0 341472961 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657969293496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3236] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3236/stat : 3236 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657968241144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3237] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3237/stat : 3237 (java) S 3217 3219 2643 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657967188808 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3238] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3238/stat : 3238 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472969 2780295168 93485 33554432000 1073741824 1073778376 140735451858624 140657966134568 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.09
Current children cumulated vsize (KiB) 2715132
[startup+12.7008 s]
################
# More data... #
################
/proc/3219/task/3229/stat : 3229 (java) S 3217 3219 2643 0 -1 4202560 90 0 0 0 22 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657986968104 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3230] ppid=3217 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3219/task/3230/stat : 3230 (java) S 3217 3219 2643 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657974557288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3231] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3231/stat : 3231 (java) S 3217 3219 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657973503608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3232] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3232/stat : 3232 (java) S 3217 3219 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657972450952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3233] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3233/stat : 3233 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657971399696 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3234] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3234/stat : 3234 (java) S 3217 3219 2643 0 -1 4202560 6128 0 0 0 43 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657970346040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3235] ppid=3217 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/3219/task/3235/stat : 3235 (java) S 3217 3219 2643 0 -1 4202560 4211 0 0 0 56 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657969293496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3236] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3236/stat : 3236 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657968241144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3237] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3237/stat : 3237 (java) S 3217 3219 2643 0 -1 4202560 46 0 0 0 23 20 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657967188808 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3238] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3238/stat : 3238 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472969 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657966134568 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 774.25
Current children cumulated vsize (KiB) 2715132
[startup+772.701 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 3330
/proc/meminfo: memFree=27607828/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=775.85 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 15196 0 1 0 77516 69 0 0 20 0 19 0 341472954 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 140912 2250 9 0 669476 0
[pid=3219/tid=3221] ppid=3217 vsize=2715132 CPUtime=770.15 cores=1,3,5,7
/proc/3219/task/3221/stat : 3221 (java) R 3217 3219 2643 0 -1 4202560 2941 0 1 0 76996 19 0 0 20 0 19 0 341472955 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140658009887656 140657847751744 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3222] ppid=3217 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/3219/task/3222/stat : 3222 (java) S 3217 3219 2643 0 -1 4202560 46 0 0 0 19 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657994336936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3223] ppid=3217 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/3219/task/3223/stat : 3223 (java) S 3217 3219 2643 0 -1 4202560 130 0 0 0 17 2 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657993284392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3224] ppid=3217 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/3219/task/3224/stat : 3224 (java) S 3217 3219 2643 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657992231848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3225] ppid=3217 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/3219/task/3225/stat : 3225 (java) S 3217 3219 2643 0 -1 4202560 61 0 0 0 24 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657991179304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3226] ppid=3217 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/3219/task/3226/stat : 3226 (java) S 3217 3219 2643 0 -1 4202560 87 0 0 0 20 4 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657990125736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3227] ppid=3217 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/3219/task/3227/stat : 3227 (java) S 3217 3219 2643 0 -1 4202560 101 0 0 0 15 2 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657989073192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3228] ppid=3217 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/3219/task/3228/stat : 3228 (java) S 3217 3219 2643 0 -1 4202560 55 0 0 0 22 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657988020648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3229] ppid=3217 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/3219/task/3229/stat : 3229 (java) S 3217 3219 2643 0 -1 4202560 90 0 0 0 22 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657986968104 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3230] ppid=3217 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3219/task/3230/stat : 3230 (java) S 3217 3219 2643 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657974557288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3231] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3231/stat : 3231 (java) S 3217 3219 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657973503608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3232] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3232/stat : 3232 (java) S 3217 3219 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657972450952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3233] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3233/stat : 3233 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657971399696 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3234] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3234/stat : 3234 (java) S 3217 3219 2643 0 -1 4202560 6128 0 0 0 43 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657970346040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3235] ppid=3217 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/3219/task/3235/stat : 3235 (java) S 3217 3219 2643 0 -1 4202560 4211 0 0 0 56 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657969293496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3236] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3236/stat : 3236 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657968241144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3237] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3237/stat : 3237 (java) S 3217 3219 2643 0 -1 4202560 46 0 0 0 23 20 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657967188808 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3238] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3238/stat : 3238 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472969 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657966134568 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 775.85
Current children cumulated vsize (KiB) 2715132
[startup+773.501 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 3330
/proc/meminfo: memFree=27607828/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=776.65 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 15196 0 1 0 77596 69 0 0 20 0 19 0 341472954 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 140912 2250 9 0 669476 0
[pid=3219/tid=3221] ppid=3217 vsize=2715132 CPUtime=770.95 cores=1,3,5,7
/proc/3219/task/3221/stat : 3221 (java) R 3217 3219 2643 0 -1 4202560 2941 0 1 0 77076 19 0 0 20 0 19 0 341472955 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140658009887656 140657847751712 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3222] ppid=3217 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/3219/task/3222/stat : 3222 (java) S 3217 3219 2643 0 -1 4202560 46 0 0 0 19 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657994336936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3223] ppid=3217 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/3219/task/3223/stat : 3223 (java) S 3217 3219 2643 0 -1 4202560 130 0 0 0 17 2 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657993284392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3224] ppid=3217 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/3219/task/3224/stat : 3224 (java) S 3217 3219 2643 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657992231848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3225] ppid=3217 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/3219/task/3225/stat : 3225 (java) S 3217 3219 2643 0 -1 4202560 61 0 0 0 24 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657991179304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3226] ppid=3217 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/3219/task/3226/stat : 3226 (java) S 3217 3219 2643 0 -1 4202560 87 0 0 0 20 4 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657990125736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3227] ppid=3217 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/3219/task/3227/stat : 3227 (java) S 3217 3219 2643 0 -1 4202560 101 0 0 0 15 2 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657989073192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3228] ppid=3217 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/3219/task/3228/stat : 3228 (java) S 3217 3219 2643 0 -1 4202560 55 0 0 0 22 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657988020648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3229] ppid=3217 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/3219/task/3229/stat : 3229 (java) S 3217 3219 2643 0 -1 4202560 90 0 0 0 22 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657986968104 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3230] ppid=3217 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3219/task/3230/stat : 3230 (java) S 3217 3219 2643 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657974557288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3231] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3231/stat : 3231 (java) S 3217 3219 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657973503608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3232] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3232/stat : 3232 (java) S 3217 3219 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657972450952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3233] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3233/stat : 3233 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657971399696 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3234] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3234/stat : 3234 (java) S 3217 3219 2643 0 -1 4202560 6128 0 0 0 43 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657970346040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3235] ppid=3217 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/3219/task/3235/stat : 3235 (java) S 3217 3219 2643 0 -1 4202560 4211 0 0 0 56 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657969293496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3236] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3236/stat : 3236 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657968241144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3237] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3237/stat : 3237 (java) S 3217 3219 2643 0 -1 4202560 46 0 0 0 23 20 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657967188808 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3238] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3238/stat : 3238 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472969 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657966134568 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 776.65
Current children cumulated vsize (KiB) 2715132
[startup+773.901 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 3330
/proc/meminfo: memFree=27607828/32873844 swapFree=7120/7120
[pid=3219] ppid=3217 vsize=2715132 CPUtime=777.05 cores=1,3,5,7
/proc/3219/stat : 3219 (java) S 3217 3219 2643 0 -1 4202496 15197 0 1 0 77636 69 0 0 20 0 19 0 341472954 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140735451849760 233224306749 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3219/statm: 678783 140912 2250 9 0 669476 0
[pid=3219/tid=3221] ppid=3217 vsize=2715132 CPUtime=771.35 cores=1,3,5,7
/proc/3219/task/3221/stat : 3221 (java) R 3217 3219 2643 0 -1 4202560 2941 0 1 0 77116 19 0 0 20 0 19 0 341472955 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140658009887656 140657847751727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3222] ppid=3217 vsize=2715132 CPUtime=0.22 cores=1,3,5,7
/proc/3219/task/3222/stat : 3222 (java) S 3217 3219 2643 0 -1 4202560 46 0 0 0 19 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657994336936 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3223] ppid=3217 vsize=2715132 CPUtime=0.19 cores=1,3,5,7
/proc/3219/task/3223/stat : 3223 (java) S 3217 3219 2643 0 -1 4202560 130 0 0 0 17 2 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657993284392 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3224] ppid=3217 vsize=2715132 CPUtime=0.28 cores=1,3,5,7
/proc/3219/task/3224/stat : 3224 (java) S 3217 3219 2643 0 -1 4202560 92 0 0 0 25 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657992231848 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3225] ppid=3217 vsize=2715132 CPUtime=0.27 cores=1,3,5,7
/proc/3219/task/3225/stat : 3225 (java) S 3217 3219 2643 0 -1 4202560 61 0 0 0 24 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657991179304 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3226] ppid=3217 vsize=2715132 CPUtime=0.24 cores=1,3,5,7
/proc/3219/task/3226/stat : 3226 (java) S 3217 3219 2643 0 -1 4202560 87 0 0 0 20 4 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657990125736 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3227] ppid=3217 vsize=2715132 CPUtime=0.17 cores=1,3,5,7
/proc/3219/task/3227/stat : 3227 (java) S 3217 3219 2643 0 -1 4202560 101 0 0 0 15 2 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657989073192 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3228] ppid=3217 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/3219/task/3228/stat : 3228 (java) S 3217 3219 2643 0 -1 4202560 55 0 0 0 22 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657988020648 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3219/tid=3229] ppid=3217 vsize=2715132 CPUtime=0.25 cores=1,3,5,7
/proc/3219/task/3229/stat : 3229 (java) S 3217 3219 2643 0 -1 4202560 90 0 0 0 22 3 0 0 20 0 19 0 341472957 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657986968104 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3230] ppid=3217 vsize=2715132 CPUtime=0.01 cores=1,3,5,7
/proc/3219/task/3230/stat : 3230 (java) S 3217 3219 2643 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657974557288 233224320937 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3231] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3231/stat : 3231 (java) S 3217 3219 2643 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657973503608 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3232] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3232/stat : 3232 (java) S 3217 3219 2643 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 341472958 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657972450952 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3233] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3233/stat : 3233 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657971399696 233224328992 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3234] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3234/stat : 3234 (java) S 3217 3219 2643 0 -1 4202560 6128 0 0 0 43 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657970346040 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3219/tid=3235] ppid=3217 vsize=2715132 CPUtime=0.56 cores=1,3,5,7
/proc/3219/task/3235/stat : 3235 (java) S 3217 3219 2643 0 -1 4202560 4212 0 0 0 56 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657969293496 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3236] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3236/stat : 3236 (java) S 3217 3219 2643 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657968241144 233224320060 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3219/tid=3237] ppid=3217 vsize=2715132 CPUtime=0.43 cores=1,3,5,7
/proc/3219/task/3237/stat : 3237 (java) S 3217 3219 2643 0 -1 4202560 46 0 0 0 23 20 0 0 20 0 19 0 341472961 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657967188808 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3219/tid=3238] ppid=3217 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/3219/task/3238/stat : 3238 (java) S 3217 3219 2643 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 341472969 2780295168 140912 33554432000 1073741824 1073778376 140735451858624 140657966134568 233224320937 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 777.05
Current children cumulated vsize (KiB) 2715132
Child status: 30
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3219 and gives
# childrusage.ru_utime.tv_sec=774
# childrusage.ru_utime.tv_usec=214301
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=750885
# CPU time returned by wait4() is 774.965
# while last known CPU time is 777.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 773.967
CPU time (s): 777.05
CPU user time (s): 776.36
CPU system time (s): 0.69
CPU usage (%): 100.398
Max. virtual memory (cumulated for all children) (KiB): 2715132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 774.214
system time used= 0.750885
maximum resident set size= 564640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15216
page faults= 1
swaps= 0
block input operations= 0
block output operations= 648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16858
involuntary context switches= 2080
runsolver used 3.50447 second user time and 8.35573 second system time
The end