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-20	OPT	331	2346.94	590.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 (3179 MiB free)
  memory of node 1: 16384 MiB (6771 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404107-1568991532/watcher-4404107-1568991532 -o /tmp/evaluation-result-4404107-1568991532/solver-4404107-1568991532 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568987794-29633 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1065338160 HOME/instance-4404107-1568991532.xml 

running on 4 cores: 1,3,5,7

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
solver pid=32298, runsolver pid=32295
Current StackSize limit: 8192 KiB


[startup+0.10253 s]*
/proc/loadavg: 5.56 2.03 1.36 5/229 32314
/proc/meminfo: memFree=10172864/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
[pid=32300] ppid=32298 vsize=15144776 memory=27428 CPUtime=0.14 cores=1,3,5,7
/proc/32300/stat : 32300 (java) S 32298 32298 29601 0 -1 1077944320 5834 0 0 0 13 1 0 0 20 0 15 0 475407434 15508250624 6857 33554432000 4194304 4196468 140732835319184 140732835301728 139669145833207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
/proc/32300/statm: 3786194 6857 3148 1 0 3748377 0
[pid=32300/tid=32301] ppid=32298 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/32300/task/32301/stat : 32301 (java) R 32298 32298 29601 0 -1 4202560 3631 0 0 0 9 0 0 0 20 0 15 0 475407434 15508250624 6857 33554432000 4194304 4196468 140732835319184 139669150059040 139669145845142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32302] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32302/stat : 32302 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668738411152 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32303] ppid=32298 vsize=15144776 memory=140060345276032 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32303/stat : 32303 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668737358352 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32304] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32304/stat : 32304 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668736305552 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32305] ppid=32298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32305/stat : 32305 (java) S 32298 32298 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668735252752 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32306] ppid=32298 vsize=15144776 memory=140060345276032 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32306/stat : 32306 (java) S 32298 32298 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407436 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668614445936 139669145844354 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32307] ppid=32298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32307/stat : 32307 (java) S 32298 32298 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475407437 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668613391904 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32308] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32308/stat : 32308 (java) S 32298 32298 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475407437 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668612339056 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32309] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32309/stat : 32309 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407439 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668611287376 139669145851803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32310] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32310/stat : 32310 (java) R 32298 32298 29601 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 475407439 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668610234832 139669145843413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32311] ppid=32298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32311/stat : 32311 (java) R 32298 32298 29601 0 -1 4202560 126 0 0 0 0 0 0 0 20 0 15 0 475407439 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668609173584 139669124981896 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32312] ppid=32298 vsize=15144776 memory=140060345276032 CPUtime=0.02 cores=1,3,5,7
/proc/32300/task/32312/stat : 32312 (java) R 32298 32298 29601 0 -1 4202560 430 0 0 0 2 0 0 0 20 0 15 0 475407439 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668608129136 139669145845142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32313] ppid=32298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32313/stat : 32313 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407440 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668607076576 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32314] ppid=32298 vsize=15144776 memory=140060345276032 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32314/stat : 32314 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407440 15508250624 6857 33554432000 4194304 4196468 140732835319184 139668606024880 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 28876 KiB

