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 (14611 MiB free)
memory of node 1: 16384 MiB (13985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396411-1568402959/watcher-4396411-1568402959 -o /tmp/evaluation-result-4396411-1568402959/solver-4396411-1568402959 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568393448-7558 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1668391277 HOME/instance-4396411-1568402959.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
solver pid=10125, runsolver pid=10122
Current StackSize limit: 8192 KiB
[startup+0.100091 s]*
/proc/loadavg: 1.24 1.28 1.35 3/218 10182
/proc/meminfo: memFree=29276892/32770624 swapFree=66946316/67108860
[pid=10125] ppid=10122 vsize=9972712 memory=16816 CPUtime=0.1 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 4440 13232 0 0 1 1 5 3 20 0 6 0 416237880 10212057088 4204 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2493178 4204 1935 1 0 2481616 0
[pid=10125/tid=10178] ppid=10122 vsize=9972712 memory=7892391828772250251 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 2263 13232 0 0 0 0 5 3 20 0 6 0 416237889 10212057088 4204 33554432000 4194304 4196468 140728886068176 139762652889680 139762665133406 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 6 0 416237889 10212057088 4204 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=9972712 memory=140649115518592 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 6 0 416237889 10212057088 4204 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 6 0 416237889 10212057088 4204 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 2 13232 0 0 0 0 5 3 20 0 6 0 416237889 10212057088 4204 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16816 KiB
[startup+0.210133 s]*
/proc/loadavg: 1.24 1.28 1.35 4/227 10192
/proc/meminfo: memFree=29256964/32770624 swapFree=66946316/67108860
[pid=10125] ppid=10122 vsize=10819664 memory=41872 CPUtime=0.26 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 7285 13232 0 0 17 1 5 3 20 0 15 0 416237880 11079335936 10468 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2704916 10468 3168 1 0 2667149 0
[pid=10125/tid=10178] ppid=10122 vsize=10819664 memory=7822038051842263955 CPUtime=0.19 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 3778 13232 0 0 10 1 5 3 20 0 15 0 416237889 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762652885872 139762665133406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10819664 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10819664 memory=140649115518592 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 2 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10819664 memory=140649115518592 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 2 13232 0 0 0 0 5 3 20 0 15 0 416237891 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 13 13232 0 0 0 0 5 3 20 0 15 0 416237891 11079335936 10468 33554432000 4194304 4196468 140728886068176 139761591248544 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237892 11079335936 10468 33554432000 4194304 4196468 140728886068176 139761457030384 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10819664 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11079335936 10468 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10819664 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) S 10122 10125 6494 0 -1 1077944384 343 13232 0 0 1 0 5 3 20 0 15 0 416237894 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762206566640 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10819664 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) S 10122 10125 6494 0 -1 1077944384 306 13232 0 0 1 0 5 3 20 0 15 0 416237894 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762205514096 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10819664 memory=140649115518592 CPUtime=0.11 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) R 10122 10125 6494 0 -1 4202560 625 13232 0 0 3 0 5 3 20 0 15 0 416237894 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762204461040 139762673290046 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10819664 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11079335936 10468 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10819664 memory=140649115518592 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237895 11079335936 10468 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819664 KiB
Current children cumulated memory: 41872 KiB
[startup+0.310764 s]*
/proc/loadavg: 1.24 1.28 1.35 3/227 10192
/proc/meminfo: memFree=29243740/32770624 swapFree=66946316/67108860
[pid=10125] ppid=10122 vsize=10820148 memory=50784 CPUtime=0.41 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 10938 13232 0 0 30 3 5 3 20 0 15 0 416237880 11079831552 12696 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2705037 12696 3300 1 0 2667149 0
[pid=10125/tid=10178] ppid=10122 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 7413 13232 0 0 19 2 5 3 20 0 15 0 416237889 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762652852832 139762665133406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10820148 memory=6443077031774809194 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10820148 memory=5787213827347079232 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10820148 memory=7649540028908127937 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10820148 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 2 13232 0 0 0 0 5 3 20 0 15 0 416237889 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 2 13232 0 0 0 0 5 3 20 0 15 0 416237891 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 13 13232 0 0 0 0 5 3 20 0 15 0 416237891 11079831552 12696 33554432000 4194304 4196468 140728886068176 139761591248544 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237892 11079831552 12696 33554432000 4194304 4196468 140728886068176 139761457030384 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11079831552 12696 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10820148 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) S 10122 10125 6494 0 -1 1077944384 352 13232 0 0 2 0 5 3 20 0 15 0 416237894 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762206566640 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10820148 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) S 10122 10125 6494 0 -1 1077944384 307 13232 0 0 1 0 5 3 20 0 15 0 416237894 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762205514096 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10820148 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) S 10122 10125 6494 0 -1 1077944384 633 13232 0 0 5 0 5 3 20 0 15 0 416237894 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762204461040 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11079831552 12696 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10820148 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237895 11079831552 12696 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50784 KiB
[startup+0.700708 s]
/proc/loadavg: 1.24 1.28 1.35 5/227 10192
/proc/meminfo: memFree=29229876/32770624 swapFree=66946316/67108860
[pid=10125] ppid=10122 vsize=10824360 memory=83780 CPUtime=1.15 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 15185 13232 0 0 102 5 5 3 20 0 15 0 416237880 11084144640 20945 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2706090 20945 3506 1 0 2668173 0
[pid=10125/tid=10178] ppid=10122 vsize=10824360 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 10381 13232 0 0 55 4 5 3 20 0 15 0 416237889 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762652877312 139762665133406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10824360 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237889 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 2 13232 0 0 0 0 5 3 20 0 15 0 416237889 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10824360 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 5 13232 0 0 0 0 5 3 20 0 15 0 416237891 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 13 13232 0 0 0 0 5 3 20 0 15 0 416237891 11084144640 20945 33554432000 4194304 4196468 140728886068176 139761591248544 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10824360 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237892 11084144640 20945 33554432000 4194304 4196468 140728886068176 139761457030384 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10824360 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11084144640 20945 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10824360 memory=140648971798416 CPUtime=0.21 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) S 10122 10125 6494 0 -1 1077944384 816 13232 0 0 13 0 5 3 20 0 15 0 416237894 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762206566640 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10824360 memory=24964 CPUtime=0.23 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) R 10122 10125 6494 0 -1 4202560 893 13232 0 0 15 0 5 3 20 0 15 0 416237894 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762205514096 139762665963066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10824360 memory=2244 CPUtime=0.25 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) S 10122 10125 6494 0 -1 1077944384 855 13232 0 0 17 0 5 3 20 0 15 0 416237894 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762204461040 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10824360 memory=140648971795824 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11084144640 20945 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10824360 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237895 11084144640 20945 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83780 KiB
[startup+1.50066 s]
/proc/loadavg: 1.24 1.28 1.35 3/227 10192
/proc/meminfo: memFree=29184676/32770624 swapFree=66946316/67108860
[pid=10125] ppid=10122 vsize=10834676 memory=169600 CPUtime=2.47 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 20560 13232 0 0 229 10 5 3 20 0 15 0 416237880 11094708224 42400 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2708669 42400 3571 1 0 2670733 0
[pid=10125/tid=10178] ppid=10122 vsize=10834676 memory=22 CPUtime=1.44 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 14929 13232 0 0 129 7 5 3 20 0 15 0 416237889 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762652857536 139762283208683 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10834676 memory=23 CPUtime=0.09 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 16 13232 0 0 1 0 5 3 20 0 15 0 416237889 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10834676 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 26 13232 0 0 0 0 5 3 20 0 15 0 416237889 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 17 13232 0 0 1 0 5 3 20 0 15 0 416237889 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10834676 memory=101152 CPUtime=0.09 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 47 13232 0 0 1 0 5 3 20 0 15 0 416237889 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10834676 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 44 13232 0 0 1 0 5 3 20 0 15 0 416237891 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10834676 memory=6297275089713714530 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 14 13232 0 0 0 0 5 3 20 0 15 0 416237891 11094708224 42400 33554432000 4194304 4196468 140728886068176 139761591248608 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10834676 memory=7522532441876228193 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237892 11094708224 42400 33554432000 4194304 4196468 140728886068176 139761457030400 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10834676 memory=7667186382345695340 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11094708224 42400 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10834676 memory=5787213844361602137 CPUtime=0.32 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) R 10122 10125 6494 0 -1 1077944384 872 13232 0 0 24 0 5 3 20 0 15 0 416237894 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762206566736 139762681063125 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10834676 memory=7739832253708265304 CPUtime=0.36 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) R 10122 10125 6494 0 -1 4202560 953 13232 0 0 28 0 5 3 20 0 15 0 416237894 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762205502688 139762661746183 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10834676 memory=6297275089713714530 CPUtime=0.47 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) R 10122 10125 6494 0 -1 4202560 1426 13232 0 0 39 0 5 3 20 0 15 0 416237894 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762204456304 139762681064854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10834676 memory=6297275089713714530 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11094708224 42400 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10834676 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 1 13232 0 0 0 0 5 3 20 0 15 0 416237895 11094708224 42400 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834676 KiB
################
# More data... #
################
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 42606 13232 0 0 224722 31 5 3 20 0 15 0 416237889 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762652888736 139762291414603 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10846984 memory=536868 CPUtime=6.34 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 6977 13232 0 0 590 36 5 3 20 0 15 0 416237889 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10846984 memory=536900 CPUtime=6.32 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 6421 13232 0 0 585 39 5 3 20 0 15 0 416237889 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10846984 memory=536900 CPUtime=6.35 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 9245 13232 0 0 590 37 5 3 20 0 15 0 416237889 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10846984 memory=536900 CPUtime=6.33 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 3140 13232 0 0 590 35 5 3 20 0 15 0 416237889 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10846984 memory=536900 CPUtime=6.26 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 8556 13232 0 0 584 34 5 3 20 0 15 0 416237891 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10846984 memory=536900 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 14 13232 0 0 0 0 5 3 20 0 15 0 416237891 11107311616 134225 33554432000 4194304 4196468 140728886068176 139761591248672 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10846984 memory=536900 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 9 13232 0 0 0 0 5 3 20 0 15 0 416237892 11107311616 134225 33554432000 4194304 4196468 140728886068176 139761457030400 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10846984 memory=536900 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134225 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10846984 memory=536900 CPUtime=2.94 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) S 10122 10125 6494 0 -1 1077944384 11726 13232 0 0 284 2 5 3 20 0 15 0 416237894 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762206566640 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10846984 memory=536900 CPUtime=2.8 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) S 10122 10125 6494 0 -1 1077944384 13218 13232 0 0 266 6 5 3 20 0 15 0 416237894 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762205514096 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10846984 memory=992 CPUtime=1.35 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) S 10122 10125 6494 0 -1 1077944384 8640 13232 0 0 125 2 5 3 20 0 15 0 416237894 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762204461040 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10846984 memory=2044 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134225 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10846984 memory=1428 CPUtime=1.31 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 778 13232 0 0 59 64 5 3 20 0 15 0 416237895 11107311616 134225 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 2286.99 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 536900 KiB
[startup+2322.3 s]
/proc/loadavg: 1.08 1.31 1.36 3/227 10938
/proc/meminfo: memFree=29891276/32770624 swapFree=66946440/67108860
[pid=10125] ppid=10122 vsize=10846984 memory=536920 CPUtime=2347.46 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 114540 13232 0 0 234494 244 5 3 20 0 15 0 416237880 11107311616 134230 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2711746 134230 3623 1 0 2673805 0
[pid=10125/tid=10178] ppid=10122 vsize=10846984 memory=536920 CPUtime=2307.21 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 43111 13232 0 0 230682 31 5 3 20 0 15 0 416237889 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762652889264 139762289125036 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10846984 memory=536920 CPUtime=6.5 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 7083 13232 0 0 605 37 5 3 20 0 15 0 416237889 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10846984 memory=536920 CPUtime=6.49 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 6593 13232 0 0 600 41 5 3 20 0 15 0 416237889 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10846984 memory=536920 CPUtime=6.52 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 9265 13232 0 0 605 39 5 3 20 0 15 0 416237889 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10846984 memory=536920 CPUtime=6.5 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 3147 13232 0 0 606 36 5 3 20 0 15 0 416237889 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10846984 memory=536920 CPUtime=6.44 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 8717 13232 0 0 600 36 5 3 20 0 15 0 416237891 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10846984 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 14 13232 0 0 0 0 5 3 20 0 15 0 416237891 11107311616 134230 33554432000 4194304 4196468 140728886068176 139761591248672 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10846984 memory=1040 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 9 13232 0 0 0 0 5 3 20 0 15 0 416237892 11107311616 134230 33554432000 4194304 4196468 140728886068176 139761457030400 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10846984 memory=536920 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134230 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10846984 memory=536920 CPUtime=2.94 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) S 10122 10125 6494 0 -1 1077944384 11728 13232 0 0 284 2 5 3 20 0 15 0 416237894 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762206566640 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10846984 memory=536920 CPUtime=2.8 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) S 10122 10125 6494 0 -1 1077944384 13220 13232 0 0 266 6 5 3 20 0 15 0 416237894 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762205514096 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10846984 memory=536920 CPUtime=1.35 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) S 10122 10125 6494 0 -1 1077944384 8642 13232 0 0 125 2 5 3 20 0 15 0 416237894 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762204461040 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10846984 memory=3612 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134230 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10846984 memory=21016 CPUtime=1.34 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 796 13232 0 0 61 65 5 3 20 0 15 0 416237895 11107311616 134230 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 2347.46 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 536920 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2374.5 s]
/proc/loadavg: 1.04 1.27 1.34 3/228 10944
/proc/meminfo: memFree=29959420/32770624 swapFree=66946440/67108860
[pid=10125] ppid=10122 vsize=10846984 memory=536976 CPUtime=2400.07 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 115248 13232 0 0 239751 248 5 3 20 0 15 0 416237880 11107311616 134244 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2711746 134244 3623 1 0 2673805 0
[pid=10125/tid=10178] ppid=10122 vsize=10846984 memory=536976 CPUtime=2359.07 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 43464 13232 0 0 235868 31 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762652888816 139762291416632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10846984 memory=536976 CPUtime=6.65 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 7125 13232 0 0 619 38 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10846984 memory=536976 CPUtime=6.63 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 6612 13232 0 0 613 42 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10846984 memory=536932 CPUtime=6.66 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 9423 13232 0 0 619 39 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10846984 memory=536932 CPUtime=6.64 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 3155 13232 0 0 619 37 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10846984 memory=536932 CPUtime=6.58 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 8833 13232 0 0 614 36 5 3 20 0 15 0 416237891 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10846984 memory=536976 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 14 13232 0 0 0 0 5 3 20 0 15 0 416237891 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761591248672 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10846984 memory=536976 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 9 13232 0 0 0 0 5 3 20 0 15 0 416237892 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761457030400 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10846984 memory=536932 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10846984 memory=536976 CPUtime=2.94 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) S 10122 10125 6494 0 -1 1077944384 11730 13232 0 0 284 2 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762206566640 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10846984 memory=536976 CPUtime=2.8 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) S 10122 10125 6494 0 -1 1077944384 13222 13232 0 0 266 6 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762205514096 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10846984 memory=536976 CPUtime=1.35 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) S 10122 10125 6494 0 -1 1077944384 8645 13232 0 0 125 2 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762204461040 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10846984 memory=304556123141439514 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10846984 memory=288230617509003574 CPUtime=1.37 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 801 13232 0 0 62 67 5 3 20 0 15 0 416237895 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 536976 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2374.53 s]
# the end of solver process 10125 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.59 s, system=2.52848 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2374.5 s]
/proc/loadavg: 1.04 1.27 1.34 3/228 10944
/proc/meminfo: memFree=29959420/32770624 swapFree=66946440/67108860
[pid=10125] ppid=10122 vsize=10846984 memory=536976 CPUtime=2400.07 cores=0,2,4,6
/proc/10125/stat : 10125 (java) S 10122 10125 6494 0 -1 1077944320 115248 13232 0 0 239751 248 5 3 20 0 15 0 416237880 11107311616 134244 33554432000 4194304 4196468 140728886068176 140728886050720 139762681052919 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
/proc/10125/statm: 2711746 134244 3623 1 0 2673805 0
[pid=10125/tid=10178] ppid=10122 vsize=10846984 memory=536976 CPUtime=2359.07 cores=0,2,4,6
/proc/10125/task/10178/stat : 10178 (java) R 10122 10125 6494 0 -1 4202560 43464 13232 0 0 235868 31 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762652888816 139762291416632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10179] ppid=10122 vsize=10846984 memory=536976 CPUtime=6.65 cores=0,2,4,6
/proc/10125/task/10179/stat : 10179 (java) S 10122 10125 6494 0 -1 1077944384 7125 13232 0 0 619 38 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762685295120 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10180] ppid=10122 vsize=10846984 memory=536976 CPUtime=6.63 cores=0,2,4,6
/proc/10125/task/10180/stat : 10180 (java) S 10122 10125 6494 0 -1 1077944384 6612 13232 0 0 613 42 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762600114832 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10181] ppid=10122 vsize=10846984 memory=536932 CPUtime=6.66 cores=0,2,4,6
/proc/10125/task/10181/stat : 10181 (java) S 10122 10125 6494 0 -1 1077944384 9423 13232 0 0 619 39 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762599061776 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10182] ppid=10122 vsize=10846984 memory=536932 CPUtime=6.64 cores=0,2,4,6
/proc/10125/task/10182/stat : 10182 (java) S 10122 10125 6494 0 -1 1077944384 3155 13232 0 0 619 37 5 3 20 0 15 0 416237889 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762252568976 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10183] ppid=10122 vsize=10846984 memory=536932 CPUtime=6.58 cores=0,2,4,6
/proc/10125/task/10183/stat : 10183 (java) S 10122 10125 6494 0 -1 1077944384 8833 13232 0 0 614 36 5 3 20 0 15 0 416237891 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762207619824 139762681064066 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10184] ppid=10122 vsize=10846984 memory=536976 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10184/stat : 10184 (java) S 10122 10125 6494 0 -1 1077944384 14 13232 0 0 0 0 5 3 20 0 15 0 416237891 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761591248672 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10185] ppid=10122 vsize=10846984 memory=536976 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10185/stat : 10185 (java) S 10122 10125 6494 0 -1 1077944384 9 13232 0 0 0 0 5 3 20 0 15 0 416237892 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761457030400 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10186] ppid=10122 vsize=10846984 memory=536932 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10186/stat : 10186 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761216739792 139762681071515 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10187] ppid=10122 vsize=10846984 memory=536976 CPUtime=2.94 cores=0,2,4,6
/proc/10125/task/10187/stat : 10187 (java) S 10122 10125 6494 0 -1 1077944384 11730 13232 0 0 284 2 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762206566640 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10188] ppid=10122 vsize=10846984 memory=536976 CPUtime=2.8 cores=0,2,4,6
/proc/10125/task/10188/stat : 10188 (java) S 10122 10125 6494 0 -1 1077944384 13222 13232 0 0 266 6 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762205514096 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10189] ppid=10122 vsize=10846984 memory=536976 CPUtime=1.35 cores=0,2,4,6
/proc/10125/task/10189/stat : 10189 (java) S 10122 10125 6494 0 -1 1077944384 8645 13232 0 0 125 2 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762204461040 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10190] ppid=10122 vsize=10846984 memory=304556123141439514 CPUtime=0.08 cores=0,2,4,6
/proc/10125/task/10190/stat : 10190 (java) S 10122 10125 6494 0 -1 1077944384 3 13232 0 0 0 0 5 3 20 0 15 0 416237894 11107311616 134244 33554432000 4194304 4196468 140728886068176 139761183181152 139762681063125 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
[pid=10125/tid=10191] ppid=10122 vsize=10846984 memory=288230617509003574 CPUtime=1.37 cores=0,2,4,6
/proc/10125/task/10191/stat : 10191 (java) S 10122 10125 6494 0 -1 1077944384 801 13232 0 0 62 67 5 3 20 0 15 0 416237895 11107311616 134244 33554432000 4194304 4196468 140728886068176 139762203409456 139762681064066 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37326848 140728886074095 140728886076613 140728886076613 140728886079439 0
Current children cumulated CPU time: 2400.07 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 536976 KiB
Child status: 143
Real time (s): 2374.53
CPU time (s): 2400.12
CPU user time (s): 2397.59
CPU system time (s): 2.52848
CPU usage (%): 101.078
Max. virtual memory (cumulated for all children) (KiB): 10849788
Max. memory (cumulated for all children) (KiB): 536976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.59
system time used= 2.52848
maximum resident set size= 541216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 130886
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 202111
involuntary context switches= 6902
# summary of solver processes directly reported to runsolver:
# pid: 10125
# total CPU time (s): 2400.12
# total CPU user time (s): 2397.59
# total CPU system time (s): 2.52848
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.2539 second user time and 23.3398 second system time
The end