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-3742738-1338772070/watcher-3742738-1338772070 -o /tmp/evaluation-result-3742738-1338772070/solver-3742738-1338772070 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3742738-1338772070.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.00 2.00 2.00 3/195 18951
/proc/meminfo: memFree=23866456/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/18951/stat : 18951 (java) R 18949 18951 16961 0 -1 4202496 1040 0 0 0 0 0 0 0 20 0 1 0 343331358 23793664 768 33554432000 1073741824 1073778376 140736999814000 140736999803064 140542836773264 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 5809 787 584 9 0 128 0
[startup+0.0677779 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 18951
/proc/meminfo: memFree=23866456/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=2956804 CPUtime=0.05 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 4062 0 1 0 4 1 0 0 20 0 18 0 343331358 3027767296 5781 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 739201 5781 1767 9 0 729885 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804
[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 18951
/proc/meminfo: memFree=23866456/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=2957856 CPUtime=0.09 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 4887 0 1 0 8 1 0 0 20 0 18 0 343331358 3028844544 6603 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 739464 6605 2113 9 0 729885 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2957856
[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 18951
/proc/meminfo: memFree=23866456/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=2957856 CPUtime=0.53 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 8743 0 1 0 51 2 0 0 20 0 18 0 343331358 3028844544 10845 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 739464 10845 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 2957856
[startup+0.700218 s]
/proc/loadavg: 2.00 2.00 2.00 3/195 18951
/proc/meminfo: memFree=23866456/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=3024420 CPUtime=1.36 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 10256 0 1 0 133 3 0 0 20 0 19 0 343331358 3097006080 14572 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 756105 14572 2266 9 0 746526 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 3024420
[startup+1.50066 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18970
/proc/meminfo: memFree=23816728/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=3024420 CPUtime=2.22 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 10660 0 1 0 219 3 0 0 20 0 19 0 343331358 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 756105 15091 2272 9 0 746526 0
[pid=18951/tid=18953] ppid=18949 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/18951/task/18953/stat : 18953 (java) R 18949 18951 16961 0 -1 4202560 3058 0 1 0 146 2 0 0 20 0 19 0 343331359 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542829720080 140542688793180 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18954] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18954/stat : 18954 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542813145256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18955] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18955/stat : 18955 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542812092712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18956] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18956/stat : 18956 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542811040168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18957] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18957/stat : 18957 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542809987624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18958] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18958/stat : 18958 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542808935080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18959] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18959/stat : 18959 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542807882536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18960] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18960/stat : 18960 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542806829992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18961] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18961/stat : 18961 (java) S 18949 18951 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542688095272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18962] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18962/stat : 18962 (java) S 18949 18951 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343331361 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542675896424 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18963] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18963/stat : 18963 (java) S 18949 18951 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542674842744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18964] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18964/stat : 18964 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542673790088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18965] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18965/stat : 18965 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140542672738832 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18966] ppid=18949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18951/task/18966/stat : 18966 (java) S 18949 18951 16961 0 -1 4202560 2409 0 0 0 36 0 0 0 20 0 19 0 343331365 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140541933120056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18967] ppid=18949 vsize=3024420 CPUtime=0.34 cores=0,2,4,6
/proc/18951/task/18967/stat : 18967 (java) S 18949 18951 16961 0 -1 4202560 3998 0 0 0 34 0 0 0 20 0 19 0 343331365 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140541932067512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18968] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18968/stat : 18968 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140541931015160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18969] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18969/stat : 18969 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140541929962824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18970] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18970/stat : 18970 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331399 3097006080 15091 33554432000 1073741824 1073778376 140736999814000 140541927830312 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 3024420
[startup+3.1007 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18970
/proc/meminfo: memFree=23812260/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=3024420 CPUtime=3.84 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 10664 0 1 0 381 3 0 0 20 0 19 0 343331358 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 756105 16627 2272 9 0 746526 0
[pid=18951/tid=18953] ppid=18949 vsize=3024420 CPUtime=3.07 cores=0,2,4,6
/proc/18951/task/18953/stat : 18953 (java) R 18949 18951 16961 0 -1 4202560 3062 0 1 0 305 2 0 0 20 0 19 0 343331359 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542829719976 140542688781358 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18954] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18954/stat : 18954 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542813145256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18955] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18955/stat : 18955 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542812092712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18956] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18956/stat : 18956 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542811040168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18957] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18957/stat : 18957 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542809987624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18958] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18958/stat : 18958 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542808935080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18959] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18959/stat : 18959 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542807882536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18960] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18960/stat : 18960 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542806829992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18961] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18961/stat : 18961 (java) S 18949 18951 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542688095272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18962] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18962/stat : 18962 (java) S 18949 18951 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343331361 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542675896424 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18963] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18963/stat : 18963 (java) S 18949 18951 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542674842744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18964] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18964/stat : 18964 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542673790088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18965] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18965/stat : 18965 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140542672738832 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18966] ppid=18949 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18951/task/18966/stat : 18966 (java) S 18949 18951 16961 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 343331365 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140541933120056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18967] ppid=18949 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/18951/task/18967/stat : 18967 (java) S 18949 18951 16961 0 -1 4202560 3998 0 0 0 35 0 0 0 20 0 19 0 343331365 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140541932067512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18968] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18968/stat : 18968 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140541931015160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18969] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18969/stat : 18969 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140541929962824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18970] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18970/stat : 18970 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331399 3097006080 16627 33554432000 1073741824 1073778376 140736999814000 140541927830312 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 3024420
[startup+6.30071 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 18970
/proc/meminfo: memFree=23797684/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=3024420 CPUtime=7.04 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 10673 0 1 0 700 4 0 0 20 0 19 0 343331358 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 756105 20149 2273 9 0 746526 0
[pid=18951/tid=18953] ppid=18949 vsize=3024420 CPUtime=6.26 cores=0,2,4,6
/proc/18951/task/18953/stat : 18953 (java) R 18949 18951 16961 0 -1 4202560 3070 0 1 0 624 2 0 0 20 0 19 0 343331359 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542829718000 140542688735775 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18954] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18954/stat : 18954 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542813145256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18955] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18955/stat : 18955 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542812092712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18956] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18956/stat : 18956 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542811040168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18957] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18957/stat : 18957 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542809987624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18958] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18958/stat : 18958 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542808935080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18959] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18959/stat : 18959 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542807882536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18960] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18960/stat : 18960 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542806829992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18961] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18961/stat : 18961 (java) S 18949 18951 16961 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 343331360 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542688095272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18962] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18962/stat : 18962 (java) S 18949 18951 16961 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 343331361 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542675896424 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18963] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18963/stat : 18963 (java) S 18949 18951 16961 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542674842744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18964] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18964/stat : 18964 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542673790088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18965] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18965/stat : 18965 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140542672738832 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18966] ppid=18949 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18951/task/18966/stat : 18966 (java) S 18949 18951 16961 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 343331365 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140541933120056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18967] ppid=18949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18951/task/18967/stat : 18967 (java) S 18949 18951 16961 0 -1 4202560 3998 0 0 0 36 0 0 0 20 0 19 0 343331365 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140541932067512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18968] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18968/stat : 18968 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140541931015160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18969] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18969/stat : 18969 (java) S 18949 18951 16961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140541929962824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18970] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18970/stat : 18970 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331399 3097006080 20149 33554432000 1073741824 1073778376 140736999814000 140541927830312 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.04
Current children cumulated vsize (KiB) 3024420
[startup+12.7007 s]
################
# More data... #
################
/proc/18951/task/18961/stat : 18961 (java) S 18949 18951 16961 0 -1 4202560 69 0 0 0 2 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542688095272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18962] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18962/stat : 18962 (java) S 18949 18951 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 343331361 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542675896424 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18963] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18963/stat : 18963 (java) S 18949 18951 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542674842744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18964] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18964/stat : 18964 (java) S 18949 18951 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542673790088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18965] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18965/stat : 18965 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542672738832 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18966] ppid=18949 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18951/task/18966/stat : 18966 (java) S 18949 18951 16961 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541933120056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18967] ppid=18949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18951/task/18967/stat : 18967 (java) S 18949 18951 16961 0 -1 4202560 3998 0 0 0 36 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541932067512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18968] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18968/stat : 18968 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541931015160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18969] ppid=18949 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/18951/task/18969/stat : 18969 (java) S 18949 18951 16961 0 -1 4202560 26 0 0 0 10 8 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541929962824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18970] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18970/stat : 18970 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331399 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541927830312 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 433.43
Current children cumulated vsize (KiB) 3024420
[startup+433.501 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 19034
/proc/meminfo: memFree=24344688/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=3024420 CPUtime=435.03 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 11689 0 1 0 43437 66 0 0 20 0 19 0 343331358 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 756105 209612 2286 9 0 746526 0
[pid=18951/tid=18953] ppid=18949 vsize=3024420 CPUtime=432.1 cores=0,2,4,6
/proc/18951/task/18953/stat : 18953 (java) R 18949 18951 16961 0 -1 4202560 3251 0 1 0 43196 14 0 0 20 0 19 0 343331359 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542829718920 140542688793051 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18954] ppid=18949 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/18951/task/18954/stat : 18954 (java) S 18949 18951 16961 0 -1 4202560 80 0 0 0 3 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542813145256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18955] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18955/stat : 18955 (java) S 18949 18951 16961 0 -1 4202560 101 0 0 0 5 5 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542812092712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18956] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18956/stat : 18956 (java) S 18949 18951 16961 0 -1 4202560 95 0 0 0 4 6 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542811040168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18957] ppid=18949 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18951/task/18957/stat : 18957 (java) S 18949 18951 16961 0 -1 4202560 201 0 0 0 9 13 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542809987624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18958] ppid=18949 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/18951/task/18958/stat : 18958 (java) S 18949 18951 16961 0 -1 4202560 66 0 0 0 2 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542808935080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18959] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18959/stat : 18959 (java) S 18949 18951 16961 0 -1 4202560 101 0 0 0 3 7 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542807882536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18960] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18960/stat : 18960 (java) S 18949 18951 16961 0 -1 4202560 100 0 0 0 4 6 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542806829992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18961] ppid=18949 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/18951/task/18961/stat : 18961 (java) S 18949 18951 16961 0 -1 4202560 69 0 0 0 2 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542688095272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18962] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18962/stat : 18962 (java) S 18949 18951 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 343331361 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542675896424 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18963] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18963/stat : 18963 (java) S 18949 18951 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542674842744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18964] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18964/stat : 18964 (java) S 18949 18951 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542673790088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18965] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18965/stat : 18965 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542672738832 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18966] ppid=18949 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18951/task/18966/stat : 18966 (java) S 18949 18951 16961 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541933120056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18967] ppid=18949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18951/task/18967/stat : 18967 (java) S 18949 18951 16961 0 -1 4202560 3998 0 0 0 36 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541932067512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18968] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18968/stat : 18968 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541931015160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18969] ppid=18949 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/18951/task/18969/stat : 18969 (java) S 18949 18951 16961 0 -1 4202560 26 0 0 0 10 8 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541929962824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18970] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18970/stat : 18970 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331399 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541927830312 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 435.03
Current children cumulated vsize (KiB) 3024420
[startup+434.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 19034
/proc/meminfo: memFree=24344688/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=3024420 CPUtime=435.83 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 11689 0 1 0 43517 66 0 0 20 0 19 0 343331358 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 756105 209612 2286 9 0 746526 0
[pid=18951/tid=18953] ppid=18949 vsize=3024420 CPUtime=432.9 cores=0,2,4,6
/proc/18951/task/18953/stat : 18953 (java) R 18949 18951 16961 0 -1 4202560 3251 0 1 0 43276 14 0 0 20 0 19 0 343331359 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542829718920 140542688735729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18954] ppid=18949 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/18951/task/18954/stat : 18954 (java) S 18949 18951 16961 0 -1 4202560 80 0 0 0 3 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542813145256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18955] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18955/stat : 18955 (java) S 18949 18951 16961 0 -1 4202560 101 0 0 0 5 5 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542812092712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18956] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18956/stat : 18956 (java) S 18949 18951 16961 0 -1 4202560 95 0 0 0 4 6 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542811040168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18957] ppid=18949 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18951/task/18957/stat : 18957 (java) S 18949 18951 16961 0 -1 4202560 201 0 0 0 9 13 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542809987624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18958] ppid=18949 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/18951/task/18958/stat : 18958 (java) S 18949 18951 16961 0 -1 4202560 66 0 0 0 2 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542808935080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18959] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18959/stat : 18959 (java) S 18949 18951 16961 0 -1 4202560 101 0 0 0 3 7 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542807882536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18960] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18960/stat : 18960 (java) S 18949 18951 16961 0 -1 4202560 100 0 0 0 4 6 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542806829992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18961] ppid=18949 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/18951/task/18961/stat : 18961 (java) S 18949 18951 16961 0 -1 4202560 69 0 0 0 2 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542688095272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18962] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18962/stat : 18962 (java) S 18949 18951 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 343331361 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542675896424 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18963] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18963/stat : 18963 (java) S 18949 18951 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542674842744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18964] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18964/stat : 18964 (java) S 18949 18951 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542673790088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18965] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18965/stat : 18965 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542672738832 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18966] ppid=18949 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18951/task/18966/stat : 18966 (java) S 18949 18951 16961 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541933120056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18967] ppid=18949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18951/task/18967/stat : 18967 (java) S 18949 18951 16961 0 -1 4202560 3998 0 0 0 36 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541932067512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18968] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18968/stat : 18968 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541931015160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18969] ppid=18949 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/18951/task/18969/stat : 18969 (java) S 18949 18951 16961 0 -1 4202560 26 0 0 0 10 8 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541929962824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18970] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18970/stat : 18970 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331399 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541927830312 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 435.83
Current children cumulated vsize (KiB) 3024420
[startup+434.507 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 19034
/proc/meminfo: memFree=24342640/32873844 swapFree=7628/7628
[pid=18951] ppid=18949 vsize=3024420 CPUtime=436.04 cores=0,2,4,6
/proc/18951/stat : 18951 (java) S 18949 18951 16961 0 -1 4202496 11689 0 1 0 43538 66 0 0 20 0 19 0 343331358 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140736999805136 251048001597 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18951/statm: 756105 209612 2286 9 0 746526 0
[pid=18951/tid=18953] ppid=18949 vsize=3024420 CPUtime=433.1 cores=0,2,4,6
/proc/18951/task/18953/stat : 18953 (java) R 18949 18951 16961 0 -1 4202560 3251 0 1 0 43296 14 0 0 20 0 19 0 343331359 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542829718920 140542688735504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18954] ppid=18949 vsize=3024420 CPUtime=0.07 cores=0,2,4,6
/proc/18951/task/18954/stat : 18954 (java) S 18949 18951 16961 0 -1 4202560 80 0 0 0 3 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542813145256 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18955] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18955/stat : 18955 (java) S 18949 18951 16961 0 -1 4202560 101 0 0 0 5 5 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542812092712 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18956] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18956/stat : 18956 (java) S 18949 18951 16961 0 -1 4202560 95 0 0 0 4 6 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542811040168 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18957] ppid=18949 vsize=3024420 CPUtime=0.22 cores=0,2,4,6
/proc/18951/task/18957/stat : 18957 (java) S 18949 18951 16961 0 -1 4202560 201 0 0 0 9 13 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542809987624 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18958] ppid=18949 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/18951/task/18958/stat : 18958 (java) S 18949 18951 16961 0 -1 4202560 66 0 0 0 2 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542808935080 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18959] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18959/stat : 18959 (java) S 18949 18951 16961 0 -1 4202560 101 0 0 0 3 7 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542807882536 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18960] ppid=18949 vsize=3024420 CPUtime=0.1 cores=0,2,4,6
/proc/18951/task/18960/stat : 18960 (java) S 18949 18951 16961 0 -1 4202560 100 0 0 0 4 6 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542806829992 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=18951/tid=18961] ppid=18949 vsize=3024420 CPUtime=0.06 cores=0,2,4,6
/proc/18951/task/18961/stat : 18961 (java) S 18949 18951 16961 0 -1 4202560 69 0 0 0 2 4 0 0 20 0 19 0 343331360 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542688095272 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18962] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18962/stat : 18962 (java) S 18949 18951 16961 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 343331361 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542675896424 251048015785 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18963] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18963/stat : 18963 (java) S 18949 18951 16961 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542674842744 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18964] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18964/stat : 18964 (java) S 18949 18951 16961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 343331362 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542673790088 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18965] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18965/stat : 18965 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140542672738832 251048023840 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18966] ppid=18949 vsize=3024420 CPUtime=0.37 cores=0,2,4,6
/proc/18951/task/18966/stat : 18966 (java) S 18949 18951 16961 0 -1 4202560 2409 0 0 0 37 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541933120056 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=18951/tid=18967] ppid=18949 vsize=3024420 CPUtime=0.36 cores=0,2,4,6
/proc/18951/task/18967/stat : 18967 (java) S 18949 18951 16961 0 -1 4202560 3998 0 0 0 36 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541932067512 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18968] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18968/stat : 18968 (java) S 18949 18951 16961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541931015160 251048014908 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=18951/tid=18969] ppid=18949 vsize=3024420 CPUtime=0.18 cores=0,2,4,6
/proc/18951/task/18969/stat : 18969 (java) S 18949 18951 16961 0 -1 4202560 26 0 0 0 10 8 0 0 20 0 19 0 343331365 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541929962824 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18951/tid=18970] ppid=18949 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/18951/task/18970/stat : 18970 (java) S 18949 18951 16961 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 343331399 3097006080 209612 33554432000 1073741824 1073778376 140736999814000 140541927830312 251048015785 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 436.04
Current children cumulated vsize (KiB) 3024420
Child status: 10
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18951 and gives
# childrusage.ru_utime.tv_sec=434
# childrusage.ru_utime.tv_usec=315973
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=862868
# CPU time returned by wait4() is 435.179
# while last known CPU time is 436.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 434.594
CPU time (s): 436.04
CPU user time (s): 435.38
CPU system time (s): 0.66
CPU usage (%): 100.333
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 434.316
system time used= 0.862868
maximum resident set size= 838476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11705
page faults= 1
swaps= 0
block input operations= 0
block output operations= 296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9391
involuntary context switches= 609
runsolver used 0.876866 second user time and 2.24666 second system time
The end