[startup+0.210756 s]*
/proc/loadavg: 5.56 2.03 1.36 6/229 32314
/proc/meminfo: memFree=10158632/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
[pid=32300] ppid=32298 vsize=15144776 memory=39784 CPUtime=0.35 cores=1,3,5,7
/proc/32300/stat : 32300 (java) S 32298 32298 29601 0 -1 1077944320 9696 0 0 0 32 3 0 0 20 0 15 0 475407434 15508250624 9946 33554432000 4194304 4196468 140732835319184 140732835301728 139669145833207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
/proc/32300/statm: 3786194 9946 3307 1 0 3748377 0
[pid=32300/tid=32301] ppid=32298 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32300/task/32301/stat : 32301 (java) R 32298 32298 29601 0 -1 4202560 6648 0 0 0 18 2 0 0 20 0 15 0 475407434 15508250624 9946 33554432000 4194304 4196468 140732835319184 139669150064480 139669145845142 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32302] ppid=32298 vsize=15144776 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32302/stat : 32302 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668738411152 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32303] ppid=32298 vsize=15144776 memory=140060345305177 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32303/stat : 32303 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668737358352 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32304] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32304/stat : 32304 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668736305552 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32305] ppid=32298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32305/stat : 32305 (java) S 32298 32298 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407435 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668735252752 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32306] ppid=32298 vsize=15144776 memory=140060345276032 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32306/stat : 32306 (java) S 32298 32298 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475407436 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668614445936 139669145844354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32307] ppid=32298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32307/stat : 32307 (java) S 32298 32298 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475407437 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668613391904 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32308] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32308/stat : 32308 (java) S 32298 32298 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475407437 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668612339056 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32309] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32309/stat : 32309 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407439 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668611287376 139669145851803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32310] ppid=32298 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/32300/task/32310/stat : 32310 (java) S 32298 32298 29601 0 -1 1077944384 602 0 0 0 2 0 0 0 20 0 15 0 475407439 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668610234736 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32311] ppid=32298 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/32300/task/32311/stat : 32311 (java) S 32298 32298 29601 0 -1 1077944384 192 0 0 0 2 0 0 0 20 0 15 0 475407439 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668609181936 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32312] ppid=32298 vsize=15144776 memory=140060345276032 CPUtime=0.08 cores=1,3,5,7
/proc/32300/task/32312/stat : 32312 (java) S 32298 32298 29601 0 -1 1077944384 949 0 0 0 8 0 0 0 20 0 15 0 475407439 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668608129136 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32313] ppid=32298 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32313/stat : 32313 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407440 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668607076576 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32314] ppid=32298 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32314/stat : 32314 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407440 15508250624 9946 33554432000 4194304 4196468 140732835319184 139668606024880 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41232 KiB

[startup+0.310797 s]*
/proc/loadavg: 5.56 2.03 1.36 5/229 32314
/proc/meminfo: memFree=10097876/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
[pid=32300] ppid=32298 vsize=15149032 memory=48792 CPUtime=0.51 cores=1,3,5,7
/proc/32300/stat : 32300 (java) S 32298 32298 29601 0 -1 1077944320 11077 0 0 0 48 3 0 0 20 0 15 0 475407434 15512608768 12198 33554432000 4194304 4196468 140732835319184 140732835301728 139669145833207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
/proc/32300/statm: 3787258 12198 3363 1 0 3748377 0
[pid=32300/tid=32301] ppid=32298 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32300/task/32301/stat : 32301 (java) R 32298 32298 29601 0 -1 4202560 7803 0 0 0 28 2 0 0 20 0 15 0 475407434 15512608768 12198 33554432000 4194304 4196468 140732835319184 139669150064320 139669129913694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32302] ppid=32298 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32302/stat : 32302 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668738411152 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32303] ppid=32298 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32303/stat : 32303 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668737358352 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32304] ppid=32298 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32304/stat : 32304 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668736305552 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32305] ppid=32298 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32305/stat : 32305 (java) S 32298 32298 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407435 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668735252752 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32306] ppid=32298 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32306/stat : 32306 (java) S 32298 32298 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475407436 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668614445936 139669145844354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32307] ppid=32298 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32307/stat : 32307 (java) S 32298 32298 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475407437 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668613391904 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32308] ppid=32298 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32308/stat : 32308 (java) S 32298 32298 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475407437 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668612339056 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32309] ppid=32298 vsize=15149032 memory=4569919473823683475 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32309/stat : 32309 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407439 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668611287376 139669145851803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32310] ppid=32298 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/32300/task/32310/stat : 32310 (java) S 32298 32298 29601 0 -1 1077944384 618 0 0 0 4 0 0 0 20 0 15 0 475407439 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668610234736 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32311] ppid=32298 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32300/task/32311/stat : 32311 (java) S 32298 32298 29601 0 -1 1077944384 243 0 0 0 3 0 0 0 20 0 15 0 475407439 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668609181936 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32312] ppid=32298 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/32300/task/32312/stat : 32312 (java) S 32298 32298 29601 0 -1 1077944384 1108 0 0 0 12 0 0 0 20 0 15 0 475407439 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668608129136 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32313] ppid=32298 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32313/stat : 32313 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407440 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668607076576 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32314] ppid=32298 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32314/stat : 32314 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407440 15512608768 12198 33554432000 4194304 4196468 140732835319184 139668606024880 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50240 KiB

