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-3735256-1338706418/watcher-3735256-1338706418 -o /tmp/evaluation-result-3735256-1338706418/solver-3735256-1338706418 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3735256-1338706418.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: 2.06 2.11 2.08 3/194 21410
/proc/meminfo: memFree=28301040/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/21410/stat : 21410 (java) D 21408 21410 7849 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 336767534 9515008 182 33554432000 1073741824 1073778376 140735123220480 140735123211512 214369648309 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 2323 182 140 9 0 71 0
[startup+0.0621271 s]
/proc/loadavg: 2.06 2.11 2.08 3/194 21410
/proc/meminfo: memFree=28301040/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=2623916 CPUtime=0.04 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 3998 0 1 0 3 1 0 0 20 0 13 0 336767534 2686889984 4695 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 655979 4695 1708 9 0 646680 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2623916
[startup+0.100267 s]
/proc/loadavg: 2.06 2.11 2.08 3/194 21410
/proc/meminfo: memFree=28301040/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=2957856 CPUtime=0.07 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 4193 0 1 0 6 1 0 0 20 0 18 0 336767534 3028844544 5400 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 739464 5400 1791 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.300223 s]
/proc/loadavg: 2.06 2.11 2.08 3/194 21410
/proc/meminfo: memFree=28301040/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=2957856 CPUtime=0.44 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 6411 0 1 0 42 2 0 0 20 0 18 0 336767534 3028844544 8869 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 739464 8869 2237 9 0 729885 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 2957856
[startup+0.700236 s]
/proc/loadavg: 2.06 2.11 2.08 3/194 21410
/proc/meminfo: memFree=28301040/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=2957856 CPUtime=1.34 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 14226 0 1 0 128 6 0 0 20 0 18 0 336767534 3028844544 40627 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 739464 40627 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 2957856
[startup+1.50067 s]
/proc/loadavg: 2.06 2.11 2.08 3/212 21428
/proc/meminfo: memFree=28000916/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=2957856 CPUtime=2.17 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 14399 0 1 0 206 11 0 0 20 0 18 0 336767534 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 739464 114377 2270 9 0 729885 0
[pid=21410/tid=21412] ppid=21408 vsize=2957856 CPUtime=1.45 cores=0,2,4,6
/proc/21410/task/21412/stat : 21412 (java) R 21408 21410 7849 0 -1 4202560 3282 0 1 0 137 8 0 0 20 0 18 0 336767535 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140698037801024 140697910174061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21413/stat : 21413 (java) S 21408 21410 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697903344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21414/stat : 21414 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697902291624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21415/stat : 21415 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697901239336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21416/stat : 21416 (java) S 21408 21410 7849 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697900186536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21417/stat : 21417 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697899133224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21418] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21418/stat : 21418 (java) S 21408 21410 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697898080424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21419/stat : 21419 (java) S 21408 21410 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697897028136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21420] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21420/stat : 21420 (java) S 21408 21410 7849 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697895975336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21421] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21421/stat : 21421 (java) S 21408 21410 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336767537 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697413212904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21422] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21422/stat : 21422 (java) S 21408 21410 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 336767538 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697412158968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21423] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21423/stat : 21423 (java) S 21408 21410 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336767538 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697411106568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21424] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21424/stat : 21424 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697410055056 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21425] ppid=21408 vsize=2957856 CPUtime=0.34 cores=0,2,4,6
/proc/21410/task/21425/stat : 21425 (java) S 21408 21410 7849 0 -1 4202560 5235 0 0 0 32 2 0 0 20 0 18 0 336767541 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697409001656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21426] ppid=21408 vsize=2957856 CPUtime=0.33 cores=0,2,4,6
/proc/21410/task/21426/stat : 21426 (java) S 21408 21410 7849 0 -1 4202560 4672 0 0 0 32 1 0 0 20 0 18 0 336767541 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697407948856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21427] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21427/stat : 21427 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697406896760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21428] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21428/stat : 21428 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 114377 33554432000 1073741824 1073778376 140736847401312 140697405844168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 2957856
[startup+3.10066 s]
/proc/loadavg: 2.06 2.11 2.08 3/212 21428
/proc/meminfo: memFree=27843344/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=2957856 CPUtime=3.82 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 14418 0 1 0 370 12 0 0 20 0 18 0 336767534 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 739464 116942 2270 9 0 729885 0
[pid=21410/tid=21412] ppid=21408 vsize=2957856 CPUtime=3.02 cores=0,2,4,6
/proc/21410/task/21412/stat : 21412 (java) R 21408 21410 7849 0 -1 4202560 3284 0 1 0 294 8 0 0 20 0 18 0 336767535 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140698037801024 140697909837737 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21413/stat : 21413 (java) S 21408 21410 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697903344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21414/stat : 21414 (java) S 21408 21410 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697902291624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21415/stat : 21415 (java) S 21408 21410 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697901239336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21416/stat : 21416 (java) S 21408 21410 7849 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697900186536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21417/stat : 21417 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697899133224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21418] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21418/stat : 21418 (java) S 21408 21410 7849 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697898080424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21419/stat : 21419 (java) S 21408 21410 7849 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697897028136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21420] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21420/stat : 21420 (java) S 21408 21410 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336767536 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697895975336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21421] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21421/stat : 21421 (java) S 21408 21410 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336767537 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697413212904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21422] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21422/stat : 21422 (java) S 21408 21410 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 336767538 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697412158968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21423] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21423/stat : 21423 (java) S 21408 21410 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336767538 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697411106568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21424] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21424/stat : 21424 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697410055056 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21425] ppid=21408 vsize=2957856 CPUtime=0.34 cores=0,2,4,6
/proc/21410/task/21425/stat : 21425 (java) S 21408 21410 7849 0 -1 4202560 5235 0 0 0 32 2 0 0 20 0 18 0 336767541 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697409001656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21426] ppid=21408 vsize=2957856 CPUtime=0.33 cores=0,2,4,6
/proc/21410/task/21426/stat : 21426 (java) S 21408 21410 7849 0 -1 4202560 4672 0 0 0 32 1 0 0 20 0 18 0 336767541 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697407948856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21427] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21427/stat : 21427 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697406896760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21428] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21428/stat : 21428 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 116942 33554432000 1073741824 1073778376 140736847401312 140697405844168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 2957856
[startup+6.30075 s]
/proc/loadavg: 2.06 2.11 2.08 3/212 21428
/proc/meminfo: memFree=27718604/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=2957856 CPUtime=7.21 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 14546 0 1 0 704 17 0 0 20 0 18 0 336767534 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 739464 145834 2270 9 0 729885 0
[pid=21410/tid=21412] ppid=21408 vsize=2957856 CPUtime=6.14 cores=0,2,4,6
/proc/21410/task/21412/stat : 21412 (java) R 21408 21410 7849 0 -1 4202560 3337 0 1 0 603 11 0 0 20 0 18 0 336767535 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140698037801184 214373033229 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/21410/task/21413/stat : 21413 (java) S 21408 21410 7849 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697903344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/21410/task/21414/stat : 21414 (java) S 21408 21410 7849 0 -1 4202560 10 0 0 0 3 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697902291624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/21410/task/21415/stat : 21415 (java) S 21408 21410 7849 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697901239336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/21410/task/21416/stat : 21416 (java) S 21408 21410 7849 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697900186536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/21410/task/21417/stat : 21417 (java) S 21408 21410 7849 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697899133224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21418] ppid=21408 vsize=2957856 CPUtime=0.03 cores=0,2,4,6
/proc/21410/task/21418/stat : 21418 (java) S 21408 21410 7849 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697898080424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/21410/task/21419/stat : 21419 (java) S 21408 21410 7849 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697897028136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21420] ppid=21408 vsize=2957856 CPUtime=0.02 cores=0,2,4,6
/proc/21410/task/21420/stat : 21420 (java) S 21408 21410 7849 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 18 0 336767536 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697895975336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21421] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21421/stat : 21421 (java) S 21408 21410 7849 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 336767537 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697413212904 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21422] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21422/stat : 21422 (java) S 21408 21410 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 336767538 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697412158968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21423] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21423/stat : 21423 (java) S 21408 21410 7849 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 336767538 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697411106568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21424] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21424/stat : 21424 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697410055056 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21425] ppid=21408 vsize=2957856 CPUtime=0.36 cores=0,2,4,6
/proc/21410/task/21425/stat : 21425 (java) S 21408 21410 7849 0 -1 4202560 5239 0 0 0 34 2 0 0 20 0 18 0 336767541 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697409001656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21426] ppid=21408 vsize=2957856 CPUtime=0.33 cores=0,2,4,6
/proc/21410/task/21426/stat : 21426 (java) S 21408 21410 7849 0 -1 4202560 4673 0 0 0 32 1 0 0 20 0 18 0 336767541 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697407948856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21427] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21427/stat : 21427 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697406896760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21428] ppid=21408 vsize=2957856 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21428/stat : 21428 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 336767541 3028844544 145834 33554432000 1073741824 1073778376 140736847401312 140697405844168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 2957856
[startup+12.7069 s]
/proc/loadavg: 2.05 2.11 2.08 3/213 21450
/proc/meminfo: memFree=27711044/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=3024420 CPUtime=14.15 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 16179 0 1 0 1397 18 0 0 20 0 19 0 336767534 3097006080 147191 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 756105 147191 2292 9 0 746526 0
[pid=21410/tid=21412] ppid=21408 vsize=3024420 CPUtime=12.52 cores=0,2,4,6
################
# More data... #
################
/proc/21410/task/21424/stat : 21424 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697410055056 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21425] ppid=21408 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/21410/task/21425/stat : 21425 (java) S 21408 21410 7849 0 -1 4202560 7021 0 0 0 64 2 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697409001656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21426] ppid=21408 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/21410/task/21426/stat : 21426 (java) S 21408 21410 7849 0 -1 4202560 4752 0 0 0 61 1 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697407948856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21427] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21427/stat : 21427 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697406896760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21428] ppid=21408 vsize=3090984 CPUtime=0.18 cores=0,2,4,6
/proc/21410/task/21428/stat : 21428 (java) S 21408 21410 7849 0 -1 4202560 31 0 0 0 9 9 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697405844168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21465] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21465/stat : 21465 (java) S 21408 21410 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 336769632 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697403712424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21493] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21493/stat : 21493 (java) S 21408 21410 7849 0 -1 4202560 23 0 0 0 0 0 0 0 20 0 20 0 336817295 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697402658856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 524.55
Current children cumulated vsize (KiB) 3090984
[startup+521.301 s]
/proc/loadavg: 2.20 2.09 2.06 3/214 21493
/proc/meminfo: memFree=26528852/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=3090984 CPUtime=525.35 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 19793 0 1 0 52425 110 0 0 20 0 20 0 336767534 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 772746 420294 2301 9 0 763167 0
[pid=21410/tid=21412] ppid=21408 vsize=3090984 CPUtime=464.66 cores=0,2,4,6
/proc/21410/task/21412/stat : 21412 (java) S 21408 21410 7849 0 -1 4202560 3394 0 1 0 46448 18 0 0 20 0 20 0 336767535 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140698037810360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/21410/task/21413/stat : 21413 (java) S 21408 21410 7849 0 -1 4202560 345 0 0 0 28 7 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697903344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/21410/task/21414/stat : 21414 (java) S 21408 21410 7849 0 -1 4202560 423 0 0 0 43 16 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697902291624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/21410/task/21415/stat : 21415 (java) S 21408 21410 7849 0 -1 4202560 304 0 0 0 31 9 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697901239336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/21410/task/21416/stat : 21416 (java) S 21408 21410 7849 0 -1 4202560 324 0 0 0 43 12 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697900186536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/21410/task/21417/stat : 21417 (java) S 21408 21410 7849 0 -1 4202560 375 0 0 0 30 13 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697899133224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21418] ppid=21408 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/21410/task/21418/stat : 21418 (java) S 21408 21410 7849 0 -1 4202560 280 0 0 0 42 11 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697898080424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=3090984 CPUtime=0.3 cores=0,2,4,6
/proc/21410/task/21419/stat : 21419 (java) S 21408 21410 7849 0 -1 4202560 619 0 0 0 23 7 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697897028136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21420] ppid=21408 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/21410/task/21420/stat : 21420 (java) S 21408 21410 7849 0 -1 4202560 424 0 0 0 33 9 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697895975336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21421] ppid=21408 vsize=3090984 CPUtime=54.2 cores=0,2,4,6
/proc/21410/task/21421/stat : 21421 (java) R 21408 21410 7849 0 -1 4202560 150 0 0 0 5416 4 0 0 20 0 20 0 336767537 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697413212904 140698044663878 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21422] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21422/stat : 21422 (java) S 21408 21410 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 336767538 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697412158968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21423] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21423/stat : 21423 (java) S 21408 21410 7849 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 336767538 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697411106568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21424] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21424/stat : 21424 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697410055056 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21425] ppid=21408 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/21410/task/21425/stat : 21425 (java) S 21408 21410 7849 0 -1 4202560 7021 0 0 0 64 2 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697409001656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21426] ppid=21408 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/21410/task/21426/stat : 21426 (java) S 21408 21410 7849 0 -1 4202560 4752 0 0 0 61 1 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697407948856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21427] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21427/stat : 21427 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697406896760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21428] ppid=21408 vsize=3090984 CPUtime=0.18 cores=0,2,4,6
/proc/21410/task/21428/stat : 21428 (java) S 21408 21410 7849 0 -1 4202560 31 0 0 0 9 9 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697405844168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21465] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21465/stat : 21465 (java) S 21408 21410 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 336769632 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697403712424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21493] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21493/stat : 21493 (java) S 21408 21410 7849 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 336817295 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697402657640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 525.35
Current children cumulated vsize (KiB) 3090984
[startup+521.701 s]
/proc/loadavg: 2.20 2.09 2.06 3/214 21493
/proc/meminfo: memFree=26528852/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=3090984 CPUtime=525.75 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 19793 0 1 0 52465 110 0 0 20 0 20 0 336767534 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 772746 420294 2301 9 0 763167 0
[pid=21410/tid=21412] ppid=21408 vsize=3090984 CPUtime=464.66 cores=0,2,4,6
/proc/21410/task/21412/stat : 21412 (java) S 21408 21410 7849 0 -1 4202560 3394 0 1 0 46448 18 0 0 20 0 20 0 336767535 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140698037810360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/21410/task/21413/stat : 21413 (java) S 21408 21410 7849 0 -1 4202560 345 0 0 0 28 7 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697903344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/21410/task/21414/stat : 21414 (java) S 21408 21410 7849 0 -1 4202560 423 0 0 0 43 16 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697902291624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/21410/task/21415/stat : 21415 (java) S 21408 21410 7849 0 -1 4202560 304 0 0 0 31 9 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697901239336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/21410/task/21416/stat : 21416 (java) S 21408 21410 7849 0 -1 4202560 324 0 0 0 43 12 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697900186536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/21410/task/21417/stat : 21417 (java) S 21408 21410 7849 0 -1 4202560 375 0 0 0 30 13 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697899133224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21418] ppid=21408 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/21410/task/21418/stat : 21418 (java) S 21408 21410 7849 0 -1 4202560 280 0 0 0 42 11 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697898080424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=3090984 CPUtime=0.3 cores=0,2,4,6
/proc/21410/task/21419/stat : 21419 (java) S 21408 21410 7849 0 -1 4202560 619 0 0 0 23 7 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697897028136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21420] ppid=21408 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/21410/task/21420/stat : 21420 (java) S 21408 21410 7849 0 -1 4202560 424 0 0 0 33 9 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697895975336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21421] ppid=21408 vsize=3090984 CPUtime=54.6 cores=0,2,4,6
/proc/21410/task/21421/stat : 21421 (java) R 21408 21410 7849 0 -1 4202560 150 0 0 0 5456 4 0 0 20 0 20 0 336767537 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697413213064 140698044665117 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21422] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21422/stat : 21422 (java) S 21408 21410 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 336767538 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697412158968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21423] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21423/stat : 21423 (java) S 21408 21410 7849 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 336767538 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697411106568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21424] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21424/stat : 21424 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697410055056 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21425] ppid=21408 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/21410/task/21425/stat : 21425 (java) S 21408 21410 7849 0 -1 4202560 7021 0 0 0 64 2 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697409001656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21426] ppid=21408 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/21410/task/21426/stat : 21426 (java) S 21408 21410 7849 0 -1 4202560 4752 0 0 0 61 1 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697407948856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21427] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21427/stat : 21427 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697406896760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21428] ppid=21408 vsize=3090984 CPUtime=0.18 cores=0,2,4,6
/proc/21410/task/21428/stat : 21428 (java) S 21408 21410 7849 0 -1 4202560 31 0 0 0 9 9 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697405844168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21465] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21465/stat : 21465 (java) S 21408 21410 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 336769632 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697403712424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21493] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21493/stat : 21493 (java) S 21408 21410 7849 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 336817295 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697402657640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 525.75
Current children cumulated vsize (KiB) 3090984
[startup+521.801 s]
/proc/loadavg: 2.20 2.09 2.06 3/214 21493
/proc/meminfo: memFree=26528852/32873844 swapFree=7632/7632
[pid=21410] ppid=21408 vsize=3090984 CPUtime=525.85 cores=0,2,4,6
/proc/21410/stat : 21410 (java) S 21408 21410 7849 0 -1 4202496 19793 0 1 0 52475 110 0 0 20 0 20 0 336767534 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140736847392448 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21410/statm: 772746 420294 2301 9 0 763167 0
[pid=21410/tid=21412] ppid=21408 vsize=3090984 CPUtime=464.66 cores=0,2,4,6
/proc/21410/task/21412/stat : 21412 (java) S 21408 21410 7849 0 -1 4202560 3394 0 1 0 46448 18 0 0 20 0 20 0 336767535 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140698037810360 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21413] ppid=21408 vsize=3090984 CPUtime=0.35 cores=0,2,4,6
/proc/21410/task/21413/stat : 21413 (java) S 21408 21410 7849 0 -1 4202560 345 0 0 0 28 7 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697903344424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21414] ppid=21408 vsize=3090984 CPUtime=0.59 cores=0,2,4,6
/proc/21410/task/21414/stat : 21414 (java) S 21408 21410 7849 0 -1 4202560 423 0 0 0 43 16 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697902291624 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21415] ppid=21408 vsize=3090984 CPUtime=0.4 cores=0,2,4,6
/proc/21410/task/21415/stat : 21415 (java) S 21408 21410 7849 0 -1 4202560 304 0 0 0 31 9 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697901239336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21416] ppid=21408 vsize=3090984 CPUtime=0.55 cores=0,2,4,6
/proc/21410/task/21416/stat : 21416 (java) S 21408 21410 7849 0 -1 4202560 324 0 0 0 43 12 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697900186536 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21417] ppid=21408 vsize=3090984 CPUtime=0.43 cores=0,2,4,6
/proc/21410/task/21417/stat : 21417 (java) S 21408 21410 7849 0 -1 4202560 375 0 0 0 30 13 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697899133224 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21418] ppid=21408 vsize=3090984 CPUtime=0.53 cores=0,2,4,6
/proc/21410/task/21418/stat : 21418 (java) S 21408 21410 7849 0 -1 4202560 280 0 0 0 42 11 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697898080424 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21419] ppid=21408 vsize=3090984 CPUtime=0.3 cores=0,2,4,6
/proc/21410/task/21419/stat : 21419 (java) S 21408 21410 7849 0 -1 4202560 619 0 0 0 23 7 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697897028136 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21420] ppid=21408 vsize=3090984 CPUtime=0.42 cores=0,2,4,6
/proc/21410/task/21420/stat : 21420 (java) S 21408 21410 7849 0 -1 4202560 424 0 0 0 33 9 0 0 20 0 20 0 336767536 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697895975336 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21421] ppid=21408 vsize=3090984 CPUtime=54.7 cores=0,2,4,6
/proc/21410/task/21421/stat : 21421 (java) R 21408 21410 7849 0 -1 4202560 150 0 0 0 5466 4 0 0 20 0 20 0 336767537 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697413213064 140698044317728 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21422] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21422/stat : 21422 (java) S 21408 21410 7849 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 336767538 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697412158968 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21423] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21423/stat : 21423 (java) S 21408 21410 7849 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 20 0 336767538 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697411106568 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=21410/tid=21424] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21424/stat : 21424 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697410055056 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21425] ppid=21408 vsize=3090984 CPUtime=0.66 cores=0,2,4,6
/proc/21410/task/21425/stat : 21425 (java) S 21408 21410 7849 0 -1 4202560 7021 0 0 0 64 2 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697409001656 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=21410/tid=21426] ppid=21408 vsize=3090984 CPUtime=0.62 cores=0,2,4,6
/proc/21410/task/21426/stat : 21426 (java) S 21408 21410 7849 0 -1 4202560 4752 0 0 0 61 1 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697407948856 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21427] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21427/stat : 21427 (java) S 21408 21410 7849 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697406896760 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21428] ppid=21408 vsize=3090984 CPUtime=0.18 cores=0,2,4,6
/proc/21410/task/21428/stat : 21428 (java) S 21408 21410 7849 0 -1 4202560 31 0 0 0 9 9 0 0 20 0 20 0 336767541 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697405844168 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=21410/tid=21465] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21465/stat : 21465 (java) S 21408 21410 7849 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 336769632 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697403712424 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=21410/tid=21493] ppid=21408 vsize=3090984 CPUtime=0 cores=0,2,4,6
/proc/21410/task/21493/stat : 21493 (java) S 21408 21410 7849 0 -1 4202560 24 0 0 0 0 0 0 0 20 0 20 0 336817295 3165167616 420294 33554432000 1073741824 1073778376 140736847401312 140697402657640 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 525.85
Current children cumulated vsize (KiB) 3090984
Child status: 1
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21410 and gives
# childrusage.ru_utime.tv_sec=523
# childrusage.ru_utime.tv_usec=362436
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=314800
# CPU time returned by wait4() is 524.677
# while last known CPU time is 525.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 521.831
CPU time (s): 525.85
CPU user time (s): 524.75
CPU system time (s): 1.1
CPU usage (%): 100.77
Max. virtual memory (cumulated for all children) (KiB): 3090984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 523.362
system time used= 1.3148
maximum resident set size= 1681196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19803
page faults= 1
swaps= 0
block input operations= 0
block output operations= 432
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13245
involuntary context switches= 4021
runsolver used 1.05584 second user time and 2.20167 second system time
The end