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 (12899 MiB free)
memory of node 1: 16384 MiB (11658 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4405995-1569409189/watcher-4405995-1569409189 -o /tmp/evaluation-result-4405995-1569409189/solver-4405995-1569409189 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1569396627-21716 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 734900325 HOME/instance-4405995-1569409189.xml
running on 4 cores: 1,3,5,7
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
Current StackSize limit: 8192 KiB
solver pid=23993, runsolver pid=23990
[startup+0.10211 s]*
/proc/loadavg: 1.79 1.76 1.72 3/229 24009
/proc/meminfo: memFree=25130056/32770624 swapFree=66936828/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
[pid=23995] ppid=23993 vsize=15144776 memory=29960 CPUtime=0.13 cores=1,3,5,7
/proc/23995/stat : 23995 (java) S 23993 23993 21684 0 -1 1077944320 5947 0 0 0 12 1 0 0 20 0 15 0 516856728 15508250624 7490 33554432000 4194304 4196468 140730119408272 140730119390816 140155406819063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
/proc/23995/statm: 3786194 7490 3184 1 0 3748377 0
[pid=23995/tid=23996] ppid=23993 vsize=15144776 memory=-8895323862916359523 CPUtime=0.1 cores=1,3,5,7
/proc/23995/task/23996/stat : 23996 (java) R 23993 23993 21684 0 -1 4202560 3820 0 0 0 9 1 0 0 20 0 15 0 516856729 15508250624 7490 33554432000 4194304 4196468 140730119408272 140155411050384 140155390862693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23997] ppid=23993 vsize=15144776 memory=3472467939106071760 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23997/stat : 23997 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 7490 33554432000 4194304 4196468 140730119408272 140155334859536 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23998] ppid=23993 vsize=15144776 memory=139810210920064 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23998/stat : 23998 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 7490 33554432000 4194304 4196468 140730119408272 140155333806992 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23999] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23999/stat : 23999 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 7490 33554432000 4194304 4196468 140730119408272 140155332754448 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24000] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24000/stat : 24000 (java) S 23993 23993 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 7490 33554432000 4194304 4196468 140730119408272 140155331701904 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24001] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24001/stat : 24001 (java) S 23993 23993 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516856731 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154875049968 140155406830210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24002] ppid=23993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24002/stat : 24002 (java) S 23993 23993 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516856731 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154873996192 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24003] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516856731 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154872943600 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) R 23993 23993 21684 0 -1 4202560 297 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154870839792 140155399108445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) R 23993 23993 21684 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154869787248 140155406830210 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15144776 memory=139810210920064 CPUtime=0.02 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) R 23993 23993 21684 0 -1 4202560 370 0 0 0 2 0 0 0 20 0 15 0 516856734 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154868734704 140155390955344 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15144776 memory=139810210920064 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) R 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 7490 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31408 KiB
[startup+0.210763 s]*
/proc/loadavg: 1.79 1.76 1.72 4/229 24009
/proc/meminfo: memFree=25117436/32770624 swapFree=66936828/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
[pid=23995] ppid=23993 vsize=15144776 memory=41084 CPUtime=0.34 cores=1,3,5,7
/proc/23995/stat : 23995 (java) S 23993 23993 21684 0 -1 1077944320 9472 0 0 0 32 2 0 0 20 0 15 0 516856728 15508250624 10271 33554432000 4194304 4196468 140730119408272 140730119390816 140155406819063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
/proc/23995/statm: 3786194 10271 3314 1 0 3748377 0
[pid=23995/tid=23996] ppid=23993 vsize=15144776 memory=-8895323862916359523 CPUtime=0.2 cores=1,3,5,7
/proc/23995/task/23996/stat : 23996 (java) R 23993 23993 21684 0 -1 4202560 6648 0 0 0 18 2 0 0 20 0 15 0 516856729 15508250624 10271 33554432000 4194304 4196468 140730119408272 140155411056880 140155390899550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23997] ppid=23993 vsize=15144776 memory=3472467939106071760 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23997/stat : 23997 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 10271 33554432000 4194304 4196468 140730119408272 140155334859536 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23998] ppid=23993 vsize=15144776 memory=139810210920064 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23998/stat : 23998 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 10271 33554432000 4194304 4196468 140730119408272 140155333806992 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23999] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23999/stat : 23999 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 10271 33554432000 4194304 4196468 140730119408272 140155332754448 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24000] ppid=23993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24000/stat : 24000 (java) S 23993 23993 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516856729 15508250624 10271 33554432000 4194304 4196468 140730119408272 140155331701904 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24001] ppid=23993 vsize=15144776 memory=139810210920064 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24001/stat : 24001 (java) S 23993 23993 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516856731 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154875049968 140155406830210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24002] ppid=23993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24002/stat : 24002 (java) S 23993 23993 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516856731 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154873996192 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24003] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516856731 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154872943600 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) S 23993 23993 21684 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 516856734 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154870839792 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) S 23993 23993 21684 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 516856734 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154869787248 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15144776 memory=139810210920064 CPUtime=0.08 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) S 23993 23993 21684 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 516856734 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154868734704 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15144776 memory=139810210920064 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856734 15508250624 10271 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42532 KiB
[startup+0.310499 s]*
/proc/loadavg: 1.79 1.76 1.72 4/229 24009
/proc/meminfo: memFree=25110400/32770624 swapFree=66936828/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
[pid=23995] ppid=23993 vsize=15149032 memory=50164 CPUtime=0.54 cores=1,3,5,7
/proc/23995/stat : 23995 (java) S 23993 23993 21684 0 -1 1077944320 10937 0 0 0 50 4 0 0 20 0 15 0 516856728 15512608768 12541 33554432000 4194304 4196468 140730119408272 140730119390816 140155406819063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
/proc/23995/statm: 3787258 12541 3357 1 0 3748377 0
[pid=23995/tid=23996] ppid=23993 vsize=15149032 memory=-8094235084319000145 CPUtime=0.29 cores=1,3,5,7
/proc/23995/task/23996/stat : 23996 (java) R 23993 23993 21684 0 -1 4202560 7863 0 0 0 27 2 0 0 20 0 15 0 516856729 15512608768 12541 33554432000 4194304 4196468 140730119408272 140155411050176 140155390899550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23997] ppid=23993 vsize=15149032 memory=3472467939106071760 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23997/stat : 23997 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15512608768 12541 33554432000 4194304 4196468 140730119408272 140155334859536 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23998] ppid=23993 vsize=15149032 memory=279620321995136 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23998/stat : 23998 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15512608768 12541 33554432000 4194304 4196468 140730119408272 140155333806992 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23999] ppid=23993 vsize=15149032 memory=279620222182432 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23999/stat : 23999 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15512608768 12541 33554432000 4194304 4196468 140730119408272 140155332754448 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24000] ppid=23993 vsize=15149032 memory=139810111075087 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24000/stat : 24000 (java) S 23993 23993 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516856729 15512608768 12541 33554432000 4194304 4196468 140730119408272 140155331701904 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24001] ppid=23993 vsize=15149032 memory=279620322004352 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24001/stat : 24001 (java) S 23993 23993 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516856731 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154875049968 140155406830210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24002] ppid=23993 vsize=15149032 memory=139810111079695 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24002/stat : 24002 (java) S 23993 23993 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516856731 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154873996192 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24003] ppid=23993 vsize=15149032 memory=139810111105281 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516856731 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154872943600 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15149032 memory=139810111108125 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) S 23993 23993 21684 0 -1 1077944384 452 0 0 0 5 0 0 0 20 0 15 0 516856734 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154870839792 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) S 23993 23993 21684 0 -1 1077944384 458 0 0 0 4 0 0 0 20 0 15 0 516856734 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154869787248 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15149032 memory=139810210920064 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) S 23993 23993 21684 0 -1 1077944384 868 0 0 0 12 0 0 0 20 0 15 0 516856734 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154868734704 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15149032 memory=139810210921512 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856734 15512608768 12541 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51612 KiB
[startup+0.700827 s]
/proc/loadavg: 1.79 1.76 1.72 6/229 24009
/proc/meminfo: memFree=25090240/32770624 swapFree=66936828/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
[pid=23995] ppid=23993 vsize=15151156 memory=113188 CPUtime=1.73 cores=1,3,5,7
/proc/23995/stat : 23995 (java) S 23993 23993 21684 0 -1 1077944320 14366 0 0 0 167 6 0 0 20 0 15 0 516856728 15514783744 28297 33554432000 4194304 4196468 140730119408272 140730119390816 140155406819063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
/proc/23995/statm: 3787789 28297 3453 1 0 3748889 0
[pid=23995/tid=23996] ppid=23993 vsize=15151156 memory=6945208551368380768 CPUtime=0.68 cores=1,3,5,7
/proc/23995/task/23996/stat : 23996 (java) R 23993 23993 21684 0 -1 4202560 8417 0 0 0 64 4 0 0 20 0 15 0 516856729 15514783744 28297 33554432000 4194304 4196468 140730119408272 140155411055600 140155001234574 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23997] ppid=23993 vsize=15151156 memory=7084813469732589655 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23997/stat : 23997 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15514783744 28297 33554432000 4194304 4196468 140730119408272 140155334859536 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23998] ppid=23993 vsize=15151156 memory=7881696724453321575 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23998/stat : 23998 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15514783744 28297 33554432000 4194304 4196468 140730119408272 140155333806992 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23999] ppid=23993 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23995/task/23999/stat : 23999 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856729 15514783744 28297 33554432000 4194304 4196468 140730119408272 140155332754448 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24000] ppid=23993 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24000/stat : 24000 (java) S 23993 23993 21684 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516856729 15514783744 28297 33554432000 4194304 4196468 140730119408272 140155331701904 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24001] ppid=23993 vsize=15151156 memory=11620 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24001/stat : 24001 (java) S 23993 23993 21684 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 516856731 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154875049968 140155406830210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24002] ppid=23993 vsize=15151156 memory=3608 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24002/stat : 24002 (java) S 23993 23993 21684 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516856731 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154873996192 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24003] ppid=23993 vsize=15151156 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516856731 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154872943600 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15151156 memory=1000 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15151156 memory=1560 CPUtime=0.36 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) R 23993 23993 21684 0 -1 4202560 1372 0 0 0 36 0 0 0 20 0 15 0 516856734 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154870825672 140155390203856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15151156 memory=1172 CPUtime=0.36 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) R 23993 23993 21684 0 -1 4202560 1562 0 0 0 36 0 0 0 20 0 15 0 516856734 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154869777040 140155390315851 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15151156 memory=14008 CPUtime=0.3 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) S 23993 23993 21684 0 -1 1077944384 1708 0 0 0 30 0 0 0 20 0 15 0 516856734 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154868734704 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15151156 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15151156 memory=2116 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) S 23993 23993 21684 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516856734 15514783744 28297 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114636 KiB
[startup+1.50084 s]
/proc/loadavg: 1.79 1.76 1.72 3/229 24009
/proc/meminfo: memFree=24967552/32770624 swapFree=66936828/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154872943616 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15153204 memory=547720 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15153204 memory=1448 CPUtime=3.39 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) S 23993 23993 21684 0 -1 1077944384 18203 0 0 0 337 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154870839792 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15153204 memory=547720 CPUtime=3.12 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) S 23993 23993 21684 0 -1 1077944384 17056 0 0 0 310 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154869787248 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15153204 memory=1448 CPUtime=0.85 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) S 23993 23993 21684 0 -1 1077944384 12470 0 0 0 83 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154868734704 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15153204 memory=547720 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15153204 memory=13846369811040801 CPUtime=1.03 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) S 23993 23993 21684 0 -1 1077944384 988 0 0 0 47 56 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 2391.44 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 549168 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/229 24333
/proc/meminfo: memFree=24376044/32770624 swapFree=66936832/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
[pid=23995] ppid=23993 vsize=15153204 memory=547720 CPUtime=2451.47 cores=1,3,5,7
/proc/23995/stat : 23995 (java) S 23993 23993 21684 0 -1 1077944320 79650 0 0 0 245064 83 0 0 20 0 15 0 516856728 15516880896 136930 33554432000 4194304 4196468 140730119408272 140730119390816 140155406819063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
/proc/23995/statm: 3788301 136930 3510 1 0 3749401 0
[pid=23995/tid=23996] ppid=23993 vsize=15153204 memory=547720 CPUtime=2442.45 cores=1,3,5,7
/proc/23995/task/23996/stat : 23996 (java) R 23993 23993 21684 0 -1 4202560 28055 0 0 0 244234 11 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155411058008 140155009292788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23997] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23997/stat : 23997 (java) S 23993 23993 21684 0 -1 1077944384 180 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155334859536 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23998] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23998/stat : 23998 (java) S 23993 23993 21684 0 -1 1077944384 189 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155333806992 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23999] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23999/stat : 23999 (java) S 23993 23993 21684 0 -1 1077944384 214 0 0 0 9 3 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155332754448 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24000] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/24000/stat : 24000 (java) S 23993 23993 21684 0 -1 1077944384 183 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155331701904 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24001] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.05 cores=1,3,5,7
/proc/23995/task/24001/stat : 24001 (java) S 23993 23993 21684 0 -1 1077944384 809 0 0 0 3 2 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154875049968 140155406830210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24002] ppid=23993 vsize=15153204 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24002/stat : 24002 (java) S 23993 23993 21684 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154873996256 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24003] ppid=23993 vsize=15153204 memory=547720 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154872943616 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15153204 memory=545672 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15153204 memory=0 CPUtime=3.39 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) S 23993 23993 21684 0 -1 1077944384 18203 0 0 0 337 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154870839792 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15153204 memory=0 CPUtime=3.12 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) S 23993 23993 21684 0 -1 1077944384 17056 0 0 0 310 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154869787248 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15153204 memory=206175610125186 CPUtime=0.85 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) S 23993 23993 21684 0 -1 1077944384 12470 0 0 0 83 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154868734704 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15153204 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15153204 memory=547720 CPUtime=1.06 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) S 23993 23993 21684 0 -1 1077944384 992 0 0 0 49 57 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 2451.47 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 549168 KiB
[startup+2502.3 s]
/proc/loadavg: 1.92 1.97 1.93 3/231 24422
/proc/meminfo: memFree=24748220/32770624 swapFree=66936832/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
[pid=23995] ppid=23993 vsize=15153204 memory=547720 CPUtime=2511.51 cores=1,3,5,7
/proc/23995/stat : 23995 (java) S 23993 23993 21684 0 -1 1077944320 79819 0 0 0 251066 85 0 0 20 0 15 0 516856728 15516880896 136930 33554432000 4194304 4196468 140730119408272 140730119390816 140155406819063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
/proc/23995/statm: 3788301 136930 3510 1 0 3749401 0
[pid=23995/tid=23996] ppid=23993 vsize=15153204 memory=547720 CPUtime=2502.46 cores=1,3,5,7
/proc/23995/task/23996/stat : 23996 (java) R 23993 23993 21684 0 -1 4202560 28220 0 0 0 250235 11 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155411058008 140155009292788 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23997] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23997/stat : 23997 (java) S 23993 23993 21684 0 -1 1077944384 180 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155334859536 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23998] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23998/stat : 23998 (java) S 23993 23993 21684 0 -1 1077944384 189 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155333806992 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23999] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23999/stat : 23999 (java) S 23993 23993 21684 0 -1 1077944384 214 0 0 0 9 3 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155332754448 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24000] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/24000/stat : 24000 (java) S 23993 23993 21684 0 -1 1077944384 183 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155331701904 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24001] ppid=23993 vsize=15153204 memory=547720 CPUtime=0.05 cores=1,3,5,7
/proc/23995/task/24001/stat : 24001 (java) S 23993 23993 21684 0 -1 1077944384 809 0 0 0 3 2 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154875049968 140155406830210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24002] ppid=23993 vsize=15153204 memory=547720 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24002/stat : 24002 (java) S 23993 23993 21684 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154873996256 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24003] ppid=23993 vsize=15153204 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154872943616 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15153204 memory=3616 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15153204 memory=547720 CPUtime=3.39 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) S 23993 23993 21684 0 -1 1077944384 18203 0 0 0 337 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154870839792 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15153204 memory=3616 CPUtime=3.12 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) S 23993 23993 21684 0 -1 1077944384 17056 0 0 0 310 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154869787248 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15153204 memory=1448 CPUtime=0.85 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) S 23993 23993 21684 0 -1 1077944384 12470 0 0 0 83 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154868734704 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15153204 memory=547720 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15153204 memory=3616 CPUtime=1.09 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) S 23993 23993 21684 0 -1 1077944384 996 0 0 0 50 59 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 2511.51 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 549168 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2510.8 s]
/proc/loadavg: 1.93 1.97 1.93 4/231 24422
/proc/meminfo: memFree=24751072/32770624 swapFree=66936832/67108860
[pid=23993] ppid=23990 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23993/stat : 23993 (xcsp3-exec) S 23990 23993 21684 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516856728 115843072 362 33554432000 4194304 5098028 140735684920048 140735684918152 140143445914236 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 20914176 140735684924283 140735684924525 140735684924525 140735684927434 0
/proc/23993/statm: 28282 362 304 221 0 87 0
[pid=23995] ppid=23993 vsize=15153204 memory=547720 CPUtime=2520.02 cores=1,3,5,7
/proc/23995/stat : 23995 (java) S 23993 23993 21684 0 -1 1077944320 79825 0 0 0 251916 86 0 0 20 0 15 0 516856728 15516880896 136930 33554432000 4194304 4196468 140730119408272 140730119390816 140155406819063 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
/proc/23995/statm: 3788301 136930 3510 1 0 3749401 0
[pid=23995/tid=23996] ppid=23993 vsize=15153204 memory=860 CPUtime=2510.96 cores=1,3,5,7
/proc/23995/task/23996/stat : 23996 (java) R 23993 23993 21684 0 -1 4202560 28224 0 0 0 251085 11 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155411058008 140155008313712 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23997] ppid=23993 vsize=15153204 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23997/stat : 23997 (java) S 23993 23993 21684 0 -1 1077944384 180 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155334859536 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23998] ppid=23993 vsize=15153204 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23998/stat : 23998 (java) S 23993 23993 21684 0 -1 1077944384 189 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155333806992 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=23999] ppid=23993 vsize=15153204 memory=860 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/23999/stat : 23999 (java) S 23993 23993 21684 0 -1 1077944384 214 0 0 0 9 3 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155332754448 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24000] ppid=23993 vsize=15153204 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/23995/task/24000/stat : 24000 (java) S 23993 23993 21684 0 -1 1077944384 183 0 0 0 8 4 0 0 20 0 15 0 516856729 15516880896 136930 33554432000 4194304 4196468 140730119408272 140155331701904 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24001] ppid=23993 vsize=15153204 memory=1980 CPUtime=0.05 cores=1,3,5,7
/proc/23995/task/24001/stat : 24001 (java) S 23993 23993 21684 0 -1 1077944384 809 0 0 0 3 2 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154875049968 140155406830210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24002] ppid=23993 vsize=15153204 memory=2432 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24002/stat : 24002 (java) S 23993 23993 21684 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154873996256 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24003] ppid=23993 vsize=15153204 memory=1760 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24003/stat : 24003 (java) S 23993 23993 21684 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 516856731 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154872943616 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24004] ppid=23993 vsize=15153204 memory=111636 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24004/stat : 24004 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154871892176 140155406837659 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24005] ppid=23993 vsize=15153204 memory=800 CPUtime=3.39 cores=1,3,5,7
/proc/23995/task/24005/stat : 24005 (java) S 23993 23993 21684 0 -1 1077944384 18203 0 0 0 337 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154870839792 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24006] ppid=23993 vsize=15153204 memory=547720 CPUtime=3.12 cores=1,3,5,7
/proc/23995/task/24006/stat : 24006 (java) S 23993 23993 21684 0 -1 1077944384 17056 0 0 0 310 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154869787248 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24007] ppid=23993 vsize=15153204 memory=1172 CPUtime=0.85 cores=1,3,5,7
/proc/23995/task/24007/stat : 24007 (java) S 23993 23993 21684 0 -1 1077944384 12470 0 0 0 83 2 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154868734704 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24008] ppid=23993 vsize=15153204 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/23995/task/24008/stat : 24008 (java) S 23993 23993 21684 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154867682400 140155406829269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
[pid=23995/tid=24009] ppid=23993 vsize=15153204 memory=14076 CPUtime=1.09 cores=1,3,5,7
/proc/23995/task/24009/stat : 24009 (java) S 23993 23993 21684 0 -1 1077944384 998 0 0 0 50 59 0 0 20 0 15 0 516856734 15516880896 136930 33554432000 4194304 4196468 140730119408272 140154866628912 140155406830210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29696000 140730119410671 140730119410842 140730119410842 140730119413711 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15266332 KiB
Current children cumulated memory: 549168 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2510.81 s]
# the end of solver process 23993 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001143 s, system=0.001143 s
[startup+2510.81 s]
# the end of solver process 23995 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.18 s, system=0.865387 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
Child status: 143
Real time (s): 2510.81
CPU time (s): 2520.04
CPU user time (s): 2519.18
CPU system time (s): 0.865387
CPU usage (%): 100.368
Max. virtual memory (cumulated for all children) (KiB): 15266332
Max. memory (cumulated for all children) (KiB): 549168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.18
system time used= 0.865387
maximum resident set size= 554664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80762
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 57852
involuntary context switches= 718
# summary of solver processes directly reported to runsolver:
# pid: 23993,23995
# total CPU time (s): 2520.04
# total CPU user time (s): 2519.18
# total CPU system time (s): 0.865387
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.9061 second user time and 23.5148 second system time
The end