runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3312227-1304185453/watcher-3312227-1304185453 -o /tmp/evaluation-result-3312227-1304185453/solver-3312227-1304185453 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3312227-1304185453.cnf -hbr 2
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 6.86 7.85 7.83 2/174 31902
/proc/meminfo: memFree=30596680/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/31902/stat : 31902 (java) R 31900 31902 31870 0 -1 4202496 1195 0 0 0 0 0 0 0 22 0 1 0 608775959 23580672 681 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224279963537 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/31902/statm: 5757 681 508 9 0 124 0
[startup+0.0858971 s]
/proc/loadavg: 6.86 7.85 7.83 2/174 31902
/proc/meminfo: memFree=30596680/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15676512 CPUtime=0.09 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 5371 0 1 0 8 1 0 0 22 0 18 0 608775959 16052748288 4795 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3919128 4795 2115 9 0 3909847 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15676512
[startup+0.108465 s]
/proc/loadavg: 6.86 7.85 7.83 2/174 31902
/proc/meminfo: memFree=30596680/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15676512 CPUtime=0.11 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 5644 0 1 0 10 1 0 0 22 0 18 0 608775959 16052748288 5068 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3919128 5069 2118 9 0 3909847 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 15676512
[startup+0.300454 s]
/proc/loadavg: 6.86 7.85 7.83 2/174 31902
/proc/meminfo: memFree=30596680/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15680360 CPUtime=0.52 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 14743 0 1 0 50 2 0 0 22 0 18 0 608775959 16056688640 13157 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3920090 13163 2206 9 0 3910809 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 15680360
[startup+0.705366 s]
/proc/loadavg: 6.86 7.85 7.83 2/174 31902
/proc/meminfo: memFree=30596680/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15690064 CPUtime=1.07 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 43631 0 1 0 102 5 0 0 22 0 22 0 608775959 16066625536 40897 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3922516 40897 2252 9 0 3913235 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 15690064
[startup+1.50122 s]
/proc/loadavg: 6.86 7.85 7.83 5/216 31947
/proc/meminfo: memFree=30263824/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15701256 CPUtime=2.85 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 51978 0 1 0 278 7 0 0 22 0 22 0 608775959 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3925314 44351 2269 9 0 3916033 0
[pid=31902/tid=31904] ppid=31900 vsize=15701256 CPUtime=1.46 cores=0,2,4,6
/proc/31902/task/31904/stat : 31904 (java) S 31900 31902 31870 0 -1 4202560 35676 0 1 0 142 4 0 0 21 0 22 0 608775960 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31905] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31905/stat : 31905 (java) S 31900 31902 31870 0 -1 4202560 39 0 0 0 0 0 0 0 20 0 22 0 608775961 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31906] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31906/stat : 31906 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 608775961 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31907] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31907/stat : 31907 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 608775961 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31908] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31908/stat : 31908 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 608775961 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31909] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31909/stat : 31909 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 608775961 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31910] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31910/stat : 31910 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 608775961 16078086144 44351 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31911] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31911/stat : 31911 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 22 0 608775961 16078086144 44361 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31912] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31912/stat : 31912 (java) S 31900 31902 31870 0 -1 4202560 365 0 0 0 0 0 0 0 21 0 22 0 608775961 16078086144 44386 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31913] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31913/stat : 31913 (java) S 31900 31902 31870 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 44404 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 0 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31914] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31914/stat : 31914 (java) S 31900 31902 31870 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 22 0 608775962 16078086144 44404 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31915] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31915/stat : 31915 (java) S 31900 31902 31870 0 -1 4202560 8 0 0 0 0 0 0 0 21 0 22 0 608775962 16078086144 44404 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31916] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31916/stat : 31916 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 44404 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296749489 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31917] ppid=31900 vsize=15701256 CPUtime=0.56 cores=0,2,4,6
/proc/31902/task/31917/stat : 31917 (java) S 31900 31902 31870 0 -1 4202560 4374 0 0 0 56 0 0 0 15 0 22 0 608775964 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31918] ppid=31900 vsize=15701256 CPUtime=0.78 cores=0,2,4,6
/proc/31902/task/31918/stat : 31918 (java) R 31900 31902 31870 0 -1 4202560 10122 0 0 0 77 1 0 0 15 0 22 0 608775964 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224284969319 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31902/tid=31919] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31919/stat : 31919 (java) S 31900 31902 31870 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31920] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31920/stat : 31920 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608775964 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31944] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31944/stat : 31944 (java) S 31900 31902 31870 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 22 0 608776015 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31945] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31945/stat : 31945 (java) R 31900 31902 31870 0 -1 4202560 21 0 0 0 0 0 0 0 15 0 22 0 608776015 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505187854 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31902/tid=31946] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31946/stat : 31946 (java) S 31900 31902 31870 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 22 0 608776015 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31947] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31947/stat : 31947 (java) S 31900 31902 31870 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 22 0 608776015 16078086144 44375 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 15701256
[startup+3.10091 s]
/proc/loadavg: 6.86 7.85 7.83 4/216 31947
/proc/meminfo: memFree=30106716/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15701256 CPUtime=8.11 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 67250 0 1 0 802 9 0 0 22 0 22 0 608775959 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3925314 58113 2274 9 0 3916033 0
[pid=31902/tid=31904] ppid=31900 vsize=15701256 CPUtime=1.46 cores=0,2,4,6
/proc/31902/task/31904/stat : 31904 (java) S 31900 31902 31870 0 -1 4202560 35676 0 1 0 142 4 0 0 21 0 22 0 608775960 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31905] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31905/stat : 31905 (java) S 31900 31902 31870 0 -1 4202560 770 0 0 0 0 0 0 0 15 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31906] ppid=31900 vsize=15701256 CPUtime=0.01 cores=0,2,4,6
/proc/31902/task/31906/stat : 31906 (java) S 31900 31902 31870 0 -1 4202560 3373 0 0 0 1 0 0 0 16 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31907] ppid=31900 vsize=15701256 CPUtime=0.01 cores=0,2,4,6
/proc/31902/task/31907/stat : 31907 (java) S 31900 31902 31870 0 -1 4202560 1598 0 0 0 1 0 0 0 16 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31908] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31908/stat : 31908 (java) S 31900 31902 31870 0 -1 4202560 501 0 0 0 0 0 0 0 15 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31909] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31909/stat : 31909 (java) S 31900 31902 31870 0 -1 4202560 712 0 0 0 0 0 0 0 15 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31910] ppid=31900 vsize=15701256 CPUtime=0.01 cores=0,2,4,6
/proc/31902/task/31910/stat : 31910 (java) S 31900 31902 31870 0 -1 4202560 3124 0 0 0 1 0 0 0 16 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31911] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31911/stat : 31911 (java) S 31900 31902 31870 0 -1 4202560 2302 0 0 0 0 0 0 0 15 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31912] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31912/stat : 31912 (java) S 31900 31902 31870 0 -1 4202560 1740 0 0 0 0 0 0 0 16 0 22 0 608775961 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31913] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31913/stat : 31913 (java) S 31900 31902 31870 0 -1 4202560 75 0 0 0 0 0 0 0 16 0 22 0 608775962 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 0 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31914] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31914/stat : 31914 (java) S 31900 31902 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31915] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31915/stat : 31915 (java) S 31900 31902 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31916] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31916/stat : 31916 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296749489 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31917] ppid=31900 vsize=15701256 CPUtime=0.75 cores=0,2,4,6
/proc/31902/task/31917/stat : 31917 (java) S 31900 31902 31870 0 -1 4202560 5607 0 0 0 74 1 0 0 15 0 22 0 608775964 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31918] ppid=31900 vsize=15701256 CPUtime=1.03 cores=0,2,4,6
/proc/31902/task/31918/stat : 31918 (java) S 31900 31902 31870 0 -1 4202560 10324 0 0 0 102 1 0 0 15 0 22 0 608775964 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31919] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31919/stat : 31919 (java) S 31900 31902 31870 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31920] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31920/stat : 31920 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 608775964 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31944] ppid=31900 vsize=15701256 CPUtime=1.37 cores=0,2,4,6
/proc/31902/task/31944/stat : 31944 (java) R 31900 31902 31870 0 -1 4202560 16 0 0 0 137 0 0 0 16 0 22 0 608776015 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505826541 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31902/tid=31945] ppid=31900 vsize=15701256 CPUtime=1.47 cores=0,2,4,6
/proc/31902/task/31945/stat : 31945 (java) R 31900 31902 31870 0 -1 4202560 25 0 0 0 147 0 0 0 16 0 22 0 608776015 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912506025824 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31902/tid=31946] ppid=31900 vsize=15701256 CPUtime=0.98 cores=0,2,4,6
/proc/31902/task/31946/stat : 31946 (java) R 31900 31902 31870 0 -1 4202560 13 0 0 0 98 0 0 0 16 0 22 0 608776015 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912506254905 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31902/tid=31947] ppid=31900 vsize=15701256 CPUtime=0.93 cores=0,2,4,6
/proc/31902/task/31947/stat : 31947 (java) R 31900 31902 31870 0 -1 4202560 7 0 0 0 93 0 0 0 16 0 22 0 608776015 16078086144 58113 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505980781 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 8.11
Current children cumulated vsize (KiB) 15701256
[startup+6.30139 s]
/proc/loadavg: 6.63 7.78 7.81 7/220 31951
/proc/meminfo: memFree=29546428/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15701256 CPUtime=20.87 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 174768 0 1 0 2062 25 0 0 22 0 22 0 608775959 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3925314 164541 2274 9 0 3916033 0
[pid=31902/tid=31904] ppid=31900 vsize=15701256 CPUtime=1.46 cores=0,2,4,6
/proc/31902/task/31904/stat : 31904 (java) S 31900 31902 31870 0 -1 4202560 35676 0 1 0 142 4 0 0 21 0 22 0 608775960 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31905] ppid=31900 vsize=15701256 CPUtime=0.03 cores=0,2,4,6
/proc/31902/task/31905/stat : 31905 (java) S 31900 31902 31870 0 -1 4202560 5799 0 0 0 2 1 0 0 16 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31906] ppid=31900 vsize=15701256 CPUtime=0.04 cores=0,2,4,6
/proc/31902/task/31906/stat : 31906 (java) S 31900 31902 31870 0 -1 4202560 9885 0 0 0 3 1 0 0 16 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31907] ppid=31900 vsize=15701256 CPUtime=0.02 cores=0,2,4,6
/proc/31902/task/31907/stat : 31907 (java) S 31900 31902 31870 0 -1 4202560 7472 0 0 0 2 0 0 0 16 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31908] ppid=31900 vsize=15701256 CPUtime=0.01 cores=0,2,4,6
/proc/31902/task/31908/stat : 31908 (java) S 31900 31902 31870 0 -1 4202560 3329 0 0 0 1 0 0 0 15 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31909] ppid=31900 vsize=15701256 CPUtime=0.04 cores=0,2,4,6
/proc/31902/task/31909/stat : 31909 (java) S 31900 31902 31870 0 -1 4202560 8393 0 0 0 3 1 0 0 16 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31910] ppid=31900 vsize=15701256 CPUtime=0.03 cores=0,2,4,6
/proc/31902/task/31910/stat : 31910 (java) S 31900 31902 31870 0 -1 4202560 8142 0 0 0 2 1 0 0 15 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31911] ppid=31900 vsize=15701256 CPUtime=0.03 cores=0,2,4,6
/proc/31902/task/31911/stat : 31911 (java) S 31900 31902 31870 0 -1 4202560 9032 0 0 0 2 1 0 0 15 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31912] ppid=31900 vsize=15701256 CPUtime=0.02 cores=0,2,4,6
/proc/31902/task/31912/stat : 31912 (java) S 31900 31902 31870 0 -1 4202560 6932 0 0 0 2 0 0 0 15 0 22 0 608775961 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31913] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31913/stat : 31913 (java) S 31900 31902 31870 0 -1 4202560 378 0 0 0 0 0 0 0 15 0 22 0 608775962 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 0 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31914] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31914/stat : 31914 (java) S 31900 31902 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31915] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31915/stat : 31915 (java) S 31900 31902 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31916] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31916/stat : 31916 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296749489 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31917] ppid=31900 vsize=15701256 CPUtime=0.91 cores=0,2,4,6
/proc/31902/task/31917/stat : 31917 (java) S 31900 31902 31870 0 -1 4202560 6490 0 0 0 90 1 0 0 15 0 22 0 608775964 16078086144 164541 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
################
# More data... #
################
[pid=31902/tid=31945] ppid=31900 vsize=15701256 CPUtime=1048.58 cores=0,2,4,6
/proc/31902/task/31945/stat : 31945 (java) R 31900 31902 31870 0 -1 4202560 179736 0 0 0 104835 23 0 0 25 0 22 0 608776015 16078086144 161368 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505822071 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31902/tid=31946] ppid=31900 vsize=15701256 CPUtime=1048.51 cores=0,2,4,6
/proc/31902/task/31946/stat : 31946 (java) R 31900 31902 31870 0 -1 4202560 202371 0 0 0 104825 26 0 0 25 0 22 0 608776015 16078086144 161368 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505800446 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=31902/tid=31947] ppid=31900 vsize=15701256 CPUtime=1046.91 cores=0,2,4,6
/proc/31902/task/31947/stat : 31947 (java) R 31900 31902 31870 0 -1 4202560 203309 0 0 0 104664 27 0 0 25 0 22 0 608776015 16078086144 161368 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505800585 0 4 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4228.29
Current children cumulated vsize (KiB) 15701256
[startup+1122.3 s]
/proc/loadavg: 8.25 8.14 7.98 9/220 31990
/proc/meminfo: memFree=28068928/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15701256 CPUtime=4467.39 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 2577560 0 1 0 446286 453 0 0 22 0 22 0 608775959 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3925314 152193 2292 9 0 3916033 0
[pid=31902/tid=31904] ppid=31900 vsize=15701256 CPUtime=1.46 cores=0,2,4,6
/proc/31902/task/31904/stat : 31904 (java) S 31900 31902 31870 0 -1 4202560 35676 0 1 0 142 4 0 0 21 0 22 0 608775960 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31905] ppid=31900 vsize=15701256 CPUtime=4 cores=0,2,4,6
/proc/31902/task/31905/stat : 31905 (java) S 31900 31902 31870 0 -1 4202560 205236 0 0 0 366 34 0 0 15 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31906] ppid=31900 vsize=15701256 CPUtime=4.14 cores=0,2,4,6
/proc/31902/task/31906/stat : 31906 (java) S 31900 31902 31870 0 -1 4202560 215227 0 0 0 379 35 0 0 15 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31907] ppid=31900 vsize=15701256 CPUtime=4.03 cores=0,2,4,6
/proc/31902/task/31907/stat : 31907 (java) S 31900 31902 31870 0 -1 4202560 215976 0 0 0 365 38 0 0 15 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31908] ppid=31900 vsize=15701256 CPUtime=3.96 cores=0,2,4,6
/proc/31902/task/31908/stat : 31908 (java) S 31900 31902 31870 0 -1 4202560 196540 0 0 0 364 32 0 0 16 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31909] ppid=31900 vsize=15701256 CPUtime=3.98 cores=0,2,4,6
/proc/31902/task/31909/stat : 31909 (java) S 31900 31902 31870 0 -1 4202560 202589 0 0 0 365 33 0 0 16 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31910] ppid=31900 vsize=15701256 CPUtime=4.13 cores=0,2,4,6
/proc/31902/task/31910/stat : 31910 (java) S 31900 31902 31870 0 -1 4202560 230289 0 0 0 377 36 0 0 15 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31911] ppid=31900 vsize=15701256 CPUtime=4.12 cores=0,2,4,6
/proc/31902/task/31911/stat : 31911 (java) S 31900 31902 31870 0 -1 4202560 207586 0 0 0 376 36 0 0 15 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31912] ppid=31900 vsize=15701256 CPUtime=3.98 cores=0,2,4,6
/proc/31902/task/31912/stat : 31912 (java) S 31900 31902 31870 0 -1 4202560 206400 0 0 0 366 32 0 0 15 0 22 0 608775961 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31913] ppid=31900 vsize=15701256 CPUtime=2.1 cores=0,2,4,6
/proc/31902/task/31913/stat : 31913 (java) S 31900 31902 31870 0 -1 4202560 6208 0 0 0 157 53 0 0 16 0 22 0 608775962 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 0 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31914] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31914/stat : 31914 (java) S 31900 31902 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31915] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31915/stat : 31915 (java) S 31900 31902 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31916] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31916/stat : 31916 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296749489 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31917] ppid=31900 vsize=15701256 CPUtime=1.23 cores=0,2,4,6
/proc/31902/task/31917/stat : 31917 (java) S 31900 31902 31870 0 -1 4202560 8927 0 0 0 122 1 0 0 15 0 22 0 608775964 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31918] ppid=31900 vsize=15701256 CPUtime=1.37 cores=0,2,4,6
/proc/31902/task/31918/stat : 31918 (java) S 31900 31902 31870 0 -1 4202560 10367 0 0 0 136 1 0 0 15 0 22 0 608775964 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31919] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31919/stat : 31919 (java) S 31900 31902 31870 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31920] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31920/stat : 31920 (java) S 31900 31902 31870 0 -1 4202560 67 0 0 0 0 0 0 0 15 0 22 0 608775964 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31944] ppid=31900 vsize=15701256 CPUtime=1106.6 cores=0,2,4,6
/proc/31902/task/31944/stat : 31944 (java) R 31900 31902 31870 0 -1 4202560 214684 0 0 0 110632 28 0 0 25 0 22 0 608776015 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505821801 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31902/tid=31945] ppid=31900 vsize=15701256 CPUtime=1107.97 cores=0,2,4,6
/proc/31902/task/31945/stat : 31945 (java) R 31900 31902 31870 0 -1 4202560 189672 0 0 0 110773 24 0 0 25 0 22 0 608776015 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505822155 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31902/tid=31946] ppid=31900 vsize=15701256 CPUtime=1107.88 cores=0,2,4,6
/proc/31902/task/31946/stat : 31946 (java) R 31900 31902 31870 0 -1 4202560 213618 0 0 0 110760 28 0 0 25 0 22 0 608776015 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505796800 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31902/tid=31947] ppid=31900 vsize=15701256 CPUtime=1106.27 cores=0,2,4,6
/proc/31902/task/31947/stat : 31947 (java) R 31900 31902 31870 0 -1 4202560 217112 0 0 0 110598 29 0 0 25 0 22 0 608776015 16078086144 152193 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505822000 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4467.39
Current children cumulated vsize (KiB) 15701256
[startup+1182.3 s]
/proc/loadavg: 8.16 8.13 7.99 9/220 31992
/proc/meminfo: memFree=28193628/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15701256 CPUtime=4706.46 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 2711983 0 1 0 470169 477 0 0 22 0 22 0 608775959 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3925314 153713 2292 9 0 3916033 0
[pid=31902/tid=31904] ppid=31900 vsize=15701256 CPUtime=1.46 cores=0,2,4,6
/proc/31902/task/31904/stat : 31904 (java) S 31900 31902 31870 0 -1 4202560 35676 0 1 0 142 4 0 0 21 0 22 0 608775960 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31905] ppid=31900 vsize=15701256 CPUtime=4.22 cores=0,2,4,6
/proc/31902/task/31905/stat : 31905 (java) S 31900 31902 31870 0 -1 4202560 219551 0 0 0 386 36 0 0 15 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31906] ppid=31900 vsize=15701256 CPUtime=4.36 cores=0,2,4,6
/proc/31902/task/31906/stat : 31906 (java) S 31900 31902 31870 0 -1 4202560 225840 0 0 0 399 37 0 0 15 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31907] ppid=31900 vsize=15701256 CPUtime=4.23 cores=0,2,4,6
/proc/31902/task/31907/stat : 31907 (java) S 31900 31902 31870 0 -1 4202560 225676 0 0 0 383 40 0 0 15 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31908] ppid=31900 vsize=15701256 CPUtime=4.21 cores=0,2,4,6
/proc/31902/task/31908/stat : 31908 (java) S 31900 31902 31870 0 -1 4202560 208202 0 0 0 387 34 0 0 16 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31909] ppid=31900 vsize=15701256 CPUtime=4.2 cores=0,2,4,6
/proc/31902/task/31909/stat : 31909 (java) S 31900 31902 31870 0 -1 4202560 214293 0 0 0 384 36 0 0 16 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31910] ppid=31900 vsize=15701256 CPUtime=4.4 cores=0,2,4,6
/proc/31902/task/31910/stat : 31910 (java) S 31900 31902 31870 0 -1 4202560 246224 0 0 0 401 39 0 0 16 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31911] ppid=31900 vsize=15701256 CPUtime=4.34 cores=0,2,4,6
/proc/31902/task/31911/stat : 31911 (java) S 31900 31902 31870 0 -1 4202560 217700 0 0 0 397 37 0 0 15 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31912] ppid=31900 vsize=15701256 CPUtime=4.18 cores=0,2,4,6
/proc/31902/task/31912/stat : 31912 (java) S 31900 31902 31870 0 -1 4202560 213866 0 0 0 384 34 0 0 16 0 22 0 608775961 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31913] ppid=31900 vsize=15701256 CPUtime=2.21 cores=0,2,4,6
/proc/31902/task/31913/stat : 31913 (java) S 31900 31902 31870 0 -1 4202560 6546 0 0 0 165 56 0 0 16 0 22 0 608775962 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 0 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31914] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31914/stat : 31914 (java) S 31900 31902 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31915] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31915/stat : 31915 (java) S 31900 31902 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31916] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31916/stat : 31916 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296749489 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31917] ppid=31900 vsize=15701256 CPUtime=1.23 cores=0,2,4,6
/proc/31902/task/31917/stat : 31917 (java) S 31900 31902 31870 0 -1 4202560 8927 0 0 0 122 1 0 0 15 0 22 0 608775964 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31918] ppid=31900 vsize=15701256 CPUtime=1.37 cores=0,2,4,6
/proc/31902/task/31918/stat : 31918 (java) S 31900 31902 31870 0 -1 4202560 10367 0 0 0 136 1 0 0 15 0 22 0 608775964 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31919] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31919/stat : 31919 (java) S 31900 31902 31870 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31920] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31920/stat : 31920 (java) S 31900 31902 31870 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 22 0 608775964 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31944] ppid=31900 vsize=15701256 CPUtime=1165.96 cores=0,2,4,6
/proc/31902/task/31944/stat : 31944 (java) R 31900 31902 31870 0 -1 4202560 226043 0 0 0 116567 29 0 0 25 0 22 0 608776015 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505980687 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31902/tid=31945] ppid=31900 vsize=15701256 CPUtime=1167.35 cores=0,2,4,6
/proc/31902/task/31945/stat : 31945 (java) R 31900 31902 31870 0 -1 4202560 199577 0 0 0 116710 25 0 0 25 0 22 0 608776015 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505822124 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31902/tid=31946] ppid=31900 vsize=15701256 CPUtime=1166.93 cores=0,2,4,6
/proc/31902/task/31946/stat : 31946 (java) R 31900 31902 31870 0 -1 4202560 223138 0 0 0 116664 29 0 0 25 0 22 0 608776015 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505800637 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31902/tid=31947] ppid=31900 vsize=15701256 CPUtime=1165.64 cores=0,2,4,6
/proc/31902/task/31947/stat : 31947 (java) R 31900 31902 31870 0 -1 4202560 228902 0 0 0 116534 30 0 0 25 0 22 0 608776015 16078086144 153713 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505821863 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4706.46
Current children cumulated vsize (KiB) 15701256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1205.8 s]
/proc/loadavg: 7.92 8.07 7.97 9/220 31992
/proc/meminfo: memFree=28276800/32951124 swapFree=67103364/67111528
[pid=31902] ppid=31900 vsize=15701256 CPUtime=4800.17 cores=0,2,4,6
/proc/31902/stat : 31902 (java) S 31900 31902 31870 0 -1 4202496 2759811 0 1 0 479530 487 0 0 22 0 22 0 608775959 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296728549 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/31902/statm: 3925314 156473 2292 9 0 3916033 0
[pid=31902/tid=31904] ppid=31900 vsize=15701256 CPUtime=1.46 cores=0,2,4,6
/proc/31902/task/31904/stat : 31904 (java) S 31900 31902 31870 0 -1 4202560 35676 0 1 0 142 4 0 0 21 0 22 0 608775960 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31905] ppid=31900 vsize=15701256 CPUtime=4.31 cores=0,2,4,6
/proc/31902/task/31905/stat : 31905 (java) S 31900 31902 31870 0 -1 4202560 224461 0 0 0 394 37 0 0 15 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31906] ppid=31900 vsize=15701256 CPUtime=4.44 cores=0,2,4,6
/proc/31902/task/31906/stat : 31906 (java) S 31900 31902 31870 0 -1 4202560 229649 0 0 0 406 38 0 0 16 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31907] ppid=31900 vsize=15701256 CPUtime=4.3 cores=0,2,4,6
/proc/31902/task/31907/stat : 31907 (java) S 31900 31902 31870 0 -1 4202560 228167 0 0 0 390 40 0 0 15 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31908] ppid=31900 vsize=15701256 CPUtime=4.28 cores=0,2,4,6
/proc/31902/task/31908/stat : 31908 (java) S 31900 31902 31870 0 -1 4202560 210938 0 0 0 394 34 0 0 15 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31909] ppid=31900 vsize=15701256 CPUtime=4.31 cores=0,2,4,6
/proc/31902/task/31909/stat : 31909 (java) S 31900 31902 31870 0 -1 4202560 222656 0 0 0 394 37 0 0 16 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31910] ppid=31900 vsize=15701256 CPUtime=4.52 cores=0,2,4,6
/proc/31902/task/31910/stat : 31910 (java) S 31900 31902 31870 0 -1 4202560 252208 0 0 0 411 41 0 0 15 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31911] ppid=31900 vsize=15701256 CPUtime=4.44 cores=0,2,4,6
/proc/31902/task/31911/stat : 31911 (java) S 31900 31902 31870 0 -1 4202560 221294 0 0 0 406 38 0 0 16 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31912] ppid=31900 vsize=15701256 CPUtime=4.28 cores=0,2,4,6
/proc/31902/task/31912/stat : 31912 (java) S 31900 31902 31870 0 -1 4202560 216990 0 0 0 393 35 0 0 16 0 22 0 608775961 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31913] ppid=31900 vsize=15701256 CPUtime=2.22 cores=0,2,4,6
/proc/31902/task/31913/stat : 31913 (java) S 31900 31902 31870 0 -1 4202560 6701 0 0 0 166 56 0 0 15 0 22 0 608775962 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 0 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31914] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31914/stat : 31914 (java) S 31900 31902 31870 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31915] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31915/stat : 31915 (java) S 31900 31902 31870 0 -1 4202560 8 0 0 0 0 0 0 0 18 0 22 0 608775962 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31916] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31916/stat : 31916 (java) S 31900 31902 31870 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296749489 0 4 0 16800975 18446604443870888064 0 0 -1 6 0 0 0
[pid=31902/tid=31917] ppid=31900 vsize=15701256 CPUtime=1.23 cores=0,2,4,6
/proc/31902/task/31917/stat : 31917 (java) S 31900 31902 31870 0 -1 4202560 8927 0 0 0 122 1 0 0 15 0 22 0 608775964 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31918] ppid=31900 vsize=15701256 CPUtime=1.37 cores=0,2,4,6
/proc/31902/task/31918/stat : 31918 (java) S 31900 31902 31870 0 -1 4202560 10367 0 0 0 136 1 0 0 15 0 22 0 608775964 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 2 0 0 0
[pid=31902/tid=31919] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31919/stat : 31919 (java) S 31900 31902 31870 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 608775964 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296741785 0 4 0 16800975 18446604443870888064 0 0 -1 4 0 0 0
[pid=31902/tid=31920] ppid=31900 vsize=15701256 CPUtime=0 cores=0,2,4,6
/proc/31902/task/31920/stat : 31920 (java) S 31900 31902 31870 0 -1 4202560 71 0 0 0 0 0 0 0 15 0 22 0 608775964 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 224296742400 0 4 0 16800975 18446604443870888064 0 0 -1 0 0 0 0
[pid=31902/tid=31944] ppid=31900 vsize=15701256 CPUtime=1189.24 cores=0,2,4,6
/proc/31902/task/31944/stat : 31944 (java) R 31900 31902 31870 0 -1 4202560 230711 0 0 0 118894 30 0 0 25 0 22 0 608776015 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505799532 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=31902/tid=31945] ppid=31900 vsize=15701256 CPUtime=1190.64 cores=0,2,4,6
/proc/31902/task/31945/stat : 31945 (java) R 31900 31902 31870 0 -1 4202560 202061 0 0 0 119038 26 0 0 25 0 22 0 608776015 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505822893 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=31902/tid=31946] ppid=31900 vsize=15701256 CPUtime=1190.08 cores=0,2,4,6
/proc/31902/task/31946/stat : 31946 (java) R 31900 31902 31870 0 -1 4202560 225483 0 0 0 118978 30 0 0 25 0 22 0 608776015 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505822000 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=31902/tid=31947] ppid=31900 vsize=15701256 CPUtime=1188.88 cores=0,2,4,6
/proc/31902/task/31947/stat : 31947 (java) R 31900 31902 31870 0 -1 4202560 232065 0 0 0 118857 31 0 0 25 0 22 0 608776015 16078086144 156473 33554432000 1073741824 1073778376 140736954113200 18446744073709551615 46912505821877 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 15701256
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): 1205.84
CPU time (s): 4800.24
CPU user time (s): 4795.33
CPU system time (s): 4.90725
CPU usage (%): 398.081
Max. virtual memory (cumulated for all children) (KiB): 15703376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.33
system time used= 4.90725
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2759837
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= 93104
involuntary context switches= 71488
runsolver used 2.12468 second user time and 4.52431 second system time
The end