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 (4193 MiB free)
memory of node 1: 16384 MiB (7796 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295370-1532549566/watcher-4295370-1532549566 -o /tmp/evaluation-result-4295370-1532549566/solver-4295370-1532549566 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532543154-31453 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=272987597 -superng HOME/instance-4295370-1532549566.xml
running on 4 cores: 1,3,5,7
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=1045, runsolver pid=1042
[startup+0.110785 s]*
/proc/loadavg: 1.21 1.27 1.34 3/207 1104
/proc/meminfo: memFree=12265612/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10153664 memory=21788 CPUtime=0.1 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 4621 13139 0 0 1 1 5 3 20 0 8 0 72519762 10397351936 5447 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2538416 5447 2045 1 0 2526854 0
[pid=1045/tid=1099] ppid=1042 vsize=10355560 memory=-6517102902069810590 CPUtime=0.09 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 2475 13139 0 0 1 0 5 3 20 0 9 0 72519771 10604093440 6051 33554432000 4194304 4196468 140724137310768 139738285444976 139738313630877 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 9 0 72519771 10604093440 6051 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10355560 memory=139663119722112 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 9 0 72519771 10604093440 6051 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 9 0 72519771 10604093440 6051 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 9 0 72519771 10604093440 6051 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10355560 memory=139663119722112 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 9 0 72519773 10604093440 6051 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10355560 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 13 13139 0 0 0 0 5 3 20 0 9 0 72519773 10604093440 6051 33554432000 4194304 4196468 140724137310768 139737767601824 139738313619157 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10355560 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 9 0 72519773 10604093440 6051 33554432000 4194304 4196468 140724137310768 139737633383728 139738313619157 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 10153664 KiB
Current children cumulated memory: 21788 KiB
[startup+0.210127 s]*
/proc/loadavg: 1.21 1.27 1.34 3/215 1112
/proc/meminfo: memFree=12245052/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10821524 memory=47900 CPUtime=0.27 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 8211 13139 0 0 16 3 5 3 20 0 15 0 72519762 11081240576 11975 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2705381 11975 2925 1 0 2667804 0
[pid=1045/tid=1099] ppid=1042 vsize=10818904 memory=-6517102902069810590 CPUtime=0.19 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 5879 13139 0 0 10 1 5 3 20 0 15 0 72519771 11078557696 12342 33554432000 4194304 4196468 140724137310768 139738285433760 139738297689438 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11078557696 12342 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10818904 memory=139663119722112 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11078557696 12342 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519771 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10818904 memory=139663119722112 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519773 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 13 13139 0 0 0 0 5 3 20 0 15 0 72519773 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737767601824 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737633383664 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10818904 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10818904 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 524 13139 0 0 1 0 5 3 20 0 15 0 72519776 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 55 13139 0 0 0 0 5 3 20 0 15 0 72519776 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10818904 memory=139663119722112 CPUtime=0.11 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) R 1042 1045 31421 0 -1 4202560 579 13139 0 0 3 0 5 3 20 0 15 0 72519776 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737837123568 139738297689438 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1111] ppid=1042 vsize=10818904 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1111/stat : 1111 (java) S 1042 1045 31421 0 -1 1077944384 3 13139 0 0 0 0 5 3 20 0 15 0 72519776 11078557696 12342 33554432000 4194304 4196468 140724137310768 139736559642976 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1112] ppid=1042 vsize=10818904 memory=139663119722112 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1112/stat : 1112 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519777 11078557696 12342 33554432000 4194304 4196468 140724137310768 139737836071984 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 47900 KiB
[startup+0.310307 s]*
/proc/loadavg: 1.21 1.27 1.34 3/215 1112
/proc/meminfo: memFree=12231520/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10819352 memory=57504 CPUtime=0.39 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 10462 13139 0 0 28 3 5 3 20 0 15 0 72519762 11079016448 14376 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2704838 14376 3060 1 0 2667149 0
[pid=1045/tid=1099] ppid=1042 vsize=10819352 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 7070 13139 0 0 19 2 5 3 20 0 15 0 72519771 11079016448 14376 33554432000 4194304 4196468 140724137310768 139738285420960 139738295172503 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 14376 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10819352 memory=139667414689407 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 14376 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10819352 memory=2272 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10819352 memory=139667414689407 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519773 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10819352 memory=2240 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 13 13139 0 0 0 0 5 3 20 0 15 0 72519773 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737767601824 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10819352 memory=2209 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737633383664 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10819352 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 524 13139 0 0 2 0 5 3 20 0 15 0 72519776 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10819352 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 56 13139 0 0 1 0 5 3 20 0 15 0 72519776 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10819352 memory=139663119722112 CPUtime=0.13 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) S 1042 1045 31421 0 -1 1077944384 597 13139 0 0 5 0 5 3 20 0 15 0 72519776 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737837123568 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1111] ppid=1042 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1111/stat : 1111 (java) S 1042 1045 31421 0 -1 1077944384 3 13139 0 0 0 0 5 3 20 0 15 0 72519776 11079016448 14376 33554432000 4194304 4196468 140724137310768 139736559642976 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1112] ppid=1042 vsize=10819352 memory=139663119722112 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1112/stat : 1112 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519777 11079016448 14376 33554432000 4194304 4196468 140724137310768 139737836071984 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 57504 KiB
[startup+0.700796 s]
/proc/loadavg: 1.21 1.27 1.34 3/215 1112
/proc/meminfo: memFree=12222092/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10819352 memory=90584 CPUtime=1 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 16770 13139 0 0 87 5 5 3 20 0 15 0 72519762 11079016448 22646 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2704838 22646 3238 1 0 2667149 0
[pid=1045/tid=1099] ppid=1042 vsize=10819352 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 12326 13139 0 0 55 3 5 3 20 0 15 0 72519771 11079016448 22646 33554432000 4194304 4196468 140724137310768 139738285429776 139738293884738 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10819352 memory=14555601434844200 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 22646 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 22646 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519771 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10819352 memory=6944656592455359580 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 5 13139 0 0 0 0 5 3 20 0 15 0 72519773 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10819352 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 13 13139 0 0 0 0 5 3 20 0 15 0 72519773 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737767601824 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737633383664 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10819352 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10819352 memory=279326016718080 CPUtime=0.16 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 897 13139 0 0 8 0 5 3 20 0 15 0 72519776 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10819352 memory=11076 CPUtime=0.17 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 638 13139 0 0 9 0 5 3 20 0 15 0 72519776 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10819352 memory=139663008363664 CPUtime=0.21 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) S 1042 1045 31421 0 -1 1077944384 686 13139 0 0 13 0 5 3 20 0 15 0 72519776 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737837123568 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1111] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1111/stat : 1111 (java) S 1042 1045 31421 0 -1 1077944384 3 13139 0 0 0 0 5 3 20 0 15 0 72519776 11079016448 22646 33554432000 4194304 4196468 140724137310768 139736559642976 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1112] ppid=1042 vsize=10819352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1112/stat : 1112 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519777 11079016448 22646 33554432000 4194304 4196468 140724137310768 139737836071984 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 1 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 90584 KiB
[startup+1.50082 s]
/proc/loadavg: 1.21 1.27 1.34 3/215 1112
/proc/meminfo: memFree=12176008/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10834252 memory=181916 CPUtime=2.25 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 24107 13139 0 0 206 11 5 3 20 0 15 0 72519762 11094274048 45479 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2708563 45479 3471 1 0 2670221 0
[pid=1045/tid=1099] ppid=1042 vsize=10834252 memory=105164 CPUtime=1.43 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 18064 13139 0 0 129 6 5 3 20 0 15 0 72519771 11094274048 45479 33554432000 4194304 4196468 140724137310768 139738285439616 139738299848194 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10834252 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 38 13139 0 0 1 0 5 3 20 0 15 0 72519771 11094274048 45479 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10834252 memory=7893295687695687954 CPUtime=0.09 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 306 13139 0 0 1 0 5 3 20 0 15 0 72519771 11094274048 45479 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10834252 memory=6994781559841273980 CPUtime=0.09 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 22 13139 0 0 1 0 5 3 20 0 15 0 72519771 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10834252 memory=4498404016631593314 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 76 13139 0 0 0 0 5 3 20 0 15 0 72519771 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10834252 memory=11151536224 CPUtime=0.09 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 82 13139 0 0 1 0 5 3 20 0 15 0 72519773 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10834252 memory=279326017011424 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 14 13139 0 0 0 0 5 3 20 0 15 0 72519773 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737767601888 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737633383680 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10834252 memory=288230583166042426 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10834252 memory=14132238522517333 CPUtime=0.3 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 1451 13139 0 0 22 0 5 3 20 0 15 0 72519776 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10834252 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 793 13139 0 0 19 0 5 3 20 0 15 0 72519776 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10834252 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) S 1042 1045 31421 0 -1 1077944384 1061 13139 0 0 28 0 5 3 20 0 15 0 72519776 11094274048 45479 33554432000 4194304 4196468 140724137310768 139737837123568 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
################
# More data... #
################
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 84147 13139 0 0 236273 40 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139738285444240 139737932910146 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10914144 memory=0 CPUtime=8.45 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 10895 13139 0 0 793 44 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10914144 memory=8 CPUtime=8.44 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 12188 13139 0 0 792 44 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10914144 memory=752924 CPUtime=8.46 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 10583 13139 0 0 797 41 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10914144 memory=12944 CPUtime=8.44 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 10908 13139 0 0 794 42 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10914144 memory=1436 CPUtime=7.66 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 12471 13139 0 0 720 38 5 3 20 0 15 0 72519773 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10914144 memory=752924 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 14 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737767601952 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10914144 memory=752860 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737633383680 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10914144 memory=792 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10914144 memory=752924 CPUtime=8.46 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 30670 13139 0 0 833 5 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10914144 memory=752924 CPUtime=7.98 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 23523 13139 0 0 784 6 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10914144 memory=2400 CPUtime=3.44 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) S 1042 1045 31421 0 -1 1077944384 24448 13139 0 0 329 7 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737837123568 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1111] ppid=1042 vsize=10914144 memory=1836 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1111/stat : 1111 (java) S 1042 1045 31421 0 -1 1077944384 3 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139736559642976 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1112] ppid=1042 vsize=10914144 memory=752924 CPUtime=1.46 cores=1,3,5,7
/proc/1045/task/1112/stat : 1112 (java) S 1042 1045 31421 0 -1 1077944384 1379 13139 0 0 62 76 5 3 20 0 15 0 72519777 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737836071984 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 2425.37 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 752924 KiB
[startup+2442.3 s]
/proc/loadavg: 0.86 1.09 1.18 3/215 1332
/proc/meminfo: memFree=11632976/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10914144 memory=752924 CPUtime=2485.94 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 224167 13139 0 0 248292 294 5 3 20 0 15 0 72519762 11176083456 188231 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2728536 188231 3524 1 0 2690189 0
[pid=1045/tid=1099] ppid=1042 vsize=10914144 memory=752924 CPUtime=2422.71 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 84520 13139 0 0 242222 41 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139738285444240 139737932911000 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10914144 memory=752924 CPUtime=8.67 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 11175 13139 0 0 814 45 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10914144 memory=752924 CPUtime=8.65 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 12205 13139 0 0 812 45 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10914144 memory=752924 CPUtime=8.67 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 10605 13139 0 0 818 41 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10914144 memory=752924 CPUtime=8.66 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 10929 13139 0 0 815 43 5 3 20 0 15 0 72519771 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10914144 memory=752924 CPUtime=7.85 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 12497 13139 0 0 738 39 5 3 20 0 15 0 72519773 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10914144 memory=752924 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 14 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737767601952 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10914144 memory=752924 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737633383680 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10914144 memory=752924 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10914144 memory=752924 CPUtime=8.46 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 30670 13139 0 0 833 5 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10914144 memory=752924 CPUtime=7.98 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 23523 13139 0 0 784 6 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10914144 memory=752924 CPUtime=3.44 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) S 1042 1045 31421 0 -1 1077944384 24448 13139 0 0 329 7 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737837123568 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1111] ppid=1042 vsize=10914144 memory=752924 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1111/stat : 1111 (java) S 1042 1045 31421 0 -1 1077944384 3 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188231 33554432000 4194304 4196468 140724137310768 139736559642976 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1112] ppid=1042 vsize=10914144 memory=1296 CPUtime=1.5 cores=1,3,5,7
/proc/1045/task/1112/stat : 1112 (java) S 1042 1045 31421 0 -1 1077944384 1382 13139 0 0 64 78 5 3 20 0 15 0 72519777 11176083456 188231 33554432000 4194304 4196468 140724137310768 139737836071984 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 2485.94 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 752924 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2476.11 s]
/proc/loadavg: 1.05 1.11 1.19 3/215 1332
/proc/meminfo: memFree=11633052/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10914144 memory=753060 CPUtime=2520.07 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 224783 13139 0 0 251701 298 5 3 20 0 15 0 72519762 11176083456 188265 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2728536 188265 3524 1 0 2690189 0
[pid=1045/tid=1099] ppid=1042 vsize=10914144 memory=753060 CPUtime=2456.24 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 84820 13139 0 0 245575 41 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139738285444384 139737930530277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10914144 memory=753060 CPUtime=8.79 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 11228 13139 0 0 825 46 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10914144 memory=753060 CPUtime=8.77 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 12210 13139 0 0 823 46 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10914144 memory=752960 CPUtime=8.78 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 10626 13139 0 0 828 42 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10914144 memory=752960 CPUtime=8.77 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 10960 13139 0 0 826 43 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10914144 memory=783 CPUtime=7.95 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 12682 13139 0 0 748 39 5 3 20 0 15 0 72519773 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10914144 memory=863 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 14 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737767601952 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10914144 memory=753060 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737633383680 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10914144 memory=753060 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10914144 memory=753060 CPUtime=8.46 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 30672 13139 0 0 833 5 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10914144 memory=753060 CPUtime=7.98 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 23525 13139 0 0 784 6 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10914144 memory=753060 CPUtime=3.44 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) S 1042 1045 31421 0 -1 1077944384 24450 13139 0 0 329 7 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737837123568 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1111] ppid=1042 vsize=10914144 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1111/stat : 1111 (java) S 1042 1045 31421 0 -1 1077944384 3 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139736559642976 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1112] ppid=1042 vsize=10914144 memory=792 CPUtime=1.52 cores=1,3,5,7
/proc/1045/task/1112/stat : 1112 (java) S 1042 1045 31421 0 -1 1077944384 1397 13139 0 0 65 79 5 3 20 0 15 0 72519777 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737836071984 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 753060 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2476.15 s]
# the end of solver process 1045 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.09 s, system=3.02745 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2476.11 s]
/proc/loadavg: 1.05 1.11 1.19 3/215 1332
/proc/meminfo: memFree=11633052/32770624 swapFree=67108860/67108860
[pid=1045] ppid=1042 vsize=10914144 memory=753060 CPUtime=2520.07 cores=1,3,5,7
/proc/1045/stat : 1045 (java) S 1042 1045 31421 0 -1 1077944320 224783 13139 0 0 251701 298 5 3 20 0 15 0 72519762 11176083456 188265 33554432000 4194304 4196468 140724137310768 140724137293312 139738313608951 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
/proc/1045/statm: 2728536 188265 3524 1 0 2690189 0
[pid=1045/tid=1099] ppid=1042 vsize=10914144 memory=753060 CPUtime=2456.24 cores=1,3,5,7
/proc/1045/task/1099/stat : 1099 (java) R 1042 1045 31421 0 -1 4202560 84820 13139 0 0 245575 41 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139738285444384 139737930530277 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1100] ppid=1042 vsize=10914144 memory=753060 CPUtime=8.79 cores=1,3,5,7
/proc/1045/task/1100/stat : 1100 (java) S 1042 1045 31421 0 -1 1077944384 11228 13139 0 0 825 46 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139738317851152 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1101] ppid=1042 vsize=10914144 memory=753060 CPUtime=8.77 cores=1,3,5,7
/proc/1045/task/1101/stat : 1101 (java) S 1042 1045 31421 0 -1 1077944384 12210 13139 0 0 823 46 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139738238810768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1102] ppid=1042 vsize=10914144 memory=752960 CPUtime=8.78 cores=1,3,5,7
/proc/1045/task/1102/stat : 1102 (java) S 1042 1045 31421 0 -1 1077944384 10626 13139 0 0 828 42 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737885911312 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1103] ppid=1042 vsize=10914144 memory=752960 CPUtime=8.77 cores=1,3,5,7
/proc/1045/task/1103/stat : 1103 (java) S 1042 1045 31421 0 -1 1077944384 10960 13139 0 0 826 43 5 3 20 0 15 0 72519771 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737884858768 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1104] ppid=1042 vsize=10914144 memory=783 CPUtime=7.95 cores=1,3,5,7
/proc/1045/task/1104/stat : 1104 (java) S 1042 1045 31421 0 -1 1077944384 12682 13139 0 0 748 39 5 3 20 0 15 0 72519773 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737840282352 139738313620098 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1105] ppid=1042 vsize=10914144 memory=863 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1105/stat : 1105 (java) S 1042 1045 31421 0 -1 1077944384 14 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737767601952 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1106] ppid=1042 vsize=10914144 memory=753060 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1106/stat : 1106 (java) S 1042 1045 31421 0 -1 1077944384 1 13139 0 0 0 0 5 3 20 0 15 0 72519773 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737633383680 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1107] ppid=1042 vsize=10914144 memory=753060 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1107/stat : 1107 (java) S 1042 1045 31421 0 -1 1077944384 2 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737029405136 139738313627547 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1108] ppid=1042 vsize=10914144 memory=753060 CPUtime=8.46 cores=1,3,5,7
/proc/1045/task/1108/stat : 1108 (java) S 1042 1045 31421 0 -1 1077944384 30672 13139 0 0 833 5 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737839229168 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1109] ppid=1042 vsize=10914144 memory=753060 CPUtime=7.98 cores=1,3,5,7
/proc/1045/task/1109/stat : 1109 (java) S 1042 1045 31421 0 -1 1077944384 23525 13139 0 0 784 6 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737838176624 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1110] ppid=1042 vsize=10914144 memory=753060 CPUtime=3.44 cores=1,3,5,7
/proc/1045/task/1110/stat : 1110 (java) S 1042 1045 31421 0 -1 1077944384 24450 13139 0 0 329 7 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737837123568 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1111] ppid=1042 vsize=10914144 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/1045/task/1111/stat : 1111 (java) S 1042 1045 31421 0 -1 1077944384 3 13139 0 0 0 0 5 3 20 0 15 0 72519776 11176083456 188265 33554432000 4194304 4196468 140724137310768 139736559642976 139738313619157 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
[pid=1045/tid=1112] ppid=1042 vsize=10914144 memory=792 CPUtime=1.52 cores=1,3,5,7
/proc/1045/task/1112/stat : 1112 (java) S 1042 1045 31421 0 -1 1077944384 1397 13139 0 0 65 79 5 3 20 0 15 0 72519777 11176083456 188265 33554432000 4194304 4196468 140724137310768 139737836071984 139738313620098 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35393536 140724137318572 140724137321820 140724137321820 140724137324495 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 753060 KiB
Child status: 143
Real time (s): 2476.15
CPU time (s): 2520.12
CPU user time (s): 2517.09
CPU system time (s): 3.02745
CPU usage (%): 101.776
Max. virtual memory (cumulated for all children) (KiB): 10917000
Max. memory (cumulated for all children) (KiB): 776296
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.09
system time used= 3.02745
maximum resident set size= 778344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230511
involuntary context switches= 6380
# summary of solver processes directly reported to runsolver:
# pid: 1045
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.09
# total CPU system time (s): 3.02745
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5731 second user time and 23.478 second system time
The end