2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	331	431.514	427.016
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 (12681 MiB free)
  memory of node 1: 16384 MiB (12785 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4406507-1569401669/watcher-4406507-1569401669 -o /var/tmp/evaluation-result-4406507-1569401669/solver-4406507-1569401669 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node149-1569396631-700 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 1 -ml 12000 -tdir HOME -seed 1563985591 HOME/instance-4406507-1569401669.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=1940, runsolver pid=1937

[startup+0.10006 s]*
/proc/loadavg: 1.62 1.67 1.72 3/229 1956
/proc/meminfo: memFree=26061468/32770624 swapFree=66957868/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15144776 memory=29916 CPUtime=0.12 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 5899 0 0 0 11 1 0 0 20 0 15 0 516405499 15508250624 7479 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3786194 7479 3123 1 0 3748377 0
[pid=1942/tid=1943] ppid=1940 vsize=15144776 memory=7022364632946311227 CPUtime=0.09 cores=0,2,4,6
/proc/1942/task/1943/stat : 1943 (java) R 1940 1940 669 0 -1 4202560 3841 0 0 0 8 1 0 0 20 0 15 0 516405499 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535902485136 140535898272346 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1944] ppid=1940 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1944/stat : 1944 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535491062160 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1945] ppid=1940 vsize=15144776 memory=140030136226759 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1945/stat : 1945 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535490009360 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1946] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1946/stat : 1946 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535488957072 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1947] ppid=1940 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1947/stat : 1947 (java) S 1940 1940 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535487904272 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1948] ppid=1940 vsize=15144776 memory=140030132938368 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516405501 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516405502 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535432983840 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516405502 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535431931504 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) S 1940 1940 669 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535429826672 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) R 1940 1940 669 0 -1 4202560 162 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535428774168 140535883917152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15144776 memory=140030132938368 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) R 1940 1940 669 0 -1 4202560 334 0 0 0 2 0 0 0 20 0 15 0 516405505 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535427721584 140535890488126 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 7545 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31372 KiB

[startup+0.210937 s]*
/proc/loadavg: 1.62 1.67 1.72 3/229 1956
/proc/meminfo: memFree=26047432/32770624 swapFree=66957868/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15144776 memory=41436 CPUtime=0.34 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 9511 0 0 0 31 3 0 0 20 0 15 0 516405499 15508250624 10359 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3786194 10359 3314 1 0 3748377 0
[pid=1942/tid=1943] ppid=1940 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=0,2,4,6
/proc/1942/task/1943/stat : 1943 (java) R 1940 1940 669 0 -1 4202560 6656 0 0 0 18 2 0 0 20 0 15 0 516405499 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535902485120 140535898272925 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1944] ppid=1940 vsize=15144776 memory=4296910620 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1944/stat : 1944 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535491062160 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1945] ppid=1940 vsize=15144776 memory=140030136226759 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1945/stat : 1945 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535490009360 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1946] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1946/stat : 1946 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535488957072 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1947] ppid=1940 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1947/stat : 1947 (java) S 1940 1940 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516405500 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535487904272 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1948] ppid=1940 vsize=15144776 memory=140030132938368 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516405501 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516405502 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535432983840 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516405502 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535431931504 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) S 1940 1940 669 0 -1 1077944384 398 0 0 0 1 0 0 0 20 0 15 0 516405505 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535429826672 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) S 1940 1940 669 0 -1 1077944384 419 0 0 0 2 0 0 0 20 0 15 0 516405505 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535428773872 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15144776 memory=140030132938368 CPUtime=0.08 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) S 1940 1940 669 0 -1 1077944384 732 0 0 0 8 0 0 0 20 0 15 0 516405505 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535427721584 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405505 15508250624 10359 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42892 KiB

