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 (9883 MiB free)
memory of node 1: 16384 MiB (3336 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394292-1568335007/watcher-4394292-1568335007 -o /tmp/evaluation-result-4394292-1568335007/solver-4394292-1568335007 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1138215649 HOME/instance-4394292-1568335007.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=1935, runsolver pid=1932
[startup+0.101028 s]*
/proc/loadavg: 8.43 8.23 8.18 7/233 1951
/proc/meminfo: memFree=13519524/32770624 swapFree=66959216/67108860
[pid=1935] ppid=1932 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1935/stat : 1935 (xcsp3-exec) S 1932 1935 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409440881 115843072 362 33554432000 4194304 5098028 140729711874864 140729711872968 139901415768700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16637952 140729711879034 140729711879277 140729711879277 140729711882186 0
/proc/1935/statm: 28282 362 304 221 0 87 0
[pid=1937] ppid=1935 vsize=15144768 memory=29360 CPUtime=0.12 cores=0,2,4,6
/proc/1937/stat : 1937 (java) S 1935 1935 18186 0 -1 1077944320 5805 0 0 0 11 1 0 0 20 0 15 0 409440882 15508242432 7340 33554432000 4194304 4196468 140731832325536 140731832308080 140709582647031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
/proc/1937/statm: 3786192 7340 3120 1 0 3748377 0
[pid=1937/tid=1938] ppid=1935 vsize=15144768 memory=-6664436420846797971 CPUtime=0.09 cores=0,2,4,6
/proc/1937/task/1938/stat : 1938 (java) R 1935 1935 18186 0 -1 4202560 3723 0 0 0 8 1 0 0 20 0 15 0 409440882 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709586879808 140709582658966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1939] ppid=1935 vsize=15144768 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1939/stat : 1939 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709510687760 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1940] ppid=1935 vsize=15144768 memory=140209515841152 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1940/stat : 1940 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709509635216 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1941] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1941/stat : 1941 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709508582160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1942] ppid=1935 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1942/stat : 1942 (java) S 1935 1935 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709507529616 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1943] ppid=1935 vsize=15144768 memory=140209515841152 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1943/stat : 1943 (java) S 1935 1935 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409440884 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709051255024 140709582658178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1944] ppid=1935 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1944/stat : 1944 (java) S 1935 1935 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409440885 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709050201248 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1945] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1945/stat : 1945 (java) S 1935 1935 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409440885 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709049148144 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1946] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1946/stat : 1946 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440887 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709048096720 140709582665627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1947] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1947/stat : 1947 (java) R 1935 1935 18186 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 15 0 409440887 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709047044848 140709582658178 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1948] ppid=1935 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1948/stat : 1948 (java) S 1935 1935 18186 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 409440887 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709045992304 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1949] ppid=1935 vsize=15144768 memory=140209515841152 CPUtime=0.02 cores=0,2,4,6
/proc/1937/task/1949/stat : 1949 (java) R 1935 1935 18186 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 15 0 409440887 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709044939248 140709582658966 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1950] ppid=1935 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1950/stat : 1950 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440888 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709043886944 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1951] ppid=1935 vsize=15144768 memory=140209515841152 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1951/stat : 1951 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440888 15508242432 7340 33554432000 4194304 4196468 140731832325536 140709042833968 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30808 KiB
[startup+0.211046 s]*
/proc/loadavg: 8.43 8.23 8.18 7/233 1951
/proc/meminfo: memFree=13507536/32770624 swapFree=66959216/67108860
[pid=1935] ppid=1932 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1935/stat : 1935 (xcsp3-exec) S 1932 1935 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409440881 115843072 362 33554432000 4194304 5098028 140729711874864 140729711872968 139901415768700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16637952 140729711879034 140729711879277 140729711879277 140729711882186 0
/proc/1935/statm: 28282 362 304 221 0 87 0
[pid=1937] ppid=1935 vsize=15144768 memory=41084 CPUtime=0.34 cores=0,2,4,6
/proc/1937/stat : 1937 (java) S 1935 1935 18186 0 -1 1077944320 9438 0 0 0 31 3 0 0 20 0 15 0 409440882 15508242432 10271 33554432000 4194304 4196468 140731832325536 140731832308080 140709582647031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
/proc/1937/statm: 3786192 10271 3318 1 0 3748377 0
[pid=1937/tid=1938] ppid=1935 vsize=15144768 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1937/task/1938/stat : 1938 (java) R 1935 1935 18186 0 -1 4202560 6624 0 0 0 18 2 0 0 20 0 15 0 409440882 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709586880208 140709582668378 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1939] ppid=1935 vsize=15144768 memory=4296933241 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1939/stat : 1939 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709510687760 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1940] ppid=1935 vsize=15144768 memory=3977726014622451360 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1940/stat : 1940 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709509635216 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1941] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1941/stat : 1941 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709508582160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1942] ppid=1935 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1942/stat : 1942 (java) S 1935 1935 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409440883 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709507529616 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1943] ppid=1935 vsize=15144768 memory=140209515841152 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1943/stat : 1943 (java) S 1935 1935 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409440884 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709051255024 140709582658178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1944] ppid=1935 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1944/stat : 1944 (java) S 1935 1935 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409440885 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709050201248 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1945] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1945/stat : 1945 (java) S 1935 1935 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409440885 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709049148144 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1946] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1946/stat : 1946 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440887 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709048096720 140709582665627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1947] ppid=1935 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/1937/task/1947/stat : 1947 (java) S 1935 1935 18186 0 -1 1077944384 530 0 0 0 3 0 0 0 20 0 15 0 409440887 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709047044848 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1948] ppid=1935 vsize=15144768 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1937/task/1948/stat : 1948 (java) S 1935 1935 18186 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 15 0 409440887 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709045992304 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1949] ppid=1935 vsize=15144768 memory=140209515841152 CPUtime=0.07 cores=0,2,4,6
/proc/1937/task/1949/stat : 1949 (java) R 1935 1935 18186 0 -1 4202560 754 0 0 0 7 0 0 0 20 0 15 0 409440887 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709044939248 140709582658966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1950] ppid=1935 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1950/stat : 1950 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440888 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709043886944 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1951] ppid=1935 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1951/stat : 1951 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440888 15508242432 10271 33554432000 4194304 4196468 140731832325536 140709042833968 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42532 KiB
[startup+0.311372 s]*
/proc/loadavg: 8.43 8.23 8.18 9/233 1951
/proc/meminfo: memFree=13502428/32770624 swapFree=66959216/67108860
[pid=1935] ppid=1932 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1935/stat : 1935 (xcsp3-exec) S 1932 1935 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409440881 115843072 362 33554432000 4194304 5098028 140729711874864 140729711872968 139901415768700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16637952 140729711879034 140729711879277 140729711879277 140729711882186 0
/proc/1935/statm: 28282 362 304 221 0 87 0
[pid=1937] ppid=1935 vsize=15149024 memory=49772 CPUtime=0.52 cores=0,2,4,6
/proc/1937/stat : 1937 (java) S 1935 1935 18186 0 -1 1077944320 10771 0 0 0 49 3 0 0 20 0 15 0 409440882 15512600576 12443 33554432000 4194304 4196468 140731832325536 140731832308080 140709582647031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
/proc/1937/statm: 3787256 12443 3361 1 0 3748377 0
[pid=1937/tid=1938] ppid=1935 vsize=15149024 memory=1398720917958146503 CPUtime=0.29 cores=0,2,4,6
/proc/1937/task/1938/stat : 1938 (java) R 1935 1935 18186 0 -1 4202560 7751 0 0 0 27 2 0 0 20 0 15 0 409440882 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709586879312 140709582668957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1939] ppid=1935 vsize=15149024 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1939/stat : 1939 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709510687760 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1940] ppid=1935 vsize=15149024 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1940/stat : 1940 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709509635216 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1941] ppid=1935 vsize=15149024 memory=500 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1941/stat : 1941 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709508582160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1942] ppid=1935 vsize=15149024 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1942/stat : 1942 (java) S 1935 1935 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409440883 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709507529616 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1943] ppid=1935 vsize=15149024 memory=2241 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1943/stat : 1943 (java) S 1935 1935 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409440884 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709051255024 140709582658178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1944] ppid=1935 vsize=15149024 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1944/stat : 1944 (java) S 1935 1935 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409440885 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709050201248 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1945] ppid=1935 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1945/stat : 1945 (java) S 1935 1935 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409440885 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709049148144 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1946] ppid=1935 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1946/stat : 1946 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440887 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709048096720 140709582665627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1947] ppid=1935 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1937/task/1947/stat : 1947 (java) S 1935 1935 18186 0 -1 1077944384 558 0 0 0 4 0 0 0 20 0 15 0 409440887 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709047044848 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1948] ppid=1935 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/1937/task/1948/stat : 1948 (java) R 1935 1935 18186 0 -1 4202560 340 0 0 0 4 0 0 0 20 0 15 0 409440887 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709045973320 140709575752758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1949] ppid=1935 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/1937/task/1949/stat : 1949 (java) S 1935 1935 18186 0 -1 1077944384 847 0 0 0 12 0 0 0 20 0 15 0 409440887 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709044939248 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1950] ppid=1935 vsize=15149024 memory=-1161699032755964503 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1950/stat : 1950 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440888 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709043886944 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1951] ppid=1935 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1951/stat : 1951 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440888 15512600576 12474 33554432000 4194304 4196468 140731832325536 140709042833968 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51220 KiB
[startup+0.700941 s]
/proc/loadavg: 8.43 8.23 8.18 8/233 1951
/proc/meminfo: memFree=13478968/32770624 swapFree=66959216/67108860
[pid=1935] ppid=1932 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1935/stat : 1935 (xcsp3-exec) S 1932 1935 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409440881 115843072 362 33554432000 4194304 5098028 140729711874864 140729711872968 139901415768700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16637952 140729711879034 140729711879277 140729711879277 140729711882186 0
/proc/1935/statm: 28282 362 304 221 0 87 0
[pid=1937] ppid=1935 vsize=15151148 memory=106932 CPUtime=1.45 cores=0,2,4,6
/proc/1937/stat : 1937 (java) S 1935 1935 18186 0 -1 1077944320 13739 0 0 0 140 5 0 0 20 0 15 0 409440882 15514775552 26733 33554432000 4194304 4196468 140731832325536 140731832308080 140709582647031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
/proc/1937/statm: 3787787 26733 3438 1 0 3748889 0
[pid=1937/tid=1938] ppid=1935 vsize=15151148 memory=56 CPUtime=0.68 cores=0,2,4,6
/proc/1937/task/1938/stat : 1938 (java) R 1935 1935 18186 0 -1 4202560 8321 0 0 0 64 4 0 0 20 0 15 0 409440882 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709586875544 140709188453850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1939] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1939/stat : 1939 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709510687760 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1940] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1940/stat : 1940 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709509635216 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1941] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1941/stat : 1941 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440883 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709508582160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1942] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1942/stat : 1942 (java) S 1935 1935 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409440883 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709507529616 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1943] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1943/stat : 1943 (java) S 1935 1935 18186 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 409440884 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709051255024 140709582658178 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1944] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1944/stat : 1944 (java) S 1935 1935 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409440885 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709050201248 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1945] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1945/stat : 1945 (java) S 1935 1935 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409440885 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709049148144 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1946] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1946/stat : 1946 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440887 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709048096720 140709582665627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1947] ppid=1935 vsize=15151148 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/1937/task/1947/stat : 1947 (java) S 1935 1935 18186 0 -1 1077944384 1425 0 0 0 24 0 0 0 20 0 15 0 409440887 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709047044848 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1948] ppid=1935 vsize=15151148 memory=2 CPUtime=0.27 cores=0,2,4,6
/proc/1937/task/1948/stat : 1948 (java) S 1935 1935 18186 0 -1 1077944384 1369 0 0 0 27 0 0 0 20 0 15 0 409440887 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709045992304 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1949] ppid=1935 vsize=15151148 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/1937/task/1949/stat : 1949 (java) S 1935 1935 18186 0 -1 1077944384 1318 0 0 0 24 0 0 0 20 0 15 0 409440887 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709044939248 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1950] ppid=1935 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1950/stat : 1950 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409440888 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709043886944 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1951] ppid=1935 vsize=15151148 memory=14004 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1951/stat : 1951 (java) S 1935 1935 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409440888 15514775552 26733 33554432000 4194304 4196468 140731832325536 140709042833968 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
Current children cumulated CPU time: 1.45 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 108380 KiB
[startup+1.50496 s]
/proc/loadavg: 8.43 8.23 8.18 8/233 1951
/proc/meminfo: memFree=13394168/32770624 swapFree=66959216/67108860
[pid=1935] ppid=1932 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1935/stat : 1935 (xcsp3-exec) S 1932 1935 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409440881 115843072 362 33554432000 4194304 5098028 140729711874864 140729711872968 139901415768700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16637952 140729711879034 140729711879277 140729711879277 140729711882186 0
/proc/1935/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/1937/stat : 1937 (java) S 1935 1935 18186 0 -1 1077944320 126443 0 0 0 230870 162 0 0 20 0 19 0 409440882 15787421696 909472 33554432000 4194304 4196468 140731832325536 140731832308080 140709582647031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
/proc/1937/statm: 3854351 909472 3542 1 0 3815453 0
[pid=1937/tid=1938] ppid=1935 vsize=15417404 memory=3623172 CPUtime=3.33 cores=0,2,4,6
/proc/1937/task/1938/stat : 1938 (java) S 1935 1935 18186 0 -1 1077944384 10950 0 0 0 325 8 0 0 20 0 19 0 409440882 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709586887808 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1939] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0.62 cores=0,2,4,6
/proc/1937/task/1939/stat : 1939 (java) S 1935 1935 18186 0 -1 1077944384 3104 0 0 0 39 23 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709510687760 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1940] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0.6 cores=0,2,4,6
/proc/1937/task/1940/stat : 1940 (java) S 1935 1935 18186 0 -1 1077944384 4431 0 0 0 38 22 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709509635216 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1941] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0.63 cores=0,2,4,6
/proc/1937/task/1941/stat : 1941 (java) S 1935 1935 18186 0 -1 1077944384 3500 0 0 0 40 23 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709508582160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1942] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0.62 cores=0,2,4,6
/proc/1937/task/1942/stat : 1942 (java) S 1935 1935 18186 0 -1 1077944384 1630 0 0 0 38 24 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709507529616 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1943] ppid=1935 vsize=15417404 memory=1448 CPUtime=0.46 cores=0,2,4,6
/proc/1937/task/1943/stat : 1943 (java) S 1935 1935 18186 0 -1 1077944384 7630 0 0 0 45 1 0 0 20 0 19 0 409440884 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709051255024 140709582658178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1944] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1944/stat : 1944 (java) S 1935 1935 18186 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 409440885 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709050201312 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1945] ppid=1935 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1945/stat : 1945 (java) S 1935 1935 18186 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 409440885 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709049148160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1946] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1946/stat : 1946 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709048096720 140709582665627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1947] ppid=1935 vsize=15417404 memory=3637888 CPUtime=3.9 cores=0,2,4,6
/proc/1937/task/1947/stat : 1947 (java) S 1935 1935 18186 0 -1 1077944384 16421 0 0 0 388 2 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709047044848 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1948] ppid=1935 vsize=15417404 memory=1984 CPUtime=3.71 cores=0,2,4,6
/proc/1937/task/1948/stat : 1948 (java) S 1935 1935 18186 0 -1 1077944384 18423 0 0 0 370 1 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709045992304 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1949] ppid=1935 vsize=15417404 memory=2580 CPUtime=0.81 cores=0,2,4,6
/proc/1937/task/1949/stat : 1949 (java) S 1935 1935 18186 0 -1 1077944384 9222 0 0 0 79 2 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709044939248 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1950] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1950/stat : 1950 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409440888 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709043886944 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1951] ppid=1935 vsize=15417404 memory=3620 CPUtime=0.22 cores=0,2,4,6
/proc/1937/task/1951/stat : 1951 (java) S 1935 1935 18186 0 -1 1077944384 425 0 0 0 0 22 0 0 20 0 19 0 409440888 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709042833968 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1952] ppid=1935 vsize=15417404 memory=3637888 CPUtime=575.53 cores=0,2,4,6
/proc/1937/task/1952/stat : 1952 (java) R 1935 1935 18186 0 -1 4202560 8593 0 0 0 57541 12 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709035719096 140709192498779 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1953] ppid=1935 vsize=15417404 memory=3620 CPUtime=574.05 cores=0,2,4,6
/proc/1937/task/1953/stat : 1953 (java) R 1935 1935 18186 0 -1 4202560 15444 0 0 0 57392 13 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708437543904 140709192658863 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1954] ppid=1935 vsize=15417404 memory=1448 CPUtime=573.2 cores=0,2,4,6
/proc/1937/task/1954/stat : 1954 (java) R 1935 1935 18186 0 -1 4202560 11054 0 0 0 57309 11 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708436491608 140709192499810 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1955] ppid=1935 vsize=15417404 memory=3637888 CPUtime=572.49 cores=0,2,4,6
/proc/1937/task/1955/stat : 1955 (java) R 1935 1935 18186 0 -1 4202560 14176 0 0 0 57236 13 0 0 20 0 19 0 409441228 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708435439880 140709191468992 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
Current children cumulated CPU time: 2310.32 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3639336 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.901 s]
/proc/loadavg: 9.26 8.67 8.41 10/237 2099
/proc/meminfo: memFree=13983944/32770624 swapFree=66959216/67108860
[pid=1935] ppid=1932 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1935/stat : 1935 (xcsp3-exec) S 1932 1935 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409440881 115843072 362 33554432000 4194304 5098028 140729711874864 140729711872968 139901415768700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16637952 140729711879034 140729711879277 140729711879277 140729711882186 0
/proc/1935/statm: 28282 362 304 221 0 87 0
[pid=1937] ppid=1935 vsize=15417404 memory=3637888 CPUtime=2400.29 cores=0,2,4,6
/proc/1937/stat : 1937 (java) S 1935 1935 18186 0 -1 1077944320 127636 0 0 0 239866 163 0 0 20 0 19 0 409440882 15787421696 909472 33554432000 4194304 4196468 140731832325536 140731832308080 140709582647031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
/proc/1937/statm: 3854351 909472 3542 1 0 3815453 0
[pid=1937/tid=1938] ppid=1935 vsize=15417404 memory=1448 CPUtime=3.33 cores=0,2,4,6
/proc/1937/task/1938/stat : 1938 (java) S 1935 1935 18186 0 -1 1077944384 10950 0 0 0 325 8 0 0 20 0 19 0 409440882 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709586887808 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1939] ppid=1935 vsize=15417404 memory=1448 CPUtime=0.62 cores=0,2,4,6
/proc/1937/task/1939/stat : 1939 (java) S 1935 1935 18186 0 -1 1077944384 3104 0 0 0 39 23 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709510687760 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1940] ppid=1935 vsize=15417404 memory=1448 CPUtime=0.6 cores=0,2,4,6
/proc/1937/task/1940/stat : 1940 (java) S 1935 1935 18186 0 -1 1077944384 4431 0 0 0 38 22 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709509635216 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1941] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0.63 cores=0,2,4,6
/proc/1937/task/1941/stat : 1941 (java) S 1935 1935 18186 0 -1 1077944384 3500 0 0 0 40 23 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709508582160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1942] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0.62 cores=0,2,4,6
/proc/1937/task/1942/stat : 1942 (java) S 1935 1935 18186 0 -1 1077944384 1630 0 0 0 38 24 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709507529616 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1943] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0.46 cores=0,2,4,6
/proc/1937/task/1943/stat : 1943 (java) S 1935 1935 18186 0 -1 1077944384 7630 0 0 0 45 1 0 0 20 0 19 0 409440884 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709051255024 140709582658178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1944] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1944/stat : 1944 (java) S 1935 1935 18186 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 409440885 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709050201312 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1945] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1945/stat : 1945 (java) S 1935 1935 18186 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 409440885 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709049148160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1946] ppid=1935 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1946/stat : 1946 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709048096720 140709582665627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1947] ppid=1935 vsize=15417404 memory=3637888 CPUtime=3.9 cores=0,2,4,6
/proc/1937/task/1947/stat : 1947 (java) S 1935 1935 18186 0 -1 1077944384 16531 0 0 0 388 2 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709047044848 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1948] ppid=1935 vsize=15417404 memory=0 CPUtime=3.71 cores=0,2,4,6
/proc/1937/task/1948/stat : 1948 (java) S 1935 1935 18186 0 -1 1077944384 18423 0 0 0 370 1 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709045992304 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1949] ppid=1935 vsize=15417404 memory=3360 CPUtime=0.81 cores=0,2,4,6
/proc/1937/task/1949/stat : 1949 (java) S 1935 1935 18186 0 -1 1077944384 9492 0 0 0 79 2 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709044939248 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1950] ppid=1935 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1950/stat : 1950 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409440888 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709043886944 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1951] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0.23 cores=0,2,4,6
/proc/1937/task/1951/stat : 1951 (java) S 1935 1935 18186 0 -1 1077944384 425 0 0 0 0 23 0 0 20 0 19 0 409440888 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709042833968 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1952] ppid=1935 vsize=15417404 memory=1448 CPUtime=598.06 cores=0,2,4,6
/proc/1937/task/1952/stat : 1952 (java) R 1935 1935 18186 0 -1 4202560 8791 0 0 0 59794 12 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709035718848 140709192499849 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1953] ppid=1935 vsize=15417404 memory=928 CPUtime=596.65 cores=0,2,4,6
/proc/1937/task/1953/stat : 1953 (java) R 1935 1935 18186 0 -1 4202560 15698 0 0 0 59651 14 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708437544152 140709192497697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1954] ppid=1935 vsize=15417404 memory=1760 CPUtime=595.79 cores=0,2,4,6
/proc/1937/task/1954/stat : 1954 (java) R 1935 1935 18186 0 -1 4202560 11251 0 0 0 59568 11 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708436491608 140709192659712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1955] ppid=1935 vsize=15417404 memory=59610 CPUtime=594.73 cores=0,2,4,6
/proc/1937/task/1955/stat : 1955 (java) R 1935 1935 18186 0 -1 4202560 14340 0 0 0 59460 13 0 0 20 0 19 0 409441228 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708435439800 140709192498740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
Current children cumulated CPU time: 2400.29 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3639336 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.924 s]
# the end of solver process 1935 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001227 s, system=0.001227 s
[startup+604.981 s]
# the end of solver process 1937 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2398.9 s, system=1.65286 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+604.901 s]
/proc/loadavg: 9.26 8.67 8.41 10/237 2099
/proc/meminfo: memFree=13983944/32770624 swapFree=66959216/67108860
[pid=1935] ppid=1932 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1935/stat : 1935 (xcsp3-exec) S 1932 1935 18186 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 409440881 115843072 362 33554432000 4194304 5098028 140729711874864 140729711872968 139901415768700 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 16637952 140729711879034 140729711879277 140729711879277 140729711882186 0
/proc/1935/statm: 28282 362 304 221 0 87 0
[pid=1937] ppid=1935 vsize=15417404 memory=3637888 CPUtime=2400.29 cores=0,2,4,6
/proc/1937/stat : 1937 (java) S 1935 1935 18186 0 -1 1077944320 127636 0 0 0 239866 163 0 0 20 0 19 0 409440882 15787421696 909472 33554432000 4194304 4196468 140731832325536 140731832308080 140709582647031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
/proc/1937/statm: 3854351 909472 3542 1 0 3815453 0
[pid=1937/tid=1938] ppid=1935 vsize=15417404 memory=1448 CPUtime=3.33 cores=0,2,4,6
/proc/1937/task/1938/stat : 1938 (java) S 1935 1935 18186 0 -1 1077944384 10950 0 0 0 325 8 0 0 20 0 19 0 409440882 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709586887808 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1939] ppid=1935 vsize=15417404 memory=1448 CPUtime=0.62 cores=0,2,4,6
/proc/1937/task/1939/stat : 1939 (java) S 1935 1935 18186 0 -1 1077944384 3104 0 0 0 39 23 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709510687760 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1940] ppid=1935 vsize=15417404 memory=1448 CPUtime=0.6 cores=0,2,4,6
/proc/1937/task/1940/stat : 1940 (java) S 1935 1935 18186 0 -1 1077944384 4431 0 0 0 38 22 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709509635216 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1941] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0.63 cores=0,2,4,6
/proc/1937/task/1941/stat : 1941 (java) S 1935 1935 18186 0 -1 1077944384 3500 0 0 0 40 23 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709508582160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1942] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0.62 cores=0,2,4,6
/proc/1937/task/1942/stat : 1942 (java) S 1935 1935 18186 0 -1 1077944384 1630 0 0 0 38 24 0 0 20 0 19 0 409440883 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709507529616 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1943] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0.46 cores=0,2,4,6
/proc/1937/task/1943/stat : 1943 (java) S 1935 1935 18186 0 -1 1077944384 7630 0 0 0 45 1 0 0 20 0 19 0 409440884 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709051255024 140709582658178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1944] ppid=1935 vsize=15417404 memory=3623172 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1944/stat : 1944 (java) S 1935 1935 18186 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 19 0 409440885 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709050201312 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1945] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1945/stat : 1945 (java) S 1935 1935 18186 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 19 0 409440885 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709049148160 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1946] ppid=1935 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1946/stat : 1946 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709048096720 140709582665627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1947] ppid=1935 vsize=15417404 memory=3637888 CPUtime=3.9 cores=0,2,4,6
/proc/1937/task/1947/stat : 1947 (java) S 1935 1935 18186 0 -1 1077944384 16531 0 0 0 388 2 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709047044848 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 51 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1948] ppid=1935 vsize=15417404 memory=0 CPUtime=3.71 cores=0,2,4,6
/proc/1937/task/1948/stat : 1948 (java) S 1935 1935 18186 0 -1 1077944384 18423 0 0 0 370 1 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709045992304 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1949] ppid=1935 vsize=15417404 memory=3360 CPUtime=0.81 cores=0,2,4,6
/proc/1937/task/1949/stat : 1949 (java) S 1935 1935 18186 0 -1 1077944384 9492 0 0 0 79 2 0 0 20 0 19 0 409440887 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709044939248 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1950] ppid=1935 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/1937/task/1950/stat : 1950 (java) S 1935 1935 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409440888 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709043886944 140709582657237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1951] ppid=1935 vsize=15417404 memory=3637888 CPUtime=0.23 cores=0,2,4,6
/proc/1937/task/1951/stat : 1951 (java) S 1935 1935 18186 0 -1 1077944384 425 0 0 0 0 23 0 0 20 0 19 0 409440888 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709042833968 140709582658178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 37 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1952] ppid=1935 vsize=15417404 memory=1448 CPUtime=598.06 cores=0,2,4,6
/proc/1937/task/1952/stat : 1952 (java) R 1935 1935 18186 0 -1 4202560 8791 0 0 0 59794 12 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140709035718848 140709192499849 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1953] ppid=1935 vsize=15417404 memory=928 CPUtime=596.65 cores=0,2,4,6
/proc/1937/task/1953/stat : 1953 (java) R 1935 1935 18186 0 -1 4202560 15698 0 0 0 59651 14 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708437544152 140709192497697 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1954] ppid=1935 vsize=15417404 memory=1760 CPUtime=595.79 cores=0,2,4,6
/proc/1937/task/1954/stat : 1954 (java) R 1935 1935 18186 0 -1 4202560 11251 0 0 0 59568 11 0 0 20 0 19 0 409441227 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708436491608 140709192659712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
[pid=1937/tid=1955] ppid=1935 vsize=15417404 memory=59610 CPUtime=594.73 cores=0,2,4,6
/proc/1937/task/1955/stat : 1955 (java) R 1935 1935 18186 0 -1 4202560 14340 0 0 0 59460 13 0 0 20 0 19 0 409441228 15787421696 909472 33554432000 4194304 4196468 140731832325536 140708435439800 140709192498740 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17965056 140731832333295 140731832333466 140731832333466 140731832336335 0
Current children cumulated CPU time: 2400.29 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 3639336 KiB
Child status: 143
Real time (s): 604.981
CPU time (s): 2400.55
CPU user time (s): 2398.9
CPU system time (s): 1.65286
CPU usage (%): 396.798
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 3639336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.9
system time used= 1.65286
maximum resident set size= 3657992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128628
page faults= 0
swaps= 0
block input operations= 0
block output operations= 824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16618
involuntary context switches= 38792
# summary of solver processes directly reported to runsolver:
# pid: 1935,1937
# total CPU time (s): 2400.55
# total CPU user time (s): 2398.9
# total CPU system time (s): 1.65286
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.81383 second user time and 7.16143 second system time
The end