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-3689507-1337891470/watcher-3689507-1337891470 -o /tmp/evaluation-result-3689507-1337891470/solver-3689507-1337891470 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3689507-1337891470.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 2.08 3/196 31899
/proc/meminfo: memFree=28995836/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/31899/stat : 31899 (java) R 31897 31899 26250 0 -1 4202496 1131 0 0 0 0 0 0 0 20 0 1 0 255271835 23793664 860 33554432000 1073741824 1073778376 140735208312256 140735208301320 139891851687431 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 5793 858 646 9 0 128 0
[startup+0.0637889 s]
/proc/loadavg: 1.92 1.98 2.08 3/196 31899
/proc/meminfo: memFree=28995836/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 3258 0 1 0 4 1 0 0 20 0 18 0 255271835 9787813888 3957 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2389603 3957 1757 9 0 2380296 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 9558412
[startup+0.100311 s]
/proc/loadavg: 1.92 1.98 2.08 3/196 31899
/proc/meminfo: memFree=28995836/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 4400 0 1 0 8 1 0 0 20 0 18 0 255271835 9787813888 5087 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2389603 5090 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300197 s]
/proc/loadavg: 1.92 1.98 2.08 3/196 31899
/proc/meminfo: memFree=28995836/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9558412 CPUtime=0.5 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 5722 0 1 0 48 2 0 0 20 0 18 0 255271835 9787813888 8435 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2389603 8435 2217 9 0 2380296 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9558412
[startup+0.700317 s]
/proc/loadavg: 1.92 1.98 2.08 3/196 31899
/proc/meminfo: memFree=28995836/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9624976 CPUtime=1.38 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 11448 0 1 0 135 3 0 0 20 0 19 0 255271835 9855975424 14246 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2406244 14246 2250 9 0 2396937 0
Current children cumulated CPU time (s) 1.38
Current children cumulated vsize (KiB) 9624976
[startup+1.50068 s]
/proc/loadavg: 1.92 1.98 2.08 3/215 31918
/proc/meminfo: memFree=28945372/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9624976 CPUtime=2.28 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 11779 0 1 0 224 4 0 0 20 0 19 0 255271835 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2406244 17388 2281 9 0 2396937 0
[pid=31899/tid=31900] ppid=31897 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/31899/task/31900/stat : 31900 (java) R 31897 31899 26250 0 -1 4202560 2525 0 1 0 143 2 0 0 20 0 19 0 255271835 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891849585016 139891789936833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31902] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31902/stat : 31902 (java) S 31897 31899 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891788315304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31903] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31903/stat : 31903 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891787262760 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31904] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31904/stat : 31904 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891786210216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31905] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31905/stat : 31905 (java) S 31897 31899 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891785157672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31906] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31906/stat : 31906 (java) S 31897 31899 26250 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891784104104 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31907] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31907/stat : 31907 (java) S 31897 31899 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891687766312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31908] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31908/stat : 31908 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891686713768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31909] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31909/stat : 31909 (java) S 31897 31899 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891685661224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31910] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31910/stat : 31910 (java) S 31897 31899 26250 0 -1 4202560 32 0 0 0 0 0 0 0 20 0 19 0 255271837 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891673463400 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31911] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31911/stat : 31911 (java) S 31897 31899 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891672409720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31912] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31912/stat : 31912 (java) S 31897 31899 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891671357064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31913] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31913/stat : 31913 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891670305808 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31914] ppid=31897 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/31899/task/31914/stat : 31914 (java) S 31897 31899 26250 0 -1 4202560 3345 0 0 0 39 0 0 0 20 0 19 0 255271840 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891669252152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31915] ppid=31897 vsize=9624976 CPUtime=0.36 cores=1,3,5,7
/proc/31899/task/31915/stat : 31915 (java) S 31897 31899 26250 0 -1 4202560 4659 0 0 0 36 0 0 0 20 0 19 0 255271840 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891668199608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31916] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31916/stat : 31916 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891667147256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31917] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31917/stat : 31917 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891666094920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31918] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31918/stat : 31918 (java) S 31897 31899 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255271877 9855975424 17388 33554432000 1073741824 1073778376 140735208312256 139891665040680 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9624976
[startup+3.10066 s]
/proc/loadavg: 1.93 1.98 2.08 3/215 31918
/proc/meminfo: memFree=28932852/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9624976 CPUtime=3.94 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 11799 0 1 0 390 4 0 0 20 0 19 0 255271835 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2406244 17914 2281 9 0 2396937 0
[pid=31899/tid=31900] ppid=31897 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/31899/task/31900/stat : 31900 (java) R 31897 31899 26250 0 -1 4202560 2526 0 1 0 300 2 0 0 20 0 19 0 255271835 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891849585048 139891789936838 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31902] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31902/stat : 31902 (java) S 31897 31899 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891788315304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31903] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31903/stat : 31903 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891787262760 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31904] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31904/stat : 31904 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891786210216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31905] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31905/stat : 31905 (java) S 31897 31899 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891785157672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31906] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31906/stat : 31906 (java) S 31897 31899 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891784104104 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31907] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31907/stat : 31907 (java) S 31897 31899 26250 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891687766312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31908] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31908/stat : 31908 (java) S 31897 31899 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891686713768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31909] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31909/stat : 31909 (java) S 31897 31899 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891685661224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31910] ppid=31897 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/31899/task/31910/stat : 31910 (java) S 31897 31899 26250 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 255271837 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891673463400 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31911] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31911/stat : 31911 (java) S 31897 31899 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891672409720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31912] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31912/stat : 31912 (java) S 31897 31899 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891671357064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31913] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31913/stat : 31913 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891670305808 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31914] ppid=31897 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/31899/task/31914/stat : 31914 (java) S 31897 31899 26250 0 -1 4202560 3347 0 0 0 40 0 0 0 20 0 19 0 255271840 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891669252152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31915] ppid=31897 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/31899/task/31915/stat : 31915 (java) S 31897 31899 26250 0 -1 4202560 4664 0 0 0 38 0 0 0 20 0 19 0 255271840 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891668199608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31916] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31916/stat : 31916 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891667147256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31917] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31917/stat : 31917 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891666094920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31918] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31918/stat : 31918 (java) S 31897 31899 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255271877 9855975424 17914 33554432000 1073741824 1073778376 140735208312256 139891665040680 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.94
Current children cumulated vsize (KiB) 9624976
[startup+6.30065 s]
/proc/loadavg: 1.93 1.98 2.08 3/215 31918
/proc/meminfo: memFree=28930368/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9624976 CPUtime=7.21 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 12237 0 1 0 716 5 0 0 20 0 19 0 255271835 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2406244 18254 2282 9 0 2396937 0
[pid=31899/tid=31900] ppid=31897 vsize=9624976 CPUtime=6.17 cores=1,3,5,7
/proc/31899/task/31900/stat : 31900 (java) R 31897 31899 26250 0 -1 4202560 2528 0 1 0 615 2 0 0 20 0 19 0 255271835 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891849584928 139891789928876 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31902] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31902/stat : 31902 (java) S 31897 31899 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891788315304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31903] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31903/stat : 31903 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891787262760 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31904] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31904/stat : 31904 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891786210216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31905] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31905/stat : 31905 (java) S 31897 31899 26250 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891785157672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31906] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31906/stat : 31906 (java) S 31897 31899 26250 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891784104104 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31907] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31907/stat : 31907 (java) S 31897 31899 26250 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891687766312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31908] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31908/stat : 31908 (java) S 31897 31899 26250 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891686713768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31909] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31909/stat : 31909 (java) S 31897 31899 26250 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 255271836 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891685661224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31910] ppid=31897 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/31899/task/31910/stat : 31910 (java) S 31897 31899 26250 0 -1 4202560 33 0 0 0 7 0 0 0 20 0 19 0 255271837 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891673463400 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31911] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31911/stat : 31911 (java) S 31897 31899 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891672409720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31912] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31912/stat : 31912 (java) S 31897 31899 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891671357064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31913] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31913/stat : 31913 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891670305808 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31914] ppid=31897 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/31899/task/31914/stat : 31914 (java) S 31897 31899 26250 0 -1 4202560 3348 0 0 0 41 0 0 0 20 0 19 0 255271840 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891669252152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31915] ppid=31897 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/31899/task/31915/stat : 31915 (java) S 31897 31899 26250 0 -1 4202560 5092 0 0 0 43 0 0 0 20 0 19 0 255271840 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891668199608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31916] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31916/stat : 31916 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891667147256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31917] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31917/stat : 31917 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891666094920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31918] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31918/stat : 31918 (java) S 31897 31899 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255271877 9855975424 18254 33554432000 1073741824 1073778376 140735208312256 139891665040680 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.21
Current children cumulated vsize (KiB) 9624976
[startup+12.7007 s]
################
# More data... #
################
[pid=31899/tid=31907] ppid=31897 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/31899/task/31907/stat : 31907 (java) S 31897 31899 26250 0 -1 4202560 133 0 0 0 37 0 0 0 20 0 19 0 255271836 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891687766312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31908] ppid=31897 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/31899/task/31908/stat : 31908 (java) S 31897 31899 26250 0 -1 4202560 88 0 0 0 41 2 0 0 20 0 19 0 255271836 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891686713768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31909] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31909/stat : 31909 (java) S 31897 31899 26250 0 -1 4202560 66 0 0 0 43 2 0 0 20 0 19 0 255271836 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891685661224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31910] ppid=31897 vsize=9624976 CPUtime=3.54 cores=1,3,5,7
/proc/31899/task/31910/stat : 31910 (java) S 31897 31899 26250 0 -1 4202560 128 0 0 0 351 3 0 0 20 0 19 0 255271837 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891673463400 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31911] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31911/stat : 31911 (java) S 31897 31899 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891672409720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31912] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31912/stat : 31912 (java) S 31897 31899 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891671357064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31913] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31913/stat : 31913 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891670305808 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31914] ppid=31897 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/31899/task/31914/stat : 31914 (java) S 31897 31899 26250 0 -1 4202560 3348 0 0 0 41 0 0 0 20 0 19 0 255271840 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891669252152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31915] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31915/stat : 31915 (java) S 31897 31899 26250 0 -1 4202560 5094 0 0 0 45 0 0 0 20 0 19 0 255271840 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891668199608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31916] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31916/stat : 31916 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891667147256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31917] ppid=31897 vsize=9624976 CPUtime=0.87 cores=1,3,5,7
/proc/31899/task/31917/stat : 31917 (java) S 31897 31899 26250 0 -1 4202560 97 0 0 0 57 30 0 0 20 0 19 0 255271840 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891666094920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31918] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31918/stat : 31918 (java) S 31897 31899 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255271877 9855975424 40565 33554432000 1073741824 1073778376 140735208312256 139891665040680 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1665.68
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/215 31990
/proc/meminfo: memFree=28798464/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9624976 CPUtime=1725.72 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 13477 0 1 0 172536 36 0 0 20 0 19 0 255271835 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2406244 40573 2283 9 0 2396937 0
[pid=31899/tid=31900] ppid=31897 vsize=9624976 CPUtime=1717.67 cores=1,3,5,7
/proc/31899/task/31900/stat : 31900 (java) R 31897 31899 26250 0 -1 4202560 2624 0 1 0 171737 30 0 0 20 0 19 0 255271835 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891849584928 139891789814823 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31902] ppid=31897 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/31899/task/31902/stat : 31902 (java) S 31897 31899 26250 0 -1 4202560 135 0 0 0 41 2 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891788315304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31903] ppid=31897 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/31899/task/31903/stat : 31903 (java) S 31897 31899 26250 0 -1 4202560 72 0 0 0 32 1 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891787262760 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31904] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31904/stat : 31904 (java) S 31897 31899 26250 0 -1 4202560 186 0 0 0 43 2 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891786210216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31905] ppid=31897 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/31899/task/31905/stat : 31905 (java) S 31897 31899 26250 0 -1 4202560 192 0 0 0 37 2 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891785157672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31906] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31906/stat : 31906 (java) S 31897 31899 26250 0 -1 4202560 120 0 0 0 43 2 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891784104104 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31907] ppid=31897 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/31899/task/31907/stat : 31907 (java) S 31897 31899 26250 0 -1 4202560 137 0 0 0 37 0 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891687766312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31908] ppid=31897 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/31899/task/31908/stat : 31908 (java) S 31897 31899 26250 0 -1 4202560 89 0 0 0 42 2 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891686713768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31909] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31909/stat : 31909 (java) S 31897 31899 26250 0 -1 4202560 66 0 0 0 43 2 0 0 20 0 19 0 255271836 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891685661224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31910] ppid=31897 vsize=9624976 CPUtime=3.6 cores=1,3,5,7
/proc/31899/task/31910/stat : 31910 (java) S 31897 31899 26250 0 -1 4202560 130 0 0 0 357 3 0 0 20 0 19 0 255271837 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891673463400 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31911] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31911/stat : 31911 (java) S 31897 31899 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891672409720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31912] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31912/stat : 31912 (java) S 31897 31899 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891671357064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31913] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31913/stat : 31913 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891670305808 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31914] ppid=31897 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/31899/task/31914/stat : 31914 (java) S 31897 31899 26250 0 -1 4202560 3348 0 0 0 41 0 0 0 20 0 19 0 255271840 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891669252152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31915] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31915/stat : 31915 (java) S 31897 31899 26250 0 -1 4202560 5094 0 0 0 45 0 0 0 20 0 19 0 255271840 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891668199608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31916] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31916/stat : 31916 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891667147256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31917] ppid=31897 vsize=9624976 CPUtime=0.9 cores=1,3,5,7
/proc/31899/task/31917/stat : 31917 (java) S 31897 31899 26250 0 -1 4202560 99 0 0 0 58 32 0 0 20 0 19 0 255271840 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891666094920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31918] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31918/stat : 31918 (java) S 31897 31899 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255271877 9855975424 40573 33554432000 1073741824 1073778376 140735208312256 139891665040680 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.72
Current children cumulated vsize (KiB) 9624976
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 31994
/proc/meminfo: memFree=28797712/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9624976 CPUtime=1785.74 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 13488 0 1 0 178538 36 0 0 20 0 19 0 255271835 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2406244 40577 2283 9 0 2396937 0
[pid=31899/tid=31900] ppid=31897 vsize=9624976 CPUtime=1777.61 cores=1,3,5,7
/proc/31899/task/31900/stat : 31900 (java) R 31897 31899 26250 0 -1 4202560 2625 0 1 0 177730 31 0 0 20 0 19 0 255271835 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891849584928 139891789928850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31902] ppid=31897 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/31899/task/31902/stat : 31902 (java) S 31897 31899 26250 0 -1 4202560 139 0 0 0 42 2 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891788315304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31903] ppid=31897 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/31899/task/31903/stat : 31903 (java) S 31897 31899 26250 0 -1 4202560 72 0 0 0 32 1 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891787262760 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31904] ppid=31897 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/31899/task/31904/stat : 31904 (java) S 31897 31899 26250 0 -1 4202560 186 0 0 0 44 2 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891786210216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31905] ppid=31897 vsize=9624976 CPUtime=0.39 cores=1,3,5,7
/proc/31899/task/31905/stat : 31905 (java) S 31897 31899 26250 0 -1 4202560 192 0 0 0 37 2 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891785157672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31906] ppid=31897 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/31899/task/31906/stat : 31906 (java) S 31897 31899 26250 0 -1 4202560 120 0 0 0 44 2 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891784104104 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31907] ppid=31897 vsize=9624976 CPUtime=0.37 cores=1,3,5,7
/proc/31899/task/31907/stat : 31907 (java) S 31897 31899 26250 0 -1 4202560 137 0 0 0 37 0 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891687766312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31908] ppid=31897 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/31899/task/31908/stat : 31908 (java) S 31897 31899 26250 0 -1 4202560 89 0 0 0 42 2 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891686713768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31909] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31909/stat : 31909 (java) S 31897 31899 26250 0 -1 4202560 66 0 0 0 43 2 0 0 20 0 19 0 255271836 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891685661224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31910] ppid=31897 vsize=9624976 CPUtime=3.66 cores=1,3,5,7
/proc/31899/task/31910/stat : 31910 (java) S 31897 31899 26250 0 -1 4202560 132 0 0 0 363 3 0 0 20 0 19 0 255271837 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891673463400 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31911] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31911/stat : 31911 (java) S 31897 31899 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891672409720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31912] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31912/stat : 31912 (java) S 31897 31899 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891671357064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31913] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31913/stat : 31913 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891670305808 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31914] ppid=31897 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/31899/task/31914/stat : 31914 (java) S 31897 31899 26250 0 -1 4202560 3348 0 0 0 41 0 0 0 20 0 19 0 255271840 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891669252152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31915] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31915/stat : 31915 (java) S 31897 31899 26250 0 -1 4202560 5094 0 0 0 45 0 0 0 20 0 19 0 255271840 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891668199608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31916] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31916/stat : 31916 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891667147256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31917] ppid=31897 vsize=9624976 CPUtime=0.93 cores=1,3,5,7
/proc/31899/task/31917/stat : 31917 (java) S 31897 31899 26250 0 -1 4202560 103 0 0 0 61 32 0 0 20 0 19 0 255271840 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891666094920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31918] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31918/stat : 31918 (java) S 31897 31899 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255271877 9855975424 40577 33554432000 1073741824 1073778376 140735208312256 139891665040680 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.74
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1796.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/216 32017
/proc/meminfo: memFree=28793272/32873844 swapFree=7364/7364
[pid=31899] ppid=31897 vsize=9624976 CPUtime=1800.09 cores=1,3,5,7
/proc/31899/stat : 31899 (java) S 31897 31899 26250 0 -1 4202496 13495 0 1 0 179972 37 0 0 20 0 19 0 255271835 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 140735208303392 215146856509 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/31899/statm: 2406244 41092 2283 9 0 2396937 0
[pid=31899/tid=31900] ppid=31897 vsize=9624976 CPUtime=1791.82 cores=1,3,5,7
/proc/31899/task/31900/stat : 31900 (java) R 31897 31899 26250 0 -1 4202560 2627 0 1 0 179151 31 0 0 20 0 19 0 255271835 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891849584928 139891789936833 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31902] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31902/stat : 31902 (java) S 31897 31899 26250 0 -1 4202560 139 0 0 0 43 2 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891788315304 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31903] ppid=31897 vsize=9624976 CPUtime=0.33 cores=1,3,5,7
/proc/31899/task/31903/stat : 31903 (java) S 31897 31899 26250 0 -1 4202560 72 0 0 0 32 1 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891787262760 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31904] ppid=31897 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/31899/task/31904/stat : 31904 (java) S 31897 31899 26250 0 -1 4202560 186 0 0 0 44 2 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891786210216 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31905] ppid=31897 vsize=9624976 CPUtime=0.4 cores=1,3,5,7
/proc/31899/task/31905/stat : 31905 (java) S 31897 31899 26250 0 -1 4202560 192 0 0 0 38 2 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891785157672 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31906] ppid=31897 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/31899/task/31906/stat : 31906 (java) S 31897 31899 26250 0 -1 4202560 120 0 0 0 44 2 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891784104104 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31907] ppid=31897 vsize=9624976 CPUtime=0.38 cores=1,3,5,7
/proc/31899/task/31907/stat : 31907 (java) S 31897 31899 26250 0 -1 4202560 138 0 0 0 38 0 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891687766312 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31908] ppid=31897 vsize=9624976 CPUtime=0.44 cores=1,3,5,7
/proc/31899/task/31908/stat : 31908 (java) S 31897 31899 26250 0 -1 4202560 89 0 0 0 42 2 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891686713768 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31899/tid=31909] ppid=31897 vsize=9624976 CPUtime=0.46 cores=1,3,5,7
/proc/31899/task/31909/stat : 31909 (java) S 31897 31899 26250 0 -1 4202560 68 0 0 0 44 2 0 0 20 0 19 0 255271836 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891685661224 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31910] ppid=31897 vsize=9624976 CPUtime=3.74 cores=1,3,5,7
/proc/31899/task/31910/stat : 31910 (java) S 31897 31899 26250 0 -1 4202560 134 0 0 0 371 3 0 0 20 0 19 0 255271837 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891673463400 215146870697 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31911] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31911/stat : 31911 (java) S 31897 31899 26250 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891672409720 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31912] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31912/stat : 31912 (java) S 31897 31899 26250 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 255271838 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891671357064 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31913] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31913/stat : 31913 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891670305808 215146878752 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31914] ppid=31897 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/31899/task/31914/stat : 31914 (java) S 31897 31899 26250 0 -1 4202560 3348 0 0 0 41 0 0 0 20 0 19 0 255271840 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891669252152 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31915] ppid=31897 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/31899/task/31915/stat : 31915 (java) S 31897 31899 26250 0 -1 4202560 5094 0 0 0 45 0 0 0 20 0 19 0 255271840 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891668199608 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31899/tid=31916] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31916/stat : 31916 (java) S 31897 31899 26250 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 255271840 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891667147256 215146869820 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31899/tid=31917] ppid=31897 vsize=9624976 CPUtime=0.95 cores=1,3,5,7
/proc/31899/task/31917/stat : 31917 (java) S 31897 31899 26250 0 -1 4202560 103 0 0 0 62 33 0 0 20 0 19 0 255271840 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891666094920 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31899/tid=31918] ppid=31897 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/31899/task/31918/stat : 31918 (java) S 31897 31899 26250 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 255271877 9855975424 41092 33554432000 1073741824 1073778376 140735208312256 139891665040680 215146870697 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1796.65
CPU time (s): 1801.1
CPU user time (s): 1800.16
CPU system time (s): 0.940856
CPU usage (%): 100.248
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.16
system time used= 0.940856
maximum resident set size= 164496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13528
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40392
involuntary context switches= 12885
runsolver used 6.32004 second user time and 16.4055 second system time
The end