[startup+0.310823 s]*
/proc/loadavg: 1.62 1.67 1.72 4/229 1956
/proc/meminfo: memFree=26041388/32770624 swapFree=66957868/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15149032 memory=49956 CPUtime=0.52 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 10838 0 0 0 49 3 0 0 20 0 15 0 516405499 15512608768 12489 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3787258 12489 3365 1 0 3748377 0
[pid=1942/tid=1943] ppid=1940 vsize=15149032 memory=1399051139730258233 CPUtime=0.3 cores=0,2,4,6
/proc/1942/task/1943/stat : 1943 (java) R 1940 1940 669 0 -1 4202560 7810 0 0 0 27 3 0 0 20 0 15 0 516405499 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535902484784 140535898272925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1944] ppid=1940 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1944/stat : 1944 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535491062160 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1945] ppid=1940 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1945/stat : 1945 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535490009360 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1946] ppid=1940 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1946/stat : 1946 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535488957072 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1947] ppid=1940 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1947/stat : 1947 (java) S 1940 1940 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516405500 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535487904272 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1948] ppid=1940 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516405501 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15149032 memory=8693527797397837014 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516405502 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535432983840 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516405502 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535431931504 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15149032 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15149032 memory=6656426216303648864 CPUtime=0.03 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) S 1940 1940 669 0 -1 1077944384 417 0 0 0 3 0 0 0 20 0 15 0 516405505 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535429826672 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15149032 memory=-7812736537705029536 CPUtime=0.05 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) R 1940 1940 669 0 -1 4202560 512 0 0 0 5 0 0 0 20 0 15 0 516405505 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535428764256 140535891347835 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15149032 memory=-7604995849183860074 CPUtime=0.13 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) S 1940 1940 669 0 -1 1077944384 824 0 0 0 13 0 0 0 20 0 15 0 516405505 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535427721584 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15149032 memory=7681905605394137875 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15149032 memory=3054156605267021953 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405505 15512608768 12557 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51412 KiB

[startup+0.700826 s]
/proc/loadavg: 1.62 1.67 1.72 6/229 1956
/proc/meminfo: memFree=26017572/32770624 swapFree=66957868/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15151156 memory=124392 CPUtime=1.76 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 14575 0 0 0 170 6 0 0 20 0 15 0 516405499 15514783744 31098 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3787789 31098 3448 1 0 3748889 0
[pid=1942/tid=1943] ppid=1940 vsize=15151156 memory=8049867166153220215 CPUtime=0.66 cores=0,2,4,6
/proc/1942/task/1943/stat : 1943 (java) R 1940 1940 669 0 -1 4202560 8338 0 0 0 62 4 0 0 20 0 15 0 516405499 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535902489088 140535881238546 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1944] ppid=1940 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1944/stat : 1944 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535491062160 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1945] ppid=1940 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1945/stat : 1945 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535490009360 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1946] ppid=1940 vsize=15151156 memory=780 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1946/stat : 1946 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405500 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535488957072 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1947] ppid=1940 vsize=15151156 memory=6168 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1947/stat : 1947 (java) S 1940 1940 669 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516405500 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535487904272 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1948] ppid=1940 vsize=15151156 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516405501 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15151156 memory=624 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535432983840 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15151156 memory=3636 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535431931504 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15151156 memory=14012 CPUtime=0.37 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) R 1940 1940 669 0 -1 4202560 1701 0 0 0 37 0 0 0 20 0 15 0 516405505 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535429817056 140535877497785 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15151156 memory=1808 CPUtime=0.38 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) R 1940 1940 669 0 -1 4202560 1643 0 0 0 38 0 0 0 20 0 15 0 516405505 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535428759752 140535883366242 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15151156 memory=924 CPUtime=0.31 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) S 1940 1940 669 0 -1 1077944384 1585 0 0 0 31 0 0 0 20 0 15 0 516405505 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535427721584 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15151156 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15151156 memory=2744 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 31098 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 1.76 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 125848 KiB

[startup+1.50081 s]
/proc/loadavg: 1.62 1.67 1.72 5/229 1956
/proc/meminfo: memFree=25932184/32770624 swapFree=66957868/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0

################
# More data... #
################

