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 (14425 MiB free)
memory of node 1: 16384 MiB (14227 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4401503-1568678509/watcher-4401503-1568678509 -o /tmp/evaluation-result-4401503-1568678509/solver-4401503-1568678509 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568669653-20873 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1342979146 HOME/instance-4401503-1568678509.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=22406, runsolver pid=22403
[startup+0.100077 s]*
/proc/loadavg: 1.46 1.37 1.39 3/218 22463
/proc/meminfo: memFree=29332672/32770624 swapFree=66999932/67108860
[pid=22406] ppid=22403 vsize=10055356 memory=19392 CPUtime=0.08 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 4581 13061 0 0 1 0 5 2 20 0 7 0 444105366 10296684544 4848 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2513839 4848 1975 1 0 2502277 0
[pid=22406/tid=22459] ppid=22403 vsize=10055356 memory=720575944405811505 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 2418 13061 0 0 1 0 5 2 20 0 7 0 444105375 10296684544 4914 33554432000 4194304 4196468 140726570192112 140062028958480 140062037338048 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 7 0 444105376 10296684544 4914 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10055356 memory=3690620720910358176 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 7 0 444105376 10296684544 4914 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 7 0 444105376 10296684544 4914 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 7 0 444105376 10296684544 4914 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10055356 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 7 0 444105377 10296684544 4914 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 10055356 KiB
Current children cumulated memory: 19392 KiB
[startup+0.210123 s]*
/proc/loadavg: 1.46 1.37 1.39 3/227 22472
/proc/meminfo: memFree=29313608/32770624 swapFree=66999932/67108860
[pid=22406] ppid=22403 vsize=10820196 memory=42144 CPUtime=0.26 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 7323 13061 0 0 18 1 5 2 20 0 15 0 444105366 11079880704 10536 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2705049 10536 3306 1 0 2667149 0
[pid=22406/tid=22459] ppid=22403 vsize=10820196 memory=729618466009055537 CPUtime=0.18 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 3817 13061 0 0 11 0 5 2 20 0 15 0 444105375 11079880704 10536 33554432000 4194304 4196468 140726570192112 140062028929568 140061651857744 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 10536 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10820196 memory=3690620720910358176 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 15 0 444105377 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 13 13061 0 0 0 0 5 2 20 0 15 0 444105377 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061500761376 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105378 11079880704 10536 33554432000 4194304 4196468 140726570192112 140060896781936 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11079880704 10536 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) S 22403 22406 20842 0 -1 1077944384 365 13061 0 0 1 0 5 2 20 0 15 0 444105380 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061582628976 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) S 22403 22406 20842 0 -1 1077944384 296 13061 0 0 1 0 5 2 20 0 15 0 444105380 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061581576176 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10820196 memory=140521608238720 CPUtime=0.1 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) S 22403 22406 20842 0 -1 1077944384 611 13061 0 0 3 0 5 2 20 0 15 0 444105380 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061580523888 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11079880704 10536 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10820196 memory=140521608238720 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105381 11079880704 10536 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 42144 KiB
[startup+0.310374 s]*
/proc/loadavg: 1.46 1.37 1.39 3/227 22472
/proc/meminfo: memFree=29302856/32770624 swapFree=66999932/67108860
[pid=22406] ppid=22403 vsize=10820196 memory=50484 CPUtime=0.39 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 10821 13061 0 0 30 2 5 2 20 0 15 0 444105366 11079880704 12621 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2705049 12621 3319 1 0 2667149 0
[pid=22406/tid=22459] ppid=22403 vsize=10820196 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 7298 13061 0 0 20 2 5 2 20 0 15 0 444105375 11079880704 12621 33554432000 4194304 4196468 140726570192112 140062028924336 140062041195870 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 12621 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 15 0 444105376 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 15 0 444105377 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10820196 memory=140521608238719 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 13 13061 0 0 0 0 5 2 20 0 15 0 444105377 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061500761376 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105378 11079880704 12621 33554432000 4194304 4196468 140726570192112 140060896781936 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10820196 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11079880704 12621 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) S 22403 22406 20842 0 -1 1077944384 365 13061 0 0 2 0 5 2 20 0 15 0 444105380 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061582628976 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) S 22403 22406 20842 0 -1 1077944384 297 13061 0 0 1 0 5 2 20 0 15 0 444105380 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061581576176 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10820196 memory=140521608238720 CPUtime=0.12 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) S 22403 22406 20842 0 -1 1077944384 629 13061 0 0 5 0 5 2 20 0 15 0 444105380 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061580523888 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10820196 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11079880704 12621 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10820196 memory=140521608238720 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105381 11079880704 12621 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 50484 KiB
[startup+0.704308 s]
/proc/loadavg: 1.46 1.37 1.39 3/227 22472
/proc/meminfo: memFree=29288008/32770624 swapFree=66999932/67108860
[pid=22406] ppid=22403 vsize=10824364 memory=83368 CPUtime=1.12 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 15102 13061 0 0 100 5 5 2 20 0 15 0 444105366 11084148736 20842 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2706091 20842 3510 1 0 2668173 0
[pid=22406/tid=22459] ppid=22403 vsize=10824364 memory=1128 CPUtime=0.66 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 10523 13061 0 0 56 3 5 2 20 0 15 0 444105375 11084148736 20842 33554432000 4194304 4196468 140726570192112 140062028942544 140062036840416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10824364 memory=6297835844906604903 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11084148736 20842 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10824364 memory=7013348624567659121 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10824364 memory=5787213827113576551 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105376 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10824364 memory=7306616945417153385 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 15 0 444105376 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10824364 memory=140521608237553 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 5 13061 0 0 0 0 5 2 20 0 15 0 444105377 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 13 13061 0 0 0 0 5 2 20 0 15 0 444105377 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061500761376 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 1 13061 0 0 0 0 5 2 20 0 15 0 444105378 11084148736 20842 33554432000 4194304 4196468 140726570192112 140060896781936 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11084148736 20842 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) R 22403 22406 20842 0 -1 4202560 787 13061 0 0 13 0 5 2 20 0 15 0 444105380 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061582615520 140062038643193 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10824364 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) R 22403 22406 20842 0 -1 4202560 711 13061 0 0 12 0 5 2 20 0 15 0 444105380 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061581576176 140062038659934 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) R 22403 22406 20842 0 -1 4202560 844 13061 0 0 17 0 5 2 20 0 15 0 444105380 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061580523888 140062050212219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10824364 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11084148736 20842 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10824364 memory=3624 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 15 0 444105381 11084148736 20842 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 83368 KiB
[startup+1.53233 s]
/proc/loadavg: 1.46 1.37 1.39 3/227 22472
/proc/meminfo: memFree=29288008/32770624 swapFree=66999932/67108860
[pid=22406] ppid=22403 vsize=10834680 memory=186148 CPUtime=2.82 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 24482 13061 0 0 264 11 5 2 20 0 15 0 444105366 11094712320 46537 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2708670 46537 3587 1 0 2670733 0
[pid=22406/tid=22459] ppid=22403 vsize=10834680 memory=140521464952528 CPUtime=1.46 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 15746 13061 0 0 134 5 5 2 20 0 15 0 444105375 11094712320 46537 33554432000 4194304 4196468 140726570192112 140062028925408 140062042486724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10834680 memory=140521464957232 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 293 13061 0 0 1 0 5 2 20 0 15 0 444105376 11094712320 46537 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10834680 memory=140521464941360 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 46 13061 0 0 1 0 5 2 20 0 15 0 444105376 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 60 13061 0 0 0 0 5 2 20 0 15 0 444105376 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10834680 memory=140521608242369 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 95 13061 0 0 1 0 5 2 20 0 15 0 444105376 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10834680 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 1365 13061 0 0 1 0 5 2 20 0 15 0 444105377 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 13 13061 0 0 0 0 5 2 20 0 15 0 444105377 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061500761440 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105378 11094712320 46537 33554432000 4194304 4196468 140726570192112 140060896781952 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10834680 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11094712320 46537 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10834680 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) S 22403 22406 20842 0 -1 1077944384 1330 13061 0 0 36 0 5 2 20 0 15 0 444105380 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061582628976 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10834680 memory=14252 CPUtime=0.48 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) S 22403 22406 20842 0 -1 1077944384 1565 13061 0 0 41 0 5 2 20 0 15 0 444105380 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061581576176 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10834680 memory=12024 CPUtime=0.52 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) S 22403 22406 20842 0 -1 1077944384 1752 13061 0 0 44 1 5 2 20 0 15 0 444105380 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061580523888 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10834680 memory=1556 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11094712320 46537 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10834680 memory=500 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 2 13061 0 0 0 0 5 2 20 0 15 0 444105381 11094712320 46537 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
################
# More data... #
################
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 65917 13061 0 0 223774 39 5 2 20 0 15 0 444105375 11107315712 283319 33554432000 4194304 4196468 140726570192112 140062028951728 140061667658944 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10846988 memory=628 CPUtime=12.53 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 16566 13061 0 0 1203 43 5 2 20 0 15 0 444105376 11107315712 283319 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10846988 memory=9492 CPUtime=12.55 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 13305 13061 0 0 1203 45 5 2 20 0 15 0 444105376 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10846988 memory=1548 CPUtime=12.52 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 14182 13061 0 0 1198 47 5 2 20 0 15 0 444105376 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10846988 memory=628 CPUtime=12.54 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 19790 13061 0 0 1201 46 5 2 20 0 15 0 444105376 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10846988 memory=1056 CPUtime=9.05 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 15722 13061 0 0 859 39 5 2 20 0 15 0 444105377 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10846988 memory=1724 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 15 13061 0 0 0 0 5 2 20 0 15 0 444105377 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061500761440 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 5 13061 0 0 0 0 5 2 20 0 15 0 444105378 11107315712 283319 33554432000 4194304 4196468 140726570192112 140060896781952 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10846988 memory=772 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11107315712 283319 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10846988 memory=4168 CPUtime=4.67 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) S 22403 22406 20842 0 -1 1077944384 20976 13061 0 0 457 3 5 2 20 0 15 0 444105380 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061582628976 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10846988 memory=948 CPUtime=4.99 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) S 22403 22406 20842 0 -1 1077944384 26608 13061 0 0 489 3 5 2 20 0 15 0 444105380 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061581576176 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10846988 memory=2832 CPUtime=2.15 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) S 22403 22406 20842 0 -1 1077944384 21213 13061 0 0 203 5 5 2 20 0 15 0 444105380 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061580523888 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10846988 memory=3624 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11107315712 283319 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10846988 memory=35352 CPUtime=1.2 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 1289 13061 0 0 58 55 5 2 20 0 15 0 444105381 11107315712 283319 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 2309.88 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1133276 KiB
[startup+2322.3 s]
/proc/loadavg: 1.29 1.30 1.33 3/226 22835
/proc/meminfo: memFree=28217016/32770624 swapFree=66999944/67108860
[pid=22406] ppid=22403 vsize=10846988 memory=1139420 CPUtime=2370.98 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 220935 13061 0 0 236796 295 5 2 20 0 15 0 444105366 11107315712 284855 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2711747 284855 3633 1 0 2673805 0
[pid=22406/tid=22459] ppid=22403 vsize=10846988 memory=628 CPUtime=2297.49 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 66841 13061 0 0 229702 40 5 2 20 0 15 0 444105375 11107315712 284855 33554432000 4194304 4196468 140726570192112 140062028950224 140061670729262 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10846988 memory=3624 CPUtime=12.92 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 16882 13061 0 0 1241 44 5 2 20 0 15 0 444105376 11107315712 284855 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10846988 memory=35352 CPUtime=12.94 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 13670 13061 0 0 1240 47 5 2 20 0 15 0 444105376 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10846988 memory=984 CPUtime=12.91 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 14775 13061 0 0 1235 49 5 2 20 0 15 0 444105376 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10846988 memory=3624 CPUtime=12.93 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 20290 13061 0 0 1239 47 5 2 20 0 15 0 444105376 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10846988 memory=35352 CPUtime=9.28 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 16126 13061 0 0 881 40 5 2 20 0 15 0 444105377 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10846988 memory=984 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 15 13061 0 0 0 0 5 2 20 0 15 0 444105377 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061500761440 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10846988 memory=6791534058613427641 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 5 13061 0 0 0 0 5 2 20 0 15 0 444105378 11107315712 284855 33554432000 4194304 4196468 140726570192112 140060896781952 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10846988 memory=1980 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11107315712 284855 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10846988 memory=2552 CPUtime=4.67 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) S 22403 22406 20842 0 -1 1077944384 20980 13061 0 0 457 3 5 2 20 0 15 0 444105380 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061582628976 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10846988 memory=1760 CPUtime=4.99 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) S 22403 22406 20842 0 -1 1077944384 26612 13061 0 0 489 3 5 2 20 0 15 0 444105380 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061581576176 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10846988 memory=111632 CPUtime=2.15 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) S 22403 22406 20842 0 -1 1077944384 21217 13061 0 0 203 5 5 2 20 0 15 0 444105380 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061580523888 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10846988 memory=2024 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11107315712 284855 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10846988 memory=1380 CPUtime=1.25 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 1310 13061 0 0 60 58 5 2 20 0 15 0 444105381 11107315712 284855 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 2370.98 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1139420 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2350.81 s]
/proc/loadavg: 1.45 1.33 1.34 3/226 22836
/proc/meminfo: memFree=28214532/32770624 swapFree=66999944/67108860
[pid=22406] ppid=22403 vsize=10846988 memory=1141468 CPUtime=2400.02 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 221742 13061 0 0 239697 298 5 2 20 0 15 0 444105366 11107315712 285367 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2711747 285367 3633 1 0 2673805 0
[pid=22406/tid=22459] ppid=22403 vsize=10846988 memory=1141468 CPUtime=2325.68 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 67144 13061 0 0 232521 40 5 2 20 0 15 0 444105375 11107315712 285367 33554432000 4194304 4196468 140726570192112 140062028950112 140061652932736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10846988 memory=1141468 CPUtime=13.1 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 17006 13061 0 0 1258 45 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10846988 memory=1139420 CPUtime=13.12 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 13891 13061 0 0 1258 47 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10846988 memory=1137372 CPUtime=13.1 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 14818 13061 0 0 1253 50 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10846988 memory=1137372 CPUtime=13.11 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 20391 13061 0 0 1257 47 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10846988 memory=1133276 CPUtime=9.38 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 16139 13061 0 0 891 40 5 2 20 0 15 0 444105377 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10846988 memory=1141468 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 15 13061 0 0 0 0 5 2 20 0 15 0 444105377 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061500761440 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10846988 memory=1141468 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 5 13061 0 0 0 0 5 2 20 0 15 0 444105378 11107315712 285367 33554432000 4194304 4196468 140726570192112 140060896781952 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10846988 memory=8317482817917895235 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10846988 memory=1141468 CPUtime=4.67 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) S 22403 22406 20842 0 -1 1077944384 20980 13061 0 0 457 3 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061582628976 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10846988 memory=1141468 CPUtime=4.99 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) S 22403 22406 20842 0 -1 1077944384 26612 13061 0 0 489 3 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061581576176 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10846988 memory=3624 CPUtime=2.15 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) S 22403 22406 20842 0 -1 1077944384 21217 13061 0 0 203 5 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061580523888 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10846988 memory=984 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11107315712 285367 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10846988 memory=2024 CPUtime=1.25 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 1312 13061 0 0 60 58 5 2 20 0 15 0 444105381 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1141468 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2350.84 s]
# the end of solver process 22406 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.05 s, system=3.02991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2350.81 s]
/proc/loadavg: 1.45 1.33 1.34 3/226 22836
/proc/meminfo: memFree=28214532/32770624 swapFree=66999944/67108860
[pid=22406] ppid=22403 vsize=10846988 memory=1141468 CPUtime=2400.02 cores=0,2,4,6
/proc/22406/stat : 22406 (java) S 22403 22406 20842 0 -1 1077944320 221742 13061 0 0 239697 298 5 2 20 0 15 0 444105366 11107315712 285367 33554432000 4194304 4196468 140726570192112 140726570174656 140062057115383 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
/proc/22406/statm: 2711747 285367 3633 1 0 2673805 0
[pid=22406/tid=22459] ppid=22403 vsize=10846988 memory=1141468 CPUtime=2325.68 cores=0,2,4,6
/proc/22406/task/22459/stat : 22459 (java) R 22403 22406 20842 0 -1 4202560 67144 13061 0 0 232521 40 5 2 20 0 15 0 444105375 11107315712 285367 33554432000 4194304 4196468 140726570192112 140062028950112 140061652932736 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22460] ppid=22403 vsize=10846988 memory=1141468 CPUtime=13.1 cores=0,2,4,6
/proc/22406/task/22460/stat : 22460 (java) S 22403 22406 20842 0 -1 1077944384 17006 13061 0 0 1258 45 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140062061357456 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22461] ppid=22403 vsize=10846988 memory=1139420 CPUtime=13.12 cores=0,2,4,6
/proc/22406/task/22461/stat : 22461 (java) S 22403 22406 20842 0 -1 1077944384 13891 13061 0 0 1258 47 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061976176912 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22462] ppid=22403 vsize=10846988 memory=1137372 CPUtime=13.1 cores=0,2,4,6
/proc/22406/task/22462/stat : 22462 (java) S 22403 22406 20842 0 -1 1077944384 14818 13061 0 0 1253 50 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061975124624 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22463] ppid=22403 vsize=10846988 memory=1137372 CPUtime=13.11 cores=0,2,4,6
/proc/22406/task/22463/stat : 22463 (java) S 22403 22406 20842 0 -1 1077944384 20391 13061 0 0 1257 47 5 2 20 0 15 0 444105376 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061974071824 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22464] ppid=22403 vsize=10846988 memory=1133276 CPUtime=9.38 cores=0,2,4,6
/proc/22406/task/22464/stat : 22464 (java) S 22403 22406 20842 0 -1 1077944384 16139 13061 0 0 891 40 5 2 20 0 15 0 444105377 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061583682160 140062057126530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22465] ppid=22403 vsize=10846988 memory=1141468 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22465/stat : 22465 (java) S 22403 22406 20842 0 -1 1077944384 15 13061 0 0 0 0 5 2 20 0 15 0 444105377 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061500761440 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22466] ppid=22403 vsize=10846988 memory=1141468 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22466/stat : 22466 (java) S 22403 22406 20842 0 -1 1077944384 5 13061 0 0 0 0 5 2 20 0 15 0 444105378 11107315712 285367 33554432000 4194304 4196468 140726570192112 140060896781952 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22467] ppid=22403 vsize=10846988 memory=8317482817917895235 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22467/stat : 22467 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140060589382224 140062057133979 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22468] ppid=22403 vsize=10846988 memory=1141468 CPUtime=4.67 cores=0,2,4,6
/proc/22406/task/22468/stat : 22468 (java) S 22403 22406 20842 0 -1 1077944384 20980 13061 0 0 457 3 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061582628976 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22469] ppid=22403 vsize=10846988 memory=1141468 CPUtime=4.99 cores=0,2,4,6
/proc/22406/task/22469/stat : 22469 (java) S 22403 22406 20842 0 -1 1077944384 26612 13061 0 0 489 3 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061581576176 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22470] ppid=22403 vsize=10846988 memory=3624 CPUtime=2.15 cores=0,2,4,6
/proc/22406/task/22470/stat : 22470 (java) S 22403 22406 20842 0 -1 1077944384 21217 13061 0 0 203 5 5 2 20 0 15 0 444105380 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061580523888 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22471] ppid=22403 vsize=10846988 memory=984 CPUtime=0.07 cores=0,2,4,6
/proc/22406/task/22471/stat : 22471 (java) S 22403 22406 20842 0 -1 1077944384 3 13061 0 0 0 0 5 2 20 0 15 0 444105381 11107315712 285367 33554432000 4194304 4196468 140726570192112 140060555823584 140062057125589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
[pid=22406/tid=22472] ppid=22403 vsize=10846988 memory=2024 CPUtime=1.25 cores=0,2,4,6
/proc/22406/task/22472/stat : 22472 (java) S 22403 22406 20842 0 -1 1077944384 1312 13061 0 0 60 58 5 2 20 0 15 0 444105381 11107315712 285367 33554432000 4194304 4196468 140726570192112 140061579471792 140062057126530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19554304 140726570199791 140726570202309 140726570202309 140726570205135 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 1141468 KiB
Child status: 143
Real time (s): 2350.84
CPU time (s): 2400.08
CPU user time (s): 2397.05
CPU system time (s): 3.02991
CPU usage (%): 102.095
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1141468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.05
system time used= 3.02991
maximum resident set size= 1145680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236069
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 235642
involuntary context switches= 9957
# summary of solver processes directly reported to runsolver:
# pid: 22406
# total CPU time (s): 2400.08
# total CPU user time (s): 2397.05
# total CPU system time (s): 3.02991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.836 second user time and 21.4269 second system time
The end