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 (2191 MiB free)
memory of node 1: 16384 MiB (6089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402907-1568980941/watcher-4402907-1568980941 -o /tmp/evaluation-result-4402907-1568980941/solver-4402907-1568980941 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568967599-4736 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=48196352 HOME/instance-4402907-1568980941.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
solver pid=8986, runsolver pid=8983
Current StackSize limit: 8192 KiB
[startup+0.100093 s]*
/proc/loadavg: 1.55 1.38 1.39 3/220 9043
/proc/meminfo: memFree=8471624/32770624 swapFree=66998984/67108860
[pid=8986] ppid=8983 vsize=9972712 memory=17336 CPUtime=0.09 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 4560 13129 0 0 1 1 5 2 20 0 6 0 474358959 10212057088 4334 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2493178 4334 1958 1 0 2481616 0
[pid=8986/tid=9039] ppid=8983 vsize=9988792 memory=8514726395714820750 CPUtime=0.08 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 2399 13129 0 0 1 0 5 2 20 0 6 0 474358968 10228523008 4334 33554432000 4194304 4196468 140728701441264 140707049767504 140707063443453 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=9988792 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 6 0 474358969 10228523008 4334 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=9988792 memory=140388764612224 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 6 0 474358969 10228523008 4334 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=9988792 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 6 0 474358969 10228523008 4334 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=9988792 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 6 0 474358969 10228523008 4334 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17336 KiB
[startup+0.210357 s]*
/proc/loadavg: 1.55 1.38 1.39 5/229 9052
/proc/meminfo: memFree=8454716/32770624 swapFree=66998984/67108860
[pid=8986] ppid=8983 vsize=10820196 memory=40288 CPUtime=0.26 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 7554 13129 0 0 18 1 5 2 20 0 15 0 474358959 11079880704 10072 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2705049 10072 3286 1 0 2667149 0
[pid=8986/tid=9039] ppid=8983 vsize=10820196 memory=5450916389569530688 CPUtime=0.19 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 4035 13129 0 0 11 1 5 2 20 0 15 0 474358968 11079880704 10072 33554432000 4194304 4196468 140728701441264 140707049741776 140707059324477 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10820196 memory=-9181546050914066336 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 10072 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10820196 memory=140388764612224 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10820196 memory=140388764612224 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 474358971 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 33 13129 0 0 0 0 5 2 20 0 15 0 474358971 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706401153824 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358971 11079880704 10072 33554432000 4194304 4196468 140728701441264 140705947182192 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11079880704 10072 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 480 13129 0 0 1 0 5 2 20 0 15 0 474358974 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 182 13129 0 0 1 0 5 2 20 0 15 0 474358974 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10820196 memory=140388764612224 CPUtime=0.1 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 605 13129 0 0 3 0 5 2 20 0 15 0 474358974 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11079880704 10072 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10820196 memory=140388764612224 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358974 11079880704 10072 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40288 KiB
[startup+0.310735 s]*
/proc/loadavg: 1.55 1.38 1.39 3/229 9052
/proc/meminfo: memFree=8442156/32770624 swapFree=66998984/67108860
[pid=8986] ppid=8983 vsize=10820196 memory=48720 CPUtime=0.39 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 10897 13129 0 0 29 3 5 2 20 0 15 0 474358959 11079880704 12180 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2705049 12180 3306 1 0 2667149 0
[pid=8986/tid=9039] ppid=8983 vsize=10820196 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 7366 13129 0 0 19 2 5 2 20 0 15 0 474358968 11079880704 12180 33554432000 4194304 4196468 140728701441264 140707049739664 140707061123484 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10820196 memory=7590937475685441893 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 12180 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10820196 memory=5788339726952981056 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10820196 memory=7019607476680675272 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10820196 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 474358969 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 474358971 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 33 13129 0 0 0 0 5 2 20 0 15 0 474358971 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706401153824 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358971 11079880704 12180 33554432000 4194304 4196468 140728701441264 140705947182192 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11079880704 12180 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 481 13129 0 0 2 0 5 2 20 0 15 0 474358974 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 182 13129 0 0 1 0 5 2 20 0 15 0 474358974 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 614 13129 0 0 5 0 5 2 20 0 15 0 474358974 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11079880704 12180 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358974 11079880704 12180 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48720 KiB
[startup+0.701794 s]
/proc/loadavg: 1.55 1.38 1.39 5/229 9052
/proc/meminfo: memFree=8427124/32770624 swapFree=66998984/67108860
[pid=8986] ppid=8983 vsize=10824364 memory=82012 CPUtime=1.16 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 15217 13129 0 0 102 7 5 2 20 0 15 0 474358959 11084148736 20503 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2706091 20503 3513 1 0 2668173 0
[pid=8986/tid=9039] ppid=8983 vsize=10824364 memory=2241 CPUtime=0.66 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 10519 13129 0 0 54 5 5 2 20 0 15 0 474358968 11084148736 20503 33554432000 4194304 4196468 140728701441264 140707049757744 140707077952669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10824364 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11084148736 20503 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11084148736 20503 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358969 11084148736 20503 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 2 13129 0 0 0 0 5 2 20 0 15 0 474358969 11084148736 20503 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10825388 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 5 13129 0 0 0 0 5 2 20 0 15 0 474358971 11085197312 20503 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 33 13129 0 0 0 0 5 2 20 0 15 0 474358971 11085197312 20503 33554432000 4194304 4196468 140728701441264 140706401153824 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10825388 memory=6943526294502006880 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358971 11085197312 20503 33554432000 4194304 4196468 140728701441264 140705947182192 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10825388 memory=6944656592455097440 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11085197312 20568 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10825388 memory=140388656514960 CPUtime=0.21 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 960 13129 0 0 14 0 5 2 20 0 15 0 474358974 11085197312 20568 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10824364 memory=24964 CPUtime=0.21 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 674 13129 0 0 14 0 5 2 20 0 15 0 474358974 11084148736 20545 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10824364 memory=2244 CPUtime=0.24 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 805 13129 0 0 17 0 5 2 20 0 15 0 474358974 11084148736 20545 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10824364 memory=140388656512368 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11084148736 20545 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10825388 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358974 11085197312 20545 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 1.16 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 82012 KiB
[startup+1.50923 s]
/proc/loadavg: 1.55 1.38 1.39 5/229 9052
/proc/meminfo: memFree=8360100/32770624 swapFree=66998984/67108860
[pid=8986] ppid=8983 vsize=10832632 memory=234748 CPUtime=3.22 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 23760 13129 0 0 303 12 5 2 20 0 15 0 474358959 11092615168 58687 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2708158 58687 3590 1 0 2670221 0
[pid=8986/tid=9039] ppid=8983 vsize=10832632 memory=29 CPUtime=1.43 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 14439 13129 0 0 128 8 5 2 20 0 15 0 474358968 11092615168 58687 33554432000 4194304 4196468 140728701441264 140707049738192 140707077952669 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10832632 memory=31 CPUtime=0.09 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 204 13129 0 0 2 0 5 2 20 0 15 0 474358969 11092615168 58687 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 71 13129 0 0 2 0 5 2 20 0 15 0 474358969 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10832632 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 25 13129 0 0 2 0 5 2 20 0 15 0 474358969 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10832632 memory=99920 CPUtime=0.08 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 41 13129 0 0 1 0 5 2 20 0 15 0 474358969 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 409 13129 0 0 1 0 5 2 20 0 15 0 474358971 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10832632 memory=7014751519616620389 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 34 13129 0 0 0 0 5 2 20 0 15 0 474358971 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706401153888 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10832632 memory=7588958380491367513 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358971 11092615168 58687 33554432000 4194304 4196468 140728701441264 140705947182208 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10832632 memory=7235429086902052461 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11092615168 58687 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10832632 memory=5571041044932548709 CPUtime=0.64 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 2514 13129 0 0 57 0 5 2 20 0 15 0 474358974 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10832632 memory=7084283612806014056 CPUtime=0.69 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 2196 13129 0 0 62 0 5 2 20 0 15 0 474358974 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10832632 memory=7014751519616620389 CPUtime=0.49 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 1611 13129 0 0 42 0 5 2 20 0 15 0 474358974 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10832632 memory=7014751519616620389 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11092615168 58687 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10832632 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1 13129 0 0 0 0 5 2 20 0 15 0 474358974 11092615168 58687 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 10832632 KiB
################
# More data... #
################
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 552685 13129 0 0 236647 124 5 2 20 0 15 0 474358968 11107315712 790171 33554432000 4194304 4196468 140728701441264 140707049767280 140706647723603 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10846988 memory=3160572 CPUtime=9.98 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 14273 13129 0 0 944 47 5 2 20 0 15 0 474358969 11107315712 790171 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10846988 memory=3160684 CPUtime=9.96 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 19823 13129 0 0 942 47 5 2 20 0 15 0 474358969 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10846988 memory=3160684 CPUtime=9.98 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 20452 13129 0 0 942 49 5 2 20 0 15 0 474358969 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10846988 memory=3160684 CPUtime=9.96 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 21690 13129 0 0 938 51 5 2 20 0 15 0 474358969 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10846988 memory=3160572 CPUtime=3.39 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 28344 13129 0 0 280 52 5 2 20 0 15 0 474358971 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10846988 memory=3160684 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 59 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706401153888 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10846988 memory=3160684 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 20 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790171 33554432000 4194304 4196468 140728701441264 140705947182208 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10846988 memory=3160684 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790171 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10846988 memory=3160684 CPUtime=8.06 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 27965 13129 1 0 795 4 5 2 20 0 15 0 474358974 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10846988 memory=3580 CPUtime=8.56 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 24705 13129 0 0 846 3 5 2 20 0 15 0 474358974 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10846988 memory=52720 CPUtime=2.75 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 16449 13129 0 0 262 6 5 2 20 0 15 0 474358974 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10846988 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790171 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10846988 memory=111632 CPUtime=1.5 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1245 13129 0 0 60 83 5 2 20 0 15 0 474358974 11107315712 790171 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 2431.39 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3160684 KiB
[startup+2442.3 s]
/proc/loadavg: 1.41 1.45 1.42 3/229 9535
/proc/meminfo: memFree=5640748/32770624 swapFree=66998996/67108860
[pid=8986] ppid=8983 vsize=10846988 memory=3160884 CPUtime=2491.56 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 762702 13129 1 0 248708 441 5 2 20 0 15 0 474358959 11107315712 790221 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2711747 790221 3642 1 0 2673805 0
[pid=8986/tid=9039] ppid=8983 vsize=10846988 memory=3160844 CPUtime=2427.71 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 584730 13129 0 0 242638 126 5 2 20 0 15 0 474358968 11107315712 790221 33554432000 4194304 4196468 140728701441264 140707049767280 140706647554405 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10846988 memory=3160884 CPUtime=10.02 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 14324 13129 0 0 948 47 5 2 20 0 15 0 474358969 11107315712 790221 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10846988 memory=3160884 CPUtime=10 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 19885 13129 0 0 946 47 5 2 20 0 15 0 474358969 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10846988 memory=3160844 CPUtime=10.02 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 20548 13129 0 0 946 49 5 2 20 0 15 0 474358969 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10846988 memory=3160744 CPUtime=10.01 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 21984 13129 0 0 943 51 5 2 20 0 15 0 474358969 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10846988 memory=3160684 CPUtime=3.41 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 28540 13129 0 0 281 53 5 2 20 0 15 0 474358971 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10846988 memory=3160684 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 59 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706401153888 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10846988 memory=3160684 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 20 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790221 33554432000 4194304 4196468 140728701441264 140705947182208 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10846988 memory=3160684 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790221 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10846988 memory=3160684 CPUtime=8.06 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 27967 13129 1 0 795 4 5 2 20 0 15 0 474358974 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10846988 memory=3160684 CPUtime=8.56 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 24707 13129 0 0 846 3 5 2 20 0 15 0 474358974 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10846988 memory=3160844 CPUtime=2.75 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 16451 13129 0 0 262 6 5 2 20 0 15 0 474358974 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10846988 memory=3160844 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790221 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10846988 memory=3160844 CPUtime=1.54 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1273 13129 0 0 61 86 5 2 20 0 15 0 474358974 11107315712 790221 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 2491.56 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3160884 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.7 s]
/proc/loadavg: 1.45 1.46 1.42 3/228 9538
/proc/meminfo: memFree=5641036/32770624 swapFree=66998996/67108860
[pid=8986] ppid=8983 vsize=10846988 memory=3160572 CPUtime=2520.04 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 779408 13129 1 0 251554 443 5 2 20 0 15 0 474358959 11107315712 790143 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2711747 790143 3642 1 0 2673805 0
[pid=8986/tid=9039] ppid=8983 vsize=10846988 memory=3160572 CPUtime=2456.08 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 601348 13129 0 0 245474 127 5 2 20 0 15 0 474358968 11107315712 790143 33554432000 4194304 4196468 140728701441264 140707049766944 140706650139532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10846988 memory=268 CPUtime=10.05 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 14342 13129 0 0 950 48 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10846988 memory=3160684 CPUtime=10.02 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 19908 13129 0 0 948 47 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10846988 memory=3160744 CPUtime=10.04 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 20569 13129 0 0 948 49 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10846988 memory=3160684 CPUtime=10.03 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 22004 13129 0 0 945 51 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10846988 memory=3160572 CPUtime=3.42 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 28544 13129 0 0 282 53 5 2 20 0 15 0 474358971 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 59 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706401153888 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 20 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790143 33554432000 4194304 4196468 140728701441264 140705947182208 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10846988 memory=3160572 CPUtime=8.06 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 27967 13129 1 0 795 4 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10846988 memory=3160572 CPUtime=8.56 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 24707 13129 0 0 846 3 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10846988 memory=3160572 CPUtime=2.75 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 16451 13129 0 0 262 6 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10846988 memory=3160572 CPUtime=1.55 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1275 13129 0 0 61 87 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3160572 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.75 s]
# the end of solver process 8986 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.63 s, system=4.48504 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.7 s]
/proc/loadavg: 1.45 1.46 1.42 3/228 9538
/proc/meminfo: memFree=5641036/32770624 swapFree=66998996/67108860
[pid=8986] ppid=8983 vsize=10846988 memory=3160572 CPUtime=2520.04 cores=1,3,5,7
/proc/8986/stat : 8986 (java) S 8983 8986 4702 0 -1 1077944320 779408 13129 1 0 251554 443 5 2 20 0 15 0 474358959 11107315712 790143 33554432000 4194304 4196468 140728701441264 140728701423808 140707077930743 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
/proc/8986/statm: 2711747 790143 3642 1 0 2673805 0
[pid=8986/tid=9039] ppid=8983 vsize=10846988 memory=3160572 CPUtime=2456.08 cores=1,3,5,7
/proc/8986/task/9039/stat : 9039 (java) R 8983 8986 4702 0 -1 4202560 601348 13129 0 0 245474 127 5 2 20 0 15 0 474358968 11107315712 790143 33554432000 4194304 4196468 140728701441264 140707049766944 140706650139532 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9040] ppid=8983 vsize=10846988 memory=268 CPUtime=10.05 cores=1,3,5,7
/proc/8986/task/9040/stat : 9040 (java) S 8983 8986 4702 0 -1 1077944384 14342 13129 0 0 950 48 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140707082173328 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9041] ppid=8983 vsize=10846988 memory=3160684 CPUtime=10.02 cores=1,3,5,7
/proc/8986/task/9041/stat : 9041 (java) S 8983 8986 4702 0 -1 1077944384 19908 13129 0 0 948 47 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706970446608 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9042] ppid=8983 vsize=10846988 memory=3160744 CPUtime=10.04 cores=1,3,5,7
/proc/8986/task/9042/stat : 9042 (java) S 8983 8986 4702 0 -1 1077944384 20569 13129 0 0 948 49 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706969394320 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9043] ppid=8983 vsize=10846988 memory=3160684 CPUtime=10.03 cores=1,3,5,7
/proc/8986/task/9043/stat : 9043 (java) S 8983 8986 4702 0 -1 1077944384 22004 13129 0 0 945 51 5 2 20 0 15 0 474358969 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706968341520 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9044] ppid=8983 vsize=10846988 memory=3160572 CPUtime=3.42 cores=1,3,5,7
/proc/8986/task/9044/stat : 9044 (java) S 8983 8986 4702 0 -1 1077944384 28544 13129 0 0 282 53 5 2 20 0 15 0 474358971 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706402207856 140707077941890 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9045] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9045/stat : 9045 (java) S 8983 8986 4702 0 -1 1077944384 59 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706401153888 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9046] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9046/stat : 9046 (java) S 8983 8986 4702 0 -1 1077944384 20 13129 0 0 0 0 5 2 20 0 15 0 474358971 11107315712 790143 33554432000 4194304 4196468 140728701441264 140705947182208 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9047] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9047/stat : 9047 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140705639782480 140707077949339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9048] ppid=8983 vsize=10846988 memory=3160572 CPUtime=8.06 cores=1,3,5,7
/proc/8986/task/9048/stat : 9048 (java) S 8983 8986 4702 0 -1 1077944384 27967 13129 1 0 795 4 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706367597168 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9049] ppid=8983 vsize=10846988 memory=3160572 CPUtime=8.56 cores=1,3,5,7
/proc/8986/task/9049/stat : 9049 (java) S 8983 8986 4702 0 -1 1077944384 24707 13129 0 0 846 3 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706366544368 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9050] ppid=8983 vsize=10846988 memory=3160572 CPUtime=2.75 cores=1,3,5,7
/proc/8986/task/9050/stat : 9050 (java) S 8983 8986 4702 0 -1 1077944384 16451 13129 0 0 262 6 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706365492080 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9051] ppid=8983 vsize=10846988 memory=3160572 CPUtime=0.07 cores=1,3,5,7
/proc/8986/task/9051/stat : 9051 (java) S 8983 8986 4702 0 -1 1077944384 3 13129 0 0 0 0 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140705606224864 140707077940949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
[pid=8986/tid=9052] ppid=8983 vsize=10846988 memory=3160572 CPUtime=1.55 cores=1,3,5,7
/proc/8986/task/9052/stat : 9052 (java) S 8983 8986 4702 0 -1 1077944384 1275 13129 0 0 61 87 5 2 20 0 15 0 474358974 11107315712 790143 33554432000 4194304 4196468 140728701441264 140706364438960 140707077941890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33619968 140728701442801 140728701445317 140728701445317 140728701448143 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 3160572 KiB
Child status: 143
Real time (s): 2470.75
CPU time (s): 2520.11
CPU user time (s): 2515.63
CPU system time (s): 4.48504
CPU usage (%): 101.998
Max. virtual memory (cumulated for all children) (KiB): 10849772
Max. memory (cumulated for all children) (KiB): 3161568
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.63
system time used= 4.48504
maximum resident set size= 3164896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 793975
page faults= 1
swaps= 0
block input operations= 256
block output operations= 3168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124439
involuntary context switches= 3316
# summary of solver processes directly reported to runsolver:
# pid: 8986
# total CPU time (s): 2520.11
# total CPU user time (s): 2515.63
# total CPU system time (s): 4.48504
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9423 second user time and 23.4301 second system time
The end