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 (2825 MiB free)
memory of node 1: 16384 MiB (2310 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402619-1568980744/watcher-4402619-1568980744 -o /var/tmp/evaluation-result-4402619-1568980744/solver-4402619-1568980744 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5564 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1017606351 HOME/instance-4402619-1568980744.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=10889, runsolver pid=10886
[startup+0.100126 s]*
/proc/loadavg: 1.48 1.50 1.49 3/218 10946
/proc/meminfo: memFree=5251092/32770624 swapFree=67001740/67108860
[pid=10889] ppid=10886 vsize=9972712 memory=19116 CPUtime=0.08 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 4514 12993 0 0 1 0 4 3 20 0 6 0 473988343 10212057088 4779 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2493178 4779 1935 1 0 2481616 0
[pid=10889/tid=10942] ppid=10886 vsize=10055356 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) S 10886 10889 5532 0 -1 1077944384 2365 12993 0 0 1 0 4 3 20 0 7 0 473988352 10296684544 4845 33554432000 4194304 4196468 140735917499360 140472934374160 140472962541269 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10055356 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 7 0 473988352 10296684544 4845 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10055356 memory=140381468448384 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 7 0 473988352 10296684544 4845 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10055356 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 7 0 473988352 10296684544 4845 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10055356 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 7 0 473988352 10296684544 4845 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10055356 memory=140381468448384 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 7 0 473988354 10296684544 4845 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 19116 KiB
[startup+0.210031 s]*
/proc/loadavg: 1.48 1.50 1.49 3/227 10955
/proc/meminfo: memFree=5231672/32770624 swapFree=67001740/67108860
[pid=10889] ppid=10886 vsize=10821220 memory=43980 CPUtime=0.27 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 8623 12993 0 0 18 2 4 3 20 0 15 0 473988343 11080929280 10995 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2705305 10995 3327 1 0 2667405 0
[pid=10889/tid=10942] ppid=10886 vsize=10821220 memory=5450916389569530688 CPUtime=0.18 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 5418 12993 0 0 10 1 4 3 20 0 15 0 473988352 11080929280 11259 33554432000 4194304 4196468 140735917499360 140472934343424 140472955210781 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10821220 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988352 11080929280 11259 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10821220 memory=140381468448384 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988352 11080929280 11325 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988352 11080929280 11325 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988352 11080929280 11325 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10821220 memory=140381468448384 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988354 11080929280 11325 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 13 12993 0 0 0 0 4 3 20 0 15 0 473988354 11080929280 11325 33554432000 4194304 4196468 140735917499360 140472408335520 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988354 11080929280 11325 33554432000 4194304 4196468 140735917499360 140471804355312 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10821220 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11080929280 11391 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10821220 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) S 10886 10889 5532 0 -1 1077944384 348 12993 0 0 1 0 4 3 20 0 15 0 473988357 11080929280 11391 33554432000 4194304 4196468 140735917499360 140472488159984 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10821220 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 334 12993 0 0 1 0 4 3 20 0 15 0 473988357 11080929280 11391 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10821220 memory=140381468448384 CPUtime=0.1 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) S 10886 10889 5532 0 -1 1077944384 594 12993 0 0 3 0 4 3 20 0 15 0 473988357 11080929280 11391 33554432000 4194304 4196468 140735917499360 140472486054384 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10821220 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11080929280 11391 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10821220 memory=140381468448384 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988358 11080929280 11391 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10821220 KiB
Current children cumulated memory: 43980 KiB
[startup+0.310618 s]*
/proc/loadavg: 1.48 1.50 1.49 3/227 10955
/proc/meminfo: memFree=5222236/32770624 swapFree=67001740/67108860
[pid=10889] ppid=10886 vsize=10820196 memory=50488 CPUtime=0.4 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 10765 12993 0 0 30 3 4 3 20 0 15 0 473988343 11079880704 12622 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2705049 12622 3339 1 0 2667149 0
[pid=10889/tid=10942] ppid=10886 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 7246 12993 0 0 19 3 4 3 20 0 15 0 473988352 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472934340832 140472946611550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988352 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988352 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988352 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988352 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988354 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 13 12993 0 0 0 0 4 3 20 0 15 0 473988354 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472408335520 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988354 11079880704 12622 33554432000 4194304 4196468 140735917499360 140471804355312 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11079880704 12622 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) S 10886 10889 5532 0 -1 1077944384 349 12993 0 0 2 0 4 3 20 0 15 0 473988357 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472488159984 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10820196 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 334 12993 0 0 2 0 4 3 20 0 15 0 473988357 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10820196 memory=140381468448384 CPUtime=0.12 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) S 10886 10889 5532 0 -1 1077944384 612 12993 0 0 5 0 4 3 20 0 15 0 473988357 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472486054384 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11079880704 12622 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10820196 memory=140381468448384 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988358 11079880704 12622 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50488 KiB
[startup+0.701075 s]
/proc/loadavg: 1.48 1.50 1.49 3/227 10955
/proc/meminfo: memFree=5205240/32770624 swapFree=67001740/67108860
[pid=10889] ppid=10886 vsize=10824364 memory=84316 CPUtime=1.16 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 15286 12993 0 0 104 5 4 3 20 0 15 0 473988343 11084148736 21079 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2706091 21079 3505 1 0 2668173 0
[pid=10889/tid=10942] ppid=10886 vsize=10824364 memory=28864 CPUtime=0.66 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 10529 12993 0 0 55 4 4 3 20 0 15 0 473988352 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472934358016 140472962553085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10824364 memory=12028 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988352 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10824364 memory=532 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988352 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10824364 memory=1564 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988352 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10824364 memory=928 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 2 12993 0 0 0 0 4 3 20 0 15 0 473988352 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10824364 memory=7448488012996568912 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 5 12993 0 0 0 0 4 3 20 0 15 0 473988354 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10824364 memory=7813578590283457876 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 13 12993 0 0 0 0 4 3 20 0 15 0 473988354 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472408335520 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10824364 memory=7523071198212214892 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988354 11084148736 21079 33554432000 4194304 4196468 140735917499360 140471804355312 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10824364 memory=5450916488555034154 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11084148736 21079 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10824364 memory=-6736937045019192452 CPUtime=0.24 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) R 10886 10889 5532 0 -1 4202560 966 12993 0 0 17 0 4 3 20 0 15 0 473988357 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472488159984 140472944056128 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10824364 memory=-7025452035940392864 CPUtime=0.19 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 752 12993 0 0 12 0 4 3 20 0 15 0 473988357 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10824364 memory=-9001734000804784231 CPUtime=0.24 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) R 10886 10889 5532 0 -1 4202560 805 12993 0 0 17 0 4 3 20 0 15 0 473988357 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472486054384 140472946611476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11084148736 21079 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10824364 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988358 11084148736 21079 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 84316 KiB
[startup+1.50073 s]
/proc/loadavg: 1.48 1.50 1.49 3/227 10955
/proc/meminfo: memFree=5163672/32770624 swapFree=67001740/67108860
[pid=10889] ppid=10886 vsize=10834680 memory=178224 CPUtime=2.62 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 22421 12993 0 0 245 10 4 3 20 0 15 0 473988343 11094712320 44556 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2708670 44556 3585 1 0 2670733 0
[pid=10889/tid=10942] ppid=10886 vsize=10834680 memory=10886 CPUtime=1.43 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 15452 12993 0 0 130 6 4 3 20 0 15 0 473988352 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472934353168 140472946611550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 295 12993 0 0 1 0 4 3 20 0 15 0 473988352 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 63 12993 0 0 1 0 4 3 20 0 15 0 473988352 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10834680 memory=18141941861341 CPUtime=0.08 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 86 12993 0 0 1 0 4 3 20 0 15 0 473988352 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10834680 memory=6933690286009757744 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 36 12993 0 0 0 0 4 3 20 0 15 0 473988352 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10834680 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 142 12993 0 0 1 0 4 3 20 0 15 0 473988354 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10834680 memory=6944656425122832000 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 14 12993 0 0 0 0 4 3 20 0 15 0 473988354 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472408335584 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10834680 memory=3472328296227736193 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988354 11094712320 44556 33554432000 4194304 4196468 140735917499360 140471804355328 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10834680 memory=6655300316396806240 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11094712320 44556 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10834680 memory=6944656425122832000 CPUtime=0.38 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) S 10886 10889 5532 0 -1 1077944384 1161 12993 0 0 31 0 4 3 20 0 15 0 473988357 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472488159984 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10834680 memory=-7522837583045875833 CPUtime=0.39 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 1340 12993 0 0 32 0 4 3 20 0 15 0 473988357 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10834680 memory=-7737605721172012177 CPUtime=0.51 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) S 10886 10889 5532 0 -1 1077944384 1621 12993 0 0 44 0 4 3 20 0 15 0 473988357 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472486054384 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10834680 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11094712320 44556 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10834680 memory=6944656592455360604 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 1 12993 0 0 0 0 4 3 20 0 15 0 473988358 11094712320 44556 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
################
# More data... #
################
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 65600 12993 0 0 235592 55 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472934366928 140472576686777 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10846988 memory=1028292 CPUtime=12.79 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 14491 12993 0 0 1213 59 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10846988 memory=1028292 CPUtime=12.74 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 18753 12993 0 0 1210 57 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10846988 memory=1028292 CPUtime=12.74 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 19820 12993 0 0 1213 54 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10846988 memory=1028292 CPUtime=12.78 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 16237 12993 0 0 1210 61 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10846988 memory=1028292 CPUtime=10.87 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 19794 12993 0 0 1020 60 4 3 20 0 15 0 473988354 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10846988 memory=280762684741312 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 18 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472408335584 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10846988 memory=1028292 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 7 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257073 33554432000 4194304 4196468 140735917499360 140471804355328 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10846988 memory=1028292 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10846988 memory=1028292 CPUtime=3.47 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) S 10886 10889 5532 0 -1 1077944384 12696 12993 0 0 337 3 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472488159984 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10846988 memory=1028292 CPUtime=3.52 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 14402 12993 0 0 342 3 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10846988 memory=18141941861341 CPUtime=2.02 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) S 10886 10889 5532 0 -1 1077944384 14139 12993 0 0 191 4 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472486054384 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10846988 memory=1028292 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10846988 memory=280762348707400 CPUtime=1.38 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 966 12993 0 0 55 76 4 3 20 0 15 0 473988358 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 2428.32 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1028292 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.44 1.37 3/228 11329
/proc/meminfo: memFree=3991300/32770624 swapFree=67001748/67108860
[pid=10889] ppid=10886 vsize=10846988 memory=1028292 CPUtime=2489.35 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 200741 12993 0 0 248553 375 4 3 20 0 15 0 473988343 11107315712 257073 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2711747 257073 3627 1 0 2673805 0
[pid=10889/tid=10942] ppid=10886 vsize=10846988 memory=1028292 CPUtime=2415.82 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 66365 12993 0 0 241520 55 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472934366960 140472575885096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10846988 memory=1028292 CPUtime=13.14 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 14641 12993 0 0 1246 61 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10846988 memory=1028292 CPUtime=13.1 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 18777 12993 0 0 1244 59 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10846988 memory=1028292 CPUtime=13.1 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 19844 12993 0 0 1248 55 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10846988 memory=1028292 CPUtime=13.14 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 16652 12993 0 0 1245 62 4 3 20 0 15 0 473988352 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10846988 memory=1028292 CPUtime=11.16 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 20003 12993 0 0 1048 61 4 3 20 0 15 0 473988354 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10846988 memory=1028292 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 18 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472408335584 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 7 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257073 33554432000 4194304 4196468 140735917499360 140471804355328 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10846988 memory=1028292 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10846988 memory=1028292 CPUtime=3.47 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) S 10886 10889 5532 0 -1 1077944384 12698 12993 0 0 337 3 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472488159984 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10846988 memory=1028292 CPUtime=3.52 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 14404 12993 0 0 342 3 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10846988 memory=1028292 CPUtime=2.02 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) S 10886 10889 5532 0 -1 1077944384 14141 12993 0 0 191 4 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472486054384 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 11 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10846988 memory=1028292 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257073 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10846988 memory=1028292 CPUtime=1.41 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 982 12993 0 0 56 78 4 3 20 0 15 0 473988358 11107315712 257073 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 2489.35 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1028292 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.5 s]
/proc/loadavg: 1.49 1.43 1.37 3/228 11332
/proc/meminfo: memFree=4089252/32770624 swapFree=67001748/67108860
[pid=10889] ppid=10886 vsize=10846988 memory=1030340 CPUtime=2520.06 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 201105 12993 0 0 251619 380 4 3 20 0 15 0 473988343 11107315712 257585 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2711747 257585 3627 1 0 2673805 0
[pid=10889/tid=10942] ppid=10886 vsize=10846988 memory=1030340 CPUtime=2445.69 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 66622 12993 0 0 244506 56 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472934366960 140472577119644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.31 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 14651 12993 0 0 1263 61 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.28 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 18782 12993 0 0 1261 60 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.27 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 19876 12993 0 0 1264 56 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.3 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 16662 12993 0 0 1260 63 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10846988 memory=1030340 CPUtime=11.3 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 20039 12993 0 0 1061 62 4 3 20 0 15 0 473988354 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10846988 memory=1030340 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 18 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472408335584 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10846988 memory=1030340 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 7 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257585 33554432000 4194304 4196468 140735917499360 140471804355328 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10846988 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10846988 memory=1030340 CPUtime=3.47 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) S 10886 10889 5532 0 -1 1077944384 12698 12993 0 0 337 3 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472488159984 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10846988 memory=1030340 CPUtime=3.52 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 14404 12993 0 0 342 3 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10846988 memory=1030340 CPUtime=2.02 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) S 10886 10889 5532 0 -1 1077944384 14141 12993 0 0 191 4 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472486054384 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10846988 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10846988 memory=1030340 CPUtime=1.44 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 996 12993 0 0 57 80 4 3 20 0 15 0 473988358 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1030340 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.53 s]
# the end of solver process 10889 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.25 s, system=3.84802 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.5 s]
/proc/loadavg: 1.49 1.43 1.37 3/228 11332
/proc/meminfo: memFree=4089252/32770624 swapFree=67001748/67108860
[pid=10889] ppid=10886 vsize=10846988 memory=1030340 CPUtime=2520.06 cores=1,3,5,7
/proc/10889/stat : 10889 (java) S 10886 10889 5532 0 -1 1077944320 201105 12993 0 0 251619 380 4 3 20 0 15 0 473988343 11107315712 257585 33554432000 4194304 4196468 140735917499360 140735917481904 140472962531063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
/proc/10889/statm: 2711747 257585 3627 1 0 2673805 0
[pid=10889/tid=10942] ppid=10886 vsize=10846988 memory=1030340 CPUtime=2445.69 cores=1,3,5,7
/proc/10889/task/10942/stat : 10942 (java) R 10886 10889 5532 0 -1 4202560 66622 12993 0 0 244506 56 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472934366960 140472577119644 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10943] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.31 cores=1,3,5,7
/proc/10889/task/10943/stat : 10943 (java) S 10886 10889 5532 0 -1 1077944384 14651 12993 0 0 1263 61 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472966773776 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10944] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.28 cores=1,3,5,7
/proc/10889/task/10944/stat : 10944 (java) S 10886 10889 5532 0 -1 1077944384 18782 12993 0 0 1261 60 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472881593488 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10945] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.27 cores=1,3,5,7
/proc/10889/task/10945/stat : 10945 (java) S 10886 10889 5532 0 -1 1077944384 19876 12993 0 0 1264 56 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472880540432 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10946] ppid=10886 vsize=10846988 memory=1030340 CPUtime=13.3 cores=1,3,5,7
/proc/10889/task/10946/stat : 10946 (java) S 10886 10889 5532 0 -1 1077944384 16662 12993 0 0 1260 63 4 3 20 0 15 0 473988352 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472879487888 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10947] ppid=10886 vsize=10846988 memory=1030340 CPUtime=11.3 cores=1,3,5,7
/proc/10889/task/10947/stat : 10947 (java) S 10886 10889 5532 0 -1 1077944384 20039 12993 0 0 1061 62 4 3 20 0 15 0 473988354 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472489212144 140472962542210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10948] ppid=10886 vsize=10846988 memory=1030340 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10948/stat : 10948 (java) S 10886 10889 5532 0 -1 1077944384 18 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472408335584 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10949] ppid=10886 vsize=10846988 memory=1030340 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10949/stat : 10949 (java) S 10886 10889 5532 0 -1 1077944384 7 12993 0 0 0 0 4 3 20 0 15 0 473988354 11107315712 257585 33554432000 4194304 4196468 140735917499360 140471804355328 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10950] ppid=10886 vsize=10846988 memory=164 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10950/stat : 10950 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140471496955856 140472962549659 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10951] ppid=10886 vsize=10846988 memory=1030340 CPUtime=3.47 cores=1,3,5,7
/proc/10889/task/10951/stat : 10951 (java) S 10886 10889 5532 0 -1 1077944384 12698 12993 0 0 337 3 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472488159984 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10952] ppid=10886 vsize=10846988 memory=1030340 CPUtime=3.52 cores=1,3,5,7
/proc/10889/task/10952/stat : 10952 (java) S 10886 10889 5532 0 -1 1077944384 14404 12993 0 0 342 3 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472487107440 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10953] ppid=10886 vsize=10846988 memory=1030340 CPUtime=2.02 cores=1,3,5,7
/proc/10889/task/10953/stat : 10953 (java) S 10886 10889 5532 0 -1 1077944384 14141 12993 0 0 191 4 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472486054384 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10954] ppid=10886 vsize=10846988 memory=3616 CPUtime=0.07 cores=1,3,5,7
/proc/10889/task/10954/stat : 10954 (java) S 10886 10889 5532 0 -1 1077944384 3 12993 0 0 0 0 4 3 20 0 15 0 473988357 11107315712 257585 33554432000 4194304 4196468 140735917499360 140471463398240 140472962541269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
[pid=10889/tid=10955] ppid=10886 vsize=10846988 memory=1030340 CPUtime=1.44 cores=1,3,5,7
/proc/10889/task/10955/stat : 10955 (java) S 10886 10889 5532 0 -1 1077944384 996 12993 0 0 57 80 4 3 20 0 15 0 473988358 11107315712 257585 33554432000 4194304 4196468 140735917499360 140472485001776 140472962542210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9060352 140735917501027 140735917503669 140735917503669 140735917506511 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1030340 KiB
Child status: 143
Real time (s): 2472.53
CPU time (s): 2520.1
CPU user time (s): 2516.25
CPU system time (s): 3.84802
CPU usage (%): 101.924
Max. virtual memory (cumulated for all children) (KiB): 10849724
Max. memory (cumulated for all children) (KiB): 1180492
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.25
system time used= 3.84802
maximum resident set size= 1182540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214890
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 294921
involuntary context switches= 6550
# summary of solver processes directly reported to runsolver:
# pid: 10889
# total CPU time (s): 2520.1
# total CPU user time (s): 2516.25
# total CPU system time (s): 3.84802
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2757 second user time and 24.0148 second system time
The end