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 (11850 MiB free)
memory of node 1: 16384 MiB (10898 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283210-1503221104/watcher-4283210-1503221104 -o /tmp/evaluation-result-4283210-1503221104/solver-4283210-1503221104 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1503215325-11704 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 486845427 HOME/instance-4283210-1503221104.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=12262, runsolver pid=12259
Current StackSize limit: 8192 KiB
[startup+0.100117 s]*
/proc/loadavg: 1.59 1.71 1.69 4/218 12278
/proc/meminfo: memFree=23279084/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
[pid=12264] ppid=12262 vsize=13978596 memory=28016 CPUtime=0.12 cores=0,2,4,6
/proc/12264/stat : 12264 (java) S 12262 12262 7296 0 -1 1077944320 5373 0 0 0 11 1 0 0 20 0 15 0 155191099 14314082304 7004 33554432000 4194304 4196468 140723313986960 140723313969504 140558112861943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
/proc/12264/statm: 3494649 7004 2862 1 0 3482966 0
[pid=12264/tid=12265] ppid=12262 vsize=13978596 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (java) R 12262 12262 7296 0 -1 4202560 3379 0 0 0 9 0 0 0 20 0 15 0 155191099 14314082304 7004 33554432000 4194304 4196468 140723313986960 140558117095216 140558112873878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12266] ppid=12262 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14314082304 7004 33554432000 4194304 4196468 140723313986960 140558042950800 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12267] ppid=12262 vsize=13978596 memory=139829651572352 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14314082304 7004 33554432000 4194304 4196468 140723313986960 140558041898000 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12268] ppid=12262 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12268/stat : 12268 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14314082304 7004 33554432000 4194304 4196468 140723313986960 140558040845200 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12269] ppid=12262 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12269/stat : 12269 (java) S 12262 12262 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155191100 14314082304 7004 33554432000 4194304 4196468 140723313986960 140557705460496 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12270] ppid=12262 vsize=13978596 memory=139829651572352 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12270/stat : 12270 (java) S 12262 12262 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155191101 14314082304 7004 33554432000 4194304 4196468 140723313986960 140557025311088 140558112873090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12271] ppid=12262 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12271/stat : 12271 (java) S 12262 12262 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155191102 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557024257056 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12272] ppid=12262 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155191102 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557023204208 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) S 12262 12262 7296 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 155191104 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557020048112 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13978596 memory=139829651572352 CPUtime=0.01 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) R 12262 12262 7296 0 -1 4202560 282 0 0 0 1 0 0 0 20 0 15 0 155191105 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557018995312 140558091517313 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13978596 memory=139829651572352 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191105 14314082304 7069 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29400 KiB
[startup+0.210622 s]*
/proc/loadavg: 1.59 1.71 1.69 3/218 12278
/proc/meminfo: memFree=23267408/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
[pid=12264] ppid=12262 vsize=13982852 memory=40624 CPUtime=0.34 cores=0,2,4,6
/proc/12264/stat : 12264 (java) S 12262 12262 7296 0 -1 1077944320 8225 0 0 0 32 2 0 0 20 0 15 0 155191099 14318440448 10156 33554432000 4194304 4196468 140723313986960 140723313969504 140558112861943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
/proc/12264/statm: 3495713 10156 3080 1 0 3482966 0
[pid=12264/tid=12265] ppid=12262 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (java) R 12262 12262 7296 0 -1 4202560 5354 0 0 0 18 1 0 0 20 0 15 0 155191099 14318473216 10156 33554432000 4194304 4196468 140723313986960 140558117072864 140558105541661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12266] ppid=12262 vsize=13982852 memory=8911 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 10156 33554432000 4194304 4196468 140723313986960 140558042950800 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12267] ppid=12262 vsize=13982852 memory=139829652625701 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 10156 33554432000 4194304 4196468 140723313986960 140558041898000 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12268] ppid=12262 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12268/stat : 12268 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 10156 33554432000 4194304 4196468 140723313986960 140558040845200 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12269] ppid=12262 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12269/stat : 12269 (java) S 12262 12262 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 10156 33554432000 4194304 4196468 140723313986960 140557705460496 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12270] ppid=12262 vsize=13982852 memory=139829651572352 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12270/stat : 12270 (java) S 12262 12262 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155191101 14318440448 10156 33554432000 4194304 4196468 140723313986960 140557025311088 140558112873090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12271] ppid=12262 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12271/stat : 12271 (java) S 12262 12262 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155191102 14318473216 10156 33554432000 4194304 4196468 140723313986960 140557024257056 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12272] ppid=12262 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155191102 14318473216 10156 33554432000 4194304 4196468 140723313986960 140557023204208 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14318440448 10156 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) S 12262 12262 7296 0 -1 1077944384 679 0 0 0 2 0 0 0 20 0 15 0 155191104 14318440448 10156 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13982852 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) S 12262 12262 7296 0 -1 1077944384 163 0 0 0 1 0 0 0 20 0 15 0 155191104 14318440448 10156 33554432000 4194304 4196468 140723313986960 140557020048112 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13982852 memory=139829651572352 CPUtime=0.08 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) S 12262 12262 7296 0 -1 1077944384 741 0 0 0 8 0 0 0 20 0 15 0 155191105 14318440448 10156 33554432000 4194304 4196468 140723313986960 140557018995312 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14318440448 10156 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191105 14318473216 10156 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 42008 KiB
[startup+0.310491 s]*
/proc/loadavg: 1.59 1.71 1.69 4/218 12278
/proc/meminfo: memFree=23260832/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
[pid=12264] ppid=12262 vsize=13982852 memory=47464 CPUtime=0.5 cores=0,2,4,6
/proc/12264/stat : 12264 (java) S 12262 12262 7296 0 -1 1077944320 9009 0 0 0 48 2 0 0 20 0 15 0 155191099 14318440448 11866 33554432000 4194304 4196468 140723313986960 140723313969504 140558112861943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
/proc/12264/statm: 3495713 11866 3102 1 0 3482966 0
[pid=12264/tid=12265] ppid=12262 vsize=13982852 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (java) R 12262 12262 7296 0 -1 4202560 5904 0 0 0 28 2 0 0 20 0 15 0 155191099 14318440448 11866 33554432000 4194304 4196468 140723313986960 140558117099456 140558112883869 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12266] ppid=12262 vsize=13982852 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 11866 33554432000 4194304 4196468 140723313986960 140558042950800 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12267] ppid=12262 vsize=13982852 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 11866 33554432000 4194304 4196468 140723313986960 140558041898000 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12268] ppid=12262 vsize=13982852 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12268/stat : 12268 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 11866 33554432000 4194304 4196468 140723313986960 140558040845200 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12269] ppid=12262 vsize=13982852 memory=7307460116655545206 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12269/stat : 12269 (java) S 12262 12262 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155191100 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557705460496 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12270] ppid=12262 vsize=13982852 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12270/stat : 12270 (java) S 12262 12262 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155191101 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557025311088 140558112873090 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12271] ppid=12262 vsize=13982852 memory=4498404016631593313 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12271/stat : 12271 (java) S 12262 12262 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155191102 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557024257056 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12272] ppid=12262 vsize=13982852 memory=-6519613052471072158 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155191102 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557023204208 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13982852 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13982852 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) R 12262 12262 7296 0 -1 1077944384 701 0 0 0 4 0 0 0 20 0 15 0 155191104 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) R 12262 12262 7296 0 -1 4202560 305 0 0 0 3 0 0 0 20 0 15 0 155191104 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557020048112 140558094382795 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13982852 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) R 12262 12262 7296 0 -1 4202560 797 0 0 0 11 0 0 0 20 0 15 0 155191105 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557018995312 140558096942430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191105 14318440448 11866 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48848 KiB
[startup+0.700795 s]
/proc/loadavg: 1.59 1.71 1.69 5/218 12278
/proc/meminfo: memFree=23223848/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
[pid=12264] ppid=12262 vsize=13982928 memory=128592 CPUtime=1.53 cores=0,2,4,6
/proc/12264/stat : 12264 (java) S 12262 12262 7296 0 -1 1077944320 10921 0 0 0 149 4 0 0 20 0 15 0 155191099 14318518272 32148 33554432000 4194304 4196468 140723313986960 140723313969504 140558112861943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
/proc/12264/statm: 3495732 32148 3197 1 0 3482966 0
[pid=12264/tid=12265] ppid=12262 vsize=13982928 memory=3472328296227679313 CPUtime=0.68 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (java) R 12262 12262 7296 0 -1 4202560 6282 0 0 0 65 3 0 0 20 0 15 0 155191099 14318518272 32148 33554432000 4194304 4196468 140723313986960 140558117099296 140558095849124 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12266] ppid=12262 vsize=13982928 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318518272 32148 33554432000 4194304 4196468 140723313986960 140558042950800 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12267] ppid=12262 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318518272 32148 33554432000 4194304 4196468 140723313986960 140558041898000 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12268] ppid=12262 vsize=13982928 memory=43308 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12268/stat : 12268 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191100 14318518272 32148 33554432000 4194304 4196468 140723313986960 140558040845200 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12269] ppid=12262 vsize=13982928 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12269/stat : 12269 (java) S 12262 12262 7296 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155191100 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557705460496 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12270] ppid=12262 vsize=13982928 memory=2408 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12270/stat : 12270 (java) S 12262 12262 7296 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155191101 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557025311088 140558112873090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12271] ppid=12262 vsize=13982928 memory=1732 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12271/stat : 12271 (java) S 12262 12262 7296 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155191102 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557024257056 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12272] ppid=12262 vsize=13982928 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155191102 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557023204208 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13982928 memory=12132 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13982928 memory=5792 CPUtime=0.29 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) S 12262 12262 7296 0 -1 1077944384 1453 0 0 0 29 0 0 0 20 0 15 0 155191104 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13982928 memory=796 CPUtime=0.31 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) S 12262 12262 7296 0 -1 1077944384 777 0 0 0 31 0 0 0 20 0 15 0 155191104 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557020048112 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13982928 memory=1436 CPUtime=0.23 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) S 12262 12262 7296 0 -1 1077944384 1102 0 0 0 23 0 0 0 20 0 15 0 155191105 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557018995312 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13982928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13982928 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155191105 14318518272 32148 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 129976 KiB
[startup+1.50084 s]
/proc/loadavg: 1.59 1.71 1.69 6/218 12278
/proc/meminfo: memFree=23119776/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
################
# More data... #
################
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155191102 14320615424 103917 33554432000 4194304 4196468 140723313986960 140557023204224 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14320615424 103917 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13984976 memory=6791534058613427641 CPUtime=6.11 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) S 12262 12262 7296 0 -1 1077944384 38170 0 0 0 608 3 0 0 20 0 15 0 155191104 14320615424 103917 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13984976 memory=2408 CPUtime=5.29 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) S 12262 12262 7296 0 -1 1077944384 27785 0 0 0 526 3 0 0 20 0 15 0 155191104 14320615424 103917 33554432000 4194304 4196468 140723313986960 140557020048112 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13984976 memory=1384 CPUtime=0.78 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) S 12262 12262 7296 0 -1 1077944384 10105 0 0 0 76 2 0 0 20 0 15 0 155191105 14320615424 103917 33554432000 4194304 4196468 140723313986960 140557018995312 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14320615424 103917 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13984976 memory=2228 CPUtime=1.22 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1802 0 0 0 61 61 0 0 20 0 15 0 155191105 14320615424 103917 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 14 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 2405.8 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 417052 KiB
[startup+2442.3 s]
/proc/loadavg: 1.55 1.46 1.62 3/218 12352
/proc/meminfo: memFree=22901836/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
[pid=12264] ppid=12262 vsize=13984976 memory=413944 CPUtime=2465.94 cores=0,2,4,6
/proc/12264/stat : 12264 (java) S 12262 12262 7296 0 -1 1077944320 169631 0 0 0 246415 179 0 0 20 0 15 0 155191099 14320615424 103486 33554432000 4194304 4196468 140723313986960 140723313969504 140558112861943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
/proc/12264/statm: 3496244 103486 3277 1 0 3483478 0
[pid=12264/tid=12265] ppid=12262 vsize=13984976 memory=413936 CPUtime=2437.65 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (java) R 12262 12262 7296 0 -1 4202560 39450 0 0 0 243750 15 0 0 20 0 15 0 155191099 14320615424 103486 33554432000 4194304 4196468 140723313986960 140558117101360 140557725612300 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12266] ppid=12262 vsize=13984976 memory=1384 CPUtime=3.52 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (java) S 12262 12262 7296 0 -1 1077944384 8088 0 0 0 328 24 0 0 20 0 15 0 155191100 14320615424 103486 33554432000 4194304 4196468 140723313986960 140558042950800 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12267] ppid=12262 vsize=13984976 memory=413944 CPUtime=3.49 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (java) S 12262 12262 7296 0 -1 1077944384 7640 0 0 0 325 24 0 0 20 0 15 0 155191100 14320615424 103486 33554432000 4194304 4196468 140723313986960 140558041898000 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12268] ppid=12262 vsize=13984976 memory=413944 CPUtime=3.51 cores=0,2,4,6
/proc/12264/task/12268/stat : 12268 (java) S 12262 12262 7296 0 -1 1077944384 8806 0 0 0 327 24 0 0 20 0 15 0 155191100 14320615424 103486 33554432000 4194304 4196468 140723313986960 140558040845200 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12269] ppid=12262 vsize=13984976 memory=1384 CPUtime=3.52 cores=0,2,4,6
/proc/12264/task/12269/stat : 12269 (java) S 12262 12262 7296 0 -1 1077944384 9683 0 0 0 328 24 0 0 20 0 15 0 155191100 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557705460496 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12270] ppid=12262 vsize=13984976 memory=1384 CPUtime=0.72 cores=0,2,4,6
/proc/12264/task/12270/stat : 12270 (java) S 12262 12262 7296 0 -1 1077944384 16722 0 0 0 60 12 0 0 20 0 15 0 155191101 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557025311088 140558112873090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12271] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12271/stat : 12271 (java) S 12262 12262 7296 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 155191102 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557024257120 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12272] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155191102 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557023204224 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13984976 memory=413936 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13984976 memory=413936 CPUtime=6.11 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) S 12262 12262 7296 0 -1 1077944384 38172 0 0 0 608 3 0 0 20 0 15 0 155191104 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13984976 memory=413944 CPUtime=5.29 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) S 12262 12262 7296 0 -1 1077944384 27788 0 0 0 526 3 0 0 20 0 15 0 155191104 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557020048112 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13984976 memory=1384 CPUtime=0.78 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) S 12262 12262 7296 0 -1 1077944384 10107 0 0 0 76 2 0 0 20 0 15 0 155191105 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557018995312 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 11 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13984976 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13984976 memory=43352 CPUtime=1.24 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1822 0 0 0 62 62 0 0 20 0 15 0 155191105 14320615424 103486 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 2465.94 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 415328 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2496.11 s]
/proc/loadavg: 1.42 1.44 1.61 3/218 12431
/proc/meminfo: memFree=22928380/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
[pid=12264] ppid=12262 vsize=13984976 memory=411404 CPUtime=2520.02 cores=0,2,4,6
/proc/12264/stat : 12264 (java) S 12262 12262 7296 0 -1 1077944320 170492 0 0 0 251820 182 0 0 20 0 15 0 155191099 14320615424 102851 33554432000 4194304 4196468 140723313986960 140723313969504 140558112861943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
/proc/12264/statm: 3496244 102851 3277 1 0 3483478 0
[pid=12264/tid=12265] ppid=12262 vsize=13984976 memory=1384 CPUtime=2491.33 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (java) R 12262 12262 7296 0 -1 4202560 39762 0 0 0 249118 15 0 0 20 0 15 0 155191099 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558117101408 140557725612354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12266] ppid=12262 vsize=13984976 memory=411404 CPUtime=3.6 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (java) S 12262 12262 7296 0 -1 1077944384 8154 0 0 0 336 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558042950800 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12267] ppid=12262 vsize=13984976 memory=411404 CPUtime=3.58 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (java) S 12262 12262 7296 0 -1 1077944384 7720 0 0 0 334 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558041898000 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12268] ppid=12262 vsize=13984976 memory=1384 CPUtime=3.6 cores=0,2,4,6
/proc/12264/task/12268/stat : 12268 (java) S 12262 12262 7296 0 -1 1077944384 8879 0 0 0 336 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558040845200 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12269] ppid=12262 vsize=13984976 memory=411404 CPUtime=3.61 cores=0,2,4,6
/proc/12264/task/12269/stat : 12269 (java) S 12262 12262 7296 0 -1 1077944384 9749 0 0 0 337 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557705460496 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12270] ppid=12262 vsize=13984976 memory=412940 CPUtime=0.75 cores=0,2,4,6
/proc/12264/task/12270/stat : 12270 (java) S 12262 12262 7296 0 -1 1077944384 16733 0 0 0 62 13 0 0 20 0 15 0 155191101 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557025311088 140558112873090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12271] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12271/stat : 12271 (java) S 12262 12262 7296 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 155191102 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557024257120 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12272] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155191102 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557023204224 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13984976 memory=411404 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13984976 memory=6791534058613427641 CPUtime=6.12 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) S 12262 12262 7296 0 -1 1077944384 38398 0 0 0 609 3 0 0 20 0 15 0 155191104 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13984976 memory=2408 CPUtime=5.29 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) S 12262 12262 7296 0 -1 1077944384 27788 0 0 0 526 3 0 0 20 0 15 0 155191104 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557020048112 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13984976 memory=412428 CPUtime=0.78 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) S 12262 12262 7296 0 -1 1077944384 10107 0 0 0 76 2 0 0 20 0 15 0 155191105 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557018995312 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13984976 memory=2408 CPUtime=1.27 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1849 0 0 0 63 64 0 0 20 0 15 0 155191105 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 412788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2496.12 s]
# the end of solver process 12262 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001962 s, system=0 s
[startup+2496.12 s]
# the end of solver process 12264 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2518.22 s, system=1.82462 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2496.11 s]
/proc/loadavg: 1.42 1.44 1.61 3/218 12431
/proc/meminfo: memFree=22928380/32770624 swapFree=67108860/67108860
[pid=12262] ppid=12259 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12262/stat : 12262 (xcsp3-exec) S 12259 12262 7296 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 155191099 9740288 346 33554432000 4194304 5098028 140734482089536 140734482087640 139717769429628 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40062976 140734482093167 140734482093371 140734482093371 140734482096107 0
/proc/12262/statm: 2378 346 289 221 0 87 0
[pid=12264] ppid=12262 vsize=13984976 memory=411404 CPUtime=2520.02 cores=0,2,4,6
/proc/12264/stat : 12264 (java) S 12262 12262 7296 0 -1 1077944320 170492 0 0 0 251820 182 0 0 20 0 15 0 155191099 14320615424 102851 33554432000 4194304 4196468 140723313986960 140723313969504 140558112861943 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
/proc/12264/statm: 3496244 102851 3277 1 0 3483478 0
[pid=12264/tid=12265] ppid=12262 vsize=13984976 memory=1384 CPUtime=2491.33 cores=0,2,4,6
/proc/12264/task/12265/stat : 12265 (java) R 12262 12262 7296 0 -1 4202560 39762 0 0 0 249118 15 0 0 20 0 15 0 155191099 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558117101408 140557725612354 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12266] ppid=12262 vsize=13984976 memory=411404 CPUtime=3.6 cores=0,2,4,6
/proc/12264/task/12266/stat : 12266 (java) S 12262 12262 7296 0 -1 1077944384 8154 0 0 0 336 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558042950800 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12267] ppid=12262 vsize=13984976 memory=411404 CPUtime=3.58 cores=0,2,4,6
/proc/12264/task/12267/stat : 12267 (java) S 12262 12262 7296 0 -1 1077944384 7720 0 0 0 334 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558041898000 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12268] ppid=12262 vsize=13984976 memory=1384 CPUtime=3.6 cores=0,2,4,6
/proc/12264/task/12268/stat : 12268 (java) S 12262 12262 7296 0 -1 1077944384 8879 0 0 0 336 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140558040845200 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12269] ppid=12262 vsize=13984976 memory=411404 CPUtime=3.61 cores=0,2,4,6
/proc/12264/task/12269/stat : 12269 (java) S 12262 12262 7296 0 -1 1077944384 9749 0 0 0 337 24 0 0 20 0 15 0 155191100 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557705460496 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12270] ppid=12262 vsize=13984976 memory=412940 CPUtime=0.75 cores=0,2,4,6
/proc/12264/task/12270/stat : 12270 (java) S 12262 12262 7296 0 -1 1077944384 16733 0 0 0 62 13 0 0 20 0 15 0 155191101 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557025311088 140558112873090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12271] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12271/stat : 12271 (java) S 12262 12262 7296 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 15 0 155191102 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557024257120 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12272] ppid=12262 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12272/stat : 12272 (java) S 12262 12262 7296 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 155191102 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557023204224 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12273] ppid=12262 vsize=13984976 memory=411404 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12273/stat : 12273 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191104 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557022152528 140558112880539 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12274] ppid=12262 vsize=13984976 memory=6791534058613427641 CPUtime=6.12 cores=0,2,4,6
/proc/12264/task/12274/stat : 12274 (java) S 12262 12262 7296 0 -1 1077944384 38398 0 0 0 609 3 0 0 20 0 15 0 155191104 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557021100912 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12275] ppid=12262 vsize=13984976 memory=2408 CPUtime=5.29 cores=0,2,4,6
/proc/12264/task/12275/stat : 12275 (java) S 12262 12262 7296 0 -1 1077944384 27788 0 0 0 526 3 0 0 20 0 15 0 155191104 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557020048112 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12276] ppid=12262 vsize=13984976 memory=412428 CPUtime=0.78 cores=0,2,4,6
/proc/12264/task/12276/stat : 12276 (java) S 12262 12262 7296 0 -1 1077944384 10107 0 0 0 76 2 0 0 20 0 15 0 155191105 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557018995312 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12277] ppid=12262 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/12264/task/12277/stat : 12277 (java) S 12262 12262 7296 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155191105 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557017942752 140558112872149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
[pid=12264/tid=12278] ppid=12262 vsize=13984976 memory=2408 CPUtime=1.27 cores=0,2,4,6
/proc/12264/task/12278/stat : 12278 (java) S 12262 12262 7296 0 -1 1077944384 1849 0 0 0 63 64 0 0 20 0 15 0 155191105 14320615424 102851 33554432000 4194304 4196468 140723313986960 140557016890032 140558112873090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 24358912 140723313988759 140723313988935 140723313988935 140723313991631 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 412788 KiB
Child status: 143
Real time (s): 2496.12
CPU time (s): 2520.04
CPU user time (s): 2518.22
CPU system time (s): 1.82462
CPU usage (%): 100.958
Max. virtual memory (cumulated for all children) (KiB): 13996416
Max. memory (cumulated for all children) (KiB): 929172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.22
system time used= 1.82462
maximum resident set size= 931368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 171240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 72749
involuntary context switches= 3721
# summary of solver processes directly reported to runsolver:
# pid: 12262,12264
# total CPU time (s): 2520.04
# total CPU user time (s): 2518.22
# total CPU system time (s): 1.82462
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.6492 second user time and 23.8621 second system time
The end