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 (13189 MiB free)
memory of node 1: 16384 MiB (7741 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399092-1568698692/watcher-4399092-1568698692 -o /tmp/evaluation-result-4399092-1568698692/solver-4399092-1568698692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568698192-7960 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 970073354 HOME/instance-4399092-1568698692.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=9489, runsolver pid=9486
Current StackSize limit: 8192 KiB
[startup+0.10009 s]*
/proc/loadavg: 6.71 5.55 3.45 7/229 9505
/proc/meminfo: memFree=21315220/32770624 swapFree=66967456/67108860
[pid=9489] ppid=9486 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (xcsp3-exec) S 9486 9489 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446136020 115843072 362 33554432000 4194304 5098028 140729712153504 140729712151608 139874882007676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10153984 140729712161659 140729712161901 140729712161901 140729712164810 0
/proc/9489/statm: 28282 362 304 221 0 87 0
[pid=9491] ppid=9489 vsize=15144776 memory=28952 CPUtime=0.13 cores=0,2,4,6
/proc/9491/stat : 9491 (java) S 9489 9489 7929 0 -1 1077944320 5647 0 0 0 12 1 0 0 20 0 15 0 446136021 15508250624 7238 33554432000 4194304 4196468 140727933679344 140727933661888 139901465829111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
/proc/9491/statm: 3786194 7238 3149 1 0 3748377 0
[pid=9491/tid=9492] ppid=9489 vsize=15144776 memory=7100839887184036978 CPUtime=0.08 cores=0,2,4,6
/proc/9491/task/9492/stat : 9492 (java) R 9489 9489 7929 0 -1 4202560 3570 0 0 0 8 0 0 0 20 0 15 0 446136021 15508250624 7238 33554432000 4194304 4196468 140727933679344 139901470061904 139901465841046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9493] ppid=9489 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9493/stat : 9493 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 7238 33554432000 4194304 4196468 140727933679344 139901393869584 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9494] ppid=9489 vsize=15144776 memory=140004857935488 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9494/stat : 9494 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 7238 33554432000 4194304 4196468 140727933679344 139901392817040 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9495] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9495/stat : 9495 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 7238 33554432000 4194304 4196468 140727933679344 139901391764496 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9496] ppid=9489 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9496/stat : 9496 (java) S 9489 9489 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 7238 33554432000 4194304 4196468 140727933679344 139901390711952 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9497] ppid=9489 vsize=15144776 memory=140004857935488 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9497/stat : 9497 (java) S 9489 9489 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446136023 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900934055920 139901465840258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9498] ppid=9489 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9498/stat : 9498 (java) S 9489 9489 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446136024 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900933002144 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9499] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9499/stat : 9499 (java) S 9489 9489 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446136024 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900931949552 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9500] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9500/stat : 9500 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900930898128 139901465847707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9501] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9501/stat : 9501 (java) R 9489 9489 7929 0 -1 1077944384 421 0 0 0 0 0 0 0 20 0 15 0 446136026 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900929845840 139901465839317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9502] ppid=9489 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9502/stat : 9502 (java) R 9489 9489 7929 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 15 0 446136026 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900928784704 139901445689785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9503] ppid=9489 vsize=15144776 memory=140004857935488 CPUtime=0.02 cores=0,2,4,6
/proc/9491/task/9503/stat : 9503 (java) R 9489 9489 7929 0 -1 4202560 357 0 0 0 2 0 0 0 20 0 15 0 446136026 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900927740656 139901449909598 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9504] ppid=9489 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9504/stat : 9504 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900926688352 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9505] ppid=9489 vsize=15144776 memory=140004857935488 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9505/stat : 9505 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136027 15508250624 7238 33554432000 4194304 4196468 140727933679344 139900925634864 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30400 KiB
[startup+0.210929 s]*
/proc/loadavg: 6.71 5.55 3.45 6/229 9505
/proc/meminfo: memFree=21144396/32770624 swapFree=66967456/67108860
[pid=9489] ppid=9486 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (xcsp3-exec) S 9486 9489 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446136020 115843072 362 33554432000 4194304 5098028 140729712153504 140729712151608 139874882007676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10153984 140729712161659 140729712161901 140729712161901 140729712164810 0
/proc/9489/statm: 28282 362 304 221 0 87 0
[pid=9491] ppid=9489 vsize=15144776 memory=40808 CPUtime=0.34 cores=0,2,4,6
/proc/9491/stat : 9491 (java) S 9489 9489 7929 0 -1 1077944320 9449 0 0 0 31 3 0 0 20 0 15 0 446136021 15508250624 10202 33554432000 4194304 4196468 140727933679344 140727933661888 139901465829111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
/proc/9491/statm: 3786194 10202 3297 1 0 3748377 0
[pid=9491/tid=9492] ppid=9489 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9491/task/9492/stat : 9492 (java) R 9489 9489 7929 0 -1 4202560 6601 0 0 0 18 2 0 0 20 0 15 0 446136021 15508250624 10202 33554432000 4194304 4196468 140727933679344 139901470061840 139901465841046 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9493] ppid=9489 vsize=15144776 memory=9034 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9493/stat : 9493 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 10202 33554432000 4194304 4196468 140727933679344 139901393869584 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9494] ppid=9489 vsize=15144776 memory=140004859481166 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9494/stat : 9494 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 10202 33554432000 4194304 4196468 140727933679344 139901392817040 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9495] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9495/stat : 9495 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 10202 33554432000 4194304 4196468 140727933679344 139901391764496 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9496] ppid=9489 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9496/stat : 9496 (java) S 9489 9489 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446136022 15508250624 10202 33554432000 4194304 4196468 140727933679344 139901390711952 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9497] ppid=9489 vsize=15144776 memory=140004857935488 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9497/stat : 9497 (java) S 9489 9489 7929 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446136023 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900934055920 139901465840258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9498] ppid=9489 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9498/stat : 9498 (java) S 9489 9489 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446136024 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900933002144 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9499] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9499/stat : 9499 (java) S 9489 9489 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446136024 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900931949552 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9500] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9500/stat : 9500 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900930898128 139901465847707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9501] ppid=9489 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9491/task/9501/stat : 9501 (java) S 9489 9489 7929 0 -1 1077944384 518 0 0 0 1 0 0 0 20 0 15 0 446136026 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900929845744 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9502] ppid=9489 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/9491/task/9502/stat : 9502 (java) S 9489 9489 7929 0 -1 1077944384 262 0 0 0 2 0 0 0 20 0 15 0 446136026 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900928793200 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9503] ppid=9489 vsize=15144776 memory=140004857935488 CPUtime=0.07 cores=0,2,4,6
/proc/9491/task/9503/stat : 9503 (java) R 9489 9489 7929 0 -1 4202560 764 0 0 0 7 0 0 0 20 0 15 0 446136026 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900927740656 139901465841046 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9504] ppid=9489 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9504/stat : 9504 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900926688352 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9505] ppid=9489 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9505/stat : 9505 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136027 15508250624 10202 33554432000 4194304 4196468 140727933679344 139900925634864 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42256 KiB
[startup+0.312246 s]*
/proc/loadavg: 6.71 5.55 3.45 8/229 9505
/proc/meminfo: memFree=20949764/32770624 swapFree=66967456/67108860
[pid=9489] ppid=9486 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (xcsp3-exec) S 9486 9489 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446136020 115843072 362 33554432000 4194304 5098028 140729712153504 140729712151608 139874882007676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10153984 140729712161659 140729712161901 140729712161901 140729712164810 0
/proc/9489/statm: 28282 362 304 221 0 87 0
[pid=9491] ppid=9489 vsize=15149032 memory=49860 CPUtime=0.53 cores=0,2,4,6
/proc/9491/stat : 9491 (java) S 9489 9489 7929 0 -1 1077944320 10797 0 0 0 49 4 0 0 20 0 15 0 446136021 15512608768 12465 33554432000 4194304 4196468 140727933679344 140727933661888 139901465829111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
/proc/9491/statm: 3787258 12465 3370 1 0 3748377 0
[pid=9491/tid=9492] ppid=9489 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/9491/task/9492/stat : 9492 (java) R 9489 9489 7929 0 -1 4202560 7719 0 0 0 27 3 0 0 20 0 15 0 446136021 15512608768 12465 33554432000 4194304 4196468 140727933679344 139901470060224 139901449909598 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9493] ppid=9489 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9493/stat : 9493 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15512608768 12465 33554432000 4194304 4196468 140727933679344 139901393869584 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9494] ppid=9489 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9494/stat : 9494 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15512608768 12465 33554432000 4194304 4196468 140727933679344 139901392817040 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9495] ppid=9489 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9495/stat : 9495 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15512608768 12465 33554432000 4194304 4196468 140727933679344 139901391764496 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9496] ppid=9489 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9496/stat : 9496 (java) S 9489 9489 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446136022 15512608768 12465 33554432000 4194304 4196468 140727933679344 139901390711952 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9497] ppid=9489 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9497/stat : 9497 (java) S 9489 9489 7929 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446136023 15512608768 12465 33554432000 4194304 4196468 140727933679344 139900934055920 139901465840258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9498] ppid=9489 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9498/stat : 9498 (java) S 9489 9489 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446136024 15512608768 12465 33554432000 4194304 4196468 140727933679344 139900933002144 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9499] ppid=9489 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9499/stat : 9499 (java) S 9489 9489 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446136024 15512608768 12465 33554432000 4194304 4196468 140727933679344 139900931949552 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9500] ppid=9489 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9500/stat : 9500 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15512608768 12465 33554432000 4194304 4196468 140727933679344 139900930898128 139901465847707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9501] ppid=9489 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=0,2,4,6
/proc/9491/task/9501/stat : 9501 (java) R 9489 9489 7929 0 -1 4202560 636 0 0 0 4 0 0 0 20 0 15 0 446136026 15512608768 12465 33554432000 4194304 4196468 140727933679344 139900929845744 139901447350282 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9502] ppid=9489 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9491/task/9502/stat : 9502 (java) S 9489 9489 7929 0 -1 1077944384 275 0 0 0 4 0 0 0 20 0 15 0 446136026 15512608768 12465 33554432000 4194304 4196468 140727933679344 139900928793200 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9503] ppid=9489 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9491/task/9503/stat : 9503 (java) S 9489 9489 7929 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 446136026 15512608768 12465 33554432000 4194304 4196468 140727933679344 139900927740656 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9504] ppid=9489 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9504/stat : 9504 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15512608768 12496 33554432000 4194304 4196468 140727933679344 139900926688352 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9505] ppid=9489 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9505/stat : 9505 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136027 15512608768 12496 33554432000 4194304 4196468 140727933679344 139900925634864 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51308 KiB
[startup+0.700796 s]
/proc/loadavg: 6.71 5.55 3.45 6/229 9505
/proc/meminfo: memFree=20803676/32770624 swapFree=66967456/67108860
[pid=9489] ppid=9486 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (xcsp3-exec) S 9486 9489 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446136020 115843072 362 33554432000 4194304 5098028 140729712153504 140729712151608 139874882007676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10153984 140729712161659 140729712161901 140729712161901 140729712164810 0
/proc/9489/statm: 28282 362 304 221 0 87 0
[pid=9491] ppid=9489 vsize=15151156 memory=127592 CPUtime=1.83 cores=0,2,4,6
/proc/9491/stat : 9491 (java) S 9489 9489 7929 0 -1 1077944320 14345 0 0 0 177 6 0 0 20 0 15 0 446136021 15514783744 31898 33554432000 4194304 4196468 140727933679344 140727933661888 139901465829111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
/proc/9491/statm: 3787789 31898 3449 1 0 3748889 0
[pid=9491/tid=9492] ppid=9489 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/9491/task/9492/stat : 9492 (java) R 9489 9489 7929 0 -1 4202560 8281 0 0 0 63 5 0 0 20 0 15 0 446136021 15514783744 31898 33554432000 4194304 4196468 140727933679344 139901470065440 139901064163919 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9493] ppid=9489 vsize=15151156 memory=47216 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9493/stat : 9493 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15514783744 31898 33554432000 4194304 4196468 140727933679344 139901393869584 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9494] ppid=9489 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9494/stat : 9494 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15514783744 31898 33554432000 4194304 4196468 140727933679344 139901392817040 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9495] ppid=9489 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9495/stat : 9495 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136022 15514783744 31898 33554432000 4194304 4196468 140727933679344 139901391764496 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9496] ppid=9489 vsize=15151156 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9496/stat : 9496 (java) S 9489 9489 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446136022 15514783744 31898 33554432000 4194304 4196468 140727933679344 139901390711952 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9497] ppid=9489 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9497/stat : 9497 (java) S 9489 9489 7929 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446136023 15514783744 31898 33554432000 4194304 4196468 140727933679344 139900934055920 139901465840258 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9498] ppid=9489 vsize=15151156 memory=4068 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9498/stat : 9498 (java) S 9489 9489 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446136024 15514783744 31898 33554432000 4194304 4196468 140727933679344 139900933002144 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9499] ppid=9489 vsize=15151156 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9499/stat : 9499 (java) S 9489 9489 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446136024 15514783744 31898 33554432000 4194304 4196468 140727933679344 139900931949552 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9500] ppid=9489 vsize=15151156 memory=5948 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9500/stat : 9500 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15514783744 32410 33554432000 4194304 4196468 140727933679344 139900930898128 139901465847707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9501] ppid=9489 vsize=15151156 memory=10564 CPUtime=0.38 cores=0,2,4,6
/proc/9491/task/9501/stat : 9501 (java) R 9489 9489 7929 0 -1 4202560 1808 0 0 0 38 0 0 0 20 0 15 0 446136026 15514783744 32410 33554432000 4194304 4196468 140727933679344 139900929834416 139901443846049 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9502] ppid=9489 vsize=15151156 memory=716 CPUtime=0.39 cores=0,2,4,6
/proc/9491/task/9502/stat : 9502 (java) R 9489 9489 7929 0 -1 4202560 1130 0 0 0 39 0 0 0 20 0 15 0 446136026 15514783744 32410 33554432000 4194304 4196468 140727933679344 139900928781104 139901443804416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9503] ppid=9489 vsize=15151156 memory=780 CPUtime=0.35 cores=0,2,4,6
/proc/9491/task/9503/stat : 9503 (java) S 9489 9489 7929 0 -1 1077944384 1819 0 0 0 35 0 0 0 20 0 15 0 446136026 15514783744 32410 33554432000 4194304 4196468 140727933679344 139900927740656 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9504] ppid=9489 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9504/stat : 9504 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446136026 15514783744 32410 33554432000 4194304 4196468 140727933679344 139900926688352 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9505] ppid=9489 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9505/stat : 9505 (java) S 9489 9489 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446136027 15514783744 32410 33554432000 4194304 4196468 140727933679344 139900925634864 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 129040 KiB
[startup+1.50352 s]
/proc/loadavg: 6.71 5.55 3.45 6/229 9505
/proc/meminfo: memFree=20681856/32770624 swapFree=66967456/67108860
[pid=9489] ppid=9486 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (xcsp3-exec) S 9486 9489 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446136020 115843072 362 33554432000 4194304 5098028 140729712153504 140729712151608 139874882007676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10153984 140729712161659 140729712161901 140729712161901 140729712164810 0
/proc/9489/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/9491/stat : 9491 (java) S 9489 9489 7929 0 -1 1077944320 81301 0 0 0 231187 111 0 0 20 0 19 0 446136021 15787429888 892241 33554432000 4194304 4196468 140727933679344 140727933661888 139901465829111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
/proc/9491/statm: 3854353 892241 3521 1 0 3815453 0
[pid=9491/tid=9492] ppid=9489 vsize=15417412 memory=3568964 CPUtime=2.67 cores=0,2,4,6
/proc/9491/task/9492/stat : 9492 (java) S 9489 9489 7929 0 -1 1077944384 9550 0 0 0 257 10 0 0 20 0 19 0 446136021 15787429888 892241 33554432000 4194304 4196468 140727933679344 139901470069888 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9493] ppid=9489 vsize=15417412 memory=3568964 CPUtime=0.38 cores=0,2,4,6
/proc/9491/task/9493/stat : 9493 (java) S 9489 9489 7929 0 -1 1077944384 998 0 0 0 28 10 0 0 20 0 19 0 446136022 15787429888 892241 33554432000 4194304 4196468 140727933679344 139901393869584 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9494] ppid=9489 vsize=15417412 memory=3568964 CPUtime=0.38 cores=0,2,4,6
/proc/9491/task/9494/stat : 9494 (java) S 9489 9489 7929 0 -1 1077944384 1089 0 0 0 28 10 0 0 20 0 19 0 446136022 15787429888 892241 33554432000 4194304 4196468 140727933679344 139901392817040 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9495] ppid=9489 vsize=15417412 memory=3568964 CPUtime=0.36 cores=0,2,4,6
/proc/9491/task/9495/stat : 9495 (java) S 9489 9489 7929 0 -1 1077944384 1264 0 0 0 26 10 0 0 20 0 19 0 446136022 15787429888 892241 33554432000 4194304 4196468 140727933679344 139901391764496 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9496] ppid=9489 vsize=15417412 memory=3568964 CPUtime=0.39 cores=0,2,4,6
/proc/9491/task/9496/stat : 9496 (java) S 9489 9489 7929 0 -1 1077944384 4459 0 0 0 29 10 0 0 20 0 19 0 446136022 15787429888 892241 33554432000 4194304 4196468 140727933679344 139901390711952 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9497] ppid=9489 vsize=15417412 memory=1448 CPUtime=0.06 cores=0,2,4,6
/proc/9491/task/9497/stat : 9497 (java) S 9489 9489 7929 0 -1 1077944384 3367 0 0 0 3 3 0 0 20 0 19 0 446136023 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900934055920 139901465840258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 40 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9498] ppid=9489 vsize=15417412 memory=3568964 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9498/stat : 9498 (java) S 9489 9489 7929 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 446136024 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900933002208 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9499] ppid=9489 vsize=15417412 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9499/stat : 9499 (java) S 9489 9489 7929 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 446136024 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900931949568 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9500] ppid=9489 vsize=15417412 memory=3568964 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9500/stat : 9500 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446136026 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900930898128 139901465847707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9501] ppid=9489 vsize=15417412 memory=3568964 CPUtime=3.19 cores=0,2,4,6
/proc/9491/task/9501/stat : 9501 (java) S 9489 9489 7929 0 -1 1077944384 10176 0 0 0 318 1 0 0 20 0 19 0 446136026 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900929845744 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9502] ppid=9489 vsize=15417412 memory=1448 CPUtime=3.33 cores=0,2,4,6
/proc/9491/task/9502/stat : 9502 (java) S 9489 9489 7929 0 -1 1077944384 10225 0 0 0 332 1 0 0 20 0 19 0 446136026 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900928793200 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9503] ppid=9489 vsize=15417412 memory=3568964 CPUtime=0.95 cores=0,2,4,6
/proc/9491/task/9503/stat : 9503 (java) S 9489 9489 7929 0 -1 1077944384 6796 0 0 0 94 1 0 0 20 0 19 0 446136026 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900927740656 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9504] ppid=9489 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9504/stat : 9504 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446136026 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900926688352 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9505] ppid=9489 vsize=15417412 memory=3620 CPUtime=0.32 cores=0,2,4,6
/proc/9491/task/9505/stat : 9505 (java) S 9489 9489 7929 0 -1 1077944384 1049 0 0 0 16 16 0 0 20 0 19 0 446136027 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900925634864 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9506] ppid=9489 vsize=15417412 memory=1060 CPUtime=576.32 cores=0,2,4,6
/proc/9491/task/9506/stat : 9506 (java) R 9489 9489 7929 0 -1 4202560 2101 0 0 0 57629 3 0 0 20 0 19 0 446136307 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900916657112 139901069195907 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9507] ppid=9489 vsize=15417412 memory=4068 CPUtime=577.09 cores=0,2,4,6
/proc/9491/task/9507/stat : 9507 (java) R 9489 9489 7929 0 -1 4202560 22972 0 0 0 57671 38 0 0 20 0 19 0 446136307 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900915601184 139901062850846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9508] ppid=9489 vsize=15417412 memory=1720 CPUtime=575.83 cores=0,2,4,6
/proc/9491/task/9508/stat : 9508 (java) R 9489 9489 7929 0 -1 4202560 1172 0 0 0 57583 0 0 0 20 0 19 0 446136307 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900914552656 139901070108574 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9509] ppid=9489 vsize=15417412 memory=3620 CPUtime=571.72 cores=0,2,4,6
/proc/9491/task/9509/stat : 9509 (java) R 9489 9489 7929 0 -1 4202560 4766 0 0 0 57161 11 0 0 20 0 19 0 446136307 15787429888 892241 33554432000 4194304 4196468 140727933679344 139900913496312 139901068833689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
Current children cumulated CPU time: 2312.98 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3570412 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+634.302 s]
/proc/loadavg: 9.04 8.28 6.00 10/237 9788
/proc/meminfo: memFree=25715960/32770624 swapFree=66967456/67108860
[pid=9489] ppid=9486 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (xcsp3-exec) S 9486 9489 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446136020 115843072 362 33554432000 4194304 5098028 140729712153504 140729712151608 139874882007676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10153984 140729712161659 140729712161901 140729712161901 140729712164810 0
/proc/9489/statm: 28282 362 304 221 0 87 0
[pid=9491] ppid=9489 vsize=15417412 memory=3568968 CPUtime=2520.02 cores=0,2,4,6
/proc/9491/stat : 9491 (java) S 9489 9489 7929 0 -1 1077944320 83502 0 0 0 251890 112 0 0 20 0 19 0 446136021 15787429888 892242 33554432000 4194304 4196468 140727933679344 140727933661888 139901465829111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
/proc/9491/statm: 3854353 892242 3521 1 0 3815453 0
[pid=9491/tid=9492] ppid=9489 vsize=15417412 memory=3568968 CPUtime=2.67 cores=0,2,4,6
/proc/9491/task/9492/stat : 9492 (java) S 9489 9489 7929 0 -1 1077944384 9550 0 0 0 257 10 0 0 20 0 19 0 446136021 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901470069888 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9493] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.38 cores=0,2,4,6
/proc/9491/task/9493/stat : 9493 (java) S 9489 9489 7929 0 -1 1077944384 998 0 0 0 28 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901393869584 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9494] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.38 cores=0,2,4,6
/proc/9491/task/9494/stat : 9494 (java) S 9489 9489 7929 0 -1 1077944384 1089 0 0 0 28 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901392817040 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9495] ppid=9489 vsize=15417412 memory=1448 CPUtime=0.36 cores=0,2,4,6
/proc/9491/task/9495/stat : 9495 (java) S 9489 9489 7929 0 -1 1077944384 1264 0 0 0 26 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901391764496 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9496] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.39 cores=0,2,4,6
/proc/9491/task/9496/stat : 9496 (java) S 9489 9489 7929 0 -1 1077944384 4459 0 0 0 29 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901390711952 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9497] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.06 cores=0,2,4,6
/proc/9491/task/9497/stat : 9497 (java) S 9489 9489 7929 0 -1 1077944384 3447 0 0 0 3 3 0 0 20 0 19 0 446136023 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900934055920 139901465840258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9498] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9498/stat : 9498 (java) S 9489 9489 7929 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 446136024 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900933002208 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9499] ppid=9489 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9499/stat : 9499 (java) S 9489 9489 7929 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 446136024 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900931949568 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9500] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9500/stat : 9500 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900930898128 139901465847707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9501] ppid=9489 vsize=15417412 memory=1448 CPUtime=3.2 cores=0,2,4,6
/proc/9491/task/9501/stat : 9501 (java) S 9489 9489 7929 0 -1 1077944384 10183 0 0 0 319 1 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900929845744 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9502] ppid=9489 vsize=15417412 memory=3568968 CPUtime=3.33 cores=0,2,4,6
/proc/9491/task/9502/stat : 9502 (java) S 9489 9489 7929 0 -1 1077944384 10227 0 0 0 332 1 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900928793200 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9503] ppid=9489 vsize=15417412 memory=1448 CPUtime=0.95 cores=0,2,4,6
/proc/9491/task/9503/stat : 9503 (java) S 9489 9489 7929 0 -1 1077944384 7150 0 0 0 94 1 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900927740656 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9504] ppid=9489 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9504/stat : 9504 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900926688352 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9505] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.32 cores=0,2,4,6
/proc/9491/task/9505/stat : 9505 (java) S 9489 9489 7929 0 -1 1077944384 1076 0 0 0 16 16 0 0 20 0 19 0 446136027 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900925634864 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9506] ppid=9489 vsize=15417412 memory=1448 CPUtime=628.3 cores=0,2,4,6
/proc/9491/task/9506/stat : 9506 (java) R 9489 9489 7929 0 -1 4202560 2222 0 0 0 62827 3 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900916653112 139901069315854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9507] ppid=9489 vsize=15417412 memory=1448 CPUtime=629.07 cores=0,2,4,6
/proc/9491/task/9507/stat : 9507 (java) R 9489 9489 7929 0 -1 4202560 23957 0 0 0 62869 38 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900915601528 139901062850613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9508] ppid=9489 vsize=15417412 memory=1448 CPUtime=626.88 cores=0,2,4,6
/proc/9491/task/9508/stat : 9508 (java) R 9489 9489 7929 0 -1 4202560 1249 0 0 0 62688 0 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900914548832 139901069315798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9509] ppid=9489 vsize=15417412 memory=3568968 CPUtime=623.72 cores=0,2,4,6
/proc/9491/task/9509/stat : 9509 (java) R 9489 9489 7929 0 -1 4202560 5314 0 0 0 62361 11 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900913496312 139901068833423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3570416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+634.336 s]
# the end of solver process 9489 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.00116 s, system=0.00116 s
[startup+634.419 s]
# the end of solver process 9491 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.22 s, system=1.16605 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+634.302 s]
/proc/loadavg: 9.04 8.28 6.00 10/237 9788
/proc/meminfo: memFree=25715960/32770624 swapFree=66967456/67108860
[pid=9489] ppid=9486 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (xcsp3-exec) S 9486 9489 7929 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446136020 115843072 362 33554432000 4194304 5098028 140729712153504 140729712151608 139874882007676 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10153984 140729712161659 140729712161901 140729712161901 140729712164810 0
/proc/9489/statm: 28282 362 304 221 0 87 0
[pid=9491] ppid=9489 vsize=15417412 memory=3568968 CPUtime=2520.02 cores=0,2,4,6
/proc/9491/stat : 9491 (java) S 9489 9489 7929 0 -1 1077944320 83502 0 0 0 251890 112 0 0 20 0 19 0 446136021 15787429888 892242 33554432000 4194304 4196468 140727933679344 140727933661888 139901465829111 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
/proc/9491/statm: 3854353 892242 3521 1 0 3815453 0
[pid=9491/tid=9492] ppid=9489 vsize=15417412 memory=3568968 CPUtime=2.67 cores=0,2,4,6
/proc/9491/task/9492/stat : 9492 (java) S 9489 9489 7929 0 -1 1077944384 9550 0 0 0 257 10 0 0 20 0 19 0 446136021 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901470069888 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9493] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.38 cores=0,2,4,6
/proc/9491/task/9493/stat : 9493 (java) S 9489 9489 7929 0 -1 1077944384 998 0 0 0 28 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901393869584 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9494] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.38 cores=0,2,4,6
/proc/9491/task/9494/stat : 9494 (java) S 9489 9489 7929 0 -1 1077944384 1089 0 0 0 28 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901392817040 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9495] ppid=9489 vsize=15417412 memory=1448 CPUtime=0.36 cores=0,2,4,6
/proc/9491/task/9495/stat : 9495 (java) S 9489 9489 7929 0 -1 1077944384 1264 0 0 0 26 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901391764496 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9496] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.39 cores=0,2,4,6
/proc/9491/task/9496/stat : 9496 (java) S 9489 9489 7929 0 -1 1077944384 4459 0 0 0 29 10 0 0 20 0 19 0 446136022 15787429888 892242 33554432000 4194304 4196468 140727933679344 139901390711952 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9497] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.06 cores=0,2,4,6
/proc/9491/task/9497/stat : 9497 (java) S 9489 9489 7929 0 -1 1077944384 3447 0 0 0 3 3 0 0 20 0 19 0 446136023 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900934055920 139901465840258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 40 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9498] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9498/stat : 9498 (java) S 9489 9489 7929 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 19 0 446136024 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900933002208 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9499] ppid=9489 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9499/stat : 9499 (java) S 9489 9489 7929 0 -1 1077944384 30 0 0 0 0 0 0 0 20 0 19 0 446136024 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900931949568 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9500] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9500/stat : 9500 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900930898128 139901465847707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9501] ppid=9489 vsize=15417412 memory=1448 CPUtime=3.2 cores=0,2,4,6
/proc/9491/task/9501/stat : 9501 (java) S 9489 9489 7929 0 -1 1077944384 10183 0 0 0 319 1 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900929845744 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9502] ppid=9489 vsize=15417412 memory=3568968 CPUtime=3.33 cores=0,2,4,6
/proc/9491/task/9502/stat : 9502 (java) S 9489 9489 7929 0 -1 1077944384 10227 0 0 0 332 1 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900928793200 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9503] ppid=9489 vsize=15417412 memory=1448 CPUtime=0.95 cores=0,2,4,6
/proc/9491/task/9503/stat : 9503 (java) S 9489 9489 7929 0 -1 1077944384 7150 0 0 0 94 1 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900927740656 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9504] ppid=9489 vsize=15417412 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/9491/task/9504/stat : 9504 (java) S 9489 9489 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446136026 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900926688352 139901465839317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9505] ppid=9489 vsize=15417412 memory=3568968 CPUtime=0.32 cores=0,2,4,6
/proc/9491/task/9505/stat : 9505 (java) S 9489 9489 7929 0 -1 1077944384 1076 0 0 0 16 16 0 0 20 0 19 0 446136027 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900925634864 139901465840258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 39 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9506] ppid=9489 vsize=15417412 memory=1448 CPUtime=628.3 cores=0,2,4,6
/proc/9491/task/9506/stat : 9506 (java) R 9489 9489 7929 0 -1 4202560 2222 0 0 0 62827 3 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900916653112 139901069315854 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9507] ppid=9489 vsize=15417412 memory=1448 CPUtime=629.07 cores=0,2,4,6
/proc/9491/task/9507/stat : 9507 (java) R 9489 9489 7929 0 -1 4202560 23957 0 0 0 62869 38 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900915601528 139901062850613 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9508] ppid=9489 vsize=15417412 memory=1448 CPUtime=626.88 cores=0,2,4,6
/proc/9491/task/9508/stat : 9508 (java) R 9489 9489 7929 0 -1 4202560 1249 0 0 0 62688 0 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900914548832 139901069315798 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
[pid=9491/tid=9509] ppid=9489 vsize=15417412 memory=3568968 CPUtime=623.72 cores=0,2,4,6
/proc/9491/task/9509/stat : 9509 (java) R 9489 9489 7929 0 -1 4202560 5314 0 0 0 62361 11 0 0 20 0 19 0 446136307 15787429888 892242 33554432000 4194304 4196468 140727933679344 139900913496312 139901068833423 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18014208 140727933686767 140727933686938 140727933686938 140727933689807 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 3570416 KiB
Child status: 143
Real time (s): 634.419
CPU time (s): 2520.39
CPU user time (s): 2519.22
CPU system time (s): 1.16605
CPU usage (%): 397.275
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 3570416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.22
system time used= 1.16605
maximum resident set size= 3569740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84743
page faults= 0
swaps= 0
block input operations= 0
block output operations= 616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16846
involuntary context switches= 50464
# summary of solver processes directly reported to runsolver:
# pid: 9489,9491
# total CPU time (s): 2520.39
# total CPU user time (s): 2519.22
# total CPU system time (s): 1.16605
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.07112 second user time and 7.24322 second system time
The end