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-3687652-1337872939/watcher-3687652-1337872939 -o /tmp/evaluation-result-3687652-1337872939/solver-3687652-1337872939 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687652-1337872939.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.90 3.84 2.65 3/197 20848
/proc/meminfo: memFree=28045928/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/20848/stat : 20848 (java) D 20846 20848 20503 0 -1 4202496 94 0 0 0 0 0 0 0 20 0 1 0 253422372 2560000 47 33554432000 1073741824 1073778376 140735029808672 140735029805800 270109076775 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/20848/statm: 625 47 37 9 0 29 0
[startup+0.0229041 s]
/proc/loadavg: 3.90 3.84 2.65 3/197 20848
/proc/meminfo: memFree=28045928/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=97336 CPUtime=0 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 1306 0 0 0 0 0 0 0 20 0 2 0 253422372 99672064 1006 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 24334 1015 777 9 0 16774 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 97336
[startup+0.100246 s]
/proc/loadavg: 3.90 3.84 2.65 3/197 20848
/proc/meminfo: memFree=28045928/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 3408 0 1 0 5 1 0 0 20 0 18 0 253422372 9787813888 4105 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2389603 4105 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412
[startup+0.300254 s]
/proc/loadavg: 3.90 3.84 2.65 3/197 20848
/proc/meminfo: memFree=28045928/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9558412 CPUtime=0.42 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 5428 0 1 0 40 2 0 0 20 0 18 0 253422372 9787813888 7413 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2389603 7413 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9558412
[startup+0.700289 s]
/proc/loadavg: 3.90 3.84 2.65 3/197 20848
/proc/meminfo: memFree=28045928/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 13348 0 1 0 84 5 0 0 20 0 19 0 253422372 10060460032 14817 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2456167 14817 2242 9 0 2446860 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 9824668
[startup+1.50087 s]
/proc/loadavg: 3.90 3.84 2.65 7/219 20873
/proc/meminfo: memFree=27979512/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9824668 CPUtime=2.72 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 14571 0 1 0 265 7 0 0 20 0 22 0 253422372 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2456167 20823 2254 9 0 2446860 0
[pid=20848/tid=20850] ppid=20846 vsize=9824668 CPUtime=0.32 cores=1,3,5,7
/proc/20848/task/20850/stat : 20850 (java) S 20846 20848 20503 0 -1 4202560 2542 0 1 0 30 2 0 0 20 0 22 0 253422373 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153903653880 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20851] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20851/stat : 20851 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153747094568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20852] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20852/stat : 20852 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153746041768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20853] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20853/stat : 20853 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153744988968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20854] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20854/stat : 20854 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153743936168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20855] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20855/stat : 20855 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153742883368 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20856] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20856/stat : 20856 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153741830568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20857] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20857/stat : 20857 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153740777768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20858] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20858/stat : 20858 (java) S 20846 20848 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153739724968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20859] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20859/stat : 20859 (java) S 20846 20848 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153727527912 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20860] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20860/stat : 20860 (java) S 20846 20848 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153726473976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20861] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20861/stat : 20861 (java) S 20846 20848 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422377 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153725421064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20862] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20862/stat : 20862 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153724369552 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20863] ppid=20846 vsize=9824668 CPUtime=0.67 cores=1,3,5,7
/proc/20848/task/20863/stat : 20863 (java) S 20846 20848 20503 0 -1 4202560 7751 0 0 0 65 2 0 0 20 0 22 0 253422379 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153723316664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20864] ppid=20846 vsize=9824668 CPUtime=0.36 cores=1,3,5,7
/proc/20848/task/20864/stat : 20864 (java) S 20846 20848 20503 0 -1 4202560 2926 0 0 0 36 0 0 0 20 0 22 0 253422379 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153722263864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20865] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20865/stat : 20865 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153721211256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20866] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20866/stat : 20866 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153720158664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20869] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20869/stat : 20869 (java) S 20846 20848 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422409 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153716475304 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20871] ppid=20846 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/20848/task/20871/stat : 20871 (java) R 20846 20848 20503 0 -1 4202560 20 0 0 0 61 0 0 0 20 0 22 0 253422458 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153719104360 140153844094602 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20872] ppid=20846 vsize=9824668 CPUtime=0.61 cores=1,3,5,7
/proc/20848/task/20872/stat : 20872 (java) R 20846 20848 20503 0 -1 4202560 66 0 0 0 61 0 0 0 20 0 22 0 253422458 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153718051112 140153844080298 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20873] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20873/stat : 20873 (java) S 20846 20848 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253422459 10060460032 20823 33554432000 1073741824 1073778376 140735030689232 140153715422120 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 9824668
[startup+3.10076 s]
/proc/loadavg: 3.90 3.84 2.65 5/219 20876
/proc/meminfo: memFree=27941780/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9824668 CPUtime=4.54 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 14644 0 1 0 444 10 0 0 20 0 22 0 253422372 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2456167 32089 2254 9 0 2446860 0
[pid=20848/tid=20850] ppid=20846 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/20848/task/20850/stat : 20850 (java) S 20846 20848 20503 0 -1 4202560 2543 0 1 0 31 2 0 0 20 0 22 0 253422373 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153903653880 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20851] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20851/stat : 20851 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153747094568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20852] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20852/stat : 20852 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153746041768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20853] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20853/stat : 20853 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153744988968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20854] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20854/stat : 20854 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153743936168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20855] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20855/stat : 20855 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153742883368 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20856] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20856/stat : 20856 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153741830568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20857] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20857/stat : 20857 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153740777768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20858] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20858/stat : 20858 (java) S 20846 20848 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153739724968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20859] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20859/stat : 20859 (java) S 20846 20848 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153727527912 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20860] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20860/stat : 20860 (java) S 20846 20848 20503 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153726473976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20861] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20861/stat : 20861 (java) S 20846 20848 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422377 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153725421064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20862] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20862/stat : 20862 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153724369552 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20863] ppid=20846 vsize=9824668 CPUtime=0.71 cores=1,3,5,7
/proc/20848/task/20863/stat : 20863 (java) S 20846 20848 20503 0 -1 4202560 7755 0 0 0 69 2 0 0 20 0 22 0 253422379 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153723316664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20864] ppid=20846 vsize=9824668 CPUtime=0.4 cores=1,3,5,7
/proc/20848/task/20864/stat : 20864 (java) S 20846 20848 20503 0 -1 4202560 2956 0 0 0 38 2 0 0 20 0 22 0 253422379 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153722263864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20865] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20865/stat : 20865 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153721211256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20866] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20866/stat : 20866 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153720158664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20869] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20869/stat : 20869 (java) S 20846 20848 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422409 10060460032 32089 33554432000 1073741824 1073778376 140735030689232 140153716475304 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.54
Current children cumulated vsize (KiB) 9824668
[startup+6.30086 s]
/proc/loadavg: 3.90 3.84 2.65 5/219 20879
/proc/meminfo: memFree=27852352/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9824668 CPUtime=11.28 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 15606 0 1 0 1109 19 0 0 20 0 22 0 253422372 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2456167 60772 2284 9 0 2446860 0
[pid=20848/tid=20850] ppid=20846 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/20848/task/20850/stat : 20850 (java) S 20846 20848 20503 0 -1 4202560 2543 0 1 0 31 2 0 0 20 0 22 0 253422373 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153903653880 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20851] ppid=20846 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/20848/task/20851/stat : 20851 (java) S 20846 20848 20503 0 -1 4202560 155 0 0 0 0 1 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153747094568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20852] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20852/stat : 20852 (java) S 20846 20848 20503 0 -1 4202560 135 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153746041768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20853] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20853/stat : 20853 (java) S 20846 20848 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153744988968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20854] ppid=20846 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/20848/task/20854/stat : 20854 (java) S 20846 20848 20503 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153743936168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20855] ppid=20846 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/20848/task/20855/stat : 20855 (java) S 20846 20848 20503 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153742883368 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20856] ppid=20846 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/20848/task/20856/stat : 20856 (java) S 20846 20848 20503 0 -1 4202560 20 0 0 0 1 0 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153741830568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20857] ppid=20846 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/20848/task/20857/stat : 20857 (java) S 20846 20848 20503 0 -1 4202560 118 0 0 0 1 1 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153740777768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20858] ppid=20846 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/20848/task/20858/stat : 20858 (java) S 20846 20848 20503 0 -1 4202560 144 0 0 0 1 1 0 0 20 0 22 0 253422375 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153739724968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20859] ppid=20846 vsize=9824668 CPUtime=0.07 cores=1,3,5,7
/proc/20848/task/20859/stat : 20859 (java) S 20846 20848 20503 0 -1 4202560 45 0 0 0 6 1 0 0 20 0 22 0 253422376 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153727527912 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20860] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20860/stat : 20860 (java) S 20846 20848 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153726473976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20861] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20861/stat : 20861 (java) S 20846 20848 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253422377 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153725421064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20862] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20862/stat : 20862 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153724369552 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20863] ppid=20846 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/20848/task/20863/stat : 20863 (java) S 20846 20848 20503 0 -1 4202560 7783 0 0 0 90 2 0 0 20 0 22 0 253422379 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153723316664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20864] ppid=20846 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/20848/task/20864/stat : 20864 (java) S 20846 20848 20503 0 -1 4202560 3219 0 0 0 51 2 0 0 20 0 22 0 253422379 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153722263864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20865] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20865/stat : 20865 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153721211256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20866] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20866/stat : 20866 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 60772 33554432000 1073741824 1073778376 140735030689232 140153720158664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/20848/statm: 2456167 652544 2286 9 0 2446860 0
[pid=20848/tid=20850] ppid=20846 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/20848/task/20850/stat : 20850 (java) S 20846 20848 20503 0 -1 4202560 2642 0 1 0 38 4 0 0 20 0 22 0 253422373 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153903653592 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20851] ppid=20846 vsize=9824668 CPUtime=5.35 cores=1,3,5,7
/proc/20848/task/20851/stat : 20851 (java) S 20846 20848 20503 0 -1 4202560 1047 0 0 0 516 19 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153747094568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20852] ppid=20846 vsize=9824668 CPUtime=5.42 cores=1,3,5,7
/proc/20848/task/20852/stat : 20852 (java) S 20846 20848 20503 0 -1 4202560 1257 0 0 0 527 15 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153746041768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20853] ppid=20846 vsize=9824668 CPUtime=5.18 cores=1,3,5,7
/proc/20848/task/20853/stat : 20853 (java) S 20846 20848 20503 0 -1 4202560 988 0 0 0 498 20 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153744988968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20854] ppid=20846 vsize=9824668 CPUtime=4.98 cores=1,3,5,7
/proc/20848/task/20854/stat : 20854 (java) S 20846 20848 20503 0 -1 4202560 1349 0 0 0 478 20 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153743936168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20855] ppid=20846 vsize=9824668 CPUtime=5.34 cores=1,3,5,7
/proc/20848/task/20855/stat : 20855 (java) S 20846 20848 20503 0 -1 4202560 746 0 0 0 513 21 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153742883368 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20856] ppid=20846 vsize=9824668 CPUtime=5.32 cores=1,3,5,7
/proc/20848/task/20856/stat : 20856 (java) S 20846 20848 20503 0 -1 4202560 1146 0 0 0 516 16 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153741830568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20857] ppid=20846 vsize=9824668 CPUtime=5.49 cores=1,3,5,7
/proc/20848/task/20857/stat : 20857 (java) S 20846 20848 20503 0 -1 4202560 1074 0 0 0 531 18 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153740777768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20858] ppid=20846 vsize=9824668 CPUtime=5.37 cores=1,3,5,7
/proc/20848/task/20858/stat : 20858 (java) S 20846 20848 20503 0 -1 4202560 1458 0 0 0 519 18 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153739724968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20859] ppid=20846 vsize=9824668 CPUtime=216.67 cores=1,3,5,7
/proc/20848/task/20859/stat : 20859 (java) R 20846 20848 20503 0 -1 4202560 4238 0 0 0 21632 35 0 0 20 0 22 0 253422376 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153727526760 140153910161480 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20860] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20860/stat : 20860 (java) S 20846 20848 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153726473976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20861] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20861/stat : 20861 (java) S 20846 20848 20503 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253422377 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153725421064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20862] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20862/stat : 20862 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153724369096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20863] ppid=20846 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/20848/task/20863/stat : 20863 (java) S 20846 20848 20503 0 -1 4202560 8036 0 0 0 159 2 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153723316664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20864] ppid=20846 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/20848/task/20864/stat : 20864 (java) S 20846 20848 20503 0 -1 4202560 3268 0 0 0 86 2 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153722263864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20865] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20865/stat : 20865 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153721211256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20866] ppid=20846 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/20848/task/20866/stat : 20866 (java) S 20846 20848 20503 0 -1 4202560 57 0 0 0 32 19 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153720158664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20869] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20869/stat : 20869 (java) S 20846 20848 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422409 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153716475304 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20913] ppid=20846 vsize=9824668 CPUtime=177.64 cores=1,3,5,7
/proc/20848/task/20913/stat : 20913 (java) S 20846 20848 20503 0 -1 4202560 20 0 0 0 17762 2 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153719104600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20914] ppid=20846 vsize=9824668 CPUtime=177.64 cores=1,3,5,7
/proc/20848/task/20914/stat : 20914 (java) S 20846 20848 20503 0 -1 4202560 13 0 0 0 17762 2 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153715420296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20915] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20915/stat : 20915 (java) S 20846 20848 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153718052264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.19
Current children cumulated vsize (KiB) 9824668
[startup+1002.8 s]
/proc/loadavg: 3.60 3.58 3.27 5/219 21151
/proc/meminfo: memFree=24968200/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9824668 CPUtime=1798.38 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 29283 0 1 0 179594 244 0 0 20 0 22 0 253422372 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2456167 652544 2286 9 0 2446860 0
[pid=20848/tid=20850] ppid=20846 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/20848/task/20850/stat : 20850 (java) S 20846 20848 20503 0 -1 4202560 2642 0 1 0 38 4 0 0 20 0 22 0 253422373 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153903653592 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20851] ppid=20846 vsize=9824668 CPUtime=5.35 cores=1,3,5,7
/proc/20848/task/20851/stat : 20851 (java) S 20846 20848 20503 0 -1 4202560 1047 0 0 0 516 19 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153747094568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20852] ppid=20846 vsize=9824668 CPUtime=5.42 cores=1,3,5,7
/proc/20848/task/20852/stat : 20852 (java) S 20846 20848 20503 0 -1 4202560 1257 0 0 0 527 15 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153746041768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20853] ppid=20846 vsize=9824668 CPUtime=5.18 cores=1,3,5,7
/proc/20848/task/20853/stat : 20853 (java) S 20846 20848 20503 0 -1 4202560 988 0 0 0 498 20 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153744988968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20854] ppid=20846 vsize=9824668 CPUtime=4.98 cores=1,3,5,7
/proc/20848/task/20854/stat : 20854 (java) S 20846 20848 20503 0 -1 4202560 1349 0 0 0 478 20 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153743936168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20855] ppid=20846 vsize=9824668 CPUtime=5.34 cores=1,3,5,7
/proc/20848/task/20855/stat : 20855 (java) S 20846 20848 20503 0 -1 4202560 746 0 0 0 513 21 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153742883368 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20856] ppid=20846 vsize=9824668 CPUtime=5.32 cores=1,3,5,7
/proc/20848/task/20856/stat : 20856 (java) S 20846 20848 20503 0 -1 4202560 1146 0 0 0 516 16 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153741830568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20857] ppid=20846 vsize=9824668 CPUtime=5.49 cores=1,3,5,7
/proc/20848/task/20857/stat : 20857 (java) S 20846 20848 20503 0 -1 4202560 1074 0 0 0 531 18 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153740777768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20858] ppid=20846 vsize=9824668 CPUtime=5.37 cores=1,3,5,7
/proc/20848/task/20858/stat : 20858 (java) S 20846 20848 20503 0 -1 4202560 1458 0 0 0 519 18 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153739724968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20859] ppid=20846 vsize=9824668 CPUtime=216.87 cores=1,3,5,7
/proc/20848/task/20859/stat : 20859 (java) R 20846 20848 20503 0 -1 4202560 4238 0 0 0 21652 35 0 0 20 0 22 0 253422376 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153727526760 140153910161480 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20860] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20860/stat : 20860 (java) S 20846 20848 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153726473976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20861] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20861/stat : 20861 (java) S 20846 20848 20503 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253422377 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153725421064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20862] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20862/stat : 20862 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153724369096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20863] ppid=20846 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/20848/task/20863/stat : 20863 (java) S 20846 20848 20503 0 -1 4202560 8036 0 0 0 159 2 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153723316664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20864] ppid=20846 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/20848/task/20864/stat : 20864 (java) S 20846 20848 20503 0 -1 4202560 3268 0 0 0 86 2 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153722263864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20865] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20865/stat : 20865 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153721211256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20866] ppid=20846 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/20848/task/20866/stat : 20866 (java) S 20846 20848 20503 0 -1 4202560 57 0 0 0 32 19 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153720158664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20869] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20869/stat : 20869 (java) S 20846 20848 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422409 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153716475304 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20913] ppid=20846 vsize=9824668 CPUtime=177.64 cores=1,3,5,7
/proc/20848/task/20913/stat : 20913 (java) S 20846 20848 20503 0 -1 4202560 20 0 0 0 17762 2 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153719104600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20914] ppid=20846 vsize=9824668 CPUtime=177.64 cores=1,3,5,7
/proc/20848/task/20914/stat : 20914 (java) S 20846 20848 20503 0 -1 4202560 13 0 0 0 17762 2 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153715420296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20915] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20915/stat : 20915 (java) S 20846 20848 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153718052264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.38
Current children cumulated vsize (KiB) 9824668
[startup+1002.9 s]
/proc/loadavg: 3.60 3.58 3.27 5/219 21151
/proc/meminfo: memFree=24968200/32873844 swapFree=6856/6856
[pid=20848] ppid=20846 vsize=9824668 CPUtime=1798.48 cores=1,3,5,7
/proc/20848/stat : 20848 (java) S 20846 20848 20503 0 -1 4202496 29283 0 1 0 179604 244 0 0 20 0 22 0 253422372 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140735030680368 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/20848/statm: 2456167 652544 2286 9 0 2446860 0
[pid=20848/tid=20850] ppid=20846 vsize=9824668 CPUtime=0.42 cores=1,3,5,7
/proc/20848/task/20850/stat : 20850 (java) S 20846 20848 20503 0 -1 4202560 2642 0 1 0 38 4 0 0 20 0 22 0 253422373 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153903653592 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20851] ppid=20846 vsize=9824668 CPUtime=5.35 cores=1,3,5,7
/proc/20848/task/20851/stat : 20851 (java) S 20846 20848 20503 0 -1 4202560 1047 0 0 0 516 19 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153747094568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20852] ppid=20846 vsize=9824668 CPUtime=5.42 cores=1,3,5,7
/proc/20848/task/20852/stat : 20852 (java) S 20846 20848 20503 0 -1 4202560 1257 0 0 0 527 15 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153746041768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20853] ppid=20846 vsize=9824668 CPUtime=5.18 cores=1,3,5,7
/proc/20848/task/20853/stat : 20853 (java) S 20846 20848 20503 0 -1 4202560 988 0 0 0 498 20 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153744988968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20854] ppid=20846 vsize=9824668 CPUtime=4.98 cores=1,3,5,7
/proc/20848/task/20854/stat : 20854 (java) S 20846 20848 20503 0 -1 4202560 1349 0 0 0 478 20 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153743936168 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20855] ppid=20846 vsize=9824668 CPUtime=5.34 cores=1,3,5,7
/proc/20848/task/20855/stat : 20855 (java) S 20846 20848 20503 0 -1 4202560 746 0 0 0 513 21 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153742883368 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20856] ppid=20846 vsize=9824668 CPUtime=5.32 cores=1,3,5,7
/proc/20848/task/20856/stat : 20856 (java) S 20846 20848 20503 0 -1 4202560 1146 0 0 0 516 16 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153741830568 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20857] ppid=20846 vsize=9824668 CPUtime=5.49 cores=1,3,5,7
/proc/20848/task/20857/stat : 20857 (java) S 20846 20848 20503 0 -1 4202560 1074 0 0 0 531 18 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153740777768 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20858] ppid=20846 vsize=9824668 CPUtime=5.37 cores=1,3,5,7
/proc/20848/task/20858/stat : 20858 (java) S 20846 20848 20503 0 -1 4202560 1458 0 0 0 519 18 0 0 20 0 22 0 253422375 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153739724968 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20859] ppid=20846 vsize=9824668 CPUtime=216.96 cores=1,3,5,7
/proc/20848/task/20859/stat : 20859 (java) R 20846 20848 20503 0 -1 4202560 4238 0 0 0 21661 35 0 0 20 0 22 0 253422376 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153727526760 140153907814597 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20860] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20860/stat : 20860 (java) S 20846 20848 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253422376 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153726473976 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20861] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20861/stat : 20861 (java) S 20846 20848 20503 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 253422377 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153725421064 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20848/tid=20862] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20862/stat : 20862 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153724369096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20863] ppid=20846 vsize=9824668 CPUtime=1.61 cores=1,3,5,7
/proc/20848/task/20863/stat : 20863 (java) S 20846 20848 20503 0 -1 4202560 8036 0 0 0 159 2 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153723316664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20864] ppid=20846 vsize=9824668 CPUtime=0.88 cores=1,3,5,7
/proc/20848/task/20864/stat : 20864 (java) S 20846 20848 20503 0 -1 4202560 3268 0 0 0 86 2 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153722263864 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20865] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20865/stat : 20865 (java) S 20846 20848 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153721211256 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20866] ppid=20846 vsize=9824668 CPUtime=0.51 cores=1,3,5,7
/proc/20848/task/20866/stat : 20866 (java) S 20846 20848 20503 0 -1 4202560 57 0 0 0 32 19 0 0 20 0 22 0 253422379 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153720158664 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20848/tid=20869] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20869/stat : 20869 (java) S 20846 20848 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253422409 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153716475304 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20913] ppid=20846 vsize=9824668 CPUtime=177.64 cores=1,3,5,7
/proc/20848/task/20913/stat : 20913 (java) S 20846 20848 20503 0 -1 4202560 20 0 0 0 17762 2 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153719104600 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20848/tid=20914] ppid=20846 vsize=9824668 CPUtime=177.64 cores=1,3,5,7
/proc/20848/task/20914/stat : 20914 (java) S 20846 20848 20503 0 -1 4202560 13 0 0 0 17762 2 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153715420296 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20848/tid=20915] ppid=20846 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/20848/task/20915/stat : 20915 (java) S 20846 20848 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253496522 10060460032 652544 33554432000 1073741824 1073778376 140735030689232 140153718052264 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1798.48
Current children cumulated vsize (KiB) 9824668
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20848 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=628175
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=721586
# CPU time returned by wait4() is 1797.35
# while last known CPU time is 1798.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.12999
# lost CPU user time (s): 2.32007
# lost CPU system time (s): -0.19
Real time (s): 1003
CPU time (s): 1800.61
CPU user time (s): 1798.36
CPU system time (s): 2.25
CPU usage (%): 179.523
Max. virtual memory (cumulated for all children) (KiB): 9825180
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.63
system time used= 2.72159
maximum resident set size= 2645092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29332
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1048
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29028
involuntary context switches= 53394
runsolver used 3.84142 second user time and 9.52455 second system time
The end