[startup+0.703699 s]
/proc/loadavg: 5.56 2.03 1.36 8/229 32314
/proc/meminfo: memFree=9978268/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
[pid=32300] ppid=32298 vsize=15151156 memory=121204 CPUtime=1.77 cores=1,3,5,7
/proc/32300/stat : 32300 (java) S 32298 32298 29601 0 -1 1077944320 14824 0 0 0 171 6 0 0 20 0 15 0 475407434 15514783744 30301 33554432000 4194304 4196468 140732835319184 140732835301728 139669145833207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
/proc/32300/statm: 3787789 30301 3451 1 0 3748889 0
[pid=32300/tid=32301] ppid=32298 vsize=15151156 memory=43464 CPUtime=0.68 cores=1,3,5,7
/proc/32300/task/32301/stat : 32301 (java) R 32298 32298 29601 0 -1 4202560 8385 0 0 0 64 4 0 0 20 0 15 0 475407434 15514783744 30301 33554432000 4194304 4196468 140732835319184 139669150072000 139669145845142 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32302] ppid=32298 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32302/stat : 32302 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668738411152 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32303] ppid=32298 vsize=15151156 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32303/stat : 32303 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668737358352 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32304] ppid=32298 vsize=15151156 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32304/stat : 32304 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407435 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668736305552 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32305] ppid=32298 vsize=15151156 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32305/stat : 32305 (java) S 32298 32298 29601 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475407435 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668735252752 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32306] ppid=32298 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32306/stat : 32306 (java) S 32298 32298 29601 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475407436 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668614445936 139669145844354 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32307] ppid=32298 vsize=15151156 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32307/stat : 32307 (java) S 32298 32298 29601 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475407437 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668613391904 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32308] ppid=32298 vsize=15151156 memory=948 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32308/stat : 32308 (java) S 32298 32298 29601 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475407437 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668612339056 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32309] ppid=32298 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32309/stat : 32309 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407439 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668611287376 139669145851803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32310] ppid=32298 vsize=15151156 memory=9492 CPUtime=0.38 cores=1,3,5,7
/proc/32300/task/32310/stat : 32310 (java) R 32298 32298 29601 0 -1 4202560 1910 0 0 0 38 0 0 0 20 0 15 0 475407439 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668610221808 139669125164832 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32311] ppid=32298 vsize=15151156 memory=1548 CPUtime=0.36 cores=1,3,5,7
/proc/32300/task/32311/stat : 32311 (java) R 32298 32298 29601 0 -1 4202560 1294 0 0 0 36 0 0 0 20 0 15 0 475407439 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668609180336 139669124069593 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32312] ppid=32298 vsize=15151156 memory=628 CPUtime=0.31 cores=1,3,5,7
/proc/32300/task/32312/stat : 32312 (java) R 32298 32298 29601 0 -1 1077944384 1929 0 0 0 31 0 0 0 20 0 15 0 475407439 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668608129136 139669145844354 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32313] ppid=32298 vsize=15151156 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32313/stat : 32313 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475407440 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668607076576 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32314] ppid=32298 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32314/stat : 32314 (java) S 32298 32298 29601 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475407440 15514783744 30301 33554432000 4194304 4196468 140732835319184 139668606024880 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 122652 KiB

[startup+1.50546 s]
/proc/loadavg: 5.56 2.03 1.36 12/233 32318
/proc/meminfo: memFree=9871000/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0

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

Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1168680 KiB

