runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (12985 MiB free)
memory of node 1: 16384 MiB (13125 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308142-1534345934/watcher-4308142-1534345934 -o /tmp/evaluation-result-4308142-1534345934/solver-4308142-1534345934 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1534335860-32014 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 775221374 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308142-1534345934.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=789, runsolver pid=786
[startup+0.100312 s]*
/proc/loadavg: 1.80 1.48 1.42 3/217 804
/proc/meminfo: memFree=26720400/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14082736 memory=30500 CPUtime=0.11 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 6558 0 0 0 9 2 0 0 20 0 15 0 252156564 14420721664 7625 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3520684 7625 3135 1 0 3482761 0
[pid=789/tid=791] ppid=786 vsize=14082736 memory=8389772277269004345 CPUtime=0.08 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 4756 0 0 0 7 1 0 0 20 0 15 0 252156564 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694763475304 139694740835758 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14082736 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14082736 memory=139975278034456 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252156566 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252156567 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694232413856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252156567 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694231360752 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 28126 0 -1 1077944384 301 0 0 0 0 0 0 0 20 0 15 0 252156569 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252156569 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694228203888 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0.01 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 28126 0 -1 1077944384 258 0 0 0 1 0 0 0 20 0 15 0 252156569 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694227150832 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156570 14420721664 7757 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 30500 KiB
[startup+0.219252 s]*
/proc/loadavg: 1.80 1.48 1.42 5/217 804
/proc/meminfo: memFree=26704688/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14082736 memory=47268 CPUtime=0.3 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 10415 0 0 0 27 3 0 0 20 0 15 0 252156564 14420721664 11817 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3520684 11817 3369 1 0 3482761 0
[pid=789/tid=791] ppid=786 vsize=14082736 memory=8389772277269004345 CPUtime=0.2 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 8150 0 0 0 18 2 0 0 20 0 15 0 252156564 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694763498480 139694743315813 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14082736 memory=4294967639 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14082736 memory=139975278034456 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252156566 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252156567 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694232413856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252156567 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694231360752 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) R 786 789 28126 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 252156569 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) R 786 789 28126 0 -1 4202560 165 0 0 0 1 0 0 0 20 0 15 0 252156569 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694228203888 139694744389340 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0.05 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) R 786 789 28126 0 -1 4202560 293 0 0 0 5 0 0 0 20 0 15 0 252156569 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694227147768 139694738210134 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156570 14420721664 11817 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47268 KiB
[startup+0.310612 s]*
/proc/loadavg: 1.80 1.48 1.42 3/217 804
/proc/meminfo: memFree=26701608/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14082736 memory=50148 CPUtime=0.42 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 10729 0 0 0 39 3 0 0 20 0 15 0 252156564 14420721664 12537 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3520684 12537 3372 1 0 3482761 0
[pid=789/tid=791] ppid=786 vsize=14082736 memory=8389772277269004345 CPUtime=0.29 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 8471 0 0 0 27 2 0 0 20 0 15 0 252156564 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694763480016 139694743352670 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14082736 memory=139975278034156 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252156565 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252156566 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252156567 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694232413856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14082736 memory=139975278007936 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252156567 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694231360752 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 28126 0 -1 1077944384 455 0 0 0 2 0 0 0 20 0 15 0 252156569 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14082736 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 28126 0 -1 1077944384 166 0 0 0 2 0 0 0 20 0 15 0 252156569 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694228203888 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14082736 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 28126 0 -1 1077944384 302 0 0 0 7 0 0 0 20 0 15 0 252156569 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694227150832 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156570 14420721664 12602 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 0.42 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50148 KiB
[startup+0.700693 s]
/proc/loadavg: 1.80 1.48 1.42 3/217 804
/proc/meminfo: memFree=26680896/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14084804 memory=88712 CPUtime=0.98 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 17576 0 0 0 93 5 0 0 20 0 15 0 252156564 14422839296 22178 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3521201 22178 3499 1 0 3483273 0
[pid=789/tid=791] ppid=786 vsize=14084804 memory=361 CPUtime=0.67 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 14881 0 0 0 63 4 0 0 20 0 15 0 252156564 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694763496992 139694744437885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252156565 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252156566 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14084804 memory=78 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252156567 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694232413856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252156567 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694231360752 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14084804 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 28126 0 -1 1077944384 609 0 0 0 7 0 0 0 20 0 15 0 252156569 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14084804 memory=143393925768027 CPUtime=0.07 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 28126 0 -1 1077944384 328 0 0 0 7 0 0 0 20 0 15 0 252156569 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694228203888 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14084804 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 28126 0 -1 1077944384 376 0 0 0 14 0 0 0 20 0 15 0 252156569 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694227150832 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156570 14422839296 22178 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88712 KiB
[startup+1.50077 s]
/proc/loadavg: 1.80 1.48 1.42 3/217 804
/proc/meminfo: memFree=26646552/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14090948 memory=137332 CPUtime=3.04 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 27458 0 0 0 296 8 0 0 20 0 15 0 252156564 14429130752 34333 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3522737 34333 3544 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090948 memory=361 CPUtime=1.46 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 21063 0 0 0 141 5 0 0 20 0 15 0 252156564 14429130752 34333 33554432000 4194304 4196468 140724162130880 139694763508768 139694370590424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14090948 memory=279950263399904 CPUtime=0 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14429130752 34333 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14090948 memory=752 CPUtime=0 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14429130752 34333 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14090948 memory=836 CPUtime=0 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252156565 14429130752 34333 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14090948 memory=1084 CPUtime=0 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252156565 14429130752 34333 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14090948 memory=1600 CPUtime=0 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 252156566 14429130752 34333 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
################
# More data... #
################
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 34731 0 0 0 243792 14 0 0 20 0 15 0 252156564 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694763510208 139694370867772 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14090948 memory=213628 CPUtime=1.62 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 3566 0 0 0 149 13 0 0 20 0 15 0 252156565 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14090948 memory=213628 CPUtime=1.62 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 4636 0 0 0 150 12 0 0 20 0 15 0 252156565 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14090948 memory=213628 CPUtime=1.6 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 3063 0 0 0 147 13 0 0 20 0 15 0 252156565 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14090948 memory=213628 CPUtime=1.6 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2407 0 0 0 147 13 0 0 20 0 15 0 252156565 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14090948 memory=213628 CPUtime=1.74 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 5479 0 0 0 161 13 0 0 20 0 15 0 252156566 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 31 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14090948 memory=213628 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694232413920 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14090948 memory=213628 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694231360768 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14090948 memory=213628 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14090948 memory=213628 CPUtime=0.87 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 28126 0 -1 1077944384 2441 0 0 0 86 1 0 0 20 0 15 0 252156569 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14090948 memory=3041 CPUtime=0.82 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 28126 0 -1 1077944384 4941 0 0 0 81 1 0 0 20 0 15 0 252156569 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694228203888 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14090948 memory=3708 CPUtime=0.58 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 28126 0 -1 1077944384 4325 0 0 0 58 0 0 0 20 0 15 0 252156569 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694227150832 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14090948 memory=68624 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14090948 memory=1784 CPUtime=0.68 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1346 0 0 0 31 37 0 0 20 0 15 0 252156570 14429130752 53407 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 2449.29 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 213628 KiB
[startup+2502.3 s]
/proc/loadavg: 1.86 1.58 1.45 3/216 965
/proc/meminfo: memFree=26465144/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14090948 memory=216888 CPUtime=2509.41 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 69111 0 0 0 250848 93 0 0 20 0 15 0 252156564 14429130752 54222 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3522737 54222 3575 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090948 memory=1736 CPUtime=2497.96 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 35061 0 0 0 249780 16 0 0 20 0 15 0 252156564 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694763510240 139694370685004 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14090948 memory=216888 CPUtime=1.66 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 3687 0 0 0 152 14 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14090948 memory=216888 CPUtime=1.67 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 4698 0 0 0 154 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14090948 memory=216888 CPUtime=1.64 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 3078 0 0 0 151 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14090948 memory=216888 CPUtime=1.64 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2425 0 0 0 151 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14090948 memory=216888 CPUtime=1.78 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 5656 0 0 0 164 14 0 0 20 0 15 0 252156566 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14090948 memory=216888 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694232413920 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14090948 memory=2680 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694231360768 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14090948 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14090948 memory=216888 CPUtime=0.87 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 28126 0 -1 1077944384 2443 0 0 0 86 1 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14090948 memory=216888 CPUtime=0.82 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 28126 0 -1 1077944384 4943 0 0 0 81 1 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694228203888 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14090948 memory=216888 CPUtime=0.58 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 28126 0 -1 1077944384 4327 0 0 0 58 0 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694227150832 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14090948 memory=216888 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14090948 memory=216888 CPUtime=0.71 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1363 0 0 0 32 39 0 0 20 0 15 0 252156570 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 2509.41 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 216888 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2512.9 s]
/proc/loadavg: 1.80 1.57 1.45 3/216 966
/proc/meminfo: memFree=26438108/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14090948 memory=216888 CPUtime=2520.04 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 69124 0 0 0 251911 93 0 0 20 0 15 0 252156564 14429130752 54222 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3522737 54222 3575 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090948 memory=216888 CPUtime=2508.55 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 35073 0 0 0 250839 16 0 0 20 0 15 0 252156564 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694763510512 139694370844857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14090948 memory=216888 CPUtime=1.67 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 3687 0 0 0 153 14 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14090948 memory=216888 CPUtime=1.68 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 4698 0 0 0 155 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14090948 memory=216888 CPUtime=1.65 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 3078 0 0 0 152 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14090948 memory=1736 CPUtime=1.65 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2425 0 0 0 152 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14090948 memory=216888 CPUtime=1.79 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 5657 0 0 0 165 14 0 0 20 0 15 0 252156566 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14090948 memory=68624 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694232413920 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14090948 memory=2080 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694231360768 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14090948 memory=216888 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14090948 memory=216888 CPUtime=0.87 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 28126 0 -1 1077944384 2443 0 0 0 86 1 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14090948 memory=216888 CPUtime=0.82 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 28126 0 -1 1077944384 4943 0 0 0 81 1 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694228203888 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14090948 memory=216888 CPUtime=0.58 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 28126 0 -1 1077944384 4327 0 0 0 58 0 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694227150832 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14090948 memory=216888 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14090948 memory=3304 CPUtime=0.71 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1363 0 0 0 32 39 0 0 20 0 15 0 252156570 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 216888 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2512.91 s]
# the end of solver process 789 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.12 s, system=0.941916 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2512.9 s]
/proc/loadavg: 1.80 1.57 1.45 3/216 966
/proc/meminfo: memFree=26438108/32770624 swapFree=67108804/67108860
[pid=789] ppid=786 vsize=14090948 memory=216888 CPUtime=2520.04 cores=0,2,4,6
/proc/789/stat : 789 (java) S 786 789 28126 0 -1 1077944320 69124 0 0 0 251911 93 0 0 20 0 15 0 252156564 14429130752 54222 33554432000 4194304 4196468 140724162130880 140724162113424 139694759272183 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
/proc/789/statm: 3522737 54222 3575 1 0 3484809 0
[pid=789/tid=791] ppid=786 vsize=14090948 memory=216888 CPUtime=2508.55 cores=0,2,4,6
/proc/789/task/791/stat : 791 (java) R 786 789 28126 0 -1 4202560 35073 0 0 0 250839 16 0 0 20 0 15 0 252156564 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694763510512 139694370844857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=792] ppid=786 vsize=14090948 memory=216888 CPUtime=1.67 cores=0,2,4,6
/proc/789/task/792/stat : 792 (java) S 786 789 28126 0 -1 1077944384 3687 0 0 0 153 14 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694689360400 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=793] ppid=786 vsize=14090948 memory=216888 CPUtime=1.68 cores=0,2,4,6
/proc/789/task/793/stat : 793 (java) S 786 789 28126 0 -1 1077944384 4698 0 0 0 155 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694688307856 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=794] ppid=786 vsize=14090948 memory=216888 CPUtime=1.65 cores=0,2,4,6
/proc/789/task/794/stat : 794 (java) S 786 789 28126 0 -1 1077944384 3078 0 0 0 152 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694687254800 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=795] ppid=786 vsize=14090948 memory=1736 CPUtime=1.65 cores=0,2,4,6
/proc/789/task/795/stat : 795 (java) S 786 789 28126 0 -1 1077944384 2425 0 0 0 152 13 0 0 20 0 15 0 252156565 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694686202256 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=796] ppid=786 vsize=14090948 memory=216888 CPUtime=1.79 cores=0,2,4,6
/proc/789/task/796/stat : 796 (java) S 786 789 28126 0 -1 1077944384 5657 0 0 0 165 14 0 0 20 0 15 0 252156566 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694233467632 139694759283330 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 31 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=797] ppid=786 vsize=14090948 memory=68624 CPUtime=0 cores=0,2,4,6
/proc/789/task/797/stat : 797 (java) S 786 789 28126 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694232413920 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=798] ppid=786 vsize=14090948 memory=2080 CPUtime=0 cores=0,2,4,6
/proc/789/task/798/stat : 798 (java) S 786 789 28126 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 252156567 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694231360768 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=799] ppid=786 vsize=14090948 memory=216888 CPUtime=0 cores=0,2,4,6
/proc/789/task/799/stat : 799 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694230309328 139694759290779 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=800] ppid=786 vsize=14090948 memory=216888 CPUtime=0.87 cores=0,2,4,6
/proc/789/task/800/stat : 800 (java) S 786 789 28126 0 -1 1077944384 2443 0 0 0 86 1 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694229256432 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=801] ppid=786 vsize=14090948 memory=216888 CPUtime=0.82 cores=0,2,4,6
/proc/789/task/801/stat : 801 (java) S 786 789 28126 0 -1 1077944384 4943 0 0 0 81 1 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694228203888 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=802] ppid=786 vsize=14090948 memory=216888 CPUtime=0.58 cores=0,2,4,6
/proc/789/task/802/stat : 802 (java) S 786 789 28126 0 -1 1077944384 4327 0 0 0 58 0 0 0 20 0 15 0 252156569 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694227150832 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=803] ppid=786 vsize=14090948 memory=216888 CPUtime=0 cores=0,2,4,6
/proc/789/task/803/stat : 803 (java) S 786 789 28126 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252156570 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694226098528 139694759282389 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
[pid=789/tid=804] ppid=786 vsize=14090948 memory=3304 CPUtime=0.71 cores=0,2,4,6
/proc/789/task/804/stat : 804 (java) S 786 789 28126 0 -1 1077944384 1363 0 0 0 32 39 0 0 20 0 15 0 252156570 14429130752 54222 33554432000 4194304 4196468 140724162130880 139694225046576 139694759283330 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 12800000 140724162135113 140724162135305 140724162135305 140724162138063 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 216888 KiB
Child status: 143
Real time (s): 2512.91
CPU time (s): 2520.06
CPU user time (s): 2519.12
CPU system time (s): 0.941916
CPU usage (%): 100.285
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 232384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.12
system time used= 0.941916
maximum resident set size= 233936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69402
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 102831
involuntary context switches= 4196
# summary of solver processes directly reported to runsolver:
# pid: 789
# total CPU time (s): 2520.06
# total CPU user time (s): 2519.12
# total CPU system time (s): 0.941916
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0999 second user time and 22.3959 second system time
The end