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 (14182 MiB free)
memory of node 1: 16384 MiB (13470 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283133-1503210276/watcher-4283133-1503210276 -o /tmp/evaluation-result-4283133-1503210276/solver-4283133-1503210276 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node102-1503209175-21930 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1875584451 HOME/instance-4283133-1503210276.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=22143, runsolver pid=22140
[startup+0.100059 s]*
/proc/loadavg: 1.69 1.47 1.24 6/218 22159
/proc/meminfo: memFree=28288708/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
[pid=22145] ppid=22143 vsize=13978596 memory=28624 CPUtime=0.12 cores=0,2,4,6
/proc/22145/stat : 22145 (java) S 22143 22143 21899 0 -1 1077944320 5454 0 0 0 11 1 0 0 20 0 15 0 154115787 14314082304 7156 33554432000 4194304 4196468 140735709043632 140735709026176 139742813957879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
/proc/22145/statm: 3494649 7156 2902 1 0 3482966 0
[pid=22145/tid=22146] ppid=22143 vsize=13978596 memory=-6962121287837372198 CPUtime=0.08 cores=0,2,4,6
/proc/22145/task/22146/stat : 22146 (java) R 22143 22143 21899 0 -1 4202560 3466 0 0 0 8 0 0 0 20 0 15 0 154115787 14314082304 7156 33554432000 4194304 4196468 140735709043632 139742818183600 139742813969814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14314082304 7156 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13978596 memory=140521086277248 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14314082304 7156 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14314082304 7156 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14314082304 7156 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13978596 memory=140521086277248 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115789 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741927299312 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115790 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115790 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115792 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741924141008 139742813976475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) S 22143 22143 21899 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 154115792 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741923089136 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115792 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741922036592 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13978596 memory=140521086277248 CPUtime=0.01 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) R 22143 22143 21899 0 -1 4202560 274 0 0 0 1 0 0 0 20 0 15 0 154115792 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741920983536 139742792635512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115793 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22159] ppid=22143 vsize=13978596 memory=140521086277248 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22159/stat : 22159 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115793 14314082304 7156 33554432000 4194304 4196468 140735709043632 139741918878256 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 30008 KiB
[startup+0.210672 s]*
/proc/loadavg: 1.69 1.47 1.24 6/218 22159
/proc/meminfo: memFree=28269976/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
[pid=22145] ppid=22143 vsize=13982852 memory=40492 CPUtime=0.34 cores=0,2,4,6
/proc/22145/stat : 22145 (java) S 22143 22143 21899 0 -1 1077944320 8253 0 0 0 31 3 0 0 20 0 15 0 154115787 14318440448 10123 33554432000 4194304 4196468 140735709043632 140735709026176 139742813957879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
/proc/22145/statm: 3495713 10123 3041 1 0 3482966 0
[pid=22145/tid=22146] ppid=22143 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/22145/task/22146/stat : 22146 (java) R 22143 22143 21899 0 -1 4202560 5408 0 0 0 18 2 0 0 20 0 15 0 154115787 14318440448 10123 33554432000 4194304 4196468 140735709043632 139742818168784 139742806674983 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13982852 memory=8961 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14318440448 10123 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13982852 memory=4051186871314831008 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14318440448 10123 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14318440448 10123 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14318440448 10123 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13982852 memory=140521086277248 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115789 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741927299312 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115790 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115790 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115792 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741924141008 139742813976475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) S 22143 22143 21899 0 -1 1077944384 702 0 0 0 3 0 0 0 20 0 15 0 154115792 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741923089136 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) S 22143 22143 21899 0 -1 1077944384 120 0 0 0 1 0 0 0 20 0 15 0 154115792 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741922036592 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13982852 memory=140521086277248 CPUtime=0.07 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) R 22143 22143 21899 0 -1 4202560 727 0 0 0 7 0 0 0 20 0 15 0 154115792 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741920983536 139742813979226 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115793 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22159] ppid=22143 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22159/stat : 22159 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115793 14318440448 10123 33554432000 4194304 4196468 140735709043632 139741918878256 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41876 KiB
[startup+0.313971 s]*
/proc/loadavg: 1.80 1.50 1.24 5/218 22159
/proc/meminfo: memFree=28258128/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
[pid=22145] ppid=22143 vsize=13982928 memory=48240 CPUtime=0.52 cores=0,2,4,6
/proc/22145/stat : 22145 (java) S 22143 22143 21899 0 -1 1077944320 9213 0 0 0 48 4 0 0 20 0 15 0 154115787 14318518272 12060 33554432000 4194304 4196468 140735709043632 140735709026176 139742813957879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
/proc/22145/statm: 3495732 12060 3139 1 0 3482966 0
[pid=22145/tid=22146] ppid=22143 vsize=13982928 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/22145/task/22146/stat : 22146 (java) R 22143 22143 21899 0 -1 4202560 6107 0 0 0 27 2 0 0 20 0 15 0 154115787 14318518272 12060 33554432000 4194304 4196468 140735709043632 139742818190208 139742813969814 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13982928 memory=9323 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14318518272 12060 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13982928 memory=3761406400170033184 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14318518272 12060 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14318518272 12060 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14318518272 12060 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115789 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741927299312 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115790 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115790 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115792 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741924141008 139742813976475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13982928 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) S 22143 22143 21899 0 -1 1077944384 747 0 0 0 5 0 0 0 20 0 15 0 154115792 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741923089136 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13982928 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) S 22143 22143 21899 0 -1 1077944384 174 0 0 0 2 0 0 0 20 0 15 0 154115792 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741922036592 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) R 22143 22143 21899 0 -1 4202560 882 0 0 0 12 0 0 0 20 0 15 0 154115792 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741920983536 139742813979226 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115793 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22159] ppid=22143 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22159/stat : 22159 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115793 14318518272 12060 33554432000 4194304 4196468 140735709043632 139741918878256 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49624 KiB
[startup+0.701632 s]
/proc/loadavg: 1.80 1.50 1.24 8/218 22159
/proc/meminfo: memFree=28220652/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
[pid=22145] ppid=22143 vsize=13984976 memory=68704 CPUtime=1.58 cores=0,2,4,6
/proc/22145/stat : 22145 (java) S 22143 22143 21899 0 -1 1077944320 12482 0 0 0 153 5 0 0 20 0 15 0 154115787 14320615424 17176 33554432000 4194304 4196468 140735709043632 140735709026176 139742813957879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
/proc/22145/statm: 3496244 17176 3204 1 0 3483478 0
[pid=22145/tid=22146] ppid=22143 vsize=13984976 memory=24584 CPUtime=0.67 cores=0,2,4,6
/proc/22145/task/22146/stat : 22146 (java) R 22143 22143 21899 0 -1 4202560 6885 0 0 0 64 3 0 0 20 0 15 0 154115787 14320615424 17176 33554432000 4194304 4196468 140735709043632 139742818192512 139742418533815 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13984976 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 17176 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13984976 memory=648 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 17176 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13984976 memory=1796 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 17176 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 17176 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13984976 memory=2468 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 154115789 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741927299312 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13984976 memory=928 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13984976 memory=1576 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13984976 memory=2236 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115792 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741924141008 139742813976475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13984976 memory=4316 CPUtime=0.29 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) R 22143 22143 21899 0 -1 4202560 1468 0 0 0 29 0 0 0 20 0 15 0 154115792 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741923070552 139742797950544 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13984976 memory=2196 CPUtime=0.28 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) R 22143 22143 21899 0 -1 4202560 1117 0 0 0 28 0 0 0 20 0 15 0 154115792 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741922027424 139742795502840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13984976 memory=7784 CPUtime=0.32 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) S 22143 22143 21899 0 -1 1077944384 1713 0 0 0 32 0 0 0 20 0 15 0 154115792 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741920983536 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13984976 memory=832 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22159] ppid=22143 vsize=13984976 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22159/stat : 22159 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 17176 33554432000 4194304 4196468 140735709043632 139741918878256 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 1.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 70088 KiB
[startup+1.50082 s]
/proc/loadavg: 1.80 1.50 1.24 8/218 22159
/proc/meminfo: memFree=28173344/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/22145/task/22146/stat : 22146 (java) R 22143 22143 21899 0 -1 4202560 7991 0 0 0 143 4 0 0 20 0 15 0 154115787 14320615424 33830 33554432000 4194304 4196468 140735709043632 139742818193888 139742793668320 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13984976 memory=7662142935394053222 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33830 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13984976 memory=7885351504946030442 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33830 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13984976 memory=7740394001054721641 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33830 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13984976 memory=7235427995831002965 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33830 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13984976 memory=7235427995831002965 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 154115789 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741927299312 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13984976 memory=7521406563662455129 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13984976 memory=7523388961685006444 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13984976 memory=8173587348809671510 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115792 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741924141008 139742813976475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13984976 memory=6003413014618853456 CPUtime=1.09 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) R 22143 22143 21899 0 -1 4202560 15213 0 0 0 108 1 0 0 20 0 15 0 154115792 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741923076128 139742806199321 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13984976 memory=1156 CPUtime=1.08 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) R 22143 22143 21899 0 -1 4202560 11616 0 0 0 107 1 0 0 20 0 15 0 154115792 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741922026192 139742797368840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13984976 memory=2209 CPUtime=0.42 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) S 22143 22143 21899 0 -1 1077944384 3869 0 0 0 41 1 0 0 20 0 15 0 154115792 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741920983536 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13984976 memory=12880606923214 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22159] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22159/stat : 22159 (java) S 22143 22143 21899 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 33830 33554432000 4194304 4196468 140735709043632 139741918878256 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 4.07 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 136704 KiB
[startup+2.41668 s]
# the end of solver process 22143 was just reported to runsolver
# cumulated CPU time of all completed processes: user=6.66168 s, system=0.097109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60104 s]
/proc/loadavg: 1.80 1.50 1.24 8/218 22159
/proc/meminfo: memFree=28173344/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
[pid=22145] ppid=22143 vsize=13984976 memory=135860 CPUtime=4.38 cores=0,2,4,6
/proc/22145/stat : 22145 (java) S 22143 22143 21899 0 -1 1077944320 40626 0 0 0 430 8 0 0 20 0 15 0 154115787 14320615424 33965 33554432000 4194304 4196468 140735709043632 140735709026176 139742813957879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
/proc/22145/statm: 3496244 33965 3225 1 0 3483478 0
[pid=22145/tid=22146] ppid=22143 vsize=13984976 memory=281041857004868 CPUtime=1.57 cores=0,2,4,6
/proc/22145/task/22146/stat : 22146 (java) R 22143 22143 21899 0 -1 4202560 7991 0 0 0 153 4 0 0 20 0 15 0 154115787 14320615424 33965 33554432000 4194304 4196468 140735709043632 139742818193888 139742418470933 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13984976 memory=281041857005000 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33965 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13984976 memory=6226340178301313644 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33965 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13984976 memory=7305792226131929685 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33965 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13984976 memory=7739811328609576000 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 33965 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13984976 memory=7451046602726981734 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 154115789 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741927299312 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13984976 memory=7092434211065980524 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13984976 memory=-9001728533042062950 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13984976 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115792 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741924141008 139742813976475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13984976 memory=6944656592452807320 CPUtime=1.18 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) R 22143 22143 21899 0 -1 4202560 15634 0 0 0 117 1 0 0 20 0 15 0 154115792 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741923076128 139742806247328 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13984976 memory=180 CPUtime=1.18 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) R 22143 22143 21899 0 -1 4202560 11692 0 0 0 117 1 0 0 20 0 15 0 154115792 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741922023712 139742797458326 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13984976 memory=288230583166042426 CPUtime=0.43 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) S 22143 22143 21899 0 -1 1077944384 3977 0 0 0 42 1 0 0 20 0 15 0 154115792 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741920983536 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13984976 memory=14694093276063033 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22159] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22159/stat : 22159 (java) S 22143 22143 21899 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 33965 33554432000 4194304 4196468 140735709043632 139741918878256 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 4.38 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 137244 KiB
[startup+2.00077 s]*
/proc/loadavg: 1.80 1.50 1.24 7/218 22159
/proc/meminfo: memFree=28092748/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
[pid=22145] ppid=22143 vsize=13984976 memory=139428 CPUtime=5.62 cores=0,2,4,6
/proc/22145/stat : 22145 (java) S 22143 22143 21899 0 -1 1077944320 41171 0 0 0 554 8 0 0 20 0 15 0 154115787 14320615424 34857 33554432000 4194304 4196468 140735709043632 140735709026176 139742813957879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
/proc/22145/statm: 3496244 34857 3226 1 0 3483478 0
[pid=22145/tid=22146] ppid=22143 vsize=13984976 memory=281041856102640 CPUtime=1.98 cores=0,2,4,6
/proc/22145/task/22146/stat : 22146 (java) R 22143 22143 21899 0 -1 4202560 7997 0 0 0 194 4 0 0 20 0 15 0 154115787 14320615424 34857 33554432000 4194304 4196468 140735709043632 139742818189136 139742418849280 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13984976 memory=8238220828386944104 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 34857 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13984976 memory=140521086277248 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 34857 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 34857 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 154115788 14320615424 34857 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13984976 memory=140521086277248 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 154115789 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741927299312 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13984976 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 154115790 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115792 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741924141008 139742813976475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13984976 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) R 22143 22143 21899 0 -1 4202560 16072 0 0 0 158 1 0 0 20 0 15 0 154115792 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741923081624 139742795501222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13984976 memory=-1 CPUtime=1.59 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) R 22143 22143 21899 0 -1 4202560 11788 0 0 0 158 1 0 0 20 0 15 0 154115792 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741922022096 139742797458081 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13984976 memory=15880 CPUtime=0.43 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) S 22143 22143 21899 0 -1 1077944384 3982 0 0 0 42 1 0 0 20 0 15 0 154115792 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741920983536 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13984976 memory=16236 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22159] ppid=22143 vsize=13984976 memory=4044 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22159/stat : 22159 (java) S 22143 22143 21899 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 154115793 14320615424 34857 33554432000 4194304 4196468 140735709043632 139741918878256 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 5.62 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 140812 KiB
[startup+2.40084 s]
/proc/loadavg: 1.80 1.50 1.24 7/218 22159
/proc/meminfo: memFree=28092748/32770624 swapFree=67108860/67108860
[pid=22143] ppid=22140 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/22143/stat : 22143 (xcsp3-exec) S 22140 22143 21899 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 154115787 9740288 346 33554432000 4194304 5098028 140733605657280 140733605655384 140623982223996 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 8900608 140733605659764 140733605659968 140733605659968 140733605662699 0
/proc/22143/statm: 2378 346 289 221 0 87 0
[pid=22145] ppid=22143 vsize=13984976 memory=142388 CPUtime=6.73 cores=0,2,4,6
/proc/22145/stat : 22145 (java) S 22143 22143 21899 0 -1 1077944320 42008 0 0 0 665 8 0 0 20 0 14 0 154115787 14320615424 35597 33554432000 4194304 4196468 140735709043632 140735709026176 139742813957879 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
/proc/22145/statm: 3496244 35597 3229 1 0 3483478 0
[pid=22145/tid=22146] ppid=22143 vsize=13984976 memory=-6371011775517773341 CPUtime=2.34 cores=0,2,4,6
/proc/22145/task/22146/stat : 22146 (java) S 22143 22143 21899 0 -1 1077944384 8352 0 0 0 230 4 0 0 20 0 14 0 154115787 14320615424 35597 33554432000 4194304 4196468 140735709043632 139742818200720 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22147] ppid=22143 vsize=13984976 memory=-6876588461455810464 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22147/stat : 22147 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 154115788 14320615424 35597 33554432000 4194304 4196468 140735709043632 139742744046608 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22148] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22148/stat : 22148 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 154115788 14320615424 35597 33554432000 4194304 4196468 140735709043632 139742742994064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22149] ppid=22143 vsize=13984976 memory=313 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22149/stat : 22149 (java) S 22143 22143 21899 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 154115788 14320615424 35597 33554432000 4194304 4196468 140735709043632 139742741941008 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22150] ppid=22143 vsize=13984976 memory=117 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22150/stat : 22150 (java) S 22143 22143 21899 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 154115788 14320615424 35597 33554432000 4194304 4196468 140735709043632 139742740888464 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22151] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22151/stat : 22151 (java) S 22143 22143 21899 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 14 0 154115789 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741927299520 139742813969026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22152] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22152/stat : 22152 (java) S 22143 22143 21899 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 154115790 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741926245536 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22153] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22153/stat : 22153 (java) S 22143 22143 21899 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 154115790 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741925192432 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22154] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22154/stat : 22154 (java) S 22143 22143 21899 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 14 0 154115792 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741924140064 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22155] ppid=22143 vsize=13984976 memory=0 CPUtime=1.98 cores=0,2,4,6
/proc/22145/task/22155/stat : 22155 (java) R 22143 22143 21899 0 -1 4202560 16333 0 0 0 197 1 0 0 20 0 14 0 154115792 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741923074896 139742795501968 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22156] ppid=22143 vsize=13984976 memory=0 CPUtime=1.94 cores=0,2,4,6
/proc/22145/task/22156/stat : 22156 (java) S 22143 22143 21899 0 -1 1077944384 11896 0 0 0 193 1 0 0 20 0 14 0 154115792 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741922016992 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22157] ppid=22143 vsize=13984976 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/22145/task/22157/stat : 22157 (java) S 22143 22143 21899 0 -1 1077944384 4066 0 0 0 43 1 0 0 20 0 14 0 154115792 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741920983536 139742813969026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
[pid=22145/tid=22158] ppid=22143 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/22145/task/22158/stat : 22158 (java) S 22143 22143 21899 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 154115793 14320615424 35597 33554432000 4194304 4196468 140735709043632 139741919931232 139742813968085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35164160 140735709050013 140735709050188 140735709050188 140735709052879 0
Current children cumulated CPU time: 6.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 143772 KiB
Child status: 0
Real time (s): 2.41672
CPU time (s): 6.75879
CPU user time (s): 6.66168
CPU system time (s): 0.097109
CPU usage (%): 279.668
Max. virtual memory (cumulated for all children) (KiB): 13997368
Max. memory (cumulated for all children) (KiB): 143772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.66168
system time used= 0.097109
maximum resident set size= 142808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42579
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1989
involuntary context switches= 22
# summary of solver processes directly reported to runsolver:
# pid: 22143
# total CPU time (s): 6.75879
# total CPU user time (s): 6.66168
# total CPU system time (s): 0.097109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038637 second user time and 0.07027 second system time
The end