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 (13713 MiB free)
memory of node 1: 16384 MiB (13491 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400502-1568694662/watcher-4400502-1568694662 -o /tmp/evaluation-result-4400502-1568694662/solver-4400502-1568694662 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568694194-22970 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1390925461 HOME/instance-4400502-1568694662.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
solver pid=28057, runsolver pid=28054
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 8.45 7.00 4.16 7/235 28073
/proc/meminfo: memFree=27842268/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
[pid=28059] ppid=28057 vsize=15144776 memory=28944 CPUtime=0.13 cores=0,2,4,6
/proc/28059/stat : 28059 (java) S 28057 28057 22939 0 -1 1077944320 5686 0 0 0 12 1 0 0 20 0 15 0 445406357 15508250624 7236 33554432000 4194304 4196468 140734923591856 140734923574400 140108399877879 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
/proc/28059/statm: 3786194 7236 3183 1 0 3748377 0
[pid=28059/tid=28060] ppid=28057 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/28059/task/28060/stat : 28060 (java) R 28057 28057 22939 0 -1 4202560 3585 0 0 0 9 0 0 0 20 0 15 0 445406357 15508250624 7236 33554432000 4194304 4196468 140734923591856 140108404103712 140108381732829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28061] ppid=28057 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28061/stat : 28061 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15508250624 7236 33554432000 4194304 4196468 140734923591856 140108352498448 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28062] ppid=28057 vsize=15144776 memory=140598665455232 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28062/stat : 28062 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15508250624 7236 33554432000 4194304 4196468 140734923591856 140108351445904 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28063] ppid=28057 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28063/stat : 28063 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15508250624 7236 33554432000 4194304 4196468 140734923591856 140108350393360 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28064] ppid=28057 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28064/stat : 28064 (java) S 28057 28057 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445406358 15508250624 7236 33554432000 4194304 4196468 140734923591856 140108349340816 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28065] ppid=28057 vsize=15144776 memory=140598665455232 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28065/stat : 28065 (java) S 28057 28057 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445406359 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107867723760 140108399889026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28066] ppid=28057 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28066/stat : 28066 (java) S 28057 28057 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445406360 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107866669984 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28067] ppid=28057 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28067/stat : 28067 (java) S 28057 28057 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445406360 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107865617392 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28068] ppid=28057 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28068/stat : 28068 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445406362 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107864565968 140108399896475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28069] ppid=28057 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28069/stat : 28069 (java) R 28057 28057 22939 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 445406362 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107863513584 140108399889026 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28070] ppid=28057 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28070/stat : 28070 (java) R 28057 28057 22939 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 15 0 445406362 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107862461112 140108380291184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28071] ppid=28057 vsize=15144776 memory=140598665455232 CPUtime=0.02 cores=0,2,4,6
/proc/28059/task/28071/stat : 28071 (java) R 28057 28057 22939 0 -1 4202560 349 0 0 0 2 0 0 0 20 0 15 0 445406362 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107861408496 140108379237805 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28072] ppid=28057 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28072/stat : 28072 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445406362 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107860356192 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28073] ppid=28057 vsize=15144776 memory=140598665455232 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28073/stat : 28073 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406363 15508250624 7236 33554432000 4194304 4196468 140734923591856 140107859302704 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30392 KiB
[startup+0.217106 s]*
/proc/loadavg: 8.45 7.00 4.16 7/235 28073
/proc/meminfo: memFree=27828880/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
[pid=28059] ppid=28057 vsize=15149032 memory=41256 CPUtime=0.35 cores=0,2,4,6
/proc/28059/stat : 28059 (java) S 28057 28057 22939 0 -1 1077944320 9553 0 0 0 33 2 0 0 20 0 15 0 445406357 15512608768 10314 33554432000 4194304 4196468 140734923591856 140734923574400 140108399877879 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
/proc/28059/statm: 3787258 10314 3303 1 0 3748377 0
[pid=28059/tid=28060] ppid=28057 vsize=15149032 memory=7883960649037381690 CPUtime=0.21 cores=0,2,4,6
/proc/28059/task/28060/stat : 28060 (java) R 28057 28057 22939 0 -1 4202560 6691 0 0 0 19 2 0 0 20 0 15 0 445406357 15512608768 10314 33554432000 4194304 4196468 140734923591856 140108404098872 140108392578855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28061] ppid=28057 vsize=15149032 memory=1965946 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28061/stat : 28061 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 10314 33554432000 4194304 4196468 140734923591856 140108352498448 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28062] ppid=28057 vsize=15149032 memory=140598668808051 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28062/stat : 28062 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 10314 33554432000 4194304 4196468 140734923591856 140108351445904 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28063] ppid=28057 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28063/stat : 28063 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 10314 33554432000 4194304 4196468 140734923591856 140108350393360 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28064] ppid=28057 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28064/stat : 28064 (java) S 28057 28057 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 10314 33554432000 4194304 4196468 140734923591856 140108349340816 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28065] ppid=28057 vsize=15149032 memory=140598665455232 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28065/stat : 28065 (java) S 28057 28057 22939 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445406359 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107867723760 140108399889026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28066] ppid=28057 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28066/stat : 28066 (java) S 28057 28057 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445406360 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107866669984 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28067] ppid=28057 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28067/stat : 28067 (java) S 28057 28057 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445406360 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107865617392 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28068] ppid=28057 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28068/stat : 28068 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445406362 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107864565968 140108399896475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28069] ppid=28057 vsize=15149032 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28059/task/28069/stat : 28069 (java) S 28057 28057 22939 0 -1 1077944384 355 0 0 0 2 0 0 0 20 0 15 0 445406362 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107863513584 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28070] ppid=28057 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28059/task/28070/stat : 28070 (java) S 28057 28057 22939 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 15 0 445406362 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107862461040 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28071] ppid=28057 vsize=15149032 memory=140598665455232 CPUtime=0.08 cores=0,2,4,6
/proc/28059/task/28071/stat : 28071 (java) S 28057 28057 22939 0 -1 1077944384 783 0 0 0 8 0 0 0 20 0 15 0 445406362 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107861408496 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28072] ppid=28057 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28072/stat : 28072 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445406362 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107860356192 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28073] ppid=28057 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28073/stat : 28073 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406363 15512608768 10314 33554432000 4194304 4196468 140734923591856 140107859302704 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 42704 KiB
[startup+0.319131 s]*
/proc/loadavg: 8.45 7.00 4.16 8/235 28073
/proc/meminfo: memFree=27821236/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
[pid=28059] ppid=28057 vsize=15149032 memory=50356 CPUtime=0.54 cores=0,2,4,6
/proc/28059/stat : 28059 (java) S 28057 28057 22939 0 -1 1077944320 10933 0 0 0 51 3 0 0 20 0 15 0 445406357 15512608768 12589 33554432000 4194304 4196468 140734923591856 140734923574400 140108399877879 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
/proc/28059/statm: 3787258 12589 3350 1 0 3748377 0
[pid=28059/tid=28060] ppid=28057 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/28059/task/28060/stat : 28060 (java) R 28057 28057 22939 0 -1 4202560 7851 0 0 0 28 2 0 0 20 0 15 0 445406357 15512608768 12589 33554432000 4194304 4196468 140734923591856 140108404105648 140108383958366 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28061] ppid=28057 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28061/stat : 28061 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 12589 33554432000 4194304 4196468 140734923591856 140108352498448 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28062] ppid=28057 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28062/stat : 28062 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 12589 33554432000 4194304 4196468 140734923591856 140108351445904 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28063] ppid=28057 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28063/stat : 28063 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 12589 33554432000 4194304 4196468 140734923591856 140108350393360 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28064] ppid=28057 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28064/stat : 28064 (java) S 28057 28057 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445406358 15512608768 12589 33554432000 4194304 4196468 140734923591856 140108349340816 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28065] ppid=28057 vsize=15149032 memory=6944656591801720471 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28065/stat : 28065 (java) S 28057 28057 22939 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 445406359 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107867723760 140108399889026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28066] ppid=28057 vsize=15149032 memory=-8458152057954561420 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28066/stat : 28066 (java) S 28057 28057 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445406360 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107866669984 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28067] ppid=28057 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28067/stat : 28067 (java) S 28057 28057 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445406360 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107865617392 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28068] ppid=28057 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28068/stat : 28068 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445406362 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107864565968 140108399896475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28069] ppid=28057 vsize=15149032 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/28059/task/28069/stat : 28069 (java) S 28057 28057 22939 0 -1 1077944384 476 0 0 0 5 0 0 0 20 0 15 0 445406362 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107863513584 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28070] ppid=28057 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/28059/task/28070/stat : 28070 (java) S 28057 28057 22939 0 -1 1077944384 426 0 0 0 4 0 0 0 20 0 15 0 445406362 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107862461040 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28071] ppid=28057 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/28059/task/28071/stat : 28071 (java) S 28057 28057 22939 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 445406362 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107861408496 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28072] ppid=28057 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28072/stat : 28072 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445406362 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107860356192 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28073] ppid=28057 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28073/stat : 28073 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445406363 15512608768 12589 33554432000 4194304 4196468 140734923591856 140107859302704 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51804 KiB
[startup+0.705132 s]
/proc/loadavg: 8.45 7.00 4.16 11/239 28077
/proc/meminfo: memFree=27797192/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
[pid=28059] ppid=28057 vsize=15483976 memory=125504 CPUtime=1.72 cores=0,2,4,6
/proc/28059/stat : 28059 (java) S 28057 28057 22939 0 -1 1077944320 14796 0 0 0 166 6 0 0 20 0 18 0 445406357 15855591424 31376 33554432000 4194304 4196468 140734923591856 140734923574400 140108399877879 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
/proc/28059/statm: 3870994 31376 3468 1 0 3832094 0
[pid=28059/tid=28060] ppid=28057 vsize=15483976 memory=33 CPUtime=0.48 cores=0,2,4,6
/proc/28059/task/28060/stat : 28060 (java) S 28057 28057 22939 0 -1 1077944384 9019 0 0 0 45 3 0 0 20 0 18 0 445406357 15855591424 31376 33554432000 4194304 4196468 140734923591856 140108404118656 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28061] ppid=28057 vsize=15483976 memory=-7082918048272507482 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28061/stat : 28061 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 445406358 15855591424 31376 33554432000 4194304 4196468 140734923591856 140108352498448 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28062] ppid=28057 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28062/stat : 28062 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 445406358 15855591424 31376 33554432000 4194304 4196468 140734923591856 140108351445904 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28063] ppid=28057 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28063/stat : 28063 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 445406358 15855591424 31376 33554432000 4194304 4196468 140734923591856 140108350393360 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28064] ppid=28057 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28064/stat : 28064 (java) S 28057 28057 22939 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 18 0 445406358 15855591424 31376 33554432000 4194304 4196468 140734923591856 140108349340816 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28065] ppid=28057 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28065/stat : 28065 (java) S 28057 28057 22939 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 18 0 445406359 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107867723760 140108399889026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28066] ppid=28057 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28066/stat : 28066 (java) S 28057 28057 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 18 0 445406360 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107866669984 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28067] ppid=28057 vsize=15483976 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28067/stat : 28067 (java) S 28057 28057 22939 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 18 0 445406360 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107865617392 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28068] ppid=28057 vsize=15483976 memory=48276 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28068/stat : 28068 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 445406362 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107864565968 140108399896475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28069] ppid=28057 vsize=15483976 memory=988 CPUtime=0.28 cores=0,2,4,6
/proc/28059/task/28069/stat : 28069 (java) R 28057 28057 22939 0 -1 4202560 1078 0 0 0 28 0 0 0 20 0 18 0 445406362 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107863496192 140108384802166 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28070] ppid=28057 vsize=15483976 memory=2008 CPUtime=0.28 cores=0,2,4,6
/proc/28059/task/28070/stat : 28070 (java) R 28057 28057 22939 0 -1 4202560 974 0 0 0 28 0 0 0 20 0 18 0 445406362 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107862452496 140108385907867 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28071] ppid=28057 vsize=15483976 memory=1436 CPUtime=0.31 cores=0,2,4,6
/proc/28059/task/28071/stat : 28071 (java) R 28057 28057 22939 0 -1 1077944384 1757 0 0 0 31 0 0 0 20 0 18 0 445406362 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107861408496 140108399889026 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28072] ppid=28057 vsize=15483976 memory=580 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28072/stat : 28072 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 445406362 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107860356192 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28073] ppid=28057 vsize=15483976 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28073/stat : 28073 (java) S 28057 28057 22939 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 18 0 445406363 15855591424 31376 33554432000 4194304 4196468 140734923591856 140107859302704 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15597104 KiB
Current children cumulated memory: 126952 KiB
[startup+1.50513 s]
/proc/loadavg: 8.45 7.00 4.16 11/239 28192
/proc/meminfo: memFree=27686652/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 279840 KiB
[startup+41.6011 s]
/proc/loadavg: 8.34 7.17 4.34 9/238 28410
/proc/meminfo: memFree=27611200/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
[pid=28059] ppid=28057 vsize=15550540 memory=288112 CPUtime=162.29 cores=0,2,4,6
/proc/28059/stat : 28059 (java) S 28057 28057 22939 0 -1 1077944320 53143 0 0 0 16206 23 0 0 20 0 19 0 445406357 15923752960 72028 33554432000 4194304 4196468 140734923591856 140734923574400 140108399877879 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
/proc/28059/statm: 3887635 72028 3509 1 0 3848735 0
[pid=28059/tid=28060] ppid=28057 vsize=15550540 memory=2124 CPUtime=0.51 cores=0,2,4,6
/proc/28059/task/28060/stat : 28060 (java) S 28057 28057 22939 0 -1 1077944384 9170 0 0 0 47 4 0 0 20 0 19 0 445406357 15923752960 72028 33554432000 4194304 4196468 140734923591856 140108404118656 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28061] ppid=28057 vsize=15550540 memory=500 CPUtime=0.14 cores=0,2,4,6
/proc/28059/task/28061/stat : 28061 (java) S 28057 28057 22939 0 -1 1077944384 1871 0 0 0 12 2 0 0 20 0 19 0 445406358 15923752960 72028 33554432000 4194304 4196468 140734923591856 140108352498448 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28062] ppid=28057 vsize=15550540 memory=51 CPUtime=0.14 cores=0,2,4,6
/proc/28059/task/28062/stat : 28062 (java) S 28057 28057 22939 0 -1 1077944384 1028 0 0 0 12 2 0 0 20 0 19 0 445406358 15923752960 72028 33554432000 4194304 4196468 140734923591856 140108351445904 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28063] ppid=28057 vsize=15550540 memory=12 CPUtime=0.14 cores=0,2,4,6
/proc/28059/task/28063/stat : 28063 (java) S 28057 28057 22939 0 -1 1077944384 1008 0 0 0 12 2 0 0 20 0 19 0 445406358 15923752960 72028 33554432000 4194304 4196468 140734923591856 140108350393360 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28064] ppid=28057 vsize=15550540 memory=12 CPUtime=0.14 cores=0,2,4,6
/proc/28059/task/28064/stat : 28064 (java) S 28057 28057 22939 0 -1 1077944384 1080 0 0 0 12 2 0 0 20 0 19 0 445406358 15923752960 72028 33554432000 4194304 4196468 140734923591856 140108349340816 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28065] ppid=28057 vsize=15550540 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/28059/task/28065/stat : 28065 (java) S 28057 28057 22939 0 -1 1077944384 1494 0 0 0 10 1 0 0 20 0 19 0 445406359 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107867723760 140108399889026 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28066] ppid=28057 vsize=15550540 memory=278392 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28066/stat : 28066 (java) S 28057 28057 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445406360 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107866670048 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28067] ppid=28057 vsize=15550540 memory=122688492276202 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28067/stat : 28067 (java) S 28057 28057 22939 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445406360 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107865617408 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28068] ppid=28057 vsize=15550540 memory=122688492275946 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28068/stat : 28068 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445406362 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107864565968 140108399896475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28069] ppid=28057 vsize=15550540 memory=3254 CPUtime=1.59 cores=0,2,4,6
/proc/28059/task/28069/stat : 28069 (java) S 28057 28057 22939 0 -1 1077944384 9303 0 0 0 158 1 0 0 20 0 19 0 445406362 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107863513584 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28070] ppid=28057 vsize=15550540 memory=3255 CPUtime=1.57 cores=0,2,4,6
/proc/28059/task/28070/stat : 28070 (java) S 28057 28057 22939 0 -1 1077944384 9281 0 0 0 156 1 0 0 20 0 19 0 445406362 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107862461040 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28071] ppid=28057 vsize=15550540 memory=3254 CPUtime=0.46 cores=0,2,4,6
/proc/28059/task/28071/stat : 28071 (java) S 28057 28057 22939 0 -1 1077944384 3623 0 0 0 46 0 0 0 20 0 19 0 445406362 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107861408496 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28072] ppid=28057 vsize=15550540 memory=140598506910072 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28072/stat : 28072 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445406362 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107860356192 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28073] ppid=28057 vsize=15550540 memory=1448 CPUtime=0.01 cores=0,2,4,6
/proc/28059/task/28073/stat : 28073 (java) S 28057 28057 22939 0 -1 1077944384 1138 0 0 0 0 1 0 0 20 0 19 0 445406363 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107859302704 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28406] ppid=28057 vsize=15550540 memory=281384 CPUtime=33.13 cores=0,2,4,6
/proc/28059/task/28406/stat : 28406 (java) R 28057 28057 22939 0 -1 4202560 435 0 0 0 3313 0 0 0 20 0 19 0 445407138 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107846111080 140108027694180 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28407] ppid=28057 vsize=15550540 memory=2580 CPUtime=33.12 cores=0,2,4,6
/proc/28059/task/28407/stat : 28407 (java) R 28057 28057 22939 0 -1 4202560 3121 0 0 0 3312 0 0 0 20 0 19 0 445407138 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107848219648 140108027693863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28408] ppid=28057 vsize=15550540 memory=1760 CPUtime=33.12 cores=0,2,4,6
/proc/28059/task/28408/stat : 28408 (java) R 28057 28057 22939 0 -1 4202560 588 0 0 0 3312 0 0 0 20 0 19 0 445407138 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107845059944 140108028768918 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28409] ppid=28057 vsize=15550540 memory=111636 CPUtime=33.06 cores=0,2,4,6
/proc/28059/task/28409/stat : 28409 (java) R 28057 28057 22939 0 -1 4202560 2167 0 0 0 3306 0 0 0 20 0 19 0 445407138 15923752960 72028 33554432000 4194304 4196468 140734923591856 140107849268512 140108029339202 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 289560 KiB
[startup+43.2011 s]
/proc/loadavg: 8.31 7.18 4.36 9/238 28412
/proc/meminfo: memFree=27603884/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
[pid=28059] ppid=28057 vsize=15550540 memory=286572 CPUtime=168.63 cores=0,2,4,6
/proc/28059/stat : 28059 (java) S 28057 28057 22939 0 -1 1077944320 53705 0 0 0 16840 23 0 0 20 0 19 0 445406357 15923752960 71643 33554432000 4194304 4196468 140734923591856 140734923574400 140108399877879 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
/proc/28059/statm: 3887635 71643 3509 1 0 3848735 0
[pid=28059/tid=28060] ppid=28057 vsize=15550540 memory=1412 CPUtime=0.51 cores=0,2,4,6
/proc/28059/task/28060/stat : 28060 (java) S 28057 28057 22939 0 -1 1077944384 9170 0 0 0 47 4 0 0 20 0 19 0 445406357 15923752960 71643 33554432000 4194304 4196468 140734923591856 140108404118656 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28061] ppid=28057 vsize=15550540 memory=3044 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28061/stat : 28061 (java) S 28057 28057 22939 0 -1 1077944384 1877 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 71643 33554432000 4194304 4196468 140734923591856 140108352498448 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28062] ppid=28057 vsize=15550540 memory=1448 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28062/stat : 28062 (java) S 28057 28057 22939 0 -1 1077944384 1036 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 71643 33554432000 4194304 4196468 140734923591856 140108351445904 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28063] ppid=28057 vsize=15550540 memory=612964 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28063/stat : 28063 (java) S 28057 28057 22939 0 -1 1077944384 1009 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 71643 33554432000 4194304 4196468 140734923591856 140108350393360 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28064] ppid=28057 vsize=15550540 memory=6791534058613427641 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28064/stat : 28064 (java) S 28057 28057 22939 0 -1 1077944384 1082 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 71643 33554432000 4194304 4196468 140734923591856 140108349340816 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28065] ppid=28057 vsize=15550540 memory=280696 CPUtime=0.11 cores=0,2,4,6
/proc/28059/task/28065/stat : 28065 (java) S 28057 28057 22939 0 -1 1077944384 1494 0 0 0 10 1 0 0 20 0 19 0 445406359 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107867723760 140108399889026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28066] ppid=28057 vsize=15550540 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28066/stat : 28066 (java) S 28057 28057 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445406360 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107866670048 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28067] ppid=28057 vsize=15550540 memory=500 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28067/stat : 28067 (java) S 28057 28057 22939 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445406360 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107865617408 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28068] ppid=28057 vsize=15550540 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28068/stat : 28068 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445406362 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107864565968 140108399896475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28069] ppid=28057 vsize=15550540 memory=928 CPUtime=1.59 cores=0,2,4,6
/proc/28059/task/28069/stat : 28069 (java) S 28057 28057 22939 0 -1 1077944384 9303 0 0 0 158 1 0 0 20 0 19 0 445406362 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107863513584 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28070] ppid=28057 vsize=15550540 memory=2124 CPUtime=1.57 cores=0,2,4,6
/proc/28059/task/28070/stat : 28070 (java) S 28057 28057 22939 0 -1 1077944384 9281 0 0 0 156 1 0 0 20 0 19 0 445406362 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107862461040 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28071] ppid=28057 vsize=15550540 memory=500 CPUtime=0.46 cores=0,2,4,6
/proc/28059/task/28071/stat : 28071 (java) S 28057 28057 22939 0 -1 1077944384 3623 0 0 0 46 0 0 0 20 0 19 0 445406362 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107861408496 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28072] ppid=28057 vsize=15550540 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28072/stat : 28072 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445406362 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107860356192 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28073] ppid=28057 vsize=15550540 memory=281384 CPUtime=0.01 cores=0,2,4,6
/proc/28059/task/28073/stat : 28073 (java) S 28057 28057 22939 0 -1 1077944384 1138 0 0 0 0 1 0 0 20 0 19 0 445406363 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107859302704 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28406] ppid=28057 vsize=15550540 memory=1448 CPUtime=34.71 cores=0,2,4,6
/proc/28059/task/28406/stat : 28406 (java) R 28057 28057 22939 0 -1 4202560 441 0 0 0 3471 0 0 0 20 0 19 0 445407138 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107846110576 140108027693214 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28407] ppid=28057 vsize=15550540 memory=280696 CPUtime=34.7 cores=0,2,4,6
/proc/28059/task/28407/stat : 28407 (java) R 28057 28057 22939 0 -1 4202560 3125 0 0 0 3470 0 0 0 20 0 19 0 445407138 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107848217160 140734925047724 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28408] ppid=28057 vsize=15550540 memory=48276 CPUtime=34.7 cores=0,2,4,6
/proc/28059/task/28408/stat : 28408 (java) R 28057 28057 22939 0 -1 4202560 594 0 0 0 3470 0 0 0 20 0 19 0 445407138 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107845059784 140108027693863 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28409] ppid=28057 vsize=15550540 memory=988 CPUtime=34.63 cores=0,2,4,6
/proc/28059/task/28409/stat : 28409 (java) R 28057 28057 22939 0 -1 4202560 2696 0 0 0 3463 0 0 0 20 0 19 0 445407138 15923752960 71643 33554432000 4194304 4196468 140734923591856 140107849271520 140108029341063 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
Current children cumulated CPU time: 168.63 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 288020 KiB
[startup+43.6011 s]
/proc/loadavg: 8.31 7.18 4.36 9/238 28412
/proc/meminfo: memFree=27603884/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
[pid=28059] ppid=28057 vsize=15550540 memory=288108 CPUtime=170.22 cores=0,2,4,6
/proc/28059/stat : 28059 (java) S 28057 28057 22939 0 -1 1077944320 53741 0 0 0 16999 23 0 0 20 0 19 0 445406357 15923752960 72027 33554432000 4194304 4196468 140734923591856 140734923574400 140108399877879 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
/proc/28059/statm: 3887635 72027 3509 1 0 3848735 0
[pid=28059/tid=28060] ppid=28057 vsize=15550540 memory=984 CPUtime=0.51 cores=0,2,4,6
/proc/28059/task/28060/stat : 28060 (java) S 28057 28057 22939 0 -1 1077944384 9170 0 0 0 47 4 0 0 20 0 19 0 445406357 15923752960 72027 33554432000 4194304 4196468 140734923591856 140108404118656 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28061] ppid=28057 vsize=15550540 memory=14004 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28061/stat : 28061 (java) S 28057 28057 22939 0 -1 1077944384 1879 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 72027 33554432000 4194304 4196468 140734923591856 140108352498448 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28062] ppid=28057 vsize=15550540 memory=25816 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28062/stat : 28062 (java) S 28057 28057 22939 0 -1 1077944384 1038 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 72027 33554432000 4194304 4196468 140734923591856 140108351445904 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28063] ppid=28057 vsize=15550540 memory=14048 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28063/stat : 28063 (java) S 28057 28057 22939 0 -1 1077944384 1012 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 72027 33554432000 4194304 4196468 140734923591856 140108350393360 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28064] ppid=28057 vsize=15550540 memory=2124 CPUtime=0.15 cores=0,2,4,6
/proc/28059/task/28064/stat : 28064 (java) S 28057 28057 22939 0 -1 1077944384 1084 0 0 0 13 2 0 0 20 0 19 0 445406358 15923752960 72027 33554432000 4194304 4196468 140734923591856 140108349340816 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28065] ppid=28057 vsize=15550540 memory=500 CPUtime=0.12 cores=0,2,4,6
/proc/28059/task/28065/stat : 28065 (java) S 28057 28057 22939 0 -1 1077944384 1494 0 0 0 11 1 0 0 20 0 19 0 445406359 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107867723760 140108399889026 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28066] ppid=28057 vsize=15550540 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28066/stat : 28066 (java) S 28057 28057 22939 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445406360 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107866670048 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28067] ppid=28057 vsize=15550540 memory=928 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28067/stat : 28067 (java) S 28057 28057 22939 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445406360 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107865617408 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28068] ppid=28057 vsize=15550540 memory=1772 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28068/stat : 28068 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445406362 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107864565968 140108399896475 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28069] ppid=28057 vsize=15550540 memory=832 CPUtime=1.59 cores=0,2,4,6
/proc/28059/task/28069/stat : 28069 (java) S 28057 28057 22939 0 -1 1077944384 9303 0 0 0 158 1 0 0 20 0 19 0 445406362 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107863513584 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28070] ppid=28057 vsize=15550540 memory=1436 CPUtime=1.57 cores=0,2,4,6
/proc/28059/task/28070/stat : 28070 (java) S 28057 28057 22939 0 -1 1077944384 9281 0 0 0 156 1 0 0 20 0 19 0 445406362 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107862461040 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28071] ppid=28057 vsize=15550540 memory=1984 CPUtime=0.46 cores=0,2,4,6
/proc/28059/task/28071/stat : 28071 (java) S 28057 28057 22939 0 -1 1077944384 3623 0 0 0 46 0 0 0 20 0 19 0 445406362 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107861408496 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28072] ppid=28057 vsize=15550540 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/28059/task/28072/stat : 28072 (java) S 28057 28057 22939 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445406362 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107860356192 140108399888085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28073] ppid=28057 vsize=15550540 memory=6791534058613427641 CPUtime=0.01 cores=0,2,4,6
/proc/28059/task/28073/stat : 28073 (java) S 28057 28057 22939 0 -1 1077944384 1138 0 0 0 0 1 0 0 20 0 19 0 445406363 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107859302704 140108399889026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 40 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28406] ppid=28057 vsize=15550540 memory=7593461923997313130 CPUtime=35.1 cores=0,2,4,6
/proc/28059/task/28406/stat : 28406 (java) R 28057 28057 22939 0 -1 4202560 441 0 0 0 3510 0 0 0 20 0 19 0 445407138 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107846110648 140108027693863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28407] ppid=28057 vsize=15550540 memory=6947199801522217811 CPUtime=35.09 cores=0,2,4,6
/proc/28059/task/28407/stat : 28407 (java) R 28057 28057 22939 0 -1 4202560 3151 0 0 0 3509 0 0 0 20 0 19 0 445407138 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107848217424 140108027626449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28408] ppid=28057 vsize=15550540 memory=7667772434894579539 CPUtime=35.1 cores=0,2,4,6
/proc/28059/task/28408/stat : 28408 (java) R 28057 28057 22939 0 -1 4202560 594 0 0 0 3510 0 0 0 20 0 19 0 445407138 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107845059784 140108025140975 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
[pid=28059/tid=28409] ppid=28057 vsize=15550540 memory=4639950512826379884 CPUtime=35.03 cores=0,2,4,6
/proc/28059/task/28409/stat : 28409 (java) R 28057 28057 22939 0 -1 4202560 2697 0 0 0 3503 0 0 0 20 0 19 0 445407138 15923752960 72027 33554432000 4194304 4196468 140734923591856 140107849271520 140108029339373 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12206080 140734923596783 140734923596954 140734923596954 140734923599823 0
Current children cumulated CPU time: 170.22 s
Current children cumulated vsize: 15663668 KiB
Current children cumulated memory: 289556 KiB
[startup+43.8009 s]
/proc/loadavg: 8.31 7.18 4.36 9/238 28412
/proc/meminfo: memFree=27603884/32770624 swapFree=66959728/67108860
[pid=28057] ppid=28054 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/28057/stat : 28057 (xcsp3-exec) S 28054 28057 22939 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445406356 115843072 362 33554432000 4194304 5098028 140725938421952 140725938420056 140089642730108 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 24641536 140725938426746 140725938426989 140725938426989 140725938429898 0
/proc/28057/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 43.8035
CPU time (s): 171.009
CPU user time (s): 170.77
CPU system time (s): 0.238617
CPU usage (%): 390.4
Max. virtual memory (cumulated for all children) (KiB): 15663668
Max. memory (cumulated for all children) (KiB): 290068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 170.77
system time used= 0.238617
maximum resident set size= 288624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55267
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9153
involuntary context switches= 3827
# summary of solver processes directly reported to runsolver:
# pid: 28057
# total CPU time (s): 171.009
# total CPU user time (s): 170.77
# total CPU system time (s): 0.238617
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.310868 second user time and 0.53179 second system time
The end