[pid=1942/tid=1948] ppid=1940 vsize=15151156 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 1186 0 0 0 1 0 0 0 20 0 15 0 516405501 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535432983904 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15151156 memory=65372 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535431931520 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15151156 memory=1988 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15151156 memory=0 CPUtime=1.52 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) S 1940 1940 669 0 -1 1077944384 10742 0 0 0 151 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535429826672 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15151156 memory=1399103955520229747 CPUtime=2.16 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) S 1940 1940 669 0 -1 1077944384 17891 0 0 0 215 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535428773872 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15151156 memory=1456 CPUtime=0.63 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) S 1940 1940 669 0 -1 1077944384 6789 0 0 0 62 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535427721584 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15151156 memory=215340 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15151156 memory=3620 CPUtime=0.09 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 698 0 0 0 4 5 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 426.88 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216796 KiB

[startup+425.601 s]
/proc/loadavg: 1.65 1.61 1.67 3/230 2004
/proc/meminfo: memFree=26867812/32770624 swapFree=66957876/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15151156 memory=215340 CPUtime=430.08 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 57871 0 0 0 42990 18 0 0 20 0 15 0 516405499 15514783744 53835 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3787789 53835 3512 1 0 3748889 0
[pid=1942/tid=1943] ppid=1940 vsize=15151156 memory=1428 CPUtime=425.51 cores=0,2,4,6
/proc/1942/task/1943/stat : 1943 (java) R 1940 1940 669 0 -1 4202560 14277 0 0 0 42545 6 0 0 20 0 15 0 516405499 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535902489808 140535514424234 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1944] ppid=1940 vsize=15151156 memory=215340 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1944/stat : 1944 (java) S 1940 1940 669 0 -1 1077944384 1870 0 0 0 1 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535491062160 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1945] ppid=1940 vsize=15151156 memory=624 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1945/stat : 1945 (java) S 1940 1940 669 0 -1 1077944384 1377 0 0 0 2 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535490009360 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1946] ppid=1940 vsize=15151156 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1946/stat : 1946 (java) S 1940 1940 669 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535488957072 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1947] ppid=1940 vsize=15151156 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1947/stat : 1947 (java) S 1940 1940 669 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535487904272 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1948] ppid=1940 vsize=15151156 memory=215340 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 1186 0 0 0 1 0 0 0 20 0 15 0 516405501 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535432983904 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15151156 memory=215340 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535431931520 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15151156 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15151156 memory=215340 CPUtime=1.52 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) S 1940 1940 669 0 -1 1077944384 10742 0 0 0 151 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535429826672 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15151156 memory=280060053794496 CPUtime=2.16 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) S 1940 1940 669 0 -1 1077944384 17891 0 0 0 215 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535428773872 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15151156 memory=7233155296907390313 CPUtime=0.63 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) S 1940 1940 669 0 -1 1077944384 6789 0 0 0 62 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535427721584 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15151156 memory=7883944108235712103 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15151156 memory=8112282956445269571 CPUtime=0.09 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 698 0 0 0 4 5 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 430.08 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216796 KiB

[startup+426.401 s]
/proc/loadavg: 1.65 1.61 1.67 3/230 2004
/proc/meminfo: memFree=26868668/32770624 swapFree=66957876/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15151156 memory=215340 CPUtime=430.89 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 57872 0 0 0 43071 18 0 0 20 0 15 0 516405499 15514783744 53835 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3787789 53835 3512 1 0 3748889 0
[pid=1942/tid=1943] ppid=1940 vsize=15151156 memory=215340 CPUtime=426.31 cores=0,2,4,6
/proc/1942/task/1943/stat : 1943 (java) R 1940 1940 669 0 -1 4202560 14278 0 0 0 42625 6 0 0 20 0 15 0 516405499 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535902489808 140535514424156 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1944] ppid=1940 vsize=15151156 memory=215340 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1944/stat : 1944 (java) S 1940 1940 669 0 -1 1077944384 1870 0 0 0 1 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535491062160 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1945] ppid=1940 vsize=15151156 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1945/stat : 1945 (java) S 1940 1940 669 0 -1 1077944384 1377 0 0 0 2 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535490009360 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1946] ppid=1940 vsize=15151156 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1946/stat : 1946 (java) S 1940 1940 669 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535488957072 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1947] ppid=1940 vsize=15151156 memory=1456 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1947/stat : 1947 (java) S 1940 1940 669 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535487904272 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1948] ppid=1940 vsize=15151156 memory=215340 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 1186 0 0 0 1 0 0 0 20 0 15 0 516405501 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15151156 memory=800 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535432983904 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535431931520 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15151156 memory=4104 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15151156 memory=1976 CPUtime=1.52 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) S 1940 1940 669 0 -1 1077944384 10742 0 0 0 151 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535429826672 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15151156 memory=2432 CPUtime=2.16 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) S 1940 1940 669 0 -1 1077944384 17891 0 0 0 215 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535428773872 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15151156 memory=215340 CPUtime=0.63 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) S 1940 1940 669 0 -1 1077944384 6789 0 0 0 62 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535427721584 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15151156 memory=1556 CPUtime=0.09 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 698 0 0 0 4 5 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 430.89 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216796 KiB

