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 (13354 MiB free)
memory of node 1: 16384 MiB (11458 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405798-1569406706/watcher-4405798-1569406706 -o /var/tmp/evaluation-result-4405798-1569406706/solver-4405798-1569406706 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1569396629-25936 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 674984274 HOME/instance-4405798-1569406706.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=28422, runsolver pid=28419
Current StackSize limit: 8192 KiB
[startup+0.100103 s]*
/proc/loadavg: 2.00 2.05 2.21 4/229 28438
/proc/meminfo: memFree=25392172/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
[pid=28424] ppid=28422 vsize=15144776 memory=29044 CPUtime=0.13 cores=0,2,4,6
/proc/28424/stat : 28424 (java) S 28422 28422 25905 0 -1 1077944320 5681 0 0 0 12 1 0 0 20 0 15 0 516585350 15508250624 7261 33554432000 4194304 4196468 140731929697280 140731929679824 140142779551479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
/proc/28424/statm: 3786194 7261 3185 1 0 3748377 0
[pid=28424/tid=28425] ppid=28422 vsize=15144776 memory=8108032331684915787 CPUtime=0.09 cores=0,2,4,6
/proc/28424/task/28425/stat : 28425 (java) R 28422 28422 25905 0 -1 4202560 3577 0 0 0 8 1 0 0 20 0 15 0 516585351 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142783782800 140142763631966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28426] ppid=28422 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28426/stat : 28426 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142707592336 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28427] ppid=28422 vsize=15144776 memory=140346856011392 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28427/stat : 28427 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142706539536 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28428] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28428/stat : 28428 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142705486736 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28429] ppid=28422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28429/stat : 28429 (java) S 28422 28422 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516585352 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142704433936 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28430] ppid=28422 vsize=15144776 memory=140346856011392 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28430/stat : 28430 (java) S 28422 28422 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516585353 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142113962352 140142779562626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28431] ppid=28422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28431/stat : 28431 (java) S 28422 28422 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516585353 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142112908320 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28432] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516585354 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142111855472 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) R 28422 28422 25905 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142109752272 140142779561685 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) R 28422 28422 25905 0 -1 4202560 159 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142108690720 140142757384336 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15144776 memory=140346856011392 CPUtime=0.02 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) S 28422 28422 25905 0 -1 1077944384 363 0 0 0 2 0 0 0 20 0 15 0 516585356 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142107646576 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15144776 memory=140346856011392 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 7261 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30500 KiB
[startup+0.210787 s]*
/proc/loadavg: 2.00 2.05 2.21 4/229 28438
/proc/meminfo: memFree=25378732/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
[pid=28424] ppid=28422 vsize=15144776 memory=40844 CPUtime=0.34 cores=0,2,4,6
/proc/28424/stat : 28424 (java) S 28422 28422 25905 0 -1 1077944320 9464 0 0 0 31 3 0 0 20 0 15 0 516585350 15508250624 10211 33554432000 4194304 4196468 140731929697280 140731929679824 140142779551479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
/proc/28424/statm: 3786194 10211 3298 1 0 3748377 0
[pid=28424/tid=28425] ppid=28422 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/28424/task/28425/stat : 28425 (java) R 28422 28422 25905 0 -1 4202560 6607 0 0 0 18 2 0 0 20 0 15 0 516585351 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142783785520 140142779563414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28426] ppid=28422 vsize=15144776 memory=11079 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28426/stat : 28426 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142707592336 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28427] ppid=28422 vsize=15144776 memory=3690192153025473891 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28427/stat : 28427 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142706539536 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28428] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28428/stat : 28428 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142705486736 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28429] ppid=28422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28429/stat : 28429 (java) S 28422 28422 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516585352 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142704433936 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28430] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28430/stat : 28430 (java) S 28422 28422 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516585353 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142113962352 140142779562626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28431] ppid=28422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28431/stat : 28431 (java) S 28422 28422 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516585353 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142112908320 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28432] ppid=28422 vsize=15144776 memory=140346856011392 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516585354 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142111855472 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) S 28422 28422 25905 0 -1 1077944384 504 0 0 0 2 0 0 0 20 0 15 0 516585356 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142109752176 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) S 28422 28422 25905 0 -1 1077944384 261 0 0 0 2 0 0 0 20 0 15 0 516585356 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142108699376 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15144776 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) R 28422 28422 25905 0 -1 4202560 785 0 0 0 8 0 0 0 20 0 15 0 516585356 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142107646384 140142779563414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585356 15508250624 10211 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42300 KiB
[startup+0.310638 s]*
/proc/loadavg: 2.00 2.05 2.21 4/229 28438
/proc/meminfo: memFree=25371224/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
[pid=28424] ppid=28422 vsize=15149032 memory=49948 CPUtime=0.54 cores=0,2,4,6
/proc/28424/stat : 28424 (java) S 28422 28422 25905 0 -1 1077944320 10821 0 0 0 50 4 0 0 20 0 15 0 516585350 15512608768 12487 33554432000 4194304 4196468 140731929697280 140731929679824 140142779551479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
/proc/28424/statm: 3787258 12487 3365 1 0 3748377 0
[pid=28424/tid=28425] ppid=28422 vsize=15149032 memory=7883960649037381690 CPUtime=0.3 cores=0,2,4,6
/proc/28424/task/28425/stat : 28425 (java) R 28422 28422 25905 0 -1 4202560 7781 0 0 0 27 3 0 0 20 0 15 0 516585351 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142783782592 140142763631996 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28426] ppid=28422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28426/stat : 28426 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142707592336 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28427] ppid=28422 vsize=15149032 memory=3905528202495551090 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28427/stat : 28427 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142706539536 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28428] ppid=28422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28428/stat : 28428 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142705486736 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28429] ppid=28422 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28429/stat : 28429 (java) S 28422 28422 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516585352 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142704433936 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28430] ppid=28422 vsize=15149032 memory=140346856011392 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28430/stat : 28430 (java) S 28422 28422 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516585353 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142113962352 140142779562626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28431] ppid=28422 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28431/stat : 28431 (java) S 28422 28422 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516585353 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142112908320 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28432] ppid=28422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516585354 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142111855472 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) R 28422 28422 25905 0 -1 4202560 602 0 0 0 5 0 0 0 20 0 15 0 516585356 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142109733192 140142761076335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15149032 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) S 28422 28422 25905 0 -1 1077944384 276 0 0 0 3 0 0 0 20 0 15 0 516585356 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142108699376 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15149032 memory=140346856011392 CPUtime=0.12 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) S 28422 28422 25905 0 -1 1077944384 864 0 0 0 12 0 0 0 20 0 15 0 516585356 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142107646576 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15149032 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15149032 memory=140346856011392 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585356 15512608768 12487 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51404 KiB
[startup+0.700812 s]
/proc/loadavg: 2.00 2.05 2.21 5/229 28438
/proc/meminfo: memFree=25357508/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
[pid=28424] ppid=28422 vsize=15151156 memory=72368 CPUtime=1.57 cores=0,2,4,6
/proc/28424/stat : 28424 (java) S 28422 28422 25905 0 -1 1077944320 15272 0 0 0 151 6 0 0 20 0 15 0 516585350 15514783744 18092 33554432000 4194304 4196468 140731929697280 140731929679824 140142779551479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
/proc/28424/statm: 3787789 18092 3461 1 0 3748889 0
[pid=28424/tid=28425] ppid=28422 vsize=15151156 memory=2116 CPUtime=0.68 cores=0,2,4,6
/proc/28424/task/28425/stat : 28425 (java) R 28422 28422 25905 0 -1 4202560 9731 0 0 0 64 4 0 0 20 0 15 0 516585351 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142783788400 140142387383787 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28426] ppid=28422 vsize=15151156 memory=520 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28426/stat : 28426 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142707592336 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28427] ppid=28422 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28427/stat : 28427 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142706539536 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28428] ppid=28422 vsize=15151156 memory=924 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28428/stat : 28428 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585351 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142705486736 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28429] ppid=28422 vsize=15151156 memory=3688 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28429/stat : 28429 (java) S 28422 28422 25905 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516585352 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142704433936 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28430] ppid=28422 vsize=15151156 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28430/stat : 28430 (java) S 28422 28422 25905 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516585353 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142113962352 140142779562626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28431] ppid=28422 vsize=15151156 memory=1440 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28431/stat : 28431 (java) S 28422 28422 25905 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516585353 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142112908320 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28432] ppid=28422 vsize=15151156 memory=808 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516585354 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142111855472 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15151156 memory=2580 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15151156 memory=7302135314614015848 CPUtime=0.27 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) R 28422 28422 25905 0 -1 4202560 1348 0 0 0 27 0 0 0 20 0 15 0 516585356 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142109745368 140142757146256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15151156 memory=7381520097340843344 CPUtime=0.25 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) R 28422 28422 25905 0 -1 4202560 1079 0 0 0 25 0 0 0 20 0 15 0 516585356 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142108699376 140142761098886 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15151156 memory=7223887401239728208 CPUtime=0.33 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) S 28422 28422 25905 0 -1 1077944384 1806 0 0 0 33 0 0 0 20 0 15 0 516585356 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142107646576 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15151156 memory=7440060183353512016 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15151156 memory=7453012555186398805 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 18092 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 73824 KiB
[startup+1.50085 s]
/proc/loadavg: 2.00 2.05 2.21 5/229 28438
/proc/meminfo: memFree=25321240/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
################
# More data... #
################
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 516585354 15514783744 930202 33554432000 4194304 4196468 140731929697280 140142111855488 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15151156 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 930202 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15151156 memory=65 CPUtime=2.79 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) S 28422 28422 25905 0 -1 1077944384 18221 0 0 0 277 2 0 0 20 0 15 0 516585356 15514783744 930202 33554432000 4194304 4196468 140731929697280 140142109752176 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15151156 memory=3720808 CPUtime=2.82 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) S 28422 28422 25905 0 -1 1077944384 18414 0 0 0 278 4 0 0 20 0 15 0 516585356 15514783744 930202 33554432000 4194304 4196468 140731929697280 140142108699376 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15151156 memory=1456 CPUtime=0.56 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) S 28422 28422 25905 0 -1 1077944384 9543 0 0 0 54 2 0 0 20 0 15 0 516585356 15514783744 930202 33554432000 4194304 4196468 140731929697280 140142107646576 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 930202 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15151156 memory=3720808 CPUtime=0.77 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1688 0 0 0 33 44 0 0 20 0 15 0 516585356 15514783744 930202 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 6 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 2410.34 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3722264 KiB
[startup+2442.3 s]
/proc/loadavg: 1.59 1.57 1.62 3/229 29429
/proc/meminfo: memFree=18586028/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
[pid=28424] ppid=28422 vsize=15151156 memory=3726976 CPUtime=2471.26 cores=0,2,4,6
/proc/28424/stat : 28424 (java) S 28422 28422 25905 0 -1 1077944320 261335 0 0 0 246389 737 0 0 20 0 15 0 516585350 15514783744 931744 33554432000 4194304 4196468 140731929697280 140731929679824 140142779551479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
/proc/28424/statm: 3787789 931744 3528 1 0 3748889 0
[pid=28424/tid=28425] ppid=28422 vsize=15151156 memory=3724928 CPUtime=2431.88 cores=0,2,4,6
/proc/28424/task/28425/stat : 28425 (java) R 28422 28422 25905 0 -1 4202560 131696 0 0 0 242582 606 0 0 20 0 15 0 516585351 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142783791072 140142389697920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28426] ppid=28422 vsize=15151156 memory=3725276 CPUtime=7.62 cores=0,2,4,6
/proc/28424/task/28426/stat : 28426 (java) S 28422 28422 25905 0 -1 1077944384 14830 0 0 0 746 16 0 0 20 0 15 0 516585351 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142707592336 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28427] ppid=28422 vsize=15151156 memory=3725276 CPUtime=7.63 cores=0,2,4,6
/proc/28424/task/28427/stat : 28427 (java) S 28422 28422 25905 0 -1 1077944384 13565 0 0 0 747 16 0 0 20 0 15 0 516585351 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142706539536 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28428] ppid=28422 vsize=15151156 memory=3724928 CPUtime=7.62 cores=0,2,4,6
/proc/28424/task/28428/stat : 28428 (java) S 28422 28422 25905 0 -1 1077944384 13895 0 0 0 745 17 0 0 20 0 15 0 516585351 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142705486736 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28429] ppid=28422 vsize=15151156 memory=3724928 CPUtime=7.62 cores=0,2,4,6
/proc/28424/task/28429/stat : 28429 (java) S 28422 28422 25905 0 -1 1077944384 15848 0 0 0 747 15 0 0 20 0 15 0 516585352 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142704433936 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28430] ppid=28422 vsize=15151156 memory=1456 CPUtime=1.85 cores=0,2,4,6
/proc/28424/task/28430/stat : 28430 (java) S 28422 28422 25905 0 -1 1077944384 22198 0 0 0 155 30 0 0 20 0 15 0 516585353 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142113962352 140142779562626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28431] ppid=28422 vsize=15151156 memory=3724928 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28431/stat : 28431 (java) S 28422 28422 25905 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516585353 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142112908384 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28432] ppid=28422 vsize=15151156 memory=3724928 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 516585354 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142111855488 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15151156 memory=3726976 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15151156 memory=1456 CPUtime=2.79 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) S 28422 28422 25905 0 -1 1077944384 18223 0 0 0 277 2 0 0 20 0 15 0 516585356 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142109752176 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15151156 memory=280693427259632 CPUtime=2.82 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) S 28422 28422 25905 0 -1 1077944384 18416 0 0 0 278 4 0 0 20 0 15 0 516585356 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142108699376 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15151156 memory=6791534058613427641 CPUtime=0.56 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) S 28422 28422 25905 0 -1 1077944384 9545 0 0 0 54 2 0 0 20 0 15 0 516585356 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142107646576 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15151156 memory=3725276 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15151156 memory=1456 CPUtime=0.79 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1707 0 0 0 34 45 0 0 20 0 15 0 516585356 15514783744 931744 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 2471.26 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3728432 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2490.3 s]
/proc/loadavg: 1.19 1.47 1.58 3/229 29433
/proc/meminfo: memFree=18581184/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
[pid=28424] ppid=28422 vsize=15151156 memory=3729024 CPUtime=2520.05 cores=0,2,4,6
/proc/28424/stat : 28424 (java) S 28422 28422 25905 0 -1 1077944320 265610 0 0 0 251266 739 0 0 20 0 15 0 516585350 15514783744 932256 33554432000 4194304 4196468 140731929697280 140731929679824 140142779551479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
/proc/28424/statm: 3787789 932256 3528 1 0 3748889 0
[pid=28424/tid=28425] ppid=28422 vsize=15151156 memory=3729024 CPUtime=2479.59 cores=0,2,4,6
/proc/28424/task/28425/stat : 28425 (java) R 28422 28422 25905 0 -1 4202560 132225 0 0 0 247353 606 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142783791200 140142388117678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28426] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.88 cores=0,2,4,6
/proc/28424/task/28426/stat : 28426 (java) S 28422 28422 25905 0 -1 1077944384 15640 0 0 0 772 16 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142707592336 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28427] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.9 cores=0,2,4,6
/proc/28424/task/28427/stat : 28427 (java) S 28422 28422 25905 0 -1 1077944384 14219 0 0 0 773 17 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142706539536 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28428] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.88 cores=0,2,4,6
/proc/28424/task/28428/stat : 28428 (java) S 28422 28422 25905 0 -1 1077944384 15544 0 0 0 771 17 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142705486736 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28429] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.88 cores=0,2,4,6
/proc/28424/task/28429/stat : 28429 (java) S 28422 28422 25905 0 -1 1077944384 16264 0 0 0 773 15 0 0 20 0 15 0 516585352 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142704433936 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28430] ppid=28422 vsize=15151156 memory=1456 CPUtime=1.87 cores=0,2,4,6
/proc/28424/task/28430/stat : 28430 (java) S 28422 28422 25905 0 -1 1077944384 22382 0 0 0 157 30 0 0 20 0 15 0 516585353 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142113962352 140142779562626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28431] ppid=28422 vsize=15151156 memory=3729024 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28431/stat : 28431 (java) S 28422 28422 25905 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516585353 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142112908384 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28432] ppid=28422 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 516585354 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142111855488 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15151156 memory=3729024 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15151156 memory=3729024 CPUtime=2.79 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) S 28422 28422 25905 0 -1 1077944384 18225 0 0 0 277 2 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142109752176 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15151156 memory=1456 CPUtime=2.82 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) S 28422 28422 25905 0 -1 1077944384 18418 0 0 0 278 4 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142108699376 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15151156 memory=56 CPUtime=0.56 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) S 28422 28422 25905 0 -1 1077944384 9547 0 0 0 54 2 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142107646576 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15151156 memory=1456 CPUtime=0.81 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1734 0 0 0 35 46 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3730480 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2490.31 s]
# the end of solver process 28422 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002475 s, system=0 s
[startup+2490.32 s]
# the end of solver process 28424 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.67 s, system=7.40692 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+2490.3 s]
/proc/loadavg: 1.19 1.47 1.58 3/229 29433
/proc/meminfo: memFree=18581184/32770624 swapFree=66953520/67108860
[pid=28422] ppid=28419 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28422/stat : 28422 (xcsp3-exec) S 28419 28422 25905 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 516585350 115843072 364 33554432000 4194304 5098028 140732605203872 140732605201976 140620448195196 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16764928 140732605207383 140732605207641 140732605207641 140732605210566 0
/proc/28422/statm: 28282 364 305 221 0 87 0
[pid=28424] ppid=28422 vsize=15151156 memory=3729024 CPUtime=2520.05 cores=0,2,4,6
/proc/28424/stat : 28424 (java) S 28422 28422 25905 0 -1 1077944320 265610 0 0 0 251266 739 0 0 20 0 15 0 516585350 15514783744 932256 33554432000 4194304 4196468 140731929697280 140731929679824 140142779551479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
/proc/28424/statm: 3787789 932256 3528 1 0 3748889 0
[pid=28424/tid=28425] ppid=28422 vsize=15151156 memory=3729024 CPUtime=2479.59 cores=0,2,4,6
/proc/28424/task/28425/stat : 28425 (java) R 28422 28422 25905 0 -1 4202560 132225 0 0 0 247353 606 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142783791200 140142388117678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28426] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.88 cores=0,2,4,6
/proc/28424/task/28426/stat : 28426 (java) S 28422 28422 25905 0 -1 1077944384 15640 0 0 0 772 16 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142707592336 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28427] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.9 cores=0,2,4,6
/proc/28424/task/28427/stat : 28427 (java) S 28422 28422 25905 0 -1 1077944384 14219 0 0 0 773 17 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142706539536 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28428] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.88 cores=0,2,4,6
/proc/28424/task/28428/stat : 28428 (java) S 28422 28422 25905 0 -1 1077944384 15544 0 0 0 771 17 0 0 20 0 15 0 516585351 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142705486736 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28429] ppid=28422 vsize=15151156 memory=3729024 CPUtime=7.88 cores=0,2,4,6
/proc/28424/task/28429/stat : 28429 (java) S 28422 28422 25905 0 -1 1077944384 16264 0 0 0 773 15 0 0 20 0 15 0 516585352 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142704433936 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28430] ppid=28422 vsize=15151156 memory=1456 CPUtime=1.87 cores=0,2,4,6
/proc/28424/task/28430/stat : 28430 (java) S 28422 28422 25905 0 -1 1077944384 22382 0 0 0 157 30 0 0 20 0 15 0 516585353 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142113962352 140142779562626 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28431] ppid=28422 vsize=15151156 memory=3729024 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28431/stat : 28431 (java) S 28422 28422 25905 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 516585353 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142112908384 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28432] ppid=28422 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28432/stat : 28432 (java) S 28422 28422 25905 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 516585354 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142111855488 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28433] ppid=28422 vsize=15151156 memory=3729024 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28433/stat : 28433 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142110803792 140142779570075 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28434] ppid=28422 vsize=15151156 memory=3729024 CPUtime=2.79 cores=0,2,4,6
/proc/28424/task/28434/stat : 28434 (java) S 28422 28422 25905 0 -1 1077944384 18225 0 0 0 277 2 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142109752176 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28435] ppid=28422 vsize=15151156 memory=1456 CPUtime=2.82 cores=0,2,4,6
/proc/28424/task/28435/stat : 28435 (java) S 28422 28422 25905 0 -1 1077944384 18418 0 0 0 278 4 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142108699376 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28436] ppid=28422 vsize=15151156 memory=56 CPUtime=0.56 cores=0,2,4,6
/proc/28424/task/28436/stat : 28436 (java) S 28422 28422 25905 0 -1 1077944384 9547 0 0 0 54 2 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142107646576 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28437] ppid=28422 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/28424/task/28437/stat : 28437 (java) S 28422 28422 25905 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142106594016 140142779561685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
[pid=28424/tid=28438] ppid=28422 vsize=15151156 memory=1456 CPUtime=0.81 cores=0,2,4,6
/proc/28424/task/28438/stat : 28438 (java) S 28422 28422 25905 0 -1 1077944384 1734 0 0 0 35 46 0 0 20 0 15 0 516585356 15514783744 932256 33554432000 4194304 4196468 140731929697280 140142105541296 140142779562626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 6 0 0 6293624 6294260 14831616 140731929699291 140731929699466 140731929699466 140731929702351 0
Current children cumulated CPU time: 2520.05 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 3730480 KiB
Child status: 143
Real time (s): 2490.32
CPU time (s): 2520.08
CPU user time (s): 2512.67
CPU system time (s): 7.40692
CPU usage (%): 101.195
Max. virtual memory (cumulated for all children) (KiB): 15266144
Max. memory (cumulated for all children) (KiB): 6991608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.67
system time used= 7.40692
maximum resident set size= 7037256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 266505
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 92995
involuntary context switches= 6346
# summary of solver processes directly reported to runsolver:
# pid: 28422,28424
# total CPU time (s): 2520.08
# total CPU user time (s): 2512.67
# total CPU system time (s): 7.40692
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8732 second user time and 21.6217 second system time
The end