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 (6042 MiB free)
memory of node 1: 16384 MiB (2487 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402581-1568984315/watcher-4402581-1568984315 -o /var/tmp/evaluation-result-4402581-1568984315/solver-4402581-1568984315 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568963940-19972 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1467329244 HOME/instance-4402581-1568984315.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=24650, runsolver pid=24647
Current StackSize limit: 8192 KiB
[startup+0.10013 s]*
/proc/loadavg: 1.39 1.52 1.54 3/216 24706
/proc/meminfo: memFree=8730704/32770624 swapFree=66955276/67108860
[pid=24650] ppid=24647 vsize=9972712 memory=16640 CPUtime=0.09 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 4427 13303 0 0 1 0 5 3 20 0 6 0 474689563 10212057088 4160 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2493178 4160 1932 1 0 2481616 0
[pid=24650/tid=24703] ppid=24647 vsize=9972712 memory=-8617482348318186131 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 2231 13303 0 0 0 0 5 3 20 0 6 0 474689573 10212057088 4226 33554432000 4194304 4196468 140721872533808 139783181406800 139783193650556 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 6 0 474689573 10212057088 4226 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=9972712 memory=140465184794240 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 6 0 474689573 10212057088 4226 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 6 0 474689573 10212057088 4226 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 6 0 474689573 10212057088 4226 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16640 KiB
[startup+0.211152 s]*
/proc/loadavg: 1.39 1.52 1.54 3/226 24716
/proc/meminfo: memFree=8704924/32770624 swapFree=66955276/67108860
[pid=24650] ppid=24647 vsize=10820164 memory=45496 CPUtime=0.26 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 7321 13303 0 0 17 1 5 3 20 0 15 0 474689563 11079847936 11374 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2705041 11374 3286 1 0 2667149 0
[pid=24650/tid=24703] ppid=24647 vsize=10820176 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 3830 13303 0 0 11 0 5 3 20 0 15 0 474689573 11079860224 11374 33554432000 4194304 4196468 140721872533808 139783181381072 139783202287002 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10820176 memory=345 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079860224 11374 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10820176 memory=140465184816485 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079860224 11374 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10820176 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079860224 11374 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10820176 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079860224 11374 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10820176 memory=140465184794240 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689575 11079860224 11374 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10820184 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 13 13303 0 0 0 0 5 3 20 0 15 0 474689575 11079868416 11374 33554432000 4194304 4196468 140721872533808 139782663430944 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689575 11079868416 11374 33554432000 4194304 4196468 140721872533808 139782529213552 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11079868416 11374 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10820184 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) R 24647 24650 19941 0 -1 4202560 324 13303 0 0 0 0 5 3 20 0 15 0 474689578 11079868416 11374 33554432000 4194304 4196468 140721872533808 139782735194736 139783193049456 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10820184 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 315 13303 0 0 1 0 5 3 20 0 15 0 474689578 11079868416 11374 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10820184 memory=140465184794240 CPUtime=0.11 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) R 24647 24650 19941 0 -1 1077944384 622 13303 0 0 3 0 5 3 20 0 15 0 474689578 11079868416 11374 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10820188 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11079872512 11374 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10820188 memory=140465184794240 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689579 11079872512 11374 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 45496 KiB
[startup+0.310604 s]*
/proc/loadavg: 1.39 1.52 1.54 3/226 24716
/proc/meminfo: memFree=8692208/32770624 swapFree=66955276/67108860
[pid=24650] ppid=24647 vsize=10820196 memory=54156 CPUtime=0.41 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 10761 13303 0 0 30 3 5 3 20 0 15 0 474689563 11079880704 13539 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2705049 13539 3311 1 0 2667149 0
[pid=24650/tid=24703] ppid=24647 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 7237 13303 0 0 19 2 5 3 20 0 15 0 474689573 11079880704 13539 33554432000 4194304 4196468 140721872533808 139783181382320 140721872681174 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079880704 13539 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079880704 13539 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689573 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689575 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 13 13303 0 0 0 0 5 3 20 0 15 0 474689575 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782663430944 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689575 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782529213552 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11079880704 13539 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) S 24647 24650 19941 0 -1 1077944384 339 13303 0 0 2 0 5 3 20 0 15 0 474689578 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782735194736 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 315 13303 0 0 1 0 5 3 20 0 15 0 474689578 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10820196 memory=140465184794240 CPUtime=0.13 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) S 24647 24650 19941 0 -1 1077944384 641 13303 0 0 5 0 5 3 20 0 15 0 474689578 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11079880704 13539 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10820196 memory=140465184794240 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689579 11079880704 13539 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 54156 KiB
[startup+0.700749 s]
/proc/loadavg: 1.39 1.52 1.54 3/226 24716
/proc/meminfo: memFree=8676916/32770624 swapFree=66955276/67108860
[pid=24650] ppid=24647 vsize=10824364 memory=87780 CPUtime=1.15 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 15092 13303 0 0 103 4 5 3 20 0 15 0 474689563 11084148736 21945 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2706091 21945 3515 1 0 2668173 0
[pid=24650/tid=24703] ppid=24647 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 10475 13303 0 0 56 3 5 3 20 0 15 0 474689573 11084148736 21945 33554432000 4194304 4196468 140721872533808 139783181399584 139783193650526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689573 11084148736 21945 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689573 11084148736 21945 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10824364 memory=140465026511056 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689573 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10824364 memory=140466905416297 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689573 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10824364 memory=1060 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 5 13303 0 0 0 0 5 3 20 0 15 0 474689575 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10824364 memory=7014751519667017297 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 13 13303 0 0 0 0 5 3 20 0 15 0 474689575 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782663430944 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10824364 memory=7739528784169231983 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689575 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782529213552 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10824364 memory=14056 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11084148736 21945 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10824364 memory=2116 CPUtime=0.24 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) R 24647 24650 19941 0 -1 4202560 846 13303 0 0 16 0 5 3 20 0 15 0 474689578 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782735194736 139783195726506 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10824364 memory=516 CPUtime=0.2 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 731 13303 0 0 12 0 5 3 20 0 15 0 474689578 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10824364 memory=1556 CPUtime=0.25 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) S 24647 24650 19941 0 -1 1077944384 807 13303 0 0 17 0 5 3 20 0 15 0 474689578 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10824364 memory=928 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11084148736 21945 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10824364 memory=1772 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689579 11084148736 21945 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 87780 KiB
[startup+1.50072 s]
/proc/loadavg: 1.39 1.52 1.54 5/226 24717
/proc/meminfo: memFree=8616972/32770624 swapFree=66955276/67108860
[pid=24650] ppid=24647 vsize=10832632 memory=218860 CPUtime=3.13 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 25710 13303 0 0 293 12 5 3 20 0 15 0 474689563 11092615168 54715 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2708158 54715 3586 1 0 2670221 0
[pid=24650/tid=24703] ppid=24647 vsize=10832632 memory=168292 CPUtime=1.43 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 14806 13303 0 0 129 6 5 3 20 0 15 0 474689573 11092615168 54715 33554432000 4194304 4196468 140721872533808 139783181395008 139783191131952 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10832632 memory=2436 CPUtime=0.09 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 69 13303 0 0 1 0 5 3 20 0 15 0 474689573 11092615168 54715 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10832632 memory=1760 CPUtime=0.09 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 50 13303 0 0 1 0 5 3 20 0 15 0 474689573 11092615168 54715 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 26 13303 0 0 1 0 5 3 20 0 15 0 474689573 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10832632 memory=-7303279828959712342 CPUtime=0.09 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 246 13303 0 0 1 0 5 3 20 0 15 0 474689573 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10832632 memory=3833724587141655611 CPUtime=0.09 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 93 13303 0 0 1 0 5 3 20 0 15 0 474689575 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10832632 memory=-7016161123436706971 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 13 13303 0 0 0 0 5 3 20 0 15 0 474689575 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782663431008 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10832632 memory=-6005673638262905286 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689575 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782529213568 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11092615168 54715 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10832632 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) S 24647 24650 19941 0 -1 1077944384 3549 13303 0 0 60 1 5 3 20 0 15 0 474689578 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782735194736 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10832632 memory=4580 CPUtime=0.6 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 2874 13303 0 0 52 0 5 3 20 0 15 0 474689578 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10832632 memory=7230358031464158288 CPUtime=0.49 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) S 24647 24650 19941 0 -1 1077944384 1773 13303 0 0 41 0 5 3 20 0 15 0 474689578 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10832632 memory=4641048838572435300 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11092615168 54715 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10832632 memory=7813297239910475095 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 1 13303 0 0 0 0 5 3 20 0 15 0 474689579 11092615168 54715 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 94553 13303 0 0 236061 58 5 3 20 0 15 0 474689573 11107315712 136311 33554432000 4194304 4196468 140721872533808 139783181406016 139782832568787 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10846988 memory=538504 CPUtime=13.47 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 37720 13303 0 0 1300 39 5 3 20 0 15 0 474689573 11107315712 136311 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10846988 memory=533864 CPUtime=13.43 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 21818 13303 0 0 1297 38 5 3 20 0 15 0 474689573 11107315712 136311 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10846988 memory=539464 CPUtime=13.45 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 22642 13303 0 0 1296 41 5 3 20 0 15 0 474689573 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10846988 memory=539940 CPUtime=13.47 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 30382 13303 0 0 1301 38 5 3 20 0 15 0 474689573 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10846988 memory=1548 CPUtime=5.3 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 25238 13303 0 0 471 51 5 3 20 0 15 0 474689575 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10846988 memory=538504 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782663431072 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10846988 memory=545244 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782529213568 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10846988 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 136311 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10846988 memory=538040 CPUtime=9.94 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) S 24647 24650 19941 0 -1 1077944384 38639 13303 0 0 981 5 5 3 20 0 15 0 474689578 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782735194736 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10846988 memory=542144 CPUtime=10.29 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 42514 13303 0 0 1015 6 5 3 20 0 15 0 474689578 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10846988 memory=541004 CPUtime=2.74 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) S 24647 24650 19941 0 -1 1077944384 38778 13303 0 0 260 6 5 3 20 0 15 0 474689578 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10846988 memory=542144 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 136311 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10846988 memory=1444 CPUtime=1.56 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 2123 13303 0 0 73 75 5 3 20 0 15 0 474689579 11107315712 136311 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 2444.3 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 545244 KiB
[startup+2442.3 s]
/proc/loadavg: 1.67 1.58 1.51 3/226 25091
/proc/meminfo: memFree=8466920/32770624 swapFree=66955288/67108860
[pid=24650] ppid=24647 vsize=10846988 memory=562068 CPUtime=2505.53 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 362103 13303 0 0 250214 331 5 3 20 0 15 0 474689563 11107315712 140517 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2711747 140517 3647 1 0 2673805 0
[pid=24650/tid=24703] ppid=24647 vsize=10846988 memory=574176 CPUtime=2420.59 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 97959 13303 0 0 241992 59 5 3 20 0 15 0 474689573 11107315712 140517 33554432000 4194304 4196468 140721872533808 139783181405728 139782832568791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10846988 memory=569048 CPUtime=13.9 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 38130 13303 0 0 1341 41 5 3 20 0 15 0 474689573 11107315712 140517 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10846988 memory=557964 CPUtime=13.85 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 22304 13303 0 0 1338 39 5 3 20 0 15 0 474689573 11107315712 140517 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10846988 memory=539464 CPUtime=13.87 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 23049 13303 0 0 1338 41 5 3 20 0 15 0 474689573 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10846988 memory=549804 CPUtime=13.9 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 30854 13303 0 0 1342 40 5 3 20 0 15 0 474689573 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10846988 memory=548316 CPUtime=5.45 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 25478 13303 0 0 484 53 5 3 20 0 15 0 474689575 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10846988 memory=568020 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782663431072 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10846988 memory=563612 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782529213568 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10846988 memory=561048 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 140517 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10846988 memory=560532 CPUtime=9.94 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) S 24647 24650 19941 0 -1 1077944384 38643 13303 0 0 981 5 5 3 20 0 15 0 474689578 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782735194736 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10846988 memory=560020 CPUtime=10.29 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 42516 13303 0 0 1015 6 5 3 20 0 15 0 474689578 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10846988 memory=584788 CPUtime=2.75 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) S 24647 24650 19941 0 -1 1077944384 38780 13303 0 0 261 6 5 3 20 0 15 0 474689578 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10846988 memory=571100 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 140517 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10846988 memory=560532 CPUtime=1.6 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 2140 13303 0 0 75 77 5 3 20 0 15 0 474689579 11107315712 140517 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 2505.53 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 562068 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2456.5 s]
/proc/loadavg: 1.45 1.54 1.49 3/227 25093
/proc/meminfo: memFree=8470196/32770624 swapFree=66955288/67108860
[pid=24650] ppid=24647 vsize=10846988 memory=556272 CPUtime=2520.01 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 362819 13303 0 0 251661 332 5 3 20 0 15 0 474689563 11107315712 139068 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2711747 139068 3647 1 0 2673805 0
[pid=24650/tid=24703] ppid=24647 vsize=10846988 memory=557300 CPUtime=2434.63 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 98412 13303 0 0 243396 59 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139783181405728 139782833187945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10846988 memory=552000 CPUtime=14 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 38225 13303 0 0 1351 41 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10846988 memory=548316 CPUtime=13.95 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 22391 13303 0 0 1348 39 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10846988 memory=549804 CPUtime=13.98 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 23073 13303 0 0 1348 42 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10846988 memory=539464 CPUtime=14 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 30898 13303 0 0 1352 40 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10846988 memory=557964 CPUtime=5.5 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 25490 13303 0 0 488 54 5 3 20 0 15 0 474689575 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10846988 memory=569048 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782663431072 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10846988 memory=558672 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782529213568 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10846988 memory=556620 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10846988 memory=552000 CPUtime=9.94 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) S 24647 24650 19941 0 -1 1077944384 38643 13303 0 0 981 5 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782735194736 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10846988 memory=556788 CPUtime=10.29 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 42516 13303 0 0 1015 6 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10846988 memory=584788 CPUtime=2.75 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) S 24647 24650 19941 0 -1 1077944384 38780 13303 0 0 261 6 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10846988 memory=558672 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10846988 memory=557300 CPUtime=1.61 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 2141 13303 0 0 75 78 5 3 20 0 15 0 474689579 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 556272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2456.53 s]
# the end of solver process 24650 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.7 s, system=3.37252 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2456.5 s]
/proc/loadavg: 1.45 1.54 1.49 3/227 25093
/proc/meminfo: memFree=8470196/32770624 swapFree=66955288/67108860
[pid=24650] ppid=24647 vsize=10846988 memory=556272 CPUtime=2520.01 cores=0,2,4,6
/proc/24650/stat : 24650 (java) S 24647 24650 19941 0 -1 1077944320 362819 13303 0 0 251661 332 5 3 20 0 15 0 474689563 11107315712 139068 33554432000 4194304 4196468 140721872533808 140721872516352 139783209570039 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
/proc/24650/statm: 2711747 139068 3647 1 0 2673805 0
[pid=24650/tid=24703] ppid=24647 vsize=10846988 memory=557300 CPUtime=2434.63 cores=0,2,4,6
/proc/24650/task/24703/stat : 24703 (java) R 24647 24650 19941 0 -1 4202560 98412 13303 0 0 243396 59 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139783181405728 139782833187945 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24704] ppid=24647 vsize=10846988 memory=552000 CPUtime=14 cores=0,2,4,6
/proc/24650/task/24704/stat : 24704 (java) S 24647 24650 19941 0 -1 1077944384 38225 13303 0 0 1351 41 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139783213812624 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24705] ppid=24647 vsize=10846988 memory=548316 CPUtime=13.95 cores=0,2,4,6
/proc/24650/task/24705/stat : 24705 (java) S 24647 24650 19941 0 -1 1077944384 22391 13303 0 0 1348 39 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139783134771984 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24706] ppid=24647 vsize=10846988 memory=549804 CPUtime=13.98 cores=0,2,4,6
/proc/24650/task/24706/stat : 24706 (java) S 24647 24650 19941 0 -1 1077944384 23073 13303 0 0 1348 42 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782781742224 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24707] ppid=24647 vsize=10846988 memory=539464 CPUtime=14 cores=0,2,4,6
/proc/24650/task/24707/stat : 24707 (java) S 24647 24650 19941 0 -1 1077944384 30898 13303 0 0 1352 40 5 3 20 0 15 0 474689573 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782780689424 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24708] ppid=24647 vsize=10846988 memory=557964 CPUtime=5.5 cores=0,2,4,6
/proc/24650/task/24708/stat : 24708 (java) S 24647 24650 19941 0 -1 1077944384 25490 13303 0 0 488 54 5 3 20 0 15 0 474689575 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782736246896 139783209581186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24709] ppid=24647 vsize=10846988 memory=569048 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24709/stat : 24709 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782663431072 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24710] ppid=24647 vsize=10846988 memory=558672 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24710/stat : 24710 (java) S 24647 24650 19941 0 -1 1077944384 21 13303 0 0 0 0 5 3 20 0 15 0 474689575 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782529213568 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24711] ppid=24647 vsize=10846988 memory=556620 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24711/stat : 24711 (java) S 24647 24650 19941 0 -1 1077944384 2 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139781925234768 139783209588635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24712] ppid=24647 vsize=10846988 memory=552000 CPUtime=9.94 cores=0,2,4,6
/proc/24650/task/24712/stat : 24712 (java) S 24647 24650 19941 0 -1 1077944384 38643 13303 0 0 981 5 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782735194736 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24713] ppid=24647 vsize=10846988 memory=556788 CPUtime=10.29 cores=0,2,4,6
/proc/24650/task/24713/stat : 24713 (java) S 24647 24650 19941 0 -1 1077944384 42516 13303 0 0 1015 6 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782734141936 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24714] ppid=24647 vsize=10846988 memory=584788 CPUtime=2.75 cores=0,2,4,6
/proc/24650/task/24714/stat : 24714 (java) S 24647 24650 19941 0 -1 1077944384 38780 13303 0 0 261 6 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782733089648 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24715] ppid=24647 vsize=10846988 memory=558672 CPUtime=0.08 cores=0,2,4,6
/proc/24650/task/24715/stat : 24715 (java) S 24647 24650 19941 0 -1 1077944384 3 13303 0 0 0 0 5 3 20 0 15 0 474689578 11107315712 139068 33554432000 4194304 4196468 140721872533808 139781455473632 139783209580245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
[pid=24650/tid=24716] ppid=24647 vsize=10846988 memory=557300 CPUtime=1.61 cores=0,2,4,6
/proc/24650/task/24716/stat : 24716 (java) S 24647 24650 19941 0 -1 1077944384 2141 13303 0 0 75 78 5 3 20 0 15 0 474689579 11107315712 139068 33554432000 4194304 4196468 140721872533808 139782732036528 139783209581186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27795456 140721872538211 140721872540853 140721872540853 140721872543695 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 556272 KiB
Child status: 143
Real time (s): 2456.53
CPU time (s): 2520.07
CPU user time (s): 2516.7
CPU system time (s): 3.37252
CPU usage (%): 102.587
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 2530888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.7
system time used= 3.37252
maximum resident set size= 2532940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 377361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 165938
involuntary context switches= 9672
# summary of solver processes directly reported to runsolver:
# pid: 24650
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.7
# total CPU system time (s): 3.37252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9698 second user time and 22.9659 second system time
The end