runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3458013-1307164758/watcher-3458013-1307164758 -o /tmp/evaluation-result-3458013-1307164758/solver-3458013-1307164758 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458013-1307164758.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.93 1.37 1.72 2/269 10674
/proc/meminfo: memFree=28474304/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/10674/stat : 10674 (java) R 10671 10674 10640 0 -1 4202496 893 0 0 0 0 0 0 0 18 0 1 0 828076551 23580672 637 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222916814592 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/10674/statm: 5757 648 478 9 0 124 0
[pid=10674/tid=10678] ppid=10671 vsize=33696 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 178 0 0 0 0 0 0 0 18 0 2 0 828076552 34504704 1001 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222916853383 0 0 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.0657079 s]
/proc/loadavg: 0.93 1.37 1.72 2/269 10674
/proc/meminfo: memFree=28474304/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13549616 CPUtime=0.05 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 13995 0 1 0 3 2 0 0 18 0 13 0 828076551 13874806784 13692 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3387404 13692 1685 9 0 3378152 0
[pid=10674/tid=10678] ppid=10671 vsize=13549616 CPUtime=0.05 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 12848 0 1 0 3 2 0 0 25 0 13 0 828076552 13874806784 13692 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933605755 0 4 0 16800971 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 13549616
[startup+0.10623 s]
/proc/loadavg: 0.93 1.37 1.72 2/269 10674
/proc/meminfo: memFree=28474304/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13622116 CPUtime=0.1 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 15501 0 1 0 8 2 0 0 18 0 18 0 828076551 13949046784 15184 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3405529 15184 2093 9 0 3396263 0
[pid=10674/tid=10678] ppid=10671 vsize=13622116 CPUtime=0.09 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 13563 0 1 0 7 2 0 0 18 0 18 0 828076552 13949046784 15184 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622116
[startup+0.305215 s]
/proc/loadavg: 0.93 1.37 1.72 2/269 10674
/proc/meminfo: memFree=28474304/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13624112 CPUtime=0.44 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 18902 0 1 0 41 3 0 0 18 0 18 0 828076551 13951090688 18221 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3406028 18221 2212 9 0 3396762 0
[pid=10674/tid=10678] ppid=10671 vsize=13624112 CPUtime=0.28 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 15375 0 1 0 26 2 0 0 18 0 18 0 828076552 13951090688 18221 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505176688 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13624112
[startup+0.701155 s]
/proc/loadavg: 0.93 1.37 1.72 2/269 10674
/proc/meminfo: memFree=28474304/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13634616 CPUtime=1.5 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 29966 0 1 0 145 5 0 0 18 0 19 0 828076551 13961846784 26699 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3408654 26699 2234 9 0 3399388 0
[pid=10674/tid=10678] ppid=10671 vsize=13634616 CPUtime=0.67 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 17923 0 1 0 65 2 0 0 18 0 19 0 828076552 13961846784 26699 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505683568 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 13634616
[startup+1.501 s]
/proc/loadavg: 0.93 1.37 1.72 3/310 10715
/proc/meminfo: memFree=28298056/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13634616 CPUtime=2.43 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 31394 0 1 0 238 5 0 0 18 0 19 0 828076551 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3408654 28126 2241 9 0 3399388 0
[pid=10674/tid=10678] ppid=10671 vsize=13634616 CPUtime=1.47 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 19324 0 1 0 144 3 0 0 19 0 19 0 828076552 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505683542 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10674/tid=10690] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10690/stat : 10690 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10691] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10691/stat : 10691 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10692] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10692/stat : 10692 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10693] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10693/stat : 10693 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10694] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10694/stat : 10694 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10695] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10695/stat : 10695 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10696] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10696/stat : 10696 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10697] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10697/stat : 10697 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 828076554 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10699] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10699/stat : 10699 (java) S 10671 10674 10640 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 828076555 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 0 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10702] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10702/stat : 10702 (java) S 10671 10674 10640 0 -1 4202560 16 0 0 0 0 0 0 0 24 0 19 0 828076556 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10703] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10703/stat : 10703 (java) S 10671 10674 10640 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 828076556 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10709] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10709/stat : 10709 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933600689 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10710] ppid=10671 vsize=13634616 CPUtime=0.5 cores=0,2,4,6
/proc/10674/task/10710/stat : 10710 (java) S 10671 10674 10640 0 -1 4202560 6169 0 0 0 49 1 0 0 15 0 19 0 828076558 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10711] ppid=10671 vsize=13634616 CPUtime=0.44 cores=0,2,4,6
/proc/10674/task/10711/stat : 10711 (java) S 10671 10674 10640 0 -1 4202560 4741 0 0 0 44 0 0 0 15 0 19 0 828076558 13961846784 28126 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10712] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10712/stat : 10712 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13961846784 28127 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10713] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10713/stat : 10713 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13961846784 28127 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10715] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10715/stat : 10715 (java) S 10671 10674 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076591 13961846784 28127 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13634616
[startup+3.1007 s]
/proc/loadavg: 1.01 1.38 1.72 3/310 10715
/proc/meminfo: memFree=28287888/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13634616 CPUtime=4.08 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 36043 0 1 0 402 6 0 0 18 0 19 0 828076551 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3408654 32769 2267 9 0 3399388 0
[pid=10674/tid=10678] ppid=10671 vsize=13634616 CPUtime=3.04 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 20356 0 1 0 301 3 0 0 18 0 19 0 828076552 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505807821 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10674/tid=10690] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10690/stat : 10690 (java) S 10671 10674 10640 0 -1 4202560 481 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10691] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10691/stat : 10691 (java) S 10671 10674 10640 0 -1 4202560 616 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
[pid=10674/tid=10692] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10692/stat : 10692 (java) S 10671 10674 10640 0 -1 4202560 730 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10693] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10693/stat : 10693 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10694] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10694/stat : 10694 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10695] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10695/stat : 10695 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10696] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10696/stat : 10696 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10697] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10697/stat : 10697 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 828076554 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10699] ppid=10671 vsize=13634616 CPUtime=0.02 cores=0,2,4,6
/proc/10674/task/10699/stat : 10699 (java) S 10671 10674 10640 0 -1 4202560 1788 0 0 0 2 0 0 0 15 0 19 0 828076555 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 0 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10702] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10702/stat : 10702 (java) S 10671 10674 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076556 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10703] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10703/stat : 10703 (java) S 10671 10674 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076556 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10709] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10709/stat : 10709 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933600689 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10710] ppid=10671 vsize=13634616 CPUtime=0.52 cores=0,2,4,6
/proc/10674/task/10710/stat : 10710 (java) S 10671 10674 10640 0 -1 4202560 6175 0 0 0 51 1 0 0 15 0 19 0 828076558 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10711] ppid=10671 vsize=13634616 CPUtime=0.45 cores=0,2,4,6
/proc/10674/task/10711/stat : 10711 (java) S 10671 10674 10640 0 -1 4202560 4742 0 0 0 45 0 0 0 15 0 19 0 828076558 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10712] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10712/stat : 10712 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10713] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10713/stat : 10713 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076558 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10715] ppid=10671 vsize=13634616 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10715/stat : 10715 (java) S 10671 10674 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076591 13961846784 32769 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.08
Current children cumulated vsize (KiB) 13634616
[startup+6.30111 s]
/proc/loadavg: 1.01 1.38 1.72 3/292 10743
/proc/meminfo: memFree=28334744/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13632380 CPUtime=7.31 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 40071 0 1 0 725 6 0 0 18 0 19 0 828076551 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3408095 36253 2267 9 0 3398829 0
[pid=10674/tid=10678] ppid=10671 vsize=13632380 CPUtime=6.21 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 20360 0 1 0 618 3 0 0 18 0 19 0 828076552 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505683608 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=10674/tid=10690] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10690/stat : 10690 (java) S 10671 10674 10640 0 -1 4202560 1342 0 0 0 0 0 0 0 18 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
[pid=10674/tid=10691] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10691/stat : 10691 (java) S 10671 10674 10640 0 -1 4202560 616 0 0 0 0 0 0 0 18 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
[pid=10674/tid=10692] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10692/stat : 10692 (java) S 10671 10674 10640 0 -1 4202560 1176 0 0 0 0 0 0 0 18 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10693] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10693/stat : 10693 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10694] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10694/stat : 10694 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10695] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10695/stat : 10695 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10696] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10696/stat : 10696 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10697] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10697/stat : 10697 (java) S 10671 10674 10640 0 -1 4202560 1081 0 0 0 0 0 0 0 16 0 19 0 828076554 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10699] ppid=10671 vsize=13632380 CPUtime=0.04 cores=0,2,4,6
/proc/10674/task/10699/stat : 10699 (java) S 10671 10674 10640 0 -1 4202560 3421 0 0 0 4 0 0 0 15 0 19 0 828076555 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 0 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10702] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10702/stat : 10702 (java) S 10671 10674 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10703] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10703/stat : 10703 (java) S 10671 10674 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10709] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10709/stat : 10709 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933600689 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10710] ppid=10671 vsize=13632380 CPUtime=0.54 cores=0,2,4,6
/proc/10674/task/10710/stat : 10710 (java) S 10671 10674 10640 0 -1 4202560 6177 0 0 0 53 1 0 0 15 0 19 0 828076558 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10711] ppid=10671 vsize=13632380 CPUtime=0.46 cores=0,2,4,6
/proc/10674/task/10711/stat : 10711 (java) S 10671 10674 10640 0 -1 4202560 4744 0 0 0 46 0 0 0 15 0 19 0 828076558 13959557120 36253 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
################
# More data... #
################
[pid=10674/tid=10695] ppid=10671 vsize=13632380 CPUtime=0.21 cores=0,2,4,6
/proc/10674/task/10695/stat : 10695 (java) S 10671 10674 10640 0 -1 4202560 534 0 0 0 21 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10696] ppid=10671 vsize=13632380 CPUtime=0.25 cores=0,2,4,6
/proc/10674/task/10696/stat : 10696 (java) S 10671 10674 10640 0 -1 4202560 720 0 0 0 25 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10697] ppid=10671 vsize=13632380 CPUtime=0.25 cores=0,2,4,6
/proc/10674/task/10697/stat : 10697 (java) S 10671 10674 10640 0 -1 4202560 1696 0 0 0 25 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10699] ppid=10671 vsize=13632380 CPUtime=11.29 cores=0,2,4,6
/proc/10674/task/10699/stat : 10699 (java) S 10671 10674 10640 0 -1 4202560 6143 0 0 0 1122 7 0 0 15 0 19 0 828076555 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 0 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
[pid=10674/tid=10702] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10702/stat : 10702 (java) S 10671 10674 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10703] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10703/stat : 10703 (java) S 10671 10674 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10709] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10709/stat : 10709 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933600689 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10710] ppid=10671 vsize=13632380 CPUtime=0.54 cores=0,2,4,6
/proc/10674/task/10710/stat : 10710 (java) S 10671 10674 10640 0 -1 4202560 6178 0 0 0 53 1 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10711] ppid=10671 vsize=13632380 CPUtime=0.61 cores=0,2,4,6
/proc/10674/task/10711/stat : 10711 (java) S 10671 10674 10640 0 -1 4202560 4794 0 0 0 61 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10712] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10712/stat : 10712 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10713] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10713/stat : 10713 (java) S 10671 10674 10640 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10715] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10715/stat : 10715 (java) S 10671 10674 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076591 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1664.13
Current children cumulated vsize (KiB) 13632380
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/310 10807
/proc/meminfo: memFree=28112996/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13632380 CPUtime=1724.16 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 47106 0 1 0 172398 18 0 0 18 0 19 0 828076551 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3408095 42645 2268 9 0 3398829 0
[pid=10674/tid=10678] ppid=10671 vsize=13632380 CPUtime=1709.39 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 20793 0 1 0 170934 5 0 0 25 0 19 0 828076552 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505880226 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10674/tid=10690] ppid=10671 vsize=13632380 CPUtime=0.22 cores=0,2,4,6
/proc/10674/task/10690/stat : 10690 (java) S 10671 10674 10640 0 -1 4202560 1451 0 0 0 22 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10691] ppid=10671 vsize=13632380 CPUtime=0.25 cores=0,2,4,6
/proc/10674/task/10691/stat : 10691 (java) S 10671 10674 10640 0 -1 4202560 1310 0 0 0 25 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10692] ppid=10671 vsize=13632380 CPUtime=0.23 cores=0,2,4,6
/proc/10674/task/10692/stat : 10692 (java) S 10671 10674 10640 0 -1 4202560 1336 0 0 0 23 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10693] ppid=10671 vsize=13632380 CPUtime=0.23 cores=0,2,4,6
/proc/10674/task/10693/stat : 10693 (java) S 10671 10674 10640 0 -1 4202560 423 0 0 0 23 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10694] ppid=10671 vsize=13632380 CPUtime=0.19 cores=0,2,4,6
/proc/10674/task/10694/stat : 10694 (java) S 10671 10674 10640 0 -1 4202560 476 0 0 0 19 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10695] ppid=10671 vsize=13632380 CPUtime=0.22 cores=0,2,4,6
/proc/10674/task/10695/stat : 10695 (java) S 10671 10674 10640 0 -1 4202560 534 0 0 0 22 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10696] ppid=10671 vsize=13632380 CPUtime=0.25 cores=0,2,4,6
/proc/10674/task/10696/stat : 10696 (java) S 10671 10674 10640 0 -1 4202560 720 0 0 0 25 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10697] ppid=10671 vsize=13632380 CPUtime=0.26 cores=0,2,4,6
/proc/10674/task/10697/stat : 10697 (java) S 10671 10674 10640 0 -1 4202560 1696 0 0 0 26 0 0 0 16 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10699] ppid=10671 vsize=13632380 CPUtime=11.66 cores=0,2,4,6
/proc/10674/task/10699/stat : 10699 (java) S 10671 10674 10640 0 -1 4202560 6145 0 0 0 1159 7 0 0 15 0 19 0 828076555 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 0 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
[pid=10674/tid=10702] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10702/stat : 10702 (java) S 10671 10674 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10703] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10703/stat : 10703 (java) S 10671 10674 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10709] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10709/stat : 10709 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933600689 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10710] ppid=10671 vsize=13632380 CPUtime=0.54 cores=0,2,4,6
/proc/10674/task/10710/stat : 10710 (java) S 10671 10674 10640 0 -1 4202560 6178 0 0 0 53 1 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10711] ppid=10671 vsize=13632380 CPUtime=0.61 cores=0,2,4,6
/proc/10674/task/10711/stat : 10711 (java) S 10671 10674 10640 0 -1 4202560 4794 0 0 0 61 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10712] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10712/stat : 10712 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10713] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10713/stat : 10713 (java) S 10671 10674 10640 0 -1 4202560 101 0 0 0 0 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10715] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10715/stat : 10715 (java) S 10671 10674 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076591 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1724.16
Current children cumulated vsize (KiB) 13632380
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/310 10808
/proc/meminfo: memFree=28112596/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13632380 CPUtime=1784.2 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 47128 0 1 0 178401 19 0 0 18 0 19 0 828076551 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3408095 42645 2268 9 0 3398829 0
[pid=10674/tid=10678] ppid=10671 vsize=13632380 CPUtime=1768.98 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 20807 0 1 0 176893 5 0 0 25 0 19 0 828076552 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505827103 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10674/tid=10690] ppid=10671 vsize=13632380 CPUtime=0.22 cores=0,2,4,6
/proc/10674/task/10690/stat : 10690 (java) S 10671 10674 10640 0 -1 4202560 1451 0 0 0 22 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10691] ppid=10671 vsize=13632380 CPUtime=0.26 cores=0,2,4,6
/proc/10674/task/10691/stat : 10691 (java) S 10671 10674 10640 0 -1 4202560 1310 0 0 0 26 0 0 0 16 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10692] ppid=10671 vsize=13632380 CPUtime=0.23 cores=0,2,4,6
/proc/10674/task/10692/stat : 10692 (java) S 10671 10674 10640 0 -1 4202560 1336 0 0 0 23 0 0 0 16 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10693] ppid=10671 vsize=13632380 CPUtime=0.24 cores=0,2,4,6
/proc/10674/task/10693/stat : 10693 (java) S 10671 10674 10640 0 -1 4202560 423 0 0 0 24 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10694] ppid=10671 vsize=13632380 CPUtime=0.2 cores=0,2,4,6
/proc/10674/task/10694/stat : 10694 (java) S 10671 10674 10640 0 -1 4202560 476 0 0 0 20 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10695] ppid=10671 vsize=13632380 CPUtime=0.22 cores=0,2,4,6
/proc/10674/task/10695/stat : 10695 (java) S 10671 10674 10640 0 -1 4202560 534 0 0 0 22 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10696] ppid=10671 vsize=13632380 CPUtime=0.27 cores=0,2,4,6
/proc/10674/task/10696/stat : 10696 (java) S 10671 10674 10640 0 -1 4202560 720 0 0 0 27 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10697] ppid=10671 vsize=13632380 CPUtime=0.26 cores=0,2,4,6
/proc/10674/task/10697/stat : 10697 (java) S 10671 10674 10640 0 -1 4202560 1696 0 0 0 26 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10699] ppid=10671 vsize=13632380 CPUtime=12.04 cores=0,2,4,6
/proc/10674/task/10699/stat : 10699 (java) S 10671 10674 10640 0 -1 4202560 6149 0 0 0 1197 7 0 0 15 0 19 0 828076555 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 0 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
[pid=10674/tid=10702] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10702/stat : 10702 (java) S 10671 10674 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10703] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10703/stat : 10703 (java) S 10671 10674 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10709] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10709/stat : 10709 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933600689 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10710] ppid=10671 vsize=13632380 CPUtime=0.54 cores=0,2,4,6
/proc/10674/task/10710/stat : 10710 (java) S 10671 10674 10640 0 -1 4202560 6178 0 0 0 53 1 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10711] ppid=10671 vsize=13632380 CPUtime=0.61 cores=0,2,4,6
/proc/10674/task/10711/stat : 10711 (java) S 10671 10674 10640 0 -1 4202560 4794 0 0 0 61 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10712] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10712/stat : 10712 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10713] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10713/stat : 10713 (java) S 10671 10674 10640 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10715] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10715/stat : 10715 (java) S 10671 10674 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076591 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1784.2
Current children cumulated vsize (KiB) 13632380
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 1.92 3/310 10809
/proc/meminfo: memFree=28112456/32951124 swapFree=55664332/67111528
[pid=10674] ppid=10671 vsize=13632380 CPUtime=1800.02 cores=0,2,4,6
/proc/10674/stat : 10674 (java) S 10671 10674 10640 0 -1 4202496 47138 0 1 0 179983 19 0 0 18 0 19 0 828076551 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933579749 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/10674/statm: 3408095 42645 2268 9 0 3398829 0
[pid=10674/tid=10678] ppid=10671 vsize=13632380 CPUtime=1784.62 cores=0,2,4,6
/proc/10674/task/10678/stat : 10678 (java) R 10671 10674 10640 0 -1 4202560 20813 0 1 0 178457 5 0 0 19 0 19 0 828076552 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 46912505909684 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10674/tid=10690] ppid=10671 vsize=13632380 CPUtime=0.23 cores=0,2,4,6
/proc/10674/task/10690/stat : 10690 (java) S 10671 10674 10640 0 -1 4202560 1451 0 0 0 23 0 0 0 16 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10691] ppid=10671 vsize=13632380 CPUtime=0.27 cores=0,2,4,6
/proc/10674/task/10691/stat : 10691 (java) S 10671 10674 10640 0 -1 4202560 1310 0 0 0 27 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10692] ppid=10671 vsize=13632380 CPUtime=0.23 cores=0,2,4,6
/proc/10674/task/10692/stat : 10692 (java) S 10671 10674 10640 0 -1 4202560 1336 0 0 0 23 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10693] ppid=10671 vsize=13632380 CPUtime=0.24 cores=0,2,4,6
/proc/10674/task/10693/stat : 10693 (java) S 10671 10674 10640 0 -1 4202560 423 0 0 0 24 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10694] ppid=10671 vsize=13632380 CPUtime=0.2 cores=0,2,4,6
/proc/10674/task/10694/stat : 10694 (java) S 10671 10674 10640 0 -1 4202560 476 0 0 0 20 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10695] ppid=10671 vsize=13632380 CPUtime=0.22 cores=0,2,4,6
/proc/10674/task/10695/stat : 10695 (java) S 10671 10674 10640 0 -1 4202560 534 0 0 0 22 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10696] ppid=10671 vsize=13632380 CPUtime=0.27 cores=0,2,4,6
/proc/10674/task/10696/stat : 10696 (java) S 10671 10674 10640 0 -1 4202560 720 0 0 0 27 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10697] ppid=10671 vsize=13632380 CPUtime=0.27 cores=0,2,4,6
/proc/10674/task/10697/stat : 10697 (java) S 10671 10674 10640 0 -1 4202560 1696 0 0 0 27 0 0 0 15 0 19 0 828076554 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10699] ppid=10671 vsize=13632380 CPUtime=12.2 cores=0,2,4,6
/proc/10674/task/10699/stat : 10699 (java) S 10671 10674 10640 0 -1 4202560 6151 0 0 0 1213 7 0 0 15 0 19 0 828076555 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 0 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
[pid=10674/tid=10702] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10702/stat : 10702 (java) S 10671 10674 10640 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10703] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10703/stat : 10703 (java) S 10671 10674 10640 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 828076556 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10709] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10709/stat : 10709 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933600689 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10710] ppid=10671 vsize=13632380 CPUtime=0.54 cores=0,2,4,6
/proc/10674/task/10710/stat : 10710 (java) S 10671 10674 10640 0 -1 4202560 6178 0 0 0 53 1 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10711] ppid=10671 vsize=13632380 CPUtime=0.61 cores=0,2,4,6
/proc/10674/task/10711/stat : 10711 (java) S 10671 10674 10640 0 -1 4202560 4794 0 0 0 61 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 0 0 0 0
[pid=10674/tid=10712] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10712/stat : 10712 (java) S 10671 10674 10640 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933592985 0 4 0 16800975 18446604446326068480 0 0 -1 6 0 0 0
[pid=10674/tid=10713] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10713/stat : 10713 (java) S 10671 10674 10640 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 828076558 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 2 0 0 0
[pid=10674/tid=10715] ppid=10671 vsize=13632380 CPUtime=0 cores=0,2,4,6
/proc/10674/task/10715/stat : 10715 (java) S 10671 10674 10640 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 828076591 13959557120 42645 33554432000 1073741824 1073778376 140736846765536 18446744073709551615 222933593600 0 4 0 16800975 18446604446326068480 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 13632380
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): 1798.14
CPU time (s): 1800.07
CPU user time (s): 1799.87
CPU system time (s): 0.204968
CPU usage (%): 100.108
Max. virtual memory (cumulated for all children) (KiB): 13634616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47174
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= 48629
involuntary context switches= 31213
runsolver used 5.07223 second user time and 10.5324 second system time
The end