[startup+587.201 s]
/proc/loadavg: 8.26 7.62 4.75 9/236 369
/proc/meminfo: memFree=6751252/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
[pid=32300] ppid=32298 vsize=15617104 memory=1167232 CPUtime=2335.75 cores=1,3,5,7
/proc/32300/stat : 32300 (java) S 32298 32298 29601 0 -1 1077944320 77686 0 0 0 233518 57 0 0 20 0 19 0 475407434 15991914496 291808 33554432000 4194304 4196468 140732835319184 140732835301728 139669145833207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
/proc/32300/statm: 3904276 291808 3525 1 0 3865376 0
[pid=32300/tid=32301] ppid=32298 vsize=15617104 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/32300/task/32301/stat : 32301 (java) S 32298 32298 29601 0 -1 1077944384 9456 0 0 0 134 5 0 0 20 0 19 0 475407434 15991914496 291808 33554432000 4194304 4196468 140732835319184 139669150073984 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32302] ppid=32298 vsize=15617104 memory=1167232 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32302/stat : 32302 (java) S 32298 32298 29601 0 -1 1077944384 1259 0 0 0 11 4 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668738411152 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32303] ppid=32298 vsize=15617104 memory=1720 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32303/stat : 32303 (java) S 32298 32298 29601 0 -1 1077944384 1972 0 0 0 11 4 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668737358352 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32304] ppid=32298 vsize=15617104 memory=6048 CPUtime=0.16 cores=1,3,5,7
/proc/32300/task/32304/stat : 32304 (java) S 32298 32298 29601 0 -1 1077944384 2557 0 0 0 11 5 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668736305552 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32305] ppid=32298 vsize=15617104 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32305/stat : 32305 (java) S 32298 32298 29601 0 -1 1077944384 2929 0 0 0 12 3 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668735252752 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32306] ppid=32298 vsize=15617104 memory=3624 CPUtime=0.04 cores=1,3,5,7
/proc/32300/task/32306/stat : 32306 (java) S 32298 32298 29601 0 -1 1077944384 3140 0 0 0 3 1 0 0 20 0 19 0 475407436 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668614445936 139669145844354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32307] ppid=32298 vsize=15617104 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32307/stat : 32307 (java) S 32298 32298 29601 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475407437 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668613391968 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32308] ppid=32298 vsize=15617104 memory=3256 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32308/stat : 32308 (java) S 32298 32298 29601 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 475407437 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668612339072 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32309] ppid=32298 vsize=15617104 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32309/stat : 32309 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668611287376 139669145851803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32310] ppid=32298 vsize=15617104 memory=2465112 CPUtime=2.5 cores=1,3,5,7
/proc/32300/task/32310/stat : 32310 (java) S 32298 32298 29601 0 -1 1077944384 12258 0 0 0 249 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668610234736 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32311] ppid=32298 vsize=15617104 memory=43488 CPUtime=2.68 cores=1,3,5,7
/proc/32300/task/32311/stat : 32311 (java) S 32298 32298 29601 0 -1 1077944384 14543 0 0 0 267 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668609181936 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32312] ppid=32298 vsize=15617104 memory=948 CPUtime=0.81 cores=1,3,5,7
/proc/32300/task/32312/stat : 32312 (java) S 32298 32298 29601 0 -1 1077944384 9370 0 0 0 80 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668608129136 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32313] ppid=32298 vsize=15617104 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32313/stat : 32313 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407440 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668607076576 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32314] ppid=32298 vsize=15617104 memory=1448 CPUtime=0.22 cores=1,3,5,7
/proc/32300/task/32314/stat : 32314 (java) S 32298 32298 29601 0 -1 1077944384 1235 0 0 0 0 22 0 0 20 0 19 0 475407440 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668606024880 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32379] ppid=32298 vsize=15617104 memory=948 CPUtime=577.05 cores=1,3,5,7
/proc/32300/task/32379/stat : 32379 (java) R 32298 32298 29601 0 -1 4202560 1221 0 0 0 57705 0 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668591541048 139668790472246 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32380] ppid=32298 vsize=15617104 memory=2832 CPUtime=578.47 cores=1,3,5,7
/proc/32300/task/32380/stat : 32380 (java) R 32298 32298 29601 0 -1 4202560 9237 0 0 0 57835 12 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668595755408 139668790512706 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32381] ppid=32298 vsize=15617104 memory=9492 CPUtime=578.28 cores=1,3,5,7
/proc/32300/task/32381/stat : 32381 (java) R 32298 32298 29601 0 -1 4202560 843 0 0 0 57825 3 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668590489400 139668790127162 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32382] ppid=32298 vsize=15617104 memory=1548 CPUtime=577.31 cores=1,3,5,7
/proc/32300/task/32382/stat : 32382 (java) R 32298 32298 29601 0 -1 4202560 4095 0 0 0 57723 8 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668592595296 139668790431687 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
Current children cumulated CPU time: 2335.75 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1168680 KiB