[startup+426.801 s]
/proc/loadavg: 1.65 1.61 1.67 3/230 2004
/proc/meminfo: memFree=26868668/32770624 swapFree=66957876/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15151156 memory=215340 CPUtime=431.29 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 57872 0 0 0 43111 18 0 0 20 0 15 0 516405499 15514783744 53835 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3787789 53835 3512 1 0 3748889 0
[pid=1942/tid=1943] ppid=1940 vsize=15151156 memory=15825477839357284 CPUtime=426.71 cores=0,2,4,6
/proc/1942/task/1943/stat : 1943 (java) R 1940 1940 669 0 -1 4202560 14278 0 0 0 42665 6 0 0 20 0 15 0 516405499 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535902489808 140535513673299 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1944] ppid=1940 vsize=15151156 memory=215340 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1944/stat : 1944 (java) S 1940 1940 669 0 -1 1077944384 1870 0 0 0 1 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535491062160 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1945] ppid=1940 vsize=15151156 memory=4104 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1945/stat : 1945 (java) S 1940 1940 669 0 -1 1077944384 1377 0 0 0 2 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535490009360 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1946] ppid=1940 vsize=15151156 memory=1976 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1946/stat : 1946 (java) S 1940 1940 669 0 -1 1077944384 1267 0 0 0 1 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535488957072 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1947] ppid=1940 vsize=15151156 memory=2432 CPUtime=0.02 cores=0,2,4,6
/proc/1942/task/1947/stat : 1947 (java) S 1940 1940 669 0 -1 1077944384 298 0 0 0 2 0 0 0 20 0 15 0 516405500 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535487904272 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1948] ppid=1940 vsize=15151156 memory=1436 CPUtime=0.01 cores=0,2,4,6
/proc/1942/task/1948/stat : 1948 (java) S 1940 1940 669 0 -1 1077944384 1186 0 0 0 1 0 0 0 20 0 15 0 516405501 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535434037872 140535898262146 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1949] ppid=1940 vsize=15151156 memory=808 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1949/stat : 1949 (java) S 1940 1940 669 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535432983904 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1950] ppid=1940 vsize=15151156 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1950/stat : 1950 (java) S 1940 1940 669 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 15 0 516405502 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535431931520 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1951] ppid=1940 vsize=15151156 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1951/stat : 1951 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535430879824 140535898269595 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1952] ppid=1940 vsize=15151156 memory=800 CPUtime=1.52 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) S 1940 1940 669 0 -1 1077944384 10742 0 0 0 151 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535429826672 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1953] ppid=1940 vsize=15151156 memory=1399051139730258233 CPUtime=2.16 cores=0,2,4,6
/proc/1942/task/1953/stat : 1953 (java) S 1940 1940 669 0 -1 1077944384 17891 0 0 0 215 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535428773872 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1954] ppid=1940 vsize=15151156 memory=4126316290023845779 CPUtime=0.63 cores=0,2,4,6
/proc/1942/task/1954/stat : 1954 (java) S 1940 1940 669 0 -1 1077944384 6789 0 0 0 62 1 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535427721584 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1955] ppid=1940 vsize=15151156 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/1942/task/1955/stat : 1955 (java) S 1940 1940 669 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535426669024 140535898261205 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
[pid=1942/tid=1956] ppid=1940 vsize=15151156 memory=800 CPUtime=0.09 cores=0,2,4,6
/proc/1942/task/1956/stat : 1956 (java) S 1940 1940 669 0 -1 1077944384 698 0 0 0 4 5 0 0 20 0 15 0 516405505 15514783744 53835 33554432000 4194304 4196468 140727340006080 140535425616816 140535898262146 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
Current children cumulated CPU time: 431.29 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216796 KiB

