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-3311147-1304111747/watcher-3311147-1304111747 -o /tmp/evaluation-result-3311147-1304111747/solver-3311147-1304111747 -C 4800 -W 1300 -M 15500 run 15000 4 HOME HOME HOME/instance-3311147-1304111747.cnf -hbr 2
running on 4 cores: 1,3,5,7
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: 4.84 5.13 6.13 2/197 4690
/proc/meminfo: memFree=13190992/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/4690/stat : 4690 (java) R 4688 4690 4401 0 -1 4202496 668 0 0 0 0 0 0 0 25 0 1 0 522772426 9318400 155 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218900807303 0 2147483391 4096 0 0 0 0 17 3 0 0 0
/proc/4690/statm: 2275 155 126 9 0 67 0
[startup+0.0589809 s]
/proc/loadavg: 4.84 5.13 6.13 2/197 4690
/proc/meminfo: memFree=13190992/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15609648 CPUtime=0.04 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 4104 0 1 0 4 0 0 0 25 0 18 0 522772426 15984279552 3542 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3902412 3543 1754 9 0 3893131 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 15609648
[startup+0.100972 s]
/proc/loadavg: 4.84 5.13 6.13 2/197 4690
/proc/meminfo: memFree=13190992/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15676152 CPUtime=0.1 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 5568 0 1 0 9 1 0 0 25 0 18 0 522772426 16052379648 4971 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3919038 4971 2117 9 0 3909757 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 15676152
[startup+0.300936 s]
/proc/loadavg: 4.84 5.13 6.13 2/197 4690
/proc/meminfo: memFree=13190992/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15681228 CPUtime=0.5 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 14792 0 1 0 48 2 0 0 25 0 18 0 522772426 16057577472 12999 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3920307 13005 2207 9 0 3911026 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 15681228
[startup+0.700869 s]
/proc/loadavg: 4.84 5.13 6.13 2/197 4690
/proc/meminfo: memFree=13190992/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15681228 CPUtime=0.92 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 41839 0 1 0 86 6 0 0 25 0 18 0 522772426 16057577472 40042 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3920307 40042 2223 9 0 3911026 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 15681228
[startup+1.50073 s]
/proc/loadavg: 4.84 5.13 6.13 5/219 4712
/proc/meminfo: memFree=13022372/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15688124 CPUtime=2.23 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 57025 0 1 0 214 9 0 0 25 0 22 0 522772426 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3922031 52031 2261 9 0 3912750 0
[pid=4690/tid=4692] ppid=4688 vsize=15688124 CPUtime=1.46 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) R 4688 4690 4401 0 -1 4202560 35634 0 1 0 141 5 0 0 21 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 46912505187559 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4688 4690 4401 0 -1 4202560 303 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4694] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4688 4690 4401 0 -1 4202560 279 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4695] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4696] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4688 4690 4401 0 -1 4202560 235 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4697] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4688 4690 4401 0 -1 4202560 881 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4698] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4688 4690 4401 0 -1 4202560 1332 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4699] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4688 4690 4401 0 -1 4202560 1604 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4700] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4688 4690 4401 0 -1 4202560 499 0 0 0 0 0 0 0 16 0 22 0 522772427 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4688 4690 4401 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 22 0 522772428 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 0 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4702] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4688 4690 4401 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522772429 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4703] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4688 4690 4401 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 522772429 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4704] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917554609 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4705] ppid=4688 vsize=15688124 CPUtime=0.54 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) R 4688 4690 4401 0 -1 4202560 12257 0 0 0 52 2 0 0 18 0 22 0 522772431 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 47717471778491 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4690/tid=4706] ppid=4688 vsize=15688124 CPUtime=0.17 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4688 4690 4401 0 -1 4202560 2500 0 0 0 17 0 0 0 15 0 22 0 522772431 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4707] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4708] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522772431 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4709] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4688 4690 4401 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 22 0 522772518 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4710] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4688 4690 4401 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 522772518 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4711] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4711/stat : 4711 (java) S 4688 4690 4401 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 22 0 522772518 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4712] ppid=4688 vsize=15688124 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4712/stat : 4712 (java) S 4688 4690 4401 0 -1 4202560 7 0 0 0 0 0 0 0 16 0 22 0 522772518 16064638976 52031 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 15688124
[startup+3.10648 s]
/proc/loadavg: 4.84 5.13 6.13 4/219 4712
/proc/meminfo: memFree=12986484/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15685340 CPUtime=5.58 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 76847 0 1 0 547 11 0 0 25 0 22 0 522772426 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3921335 63677 2275 9 0 3912054 0
[pid=4690/tid=4692] ppid=4688 vsize=15685340 CPUtime=2.68 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) S 4688 4690 4401 0 -1 4202560 35690 0 1 0 263 5 0 0 25 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=15685340 CPUtime=0.02 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4688 4690 4401 0 -1 4202560 2760 0 0 0 2 0 0 0 16 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4694] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4688 4690 4401 0 -1 4202560 281 0 0 0 0 0 0 0 16 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4695] ppid=4688 vsize=15685340 CPUtime=0.01 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4688 4690 4401 0 -1 4202560 2982 0 0 0 1 0 0 0 16 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4696] ppid=4688 vsize=15685340 CPUtime=0.02 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4688 4690 4401 0 -1 4202560 3209 0 0 0 2 0 0 0 16 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4697] ppid=4688 vsize=15685340 CPUtime=0.02 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4688 4690 4401 0 -1 4202560 3433 0 0 0 2 0 0 0 16 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4698] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4688 4690 4401 0 -1 4202560 1332 0 0 0 0 0 0 0 15 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4699] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4688 4690 4401 0 -1 4202560 1604 0 0 0 0 0 0 0 15 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4700] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4688 4690 4401 0 -1 4202560 644 0 0 0 0 0 0 0 16 0 22 0 522772427 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4688 4690 4401 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 22 0 522772428 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 0 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4702] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4688 4690 4401 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522772429 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4703] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4688 4690 4401 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 522772429 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4704] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917554609 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4705] ppid=4688 vsize=15685340 CPUtime=1.55 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4688 4690 4401 0 -1 4202560 20630 0 0 0 152 3 0 0 15 0 22 0 522772431 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4706] ppid=4688 vsize=15685340 CPUtime=0.63 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) R 4688 4690 4401 0 -1 4202560 2749 0 0 0 63 0 0 0 15 0 22 0 522772431 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 47717474638466 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=4690/tid=4707] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4708] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 522772431 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4709] ppid=4688 vsize=15685340 CPUtime=0.09 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4688 4690 4401 0 -1 4202560 26 0 0 0 9 0 0 0 15 0 22 0 522772518 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4710] ppid=4688 vsize=15685340 CPUtime=0.23 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) R 4688 4690 4401 0 -1 4202560 8 0 0 0 23 0 0 0 16 0 22 0 522772518 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 46912505920967 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=4690/tid=4711] ppid=4688 vsize=15685340 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4711/stat : 4711 (java) S 4688 4690 4401 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 22 0 522772518 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4712] ppid=4688 vsize=15685340 CPUtime=0.23 cores=1,3,5,7
/proc/4690/task/4712/stat : 4712 (java) R 4688 4690 4401 0 -1 4202560 7 0 0 0 23 0 0 0 15 0 22 0 522772518 16061788160 63677 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 46912505366066 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 15685340
[startup+6.30082 s]
/proc/loadavg: 4.69 5.10 6.11 6/219 4712
/proc/meminfo: memFree=12568720/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15685828 CPUtime=16.41 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 219001 0 1 0 1611 30 0 0 25 0 22 0 522772426 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3921457 204821 2275 9 0 3912176 0
[pid=4690/tid=4692] ppid=4688 vsize=15685828 CPUtime=2.68 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) S 4688 4690 4401 0 -1 4202560 35690 0 1 0 263 5 0 0 25 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=15685828 CPUtime=0.12 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4688 4690 4401 0 -1 4202560 16518 0 0 0 11 1 0 0 15 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4694] ppid=4688 vsize=15685828 CPUtime=0.05 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4688 4690 4401 0 -1 4202560 8879 0 0 0 4 1 0 0 16 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4695] ppid=4688 vsize=15685828 CPUtime=0.07 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4688 4690 4401 0 -1 4202560 14383 0 0 0 5 2 0 0 16 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4696] ppid=4688 vsize=15685828 CPUtime=0.09 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4688 4690 4401 0 -1 4202560 15064 0 0 0 7 2 0 0 15 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4697] ppid=4688 vsize=15685828 CPUtime=0.11 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4688 4690 4401 0 -1 4202560 19504 0 0 0 9 2 0 0 15 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4698] ppid=4688 vsize=15685828 CPUtime=0.04 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4688 4690 4401 0 -1 4202560 6665 0 0 0 4 0 0 0 15 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4699] ppid=4688 vsize=15685828 CPUtime=0.13 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4688 4690 4401 0 -1 4202560 20756 0 0 0 11 2 0 0 16 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4700] ppid=4688 vsize=15685828 CPUtime=0.04 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4688 4690 4401 0 -1 4202560 4526 0 0 0 4 0 0 0 15 0 22 0 522772427 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) S 4688 4690 4401 0 -1 4202560 427 0 0 0 0 0 0 0 15 0 22 0 522772428 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 0 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4702] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4688 4690 4401 0 -1 4202560 17 0 0 0 0 0 0 0 16 0 22 0 522772429 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4703] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4688 4690 4401 0 -1 4202560 8 0 0 0 0 0 0 0 16 0 22 0 522772429 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4704] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917554609 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4705] ppid=4688 vsize=15685828 CPUtime=1.57 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4688 4690 4401 0 -1 4202560 20633 0 0 0 154 3 0 0 15 0 22 0 522772431 16062287872 204821 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
################
# More data... #
################
[pid=4690/tid=4703] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4688 4690 4401 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 522772429 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4704] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917554609 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4705] ppid=4688 vsize=15685828 CPUtime=1.59 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4688 4690 4401 0 -1 4202560 20633 0 0 0 156 3 0 0 16 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4706] ppid=4688 vsize=15685828 CPUtime=1.06 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4688 4690 4401 0 -1 4202560 2918 0 0 0 106 0 0 0 15 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4707] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4708] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4688 4690 4401 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4709] ppid=4688 vsize=15685828 CPUtime=300.61 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4688 4690 4401 0 -1 4202560 90326 0 0 0 30042 19 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4710] ppid=4688 vsize=15685828 CPUtime=300.26 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4688 4690 4401 0 -1 4202560 75660 0 0 0 30010 16 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4711] ppid=4688 vsize=15685828 CPUtime=301.36 cores=1,3,5,7
/proc/4690/task/4711/stat : 4711 (java) S 4688 4690 4401 0 -1 4202560 83805 0 0 0 30121 15 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4712] ppid=4688 vsize=15685828 CPUtime=300.9 cores=1,3,5,7
/proc/4690/task/4712/stat : 4712 (java) S 4688 4690 4401 0 -1 4202560 84571 0 0 0 30069 21 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2105.06
Current children cumulated vsize (KiB) 15685828
[startup+1242.31 s]
/proc/loadavg: 5.04 5.12 5.54 6/220 4794
/proc/meminfo: memFree=12917468/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15685828 CPUtime=2165.23 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 3910100 0 1 0 215839 684 0 0 25 0 22 0 522772426 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3921457 3842740 2294 9 0 3912176 0
[pid=4690/tid=4692] ppid=4688 vsize=15685828 CPUtime=2.68 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) S 4688 4690 4401 0 -1 4202560 35690 0 1 0 263 5 0 0 25 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=15685828 CPUtime=3.31 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4688 4690 4401 0 -1 4202560 340114 0 0 0 277 54 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4694] ppid=4688 vsize=15685828 CPUtime=3.11 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4688 4690 4401 0 -1 4202560 433226 0 0 0 239 72 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4695] ppid=4688 vsize=15685828 CPUtime=2.99 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4688 4690 4401 0 -1 4202560 342239 0 0 0 245 54 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4696] ppid=4688 vsize=15685828 CPUtime=3.43 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4688 4690 4401 0 -1 4202560 358017 0 0 0 281 62 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4697] ppid=4688 vsize=15685828 CPUtime=3.25 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4688 4690 4401 0 -1 4202560 426453 0 0 0 256 69 0 0 15 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4698] ppid=4688 vsize=15685828 CPUtime=3.41 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4688 4690 4401 0 -1 4202560 377218 0 0 0 280 61 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4699] ppid=4688 vsize=15685828 CPUtime=3.11 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4688 4690 4401 0 -1 4202560 346557 0 0 0 253 58 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4700] ppid=4688 vsize=15685828 CPUtime=2.91 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4688 4690 4401 0 -1 4202560 282245 0 0 0 244 47 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=15685828 CPUtime=930.86 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) R 4688 4690 4401 0 -1 4202560 608469 0 0 0 92967 119 0 0 18 0 22 0 522772428 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 47717470230336 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=4690/tid=4702] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4688 4690 4401 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522772429 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4703] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4688 4690 4401 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 522772429 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4704] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917554609 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4705] ppid=4688 vsize=15685828 CPUtime=1.59 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4688 4690 4401 0 -1 4202560 20633 0 0 0 156 3 0 0 16 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4706] ppid=4688 vsize=15685828 CPUtime=1.06 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4688 4690 4401 0 -1 4202560 2918 0 0 0 106 0 0 0 15 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4707] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4708] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4688 4690 4401 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4709] ppid=4688 vsize=15685828 CPUtime=300.66 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4688 4690 4401 0 -1 4202560 90562 0 0 0 30047 19 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4710] ppid=4688 vsize=15685828 CPUtime=300.3 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4688 4690 4401 0 -1 4202560 75868 0 0 0 30014 16 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4711] ppid=4688 vsize=15685828 CPUtime=301.4 cores=1,3,5,7
/proc/4690/task/4711/stat : 4711 (java) S 4688 4690 4401 0 -1 4202560 83866 0 0 0 30125 15 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4712] ppid=4688 vsize=15685828 CPUtime=300.99 cores=1,3,5,7
/proc/4690/task/4712/stat : 4712 (java) S 4688 4690 4401 0 -1 4202560 84571 0 0 0 30078 21 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2165.23
Current children cumulated vsize (KiB) 15685828
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+1300 s]
/proc/loadavg: 4.69 5.03 5.49 3/216 4843
/proc/meminfo: memFree=13065156/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=15685828 CPUtime=2223.4 cores=1,3,5,7
/proc/4690/stat : 4690 (java) S 4688 4690 4401 0 -1 4202496 3910591 0 1 0 221650 690 0 0 25 0 22 0 522772426 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917533669 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 3921457 3842740 2294 9 0 3912176 0
[pid=4690/tid=4692] ppid=4688 vsize=15685828 CPUtime=2.68 cores=1,3,5,7
/proc/4690/task/4692/stat : 4692 (java) S 4688 4690 4401 0 -1 4202560 35690 0 1 0 263 5 0 0 25 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4693] ppid=4688 vsize=15685828 CPUtime=3.31 cores=1,3,5,7
/proc/4690/task/4693/stat : 4693 (java) S 4688 4690 4401 0 -1 4202560 340114 0 0 0 277 54 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4694] ppid=4688 vsize=15685828 CPUtime=3.11 cores=1,3,5,7
/proc/4690/task/4694/stat : 4694 (java) S 4688 4690 4401 0 -1 4202560 433226 0 0 0 239 72 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4695] ppid=4688 vsize=15685828 CPUtime=2.99 cores=1,3,5,7
/proc/4690/task/4695/stat : 4695 (java) S 4688 4690 4401 0 -1 4202560 342239 0 0 0 245 54 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4696] ppid=4688 vsize=15685828 CPUtime=3.43 cores=1,3,5,7
/proc/4690/task/4696/stat : 4696 (java) S 4688 4690 4401 0 -1 4202560 358017 0 0 0 281 62 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4697] ppid=4688 vsize=15685828 CPUtime=3.25 cores=1,3,5,7
/proc/4690/task/4697/stat : 4697 (java) S 4688 4690 4401 0 -1 4202560 426453 0 0 0 256 69 0 0 15 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4698] ppid=4688 vsize=15685828 CPUtime=3.41 cores=1,3,5,7
/proc/4690/task/4698/stat : 4698 (java) S 4688 4690 4401 0 -1 4202560 377218 0 0 0 280 61 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4699] ppid=4688 vsize=15685828 CPUtime=3.11 cores=1,3,5,7
/proc/4690/task/4699/stat : 4699 (java) S 4688 4690 4401 0 -1 4202560 346557 0 0 0 253 58 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4700] ppid=4688 vsize=15685828 CPUtime=2.91 cores=1,3,5,7
/proc/4690/task/4700/stat : 4700 (java) S 4688 4690 4401 0 -1 4202560 282245 0 0 0 244 47 0 0 16 0 22 0 522772427 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=15685828 CPUtime=988.39 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) R 4688 4690 4401 0 -1 4202560 608471 0 0 0 98716 123 0 0 25 0 22 0 522772428 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 47717471822140 0 0 0 16800975 0 0 0 -1 3 0 0 0
[pid=4690/tid=4702] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4702/stat : 4702 (java) S 4688 4690 4401 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 522772429 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4703] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4703/stat : 4703 (java) S 4688 4690 4401 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 22 0 522772429 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4704] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4704/stat : 4704 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917554609 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4705] ppid=4688 vsize=15685828 CPUtime=1.59 cores=1,3,5,7
/proc/4690/task/4705/stat : 4705 (java) S 4688 4690 4401 0 -1 4202560 20633 0 0 0 156 3 0 0 16 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4706] ppid=4688 vsize=15685828 CPUtime=1.06 cores=1,3,5,7
/proc/4690/task/4706/stat : 4706 (java) S 4688 4690 4401 0 -1 4202560 2918 0 0 0 106 0 0 0 15 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 7 0 0 0
[pid=4690/tid=4707] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4707/stat : 4707 (java) S 4688 4690 4401 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4708] ppid=4688 vsize=15685828 CPUtime=0 cores=1,3,5,7
/proc/4690/task/4708/stat : 4708 (java) S 4688 4690 4401 0 -1 4202560 66 0 0 0 0 0 0 0 15 0 22 0 522772431 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917547520 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4709] ppid=4688 vsize=15685828 CPUtime=300.82 cores=1,3,5,7
/proc/4690/task/4709/stat : 4709 (java) S 4688 4690 4401 0 -1 4202560 90810 0 0 0 30062 20 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
[pid=4690/tid=4710] ppid=4688 vsize=15685828 CPUtime=300.45 cores=1,3,5,7
/proc/4690/task/4710/stat : 4710 (java) S 4688 4690 4401 0 -1 4202560 75901 0 0 0 30029 16 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 1 0 0 0
[pid=4690/tid=4711] ppid=4688 vsize=15685828 CPUtime=301.57 cores=1,3,5,7
/proc/4690/task/4711/stat : 4711 (java) S 4688 4690 4401 0 -1 4202560 83895 0 0 0 30141 16 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 5 0 0 0
[pid=4690/tid=4712] ppid=4688 vsize=15685828 CPUtime=301.14 cores=1,3,5,7
/proc/4690/task/4712/stat : 4712 (java) S 4688 4690 4401 0 -1 4202560 84748 0 0 0 30092 22 0 0 15 0 22 0 522772518 16062287872 3842740 33554432000 1073741824 1073778376 140733529125248 18446744073709551615 218917546905 0 4 0 16800975 18446604454327609408 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2223.4
Current children cumulated vsize (KiB) 15685828
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -4690
[startup+1302.3 s]
/proc/loadavg: 4.69 5.03 5.49 4/221 4848
/proc/meminfo: memFree=13011920/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=0 CPUtime=2225.69 cores=1,3,5,7
/proc/4690/stat : 4690 (java) Z 4688 4690 4401 0 -1 4203548 3910615 0 1 0 221851 718 0 0 18 0 2 0 522772426 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 0 0 0 0 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=0 CPUtime=990.7 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) R 4688 4690 4401 0 -1 4203588 608471 0 0 0 98918 152 0 0 25 0 2 0 522772428 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2225.69
Current children cumulated vsize (KiB) 0
Solver just ended. Dumping a history of the last processes samples
[startup+1302.4 s]
/proc/loadavg: 4.69 5.03 5.49 4/221 4848
/proc/meminfo: memFree=13011920/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=0 CPUtime=2225.79 cores=1,3,5,7
/proc/4690/stat : 4690 (java) Z 4688 4690 4401 0 -1 4203548 3910615 0 1 0 221851 728 0 0 18 0 2 0 522772426 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 0 0 0 0 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=0 CPUtime=990.8 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) R 4688 4690 4401 0 -1 4203588 608471 0 0 0 98918 162 0 0 25 0 2 0 522772428 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2225.79
Current children cumulated vsize (KiB) 0
[startup+1302.5 s]
/proc/loadavg: 4.69 5.03 5.49 4/221 4848
/proc/meminfo: memFree=13011920/32951124 swapFree=67111356/67111528
[pid=4690] ppid=4688 vsize=0 CPUtime=2225.89 cores=1,3,5,7
/proc/4690/stat : 4690 (java) Z 4688 4690 4401 0 -1 4203548 3910615 0 1 0 221851 738 0 0 18 0 2 0 522772426 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/4690/statm: 0 0 0 0 0 0 0
[pid=4690/tid=4701] ppid=4688 vsize=0 CPUtime=990.9 cores=1,3,5,7
/proc/4690/task/4701/stat : 4701 (java) R 4688 4690 4401 0 -1 4203588 608471 0 0 0 98918 172 0 0 25 0 2 0 522772428 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2225.89
Current children cumulated vsize (KiB) 0
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1302.52
CPU time (s): 2225.92
CPU user time (s): 2218.51
CPU system time (s): 7.40687
CPU usage (%): 170.893
Max. virtual memory (cumulated for all children) (KiB): 15688156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2218.51
system time used= 7.40687
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910615
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= 80135
involuntary context switches= 35310
runsolver used 2.16367 second user time and 4.99524 second system time
The end