[startup+588.801 s]
/proc/loadavg: 8.26 7.62 4.75 9/236 369
/proc/meminfo: memFree=6751252/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
[pid=32300] ppid=32298 vsize=15617104 memory=1167232 CPUtime=2342.13 cores=1,3,5,7
/proc/32300/stat : 32300 (java) S 32298 32298 29601 0 -1 1077944320 77702 0 0 0 234156 57 0 0 20 0 19 0 475407434 15991914496 291808 33554432000 4194304 4196468 140732835319184 140732835301728 139669145833207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
/proc/32300/statm: 3904276 291808 3525 1 0 3865376 0
[pid=32300/tid=32301] ppid=32298 vsize=15617104 memory=1548 CPUtime=1.39 cores=1,3,5,7
/proc/32300/task/32301/stat : 32301 (java) S 32298 32298 29601 0 -1 1077944384 9456 0 0 0 134 5 0 0 20 0 19 0 475407434 15991914496 291808 33554432000 4194304 4196468 140732835319184 139669150073984 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32302] ppid=32298 vsize=15617104 memory=280120452702624 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32302/stat : 32302 (java) S 32298 32298 29601 0 -1 1077944384 1259 0 0 0 11 4 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668738411152 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32303] ppid=32298 vsize=15617104 memory=4121138051889050309 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32303/stat : 32303 (java) S 32298 32298 29601 0 -1 1077944384 1972 0 0 0 11 4 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668737358352 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32304] ppid=32298 vsize=15617104 memory=7249 CPUtime=0.16 cores=1,3,5,7
/proc/32300/task/32304/stat : 32304 (java) S 32298 32298 29601 0 -1 1077944384 2557 0 0 0 11 5 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668736305552 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32305] ppid=32298 vsize=15617104 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32305/stat : 32305 (java) S 32298 32298 29601 0 -1 1077944384 2929 0 0 0 12 3 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668735252752 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32306] ppid=32298 vsize=15617104 memory=1167796 CPUtime=0.04 cores=1,3,5,7
/proc/32300/task/32306/stat : 32306 (java) S 32298 32298 29601 0 -1 1077944384 3140 0 0 0 3 1 0 0 20 0 19 0 475407436 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668614445936 139669145844354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32307] ppid=32298 vsize=15617104 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32307/stat : 32307 (java) S 32298 32298 29601 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475407437 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668613391968 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32308] ppid=32298 vsize=15617104 memory=500 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32308/stat : 32308 (java) S 32298 32298 29601 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 475407437 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668612339072 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32309] ppid=32298 vsize=15617104 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32309/stat : 32309 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668611287376 139669145851803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32310] ppid=32298 vsize=15617104 memory=1167796 CPUtime=2.5 cores=1,3,5,7
/proc/32300/task/32310/stat : 32310 (java) S 32298 32298 29601 0 -1 1077944384 12258 0 0 0 249 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668610234736 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32311] ppid=32298 vsize=15617104 memory=6791534058613427641 CPUtime=2.68 cores=1,3,5,7
/proc/32300/task/32311/stat : 32311 (java) S 32298 32298 29601 0 -1 1077944384 14543 0 0 0 267 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668609181936 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32312] ppid=32298 vsize=15617104 memory=7450734350047603810 CPUtime=0.81 cores=1,3,5,7
/proc/32300/task/32312/stat : 32312 (java) S 32298 32298 29601 0 -1 1077944384 9370 0 0 0 80 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668608129136 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32313] ppid=32298 vsize=15617104 memory=3624 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32313/stat : 32313 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407440 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668607076576 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32314] ppid=32298 vsize=15617104 memory=1412 CPUtime=0.22 cores=1,3,5,7
/proc/32300/task/32314/stat : 32314 (java) S 32298 32298 29601 0 -1 1077944384 1235 0 0 0 0 22 0 0 20 0 19 0 475407440 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668606024880 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32379] ppid=32298 vsize=15617104 memory=3256 CPUtime=578.63 cores=1,3,5,7
/proc/32300/task/32379/stat : 32379 (java) R 32298 32298 29601 0 -1 4202560 1223 0 0 0 57863 0 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668591541048 139668790431544 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32380] ppid=32298 vsize=15617104 memory=0 CPUtime=580.07 cores=1,3,5,7
/proc/32300/task/32380/stat : 32380 (java) R 32298 32298 29601 0 -1 4202560 9247 0 0 0 57995 12 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668595755408 139668790983046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32381] ppid=32298 vsize=15617104 memory=-3622645143214314312 CPUtime=579.88 cores=1,3,5,7
/proc/32300/task/32381/stat : 32381 (java) R 32298 32298 29601 0 -1 4202560 847 0 0 0 57985 3 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668590489400 139668790431559 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32382] ppid=32298 vsize=15617104 memory=628 CPUtime=578.91 cores=1,3,5,7
/proc/32300/task/32382/stat : 32382 (java) R 32298 32298 29601 0 -1 4202560 4095 0 0 0 57883 8 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668592595296 139668790982983 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
Current children cumulated CPU time: 2342.13 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1168680 KiB