[startup+427.001 s]*
/proc/loadavg: 1.65 1.61 1.67 3/230 2004
/proc/meminfo: memFree=26869188/32770624 swapFree=66957876/67108860
[pid=1940] ppid=1937 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/1940/stat : 1940 (xcsp3-exec) S 1937 1940 669 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 516405499 115843072 364 33554432000 4194304 5098028 140727614502336 140727614500440 140664871752316 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 29265920 140727614509910 140727614510169 140727614510169 140727614513094 0
/proc/1940/statm: 28282 364 305 221 0 87 0
[pid=1942] ppid=1940 vsize=15151156 memory=215340 CPUtime=431.49 cores=0,2,4,6
/proc/1942/stat : 1942 (java) S 1940 1940 669 0 -1 1077944320 58247 0 0 0 43131 18 0 0 20 0 15 0 516405499 15514783744 53835 33554432000 4194304 4196468 140727340006080 140727339988624 140535898250999 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 11296768 140727340012507 140727340012682 140727340012682 140727340015567 0
/proc/1942/statm: 3787789 53835 3512 1 0 3748889 0
[pid=1942/tid=1952] ppid=1940 vsize=0 memory=1399051139730258233 CPUtime=1.52 cores=0,2,4,6
/proc/1942/task/1952/stat : 1952 (java) R 1940 1940 669 0 -1 4203588 10742 0 0 0 151 1 0 0 20 0 2 0 516405505 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time: 431.49 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216796 KiB

Child status: 0
Real time (s): 427.016
CPU time (s): 431.514
CPU user time (s): 431.32
CPU system time (s): 0.193916
CPU usage (%): 101.053
Max. virtual memory (cumulated for all children) (KiB): 15266308
Max. memory (cumulated for all children) (KiB): 224004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 431.32
system time used= 0.193916
maximum resident set size= 222548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11714
involuntary context switches= 163


# summary of solver processes directly reported to runsolver:
#   pid: 1940
#   total CPU time (s): 431.514
#   total CPU user time (s): 431.32
#   total CPU system time (s): 0.193916

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.48947 second user time and 3.96883 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml
MD5SUM	c1d081b79f1c10e41665328fecc5a7d0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	331
Best CPU time to get the best result obtained on this benchmark	118.266
Satisfiable
(Un)Satisfiability was proved
Number of variables	696
Number of constraints	6082
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":696}]
Minimum variable degree	3
Maximum variable degree	119
Distribution of variable degrees	[{"degree":3,"count":156},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":15},{"degree":24,"count":9},{"degree":25,"count":6},{"degree":26,"count":6},{"degree":27,"count":6},{"degree":28,"count":21},{"degree":29,"count":18},{"degree":30,"count":21},{"degree":31,"count":6},{"degree":32,"count":6},{"degree":33,"count":6},{"degree":34,"count":165},{"degree":35,"count":15},{"degree":36,"count":6},{"degree":37,"count":6},{"degree":40,"count":3},{"degree":42,"count":3},{"degree":43,"count":3},"...",{"degree":86,"count":3}, {"degree":88,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":6}, {"degree":95,"count":6}, {"degree":96,"count":21}, {"degree":97,"count":6}, {"degree":99,"count":15}, {"degree":100,"count":12}, {"degree":101,"count":6}, {"degree":102,"count":12}, {"degree":103,"count":15}, {"degree":105,"count":6}, {"degree":106,"count":21}, {"degree":107,"count":6}, {"degree":108,"count":6}, {"degree":109,"count":3}, {"degree":110,"count":6}, {"degree":111,"count":3}, {"degree":114,"count":3}, {"degree":116,"count":3}, {"degree":118,"count":6}, {"degree":119,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":5436},{"arity":3,"count":52},{"arity":32,"count":594}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":6082}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4406507

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
