runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3456722-1307636886/watcher-3456722-1307636886 -o /tmp/evaluation-result-3456722-1307636886/solver-3456722-1307636886 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456722-1307636886.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: 2.00 2.01 1.94 3/195 25861
/proc/meminfo: memFree=28063240/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 234 0 0 0 0 0 0 0 23 0 1 0 953919252 9318400 170 33554432000 1073741824 1073778376 140733659887520 18446744073709551615 231895486309 0 2147483391 4096 0 18446744071699215550 0 0 17 5 0 0 0
/proc/25861/statm: 2275 170 130 9 0 67 0
[startup+0.0595269 s]
/proc/loadavg: 2.00 2.01 1.94 3/195 25861
/proc/meminfo: memFree=28063240/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10533152 CPUtime=0.04 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 11472 0 1 0 3 1 0 0 23 0 13 0 953919252 10785947648 11169 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2633288 11170 1685 9 0 2624036 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10533152
[startup+0.100483 s]
/proc/loadavg: 2.00 2.01 1.94 3/195 25861
/proc/meminfo: memFree=28063240/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10540252 CPUtime=0.09 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 12930 0 1 0 8 1 0 0 23 0 18 0 953919252 10793218048 12627 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2635063 12627 2093 9 0 2625797 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540252
[startup+0.307505 s]
/proc/loadavg: 2.00 2.01 1.94 3/195 25861
/proc/meminfo: memFree=28063240/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10541424 CPUtime=0.47 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 15868 0 1 0 45 2 0 0 23 0 18 0 953919252 10794418176 15228 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2635356 15229 2201 9 0 2626090 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10541424
[startup+0.70039 s]
/proc/loadavg: 2.00 2.01 1.94 3/195 25861
/proc/meminfo: memFree=28063240/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10561336 CPUtime=1.44 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 40131 0 1 0 141 3 0 0 23 0 19 0 953919252 10814808064 36030 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2640334 36030 2229 9 0 2631068 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 10561336
[startup+1.50125 s]
/proc/loadavg: 2.00 2.01 1.94 4/214 25880
/proc/meminfo: memFree=27888080/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10562560 CPUtime=2.89 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 74557 0 1 0 282 7 0 0 23 0 19 0 953919252 10816061440 69559 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2640640 69561 2236 9 0 2631374 0
[pid=25861/tid=25863] ppid=25859 vsize=10562560 CPUtime=1.47 cores=1,3,5,7
/proc/25861/task/25863/stat : 25863 (java) R 25859 25861 25448 0 -1 4202560 59677 0 1 0 141 6 0 0 18 0 19 0 953919253 10816061440 69563 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 46912505949886 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25861/tid=25864] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25864/stat : 25864 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919255 10816061440 69564 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25865] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25865/stat : 25865 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 69565 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25866] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25866/stat : 25866 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 69567 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25867] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25867/stat : 25867 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 69568 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25868] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25868/stat : 25868 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 69569 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25869] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25869/stat : 25869 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 69571 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25870] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25870/stat : 25870 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919255 10816061440 69572 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25871] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25871/stat : 25871 (java) S 25859 25861 25448 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953919255 10816061440 69573 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25872] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25872/stat : 25872 (java) S 25859 25861 25448 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 69575 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 0 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25873] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25873/stat : 25873 (java) S 25859 25861 25448 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953919256 10816061440 69576 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25874] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25874/stat : 25874 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919256 10816061440 69577 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25875] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25875/stat : 25875 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919258 10816061440 69579 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907314097 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25876] ppid=25859 vsize=10562560 CPUtime=0.72 cores=1,3,5,7
/proc/25861/task/25876/stat : 25876 (java) S 25859 25861 25448 0 -1 4202560 7776 0 0 0 72 0 0 0 17 0 19 0 953919258 10816061440 69580 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25877] ppid=25859 vsize=10562560 CPUtime=0.67 cores=1,3,5,7
/proc/25861/task/25877/stat : 25877 (java) S 25859 25861 25448 0 -1 4202560 5947 0 0 0 67 0 0 0 15 0 19 0 953919258 10816061440 69582 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25878] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25878/stat : 25878 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919258 10816061440 69583 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25879] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25879/stat : 25879 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953919258 10816061440 69585 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 7 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919307 10816061440 69587 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 10562560
[startup+3.10095 s]
/proc/loadavg: 2.00 2.01 1.94 3/214 25880
/proc/meminfo: memFree=27692160/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10562560 CPUtime=4.58 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 146849 0 1 0 443 15 0 0 23 0 19 0 953919252 10816061440 141850 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2640640 141851 2238 9 0 2631374 0
[pid=25861/tid=25863] ppid=25859 vsize=10562560 CPUtime=3.08 cores=1,3,5,7
/proc/25861/task/25863/stat : 25863 (java) R 25859 25861 25448 0 -1 4202560 131942 0 1 0 294 14 0 0 19 0 19 0 953919253 10816061440 141852 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 46912505853506 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25861/tid=25864] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25864/stat : 25864 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919255 10816061440 141853 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25865] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25865/stat : 25865 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 141854 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25866] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25866/stat : 25866 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 141854 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25867] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25867/stat : 25867 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 141855 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25868] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25868/stat : 25868 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 141856 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25869] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25869/stat : 25869 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 141857 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25870] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25870/stat : 25870 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919255 10816061440 141858 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25871] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25871/stat : 25871 (java) S 25859 25861 25448 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953919255 10816061440 141858 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25872] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25872/stat : 25872 (java) S 25859 25861 25448 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953919256 10816061440 141859 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 0 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25873] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25873/stat : 25873 (java) S 25859 25861 25448 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953919256 10816061440 141860 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25874] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25874/stat : 25874 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919256 10816061440 141860 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25875] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25875/stat : 25875 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919258 10816061440 141861 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907314097 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25876] ppid=25859 vsize=10562560 CPUtime=0.81 cores=1,3,5,7
/proc/25861/task/25876/stat : 25876 (java) S 25859 25861 25448 0 -1 4202560 7801 0 0 0 81 0 0 0 15 0 19 0 953919258 10816061440 141862 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25877] ppid=25859 vsize=10562560 CPUtime=0.67 cores=1,3,5,7
/proc/25861/task/25877/stat : 25877 (java) S 25859 25861 25448 0 -1 4202560 5948 0 0 0 67 0 0 0 15 0 19 0 953919258 10816061440 141863 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25878] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25878/stat : 25878 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919258 10816061440 141864 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25879] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25879/stat : 25879 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 953919258 10816061440 141865 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 7 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919307 10816061440 141866 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 10562560
[startup+6.30135 s]
/proc/loadavg: 2.00 2.01 1.94 3/214 25880
/proc/meminfo: memFree=27096448/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10562560 CPUtime=7.83 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 289368 0 1 0 751 32 0 0 23 0 19 0 953919252 10816061440 283892 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2640640 283894 2239 9 0 2631374 0
[pid=25861/tid=25863] ppid=25859 vsize=10562560 CPUtime=6.27 cores=1,3,5,7
/proc/25861/task/25863/stat : 25863 (java) R 25859 25861 25448 0 -1 4202560 274454 0 1 0 597 30 0 0 19 0 19 0 953919253 10816061440 283895 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 46912505949868 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25861/tid=25864] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25864/stat : 25864 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919255 10816061440 283896 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25865] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25865/stat : 25865 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 283897 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25866] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25866/stat : 25866 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 283898 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25867] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25867/stat : 25867 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 283899 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25868] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25868/stat : 25868 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 283900 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25869] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25869/stat : 25869 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 953919255 10816061440 283901 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25870] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25870/stat : 25870 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919255 10816061440 283902 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25871] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25871/stat : 25871 (java) S 25859 25861 25448 0 -1 4202560 2 0 0 0 0 0 0 0 21 0 19 0 953919255 10816061440 283903 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25872] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25872/stat : 25872 (java) S 25859 25861 25448 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 953919256 10816061440 283904 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 0 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25873] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25873/stat : 25873 (java) S 25859 25861 25448 0 -1 4202560 16 0 0 0 0 0 0 0 23 0 19 0 953919256 10816061440 283904 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25874] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25874/stat : 25874 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919256 10816061440 283905 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25875] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25875/stat : 25875 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919258 10816061440 283906 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907314097 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25876] ppid=25859 vsize=10562560 CPUtime=0.85 cores=1,3,5,7
/proc/25861/task/25876/stat : 25876 (java) S 25859 25861 25448 0 -1 4202560 7807 0 0 0 85 0 0 0 15 0 19 0 953919258 10816061440 283907 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25877] ppid=25859 vsize=10562560 CPUtime=0.68 cores=1,3,5,7
/proc/25861/task/25877/stat : 25877 (java) S 25859 25861 25448 0 -1 4202560 5949 0 0 0 68 0 0 0 15 0 19 0 953919258 10816061440 283908 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25878] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25878/stat : 25878 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919258 10816061440 283909 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25879] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25879/stat : 25879 (java) S 25859 25861 25448 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 953919258 10816061440 283910 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 7 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919307 10816061440 283911 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.83
Current children cumulated vsize (KiB) 10562560
[startup+12.7011 s]
################
# More data... #
################
/proc/25861/task/25874/stat : 25874 (java) S 25859 25861 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 1094128 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25875] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25875/stat : 25875 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919258 10816061440 1094128 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907314097 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25876] ppid=25859 vsize=10562560 CPUtime=1.1 cores=1,3,5,7
/proc/25861/task/25876/stat : 25876 (java) S 25859 25861 25448 0 -1 4202560 7856 0 0 0 110 0 0 0 15 0 19 0 953919258 10816061440 1094128 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25877] ppid=25859 vsize=10562560 CPUtime=0.77 cores=1,3,5,7
/proc/25861/task/25877/stat : 25877 (java) S 25859 25861 25448 0 -1 4202560 5958 0 0 0 77 0 0 0 16 0 19 0 953919258 10816061440 1094128 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25878] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25878/stat : 25878 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919258 10816061440 1094128 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25879] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25879/stat : 25879 (java) S 25859 25861 25448 0 -1 4202560 96 0 0 0 0 0 0 0 15 0 19 0 953919258 10816061440 1094128 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919307 10816061440 1094128 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1673.16
Current children cumulated vsize (KiB) 10562560
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/214 25988
/proc/meminfo: memFree=23184936/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10562560 CPUtime=1733.47 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 1106093 0 1 0 173213 134 0 0 23 0 19 0 953919252 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2640640 1097256 2268 9 0 2631374 0
[pid=25861/tid=25863] ppid=25859 vsize=10562560 CPUtime=1717.21 cores=1,3,5,7
/proc/25861/task/25863/stat : 25863 (java) R 25859 25861 25448 0 -1 4202560 691108 0 1 0 171642 79 0 0 25 0 19 0 953919253 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 46912505852920 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25861/tid=25864] ppid=25859 vsize=10562560 CPUtime=1.58 cores=1,3,5,7
/proc/25861/task/25864/stat : 25864 (java) S 25859 25861 25448 0 -1 4202560 60332 0 0 0 151 7 0 0 16 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25865] ppid=25859 vsize=10562560 CPUtime=1.74 cores=1,3,5,7
/proc/25861/task/25865/stat : 25865 (java) S 25859 25861 25448 0 -1 4202560 47834 0 0 0 169 5 0 0 16 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25866] ppid=25859 vsize=10562560 CPUtime=1.84 cores=1,3,5,7
/proc/25861/task/25866/stat : 25866 (java) S 25859 25861 25448 0 -1 4202560 63946 0 0 0 177 7 0 0 15 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25867] ppid=25859 vsize=10562560 CPUtime=1.59 cores=1,3,5,7
/proc/25861/task/25867/stat : 25867 (java) S 25859 25861 25448 0 -1 4202560 55604 0 0 0 152 7 0 0 16 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25868] ppid=25859 vsize=10562560 CPUtime=1.49 cores=1,3,5,7
/proc/25861/task/25868/stat : 25868 (java) S 25859 25861 25448 0 -1 4202560 49365 0 0 0 144 5 0 0 15 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25869] ppid=25859 vsize=10562560 CPUtime=1.55 cores=1,3,5,7
/proc/25861/task/25869/stat : 25869 (java) S 25859 25861 25448 0 -1 4202560 34769 0 0 0 150 5 0 0 16 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25870] ppid=25859 vsize=10562560 CPUtime=1.2 cores=1,3,5,7
/proc/25861/task/25870/stat : 25870 (java) S 25859 25861 25448 0 -1 4202560 29882 0 0 0 116 4 0 0 15 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25871] ppid=25859 vsize=10562560 CPUtime=1.53 cores=1,3,5,7
/proc/25861/task/25871/stat : 25871 (java) S 25859 25861 25448 0 -1 4202560 44516 0 0 0 146 7 0 0 16 0 19 0 953919255 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25872] ppid=25859 vsize=10562560 CPUtime=1.74 cores=1,3,5,7
/proc/25861/task/25872/stat : 25872 (java) S 25859 25861 25448 0 -1 4202560 13674 0 0 0 172 2 0 0 15 0 19 0 953919256 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 0 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25873] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25873/stat : 25873 (java) S 25859 25861 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25874] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25874/stat : 25874 (java) S 25859 25861 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25875] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25875/stat : 25875 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919258 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907314097 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25876] ppid=25859 vsize=10562560 CPUtime=1.1 cores=1,3,5,7
/proc/25861/task/25876/stat : 25876 (java) S 25859 25861 25448 0 -1 4202560 7856 0 0 0 110 0 0 0 15 0 19 0 953919258 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25877] ppid=25859 vsize=10562560 CPUtime=0.77 cores=1,3,5,7
/proc/25861/task/25877/stat : 25877 (java) S 25859 25861 25448 0 -1 4202560 5958 0 0 0 77 0 0 0 16 0 19 0 953919258 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25878] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25878/stat : 25878 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919258 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25879] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25879/stat : 25879 (java) S 25859 25861 25448 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 953919258 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919307 10816061440 1097256 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1733.47
Current children cumulated vsize (KiB) 10562560
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/214 25989
/proc/meminfo: memFree=23149676/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10562560 CPUtime=1793.78 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 1110352 0 1 0 179244 134 0 0 23 0 19 0 953919252 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2640640 1101482 2268 9 0 2631374 0
[pid=25861/tid=25863] ppid=25859 vsize=10562560 CPUtime=1777.1 cores=1,3,5,7
/proc/25861/task/25863/stat : 25863 (java) R 25859 25861 25448 0 -1 4202560 691110 0 1 0 177631 79 0 0 25 0 19 0 953919253 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 46912505853186 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25861/tid=25864] ppid=25859 vsize=10562560 CPUtime=1.58 cores=1,3,5,7
/proc/25861/task/25864/stat : 25864 (java) S 25859 25861 25448 0 -1 4202560 60332 0 0 0 151 7 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25865] ppid=25859 vsize=10562560 CPUtime=1.74 cores=1,3,5,7
/proc/25861/task/25865/stat : 25865 (java) S 25859 25861 25448 0 -1 4202560 47834 0 0 0 169 5 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25866] ppid=25859 vsize=10562560 CPUtime=1.94 cores=1,3,5,7
/proc/25861/task/25866/stat : 25866 (java) S 25859 25861 25448 0 -1 4202560 65355 0 0 0 187 7 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25867] ppid=25859 vsize=10562560 CPUtime=1.65 cores=1,3,5,7
/proc/25861/task/25867/stat : 25867 (java) S 25859 25861 25448 0 -1 4202560 56171 0 0 0 158 7 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25868] ppid=25859 vsize=10562560 CPUtime=1.5 cores=1,3,5,7
/proc/25861/task/25868/stat : 25868 (java) S 25859 25861 25448 0 -1 4202560 49365 0 0 0 145 5 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25869] ppid=25859 vsize=10562560 CPUtime=1.66 cores=1,3,5,7
/proc/25861/task/25869/stat : 25869 (java) S 25859 25861 25448 0 -1 4202560 35864 0 0 0 161 5 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25870] ppid=25859 vsize=10562560 CPUtime=1.25 cores=1,3,5,7
/proc/25861/task/25870/stat : 25870 (java) S 25859 25861 25448 0 -1 4202560 30181 0 0 0 121 4 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25871] ppid=25859 vsize=10562560 CPUtime=1.63 cores=1,3,5,7
/proc/25861/task/25871/stat : 25871 (java) S 25859 25861 25448 0 -1 4202560 45395 0 0 0 156 7 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 7 0 0 0
[pid=25861/tid=25872] ppid=25859 vsize=10562560 CPUtime=1.74 cores=1,3,5,7
/proc/25861/task/25872/stat : 25872 (java) S 25859 25861 25448 0 -1 4202560 13678 0 0 0 172 2 0 0 15 0 19 0 953919256 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 0 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25873] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25873/stat : 25873 (java) S 25859 25861 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25874] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25874/stat : 25874 (java) S 25859 25861 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25875] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25875/stat : 25875 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907314097 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25876] ppid=25859 vsize=10562560 CPUtime=1.1 cores=1,3,5,7
/proc/25861/task/25876/stat : 25876 (java) S 25859 25861 25448 0 -1 4202560 7856 0 0 0 110 0 0 0 15 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25877] ppid=25859 vsize=10562560 CPUtime=0.77 cores=1,3,5,7
/proc/25861/task/25877/stat : 25877 (java) S 25859 25861 25448 0 -1 4202560 5958 0 0 0 77 0 0 0 16 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25878] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25878/stat : 25878 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25879] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25879/stat : 25879 (java) S 25859 25861 25448 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919307 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1793.78
Current children cumulated vsize (KiB) 10562560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1788.61 s]
/proc/loadavg: 2.00 2.03 2.00 3/214 25989
/proc/meminfo: memFree=23149672/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=10562560 CPUtime=1800.09 cores=1,3,5,7
/proc/25861/stat : 25861 (java) S 25859 25861 25448 0 -1 4202496 1110352 0 1 0 179875 134 0 0 23 0 19 0 953919252 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907293157 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 2640640 1101482 2268 9 0 2631374 0
[pid=25861/tid=25863] ppid=25859 vsize=10562560 CPUtime=1783.42 cores=1,3,5,7
/proc/25861/task/25863/stat : 25863 (java) R 25859 25861 25448 0 -1 4202560 691110 0 1 0 178263 79 0 0 25 0 19 0 953919253 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 46912505841660 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=25861/tid=25864] ppid=25859 vsize=10562560 CPUtime=1.58 cores=1,3,5,7
/proc/25861/task/25864/stat : 25864 (java) S 25859 25861 25448 0 -1 4202560 60332 0 0 0 151 7 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25865] ppid=25859 vsize=10562560 CPUtime=1.74 cores=1,3,5,7
/proc/25861/task/25865/stat : 25865 (java) S 25859 25861 25448 0 -1 4202560 47834 0 0 0 169 5 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25866] ppid=25859 vsize=10562560 CPUtime=1.94 cores=1,3,5,7
/proc/25861/task/25866/stat : 25866 (java) S 25859 25861 25448 0 -1 4202560 65355 0 0 0 187 7 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25867] ppid=25859 vsize=10562560 CPUtime=1.65 cores=1,3,5,7
/proc/25861/task/25867/stat : 25867 (java) S 25859 25861 25448 0 -1 4202560 56171 0 0 0 158 7 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25868] ppid=25859 vsize=10562560 CPUtime=1.5 cores=1,3,5,7
/proc/25861/task/25868/stat : 25868 (java) S 25859 25861 25448 0 -1 4202560 49365 0 0 0 145 5 0 0 15 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25869] ppid=25859 vsize=10562560 CPUtime=1.66 cores=1,3,5,7
/proc/25861/task/25869/stat : 25869 (java) S 25859 25861 25448 0 -1 4202560 35864 0 0 0 161 5 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25870] ppid=25859 vsize=10562560 CPUtime=1.25 cores=1,3,5,7
/proc/25861/task/25870/stat : 25870 (java) S 25859 25861 25448 0 -1 4202560 30181 0 0 0 121 4 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25871] ppid=25859 vsize=10562560 CPUtime=1.63 cores=1,3,5,7
/proc/25861/task/25871/stat : 25871 (java) S 25859 25861 25448 0 -1 4202560 45395 0 0 0 156 7 0 0 16 0 19 0 953919255 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 7 0 0 0
[pid=25861/tid=25872] ppid=25859 vsize=10562560 CPUtime=1.74 cores=1,3,5,7
/proc/25861/task/25872/stat : 25872 (java) S 25859 25861 25448 0 -1 4202560 13678 0 0 0 172 2 0 0 15 0 19 0 953919256 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 0 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25873] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25873/stat : 25873 (java) S 25859 25861 25448 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25874] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25874/stat : 25874 (java) S 25859 25861 25448 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 953919256 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25875] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25875/stat : 25875 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907314097 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25876] ppid=25859 vsize=10562560 CPUtime=1.1 cores=1,3,5,7
/proc/25861/task/25876/stat : 25876 (java) S 25859 25861 25448 0 -1 4202560 7856 0 0 0 110 0 0 0 15 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 3 0 0 0
[pid=25861/tid=25877] ppid=25859 vsize=10562560 CPUtime=0.77 cores=1,3,5,7
/proc/25861/task/25877/stat : 25877 (java) S 25859 25861 25448 0 -1 4202560 5958 0 0 0 77 0 0 0 16 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25878] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25878/stat : 25878 (java) S 25859 25861 25448 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907306393 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
[pid=25861/tid=25879] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25879/stat : 25879 (java) S 25859 25861 25448 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 953919258 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 5 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=10562560 CPUtime=0 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) S 25859 25861 25448 0 -1 4202560 7 0 0 0 0 0 0 0 24 0 19 0 953919307 10816061440 1101482 33554432000 1073741824 1073778376 140734668362368 18446744073709551615 231907307008 0 4 0 16800975 18446604462976777280 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10562560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1788.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/214 25989
/proc/meminfo: memFree=23149672/32950928 swapFree=67054844/67111528
[pid=25861] ppid=25859 vsize=0 CPUtime=1800.3 cores=1,3,5,7
/proc/25861/stat : 25861 (java) Z 25859 25861 25448 0 -1 4203548 1110382 0 1 0 179880 150 0 0 17 0 2 0 953919252 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25861/statm: 0 0 0 0 0 0 0
[pid=25861/tid=25880] ppid=25859 vsize=0 CPUtime=0.15 cores=1,3,5,7
/proc/25861/task/25880/stat : 25880 (java) R 25859 25861 25448 0 -1 4203588 7 0 0 0 0 15 0 0 18 0 2 0 953919307 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1788.81
CPU time (s): 1800.32
CPU user time (s): 1798.8
CPU system time (s): 1.51377
CPU usage (%): 100.643
Max. virtual memory (cumulated for all children) (KiB): 10562560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.51377
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1110382
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38218
involuntary context switches= 22039
runsolver used 2.87056 second user time and 6.90695 second system time
The end