[startup+589.601 s]
/proc/loadavg: 8.26 7.62 4.75 10/236 369
/proc/meminfo: memFree=6751252/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
[pid=32300] ppid=32298 vsize=15617104 memory=1167232 CPUtime=2345.31 cores=1,3,5,7
/proc/32300/stat : 32300 (java) S 32298 32298 29601 0 -1 1077944320 78357 0 0 0 234474 57 0 0 20 0 19 0 475407434 15991914496 291808 33554432000 4194304 4196468 140732835319184 140732835301728 139669145833207 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
/proc/32300/statm: 3904276 291808 3525 1 0 3865376 0
[pid=32300/tid=32301] ppid=32298 vsize=15617104 memory=6791534058613427641 CPUtime=1.39 cores=1,3,5,7
/proc/32300/task/32301/stat : 32301 (java) S 32298 32298 29601 0 -1 1077944384 9456 0 0 0 134 5 0 0 20 0 19 0 475407434 15991914496 291808 33554432000 4194304 4196468 140732835319184 139669150073984 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32302] ppid=32298 vsize=15617104 memory=1728 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32302/stat : 32302 (java) S 32298 32298 29601 0 -1 1077944384 1259 0 0 0 11 4 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668738411152 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32303] ppid=32298 vsize=15617104 memory=1448 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32303/stat : 32303 (java) S 32298 32298 29601 0 -1 1077944384 1972 0 0 0 11 4 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668737358352 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32304] ppid=32298 vsize=15617104 memory=860 CPUtime=0.16 cores=1,3,5,7
/proc/32300/task/32304/stat : 32304 (java) S 32298 32298 29601 0 -1 1077944384 2557 0 0 0 11 5 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668736305552 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32305] ppid=32298 vsize=15617104 memory=1128 CPUtime=0.15 cores=1,3,5,7
/proc/32300/task/32305/stat : 32305 (java) S 32298 32298 29601 0 -1 1077944384 2929 0 0 0 12 3 0 0 20 0 19 0 475407435 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668735252752 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32306] ppid=32298 vsize=15617104 memory=772 CPUtime=0.04 cores=1,3,5,7
/proc/32300/task/32306/stat : 32306 (java) S 32298 32298 29601 0 -1 1077944384 3140 0 0 0 3 1 0 0 20 0 19 0 475407436 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668614445936 139669145844354 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32307] ppid=32298 vsize=15617104 memory=3648 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32307/stat : 32307 (java) S 32298 32298 29601 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475407437 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668613391968 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32308] ppid=32298 vsize=15617104 memory=948 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32308/stat : 32308 (java) S 32298 32298 29601 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 19 0 475407437 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668612339072 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32309] ppid=32298 vsize=15617104 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32309/stat : 32309 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668611287376 139669145851803 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32310] ppid=32298 vsize=15617104 memory=9492 CPUtime=2.5 cores=1,3,5,7
/proc/32300/task/32310/stat : 32310 (java) S 32298 32298 29601 0 -1 1077944384 12258 0 0 0 249 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668610234736 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32311] ppid=32298 vsize=15617104 memory=1548 CPUtime=2.68 cores=1,3,5,7
/proc/32300/task/32311/stat : 32311 (java) S 32298 32298 29601 0 -1 1077944384 15019 0 0 0 267 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668609181936 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32312] ppid=32298 vsize=15617104 memory=628 CPUtime=0.81 cores=1,3,5,7
/proc/32300/task/32312/stat : 32312 (java) S 32298 32298 29601 0 -1 1077944384 9370 0 0 0 80 1 0 0 20 0 19 0 475407439 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668608129136 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32313] ppid=32298 vsize=15617104 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/32300/task/32313/stat : 32313 (java) S 32298 32298 29601 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475407440 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668607076576 139669145843413 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32314] ppid=32298 vsize=15617104 memory=1720 CPUtime=0.22 cores=1,3,5,7
/proc/32300/task/32314/stat : 32314 (java) S 32298 32298 29601 0 -1 1077944384 1235 0 0 0 0 22 0 0 20 0 19 0 475407440 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668606024880 139669145844354 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32379] ppid=32298 vsize=15617104 memory=6048 CPUtime=579.41 cores=1,3,5,7
/proc/32300/task/32379/stat : 32379 (java) R 32298 32298 29601 0 -1 4202560 1225 0 0 0 57941 0 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668591541048 139668784464359 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32380] ppid=32298 vsize=15617104 memory=14012 CPUtime=580.87 cores=1,3,5,7
/proc/32300/task/32380/stat : 32380 (java) R 32298 32298 29601 0 -1 4202560 9251 0 0 0 58075 12 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668595755408 139668790472246 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32381] ppid=32298 vsize=15617104 memory=2116 CPUtime=580.68 cores=1,3,5,7
/proc/32300/task/32381/stat : 32381 (java) R 32298 32298 29601 0 -1 4202560 848 0 0 0 58065 3 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668590489400 139668790127168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
[pid=32300/tid=32382] ppid=32298 vsize=15617104 memory=18544 CPUtime=579.71 cores=1,3,5,7
/proc/32300/task/32382/stat : 32382 (java) R 32298 32298 29601 0 -1 4202560 4267 0 0 0 57963 8 0 0 20 0 19 0 475408050 15991914496 291808 33554432000 4194304 4196468 140732835319184 139668592595832 139668789779376 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17596416 140732835324911 140732835325082 140732835325082 140732835327951 0
Current children cumulated CPU time: 2345.31 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1168680 KiB

[startup+590.001 s]*
/proc/loadavg: 8.26 7.62 4.75 9/236 370
/proc/meminfo: memFree=6751500/32770624 swapFree=66998164/67108860
[pid=32298] ppid=32295 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32298/stat : 32298 (xcsp3-exec) S 32295 32298 29601 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475407434 115843072 362 33554432000 4194304 5098028 140724085969136 140724085967240 140403869672060 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 34197504 140724085977978 140724085978221 140724085978221 140724085981130 0
/proc/32298/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB

Child status: 0
Real time (s): 590.016
CPU time (s): 2346.94
CPU user time (s): 2346.36
CPU system time (s): 0.583927
CPU usage (%): 397.776
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 1169244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2346.36
system time used= 0.583927
maximum resident set size= 1169844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80078
page faults= 0
swaps= 0
block input operations= 0
block output operations= 768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16239
involuntary context switches= 41142


# summary of solver processes directly reported to runsolver:
#   pid: 32298
#   total CPU time (s): 2346.94
#   total CPU user time (s): 2346.36
#   total CPU system time (s): 0.583927

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.6846 second user time and 6.9324 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 4404107

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
