2019 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24	OPT	310	599.938	595.132
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 (10736 MiB free)
  memory of node 1: 16384 MiB (14236 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406206-1569410377/watcher-4406206-1569410377 -o /tmp/evaluation-result-4406206-1569410377/solver-4406206-1569410377 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1569407822-5224 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 205454108 HOME/instance-4406206-1569410377.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=5752, runsolver pid=5749

[startup+0.101899 s]*
/proc/loadavg: 1.94 1.84 1.85 3/229 5768
/proc/meminfo: memFree=25555772/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15144776 memory=29004 CPUtime=0.13 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 5707 0 0 0 12 1 0 0 20 0 15 0 517302482 15508250624 7251 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3786194 7251 3155 1 0 3748377 0
[pid=5754/tid=5755] ppid=5752 vsize=15144776 memory=8180089925722843723 CPUtime=0.09 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 3578 0 0 0 9 0 0 0 20 0 15 0 517302482 15508250624 7251 33554432000 4194304 4196468 140736198736912 140175769669200 140175749518686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 7251 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15144776 memory=139791159920256 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 7251 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 7251 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 7251 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15144776 memory=139791159920256 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517302484 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517302484 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174638015264 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517302485 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174636962928 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) R 5752 5752 5192 0 -1 4202560 460 0 0 0 1 0 0 0 20 0 15 0 517302487 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174634859120 140175746138496 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) R 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174633806320 140175765449346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15144776 memory=139791159920256 CPUtime=0.02 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) R 5752 5752 5192 0 -1 4202560 372 0 0 0 2 0 0 0 20 0 15 0 517302487 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174632754032 140175758535035 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15144776 memory=139791159920256 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) R 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302488 15508250624 7251 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30452 KiB

[startup+0.21081 s]*
/proc/loadavg: 1.94 1.84 1.85 4/229 5768
/proc/meminfo: memFree=25543176/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15144776 memory=40800 CPUtime=0.34 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 9472 0 0 0 32 2 0 0 20 0 15 0 517302482 15508250624 10200 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3786194 10200 3307 1 0 3748377 0
[pid=5754/tid=5755] ppid=5752 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 6616 0 0 0 18 2 0 0 20 0 15 0 517302482 15508250624 10200 33554432000 4194304 4196468 140736198736912 140175769676016 140175749518686 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15144776 memory=9780 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 10200 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15144776 memory=139791163420193 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 10200 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 10200 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517302483 15508250624 10200 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15144776 memory=139791159920256 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517302484 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517302484 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174638015264 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517302485 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174636962928 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) S 5752 5752 5192 0 -1 1077944384 710 0 0 0 3 0 0 0 20 0 15 0 517302487 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174634859120 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) S 5752 5752 5192 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 15 0 517302487 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174633806320 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15144776 memory=139791159920256 CPUtime=0.08 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) S 5752 5752 5192 0 -1 1077944384 789 0 0 0 8 0 0 0 20 0 15 0 517302487 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174632754032 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302488 15508250624 10200 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42248 KiB

[startup+0.319429 s]*
/proc/loadavg: 1.94 1.84 1.85 4/229 5768
/proc/meminfo: memFree=25536232/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15149032 memory=50608 CPUtime=0.55 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 10986 0 0 0 51 4 0 0 20 0 15 0 517302482 15512608768 12652 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3787258 12652 3362 1 0 3748377 0
[pid=5754/tid=5755] ppid=5752 vsize=15149032 memory=1398722017469774279 CPUtime=0.31 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 7913 0 0 0 28 3 0 0 20 0 15 0 517302482 15512608768 12652 33554432000 4194304 4196468 140736198736912 140175769673408 140175749518686 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15512608768 12652 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15512608768 12652 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15512608768 12652 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517302483 15512608768 12652 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517302484 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517302484 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174638015264 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517302485 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174636962928 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15149032 memory=-8412656567168561567 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) S 5752 5752 5192 0 -1 1077944384 727 0 0 0 5 0 0 0 20 0 15 0 517302487 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174634859120 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) S 5752 5752 5192 0 -1 1077944384 171 0 0 0 4 0 0 0 20 0 15 0 517302487 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174633806320 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) S 5752 5752 5192 0 -1 1077944384 887 0 0 0 12 0 0 0 20 0 15 0 517302487 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174632754032 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302488 15512608768 12652 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52056 KiB

[startup+0.701242 s]
/proc/loadavg: 1.94 1.84 1.85 5/229 5768
/proc/meminfo: memFree=25516196/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15151156 memory=112808 CPUtime=1.79 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 13743 0 0 0 174 5 0 0 20 0 15 0 517302482 15514783744 28202 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3787789 28202 3448 1 0 3748889 0
[pid=5754/tid=5755] ppid=5752 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 8349 0 0 0 64 3 0 0 20 0 15 0 517302482 15514783744 28202 33554432000 4194304 4196468 140736198736912 140175769676352 140175745620677 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15151156 memory=64924 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15514783744 28202 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15151156 memory=988 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15514783744 28202 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15151156 memory=2020 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302483 15514783744 28202 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15151156 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517302483 15514783744 28202 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15151156 memory=9396 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517302484 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15151156 memory=656 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517302484 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174638015264 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15151156 memory=3612 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517302485 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174636962928 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15151156 memory=1712 CPUtime=0.39 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) R 5752 5752 5192 0 -1 4202560 1606 0 0 0 39 0 0 0 20 0 15 0 517302487 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174634837952 140175750553343 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15151156 memory=1204 CPUtime=0.37 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) R 5752 5752 5192 0 -1 4202560 838 0 0 0 37 0 0 0 20 0 15 0 517302487 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174633786272 140175750545866 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15151156 memory=1072 CPUtime=0.32 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) S 5752 5752 5192 0 -1 1077944384 1644 0 0 0 32 0 0 0 20 0 15 0 517302487 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174632754032 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15151156 memory=6220 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15151156 memory=1544 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) S 5752 5752 5192 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517302488 15514783744 28202 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 114256 KiB

[startup+1.50084 s]
/proc/loadavg: 1.94 1.84 1.85 7/229 5768
/proc/meminfo: memFree=25393728/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0

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

/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15151156 memory=159752 CPUtime=599.19 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 52492 0 0 0 59896 23 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3787789 39938 3508 1 0 3748889 0
[pid=5754/tid=5755] ppid=5752 vsize=15151156 memory=64944 CPUtime=594.23 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 14376 0 0 0 59418 5 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175769677712 140175406555604 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15151156 memory=4486604260213485459 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 254 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15151156 memory=9396 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 585 0 0 0 5 0 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15151156 memory=656 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 789 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15151156 memory=3612 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 1111 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15151156 memory=2832 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 1344 0 0 0 4 1 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15151156 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174638015328 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 517302485 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174636962944 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15151156 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15151156 memory=2604 CPUtime=2.06 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) S 5752 5752 5192 0 -1 1077944384 13791 0 0 0 204 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174634859120 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15151156 memory=1412 CPUtime=1.82 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) S 5752 5752 5192 0 -1 1077944384 11295 0 0 0 180 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174633806320 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15151156 memory=159752 CPUtime=0.62 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) S 5752 5752 5192 0 -1 1077944384 7194 0 0 0 61 1 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174632754032 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15151156 memory=1072 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15151156 memory=6220 CPUtime=0.12 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) S 5752 5752 5192 0 -1 1077944384 374 0 0 0 5 7 0 0 20 0 15 0 517302488 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 599.19 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 161200 KiB

[startup+594.801 s]
/proc/loadavg: 1.87 1.89 1.88 3/229 5898
/proc/meminfo: memFree=25191032/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15151156 memory=159752 CPUtime=599.59 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 52492 0 0 0 59936 23 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3787789 39938 3508 1 0 3748889 0
[pid=5754/tid=5755] ppid=5752 vsize=15151156 memory=14691894252800627 CPUtime=594.63 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 14376 0 0 0 59458 5 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175769677712 140175406555663 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15151156 memory=3612 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 254 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15151156 memory=2832 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 585 0 0 0 5 0 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15151156 memory=1712 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 789 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15151156 memory=1204 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 1111 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15151156 memory=1072 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 1344 0 0 0 4 1 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15151156 memory=6220 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174638015328 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15151156 memory=1544 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 517302485 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174636962944 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15151156 memory=1056 CPUtime=2.06 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) S 5752 5752 5192 0 -1 1077944384 13791 0 0 0 204 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174634859120 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15151156 memory=14012 CPUtime=1.82 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) S 5752 5752 5192 0 -1 1077944384 11295 0 0 0 180 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174633806320 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15151156 memory=35056 CPUtime=0.62 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) S 5752 5752 5192 0 -1 1077944384 7194 0 0 0 61 1 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174632754032 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15151156 memory=11 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15151156 memory=26889246739178 CPUtime=0.12 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) S 5752 5752 5192 0 -1 1077944384 374 0 0 0 5 7 0 0 20 0 15 0 517302488 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 599.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 161200 KiB

[startup+595.001 s]*
/proc/loadavg: 1.88 1.89 1.88 3/229 5898
/proc/meminfo: memFree=25191280/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15151156 memory=159752 CPUtime=599.8 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 52492 0 0 0 59957 23 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3787789 39938 3508 1 0 3748889 0
[pid=5754/tid=5755] ppid=5752 vsize=15151156 memory=1398722017469774279 CPUtime=594.84 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 14376 0 0 0 59479 5 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175769677712 140175407202309 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15151156 memory=4872558044660077418 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 254 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15151156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 585 0 0 0 5 0 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15151156 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 789 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15151156 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 1111 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15151156 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 1344 0 0 0 4 1 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174638015328 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 517302485 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174636962944 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15151156 memory=0 CPUtime=2.06 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) S 5752 5752 5192 0 -1 1077944384 13791 0 0 0 204 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174634859120 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15151156 memory=0 CPUtime=1.82 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) S 5752 5752 5192 0 -1 1077944384 11295 0 0 0 180 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174633806320 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15151156 memory=0 CPUtime=0.62 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) S 5752 5752 5192 0 -1 1077944384 7194 0 0 0 61 1 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174632754032 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15151156 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) S 5752 5752 5192 0 -1 1077944384 374 0 0 0 5 7 0 0 20 0 15 0 517302488 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 599.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 161200 KiB

[startup+595.11 s]
/proc/loadavg: 1.88 1.89 1.88 3/229 5898
/proc/meminfo: memFree=25191280/32770624 swapFree=66999860/67108860
[pid=5752] ppid=5749 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5752/stat : 5752 (xcsp3-exec) S 5749 5752 5192 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 517302481 115843072 362 33554432000 4194304 5098028 140727236576128 140727236574232 140510282642044 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 8454144 140727236580219 140727236580461 140727236580461 140727236583370 0
/proc/5752/statm: 28282 362 304 221 0 87 0
[pid=5754] ppid=5752 vsize=15151156 memory=159752 CPUtime=599.9 cores=1,3,5,7
/proc/5754/stat : 5754 (java) S 5752 5752 5192 0 -1 1077944320 52492 0 0 0 59967 23 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140736198719456 140175765438199 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
/proc/5754/statm: 3787789 39938 3508 1 0 3748889 0
[pid=5754/tid=5755] ppid=5752 vsize=15151156 memory=159752 CPUtime=594.94 cores=1,3,5,7
/proc/5754/task/5755/stat : 5755 (java) R 5752 5752 5192 0 -1 4202560 14376 0 0 0 59489 5 0 0 20 0 15 0 517302482 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175769677712 140175407249340 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5756] ppid=5752 vsize=15151156 memory=159752 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5756/stat : 5756 (java) S 5752 5752 5192 0 -1 1077944384 254 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175721991056 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5757] ppid=5752 vsize=15151156 memory=159752 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5757/stat : 5757 (java) S 5752 5752 5192 0 -1 1077944384 585 0 0 0 5 0 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175356386064 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5758] ppid=5752 vsize=15151156 memory=159752 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5758/stat : 5758 (java) S 5752 5752 5192 0 -1 1077944384 789 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175355333776 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5759] ppid=5752 vsize=15151156 memory=1448 CPUtime=0.06 cores=1,3,5,7
/proc/5754/task/5759/stat : 5759 (java) S 5752 5752 5192 0 -1 1077944384 1111 0 0 0 5 1 0 0 20 0 15 0 517302483 15514783744 39938 33554432000 4194304 4196468 140736198736912 140175354280976 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5760] ppid=5752 vsize=15151156 memory=159752 CPUtime=0.05 cores=1,3,5,7
/proc/5754/task/5760/stat : 5760 (java) S 5752 5752 5192 0 -1 1077944384 1344 0 0 0 4 1 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174639069296 140175765449346 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5761] ppid=5752 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5761/stat : 5761 (java) S 5752 5752 5192 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 517302484 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174638015328 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5762] ppid=5752 vsize=15151156 memory=161292 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5762/stat : 5762 (java) S 5752 5752 5192 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 15 0 517302485 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174636962944 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5763] ppid=5752 vsize=15151156 memory=159752 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5763/stat : 5763 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174635911248 140175765456795 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5764] ppid=5752 vsize=15151156 memory=1448 CPUtime=2.06 cores=1,3,5,7
/proc/5754/task/5764/stat : 5764 (java) S 5752 5752 5192 0 -1 1077944384 13791 0 0 0 204 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174634859120 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5765] ppid=5752 vsize=15151156 memory=159752 CPUtime=1.82 cores=1,3,5,7
/proc/5754/task/5765/stat : 5765 (java) S 5752 5752 5192 0 -1 1077944384 11295 0 0 0 180 2 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174633806320 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5766] ppid=5752 vsize=15151156 memory=1448 CPUtime=0.62 cores=1,3,5,7
/proc/5754/task/5766/stat : 5766 (java) S 5752 5752 5192 0 -1 1077944384 7194 0 0 0 61 1 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174632754032 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5767] ppid=5752 vsize=15151156 memory=159752 CPUtime=0 cores=1,3,5,7
/proc/5754/task/5767/stat : 5767 (java) S 5752 5752 5192 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517302487 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174631701472 140175765448405 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
[pid=5754/tid=5768] ppid=5752 vsize=15151156 memory=1448 CPUtime=0.12 cores=1,3,5,7
/proc/5754/task/5768/stat : 5768 (java) S 5752 5752 5192 0 -1 1077944384 374 0 0 0 5 7 0 0 20 0 15 0 517302488 15514783744 39938 33554432000 4194304 4196468 140736198736912 140174630648240 140175765449346 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25702400 140736198738927 140736198739098 140736198739098 140736198741967 0
Current children cumulated CPU time: 599.9 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 161200 KiB

Child status: 0
Real time (s): 595.132
CPU time (s): 599.938
CPU user time (s): 599.696
CPU system time (s): 0.24157
CPU usage (%): 100.808
Max. virtual memory (cumulated for all children) (KiB): 15266112
Max. memory (cumulated for all children) (KiB): 235392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 599.696
system time used= 0.24157
maximum resident set size= 237136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53314
page faults= 0
swaps= 0
block input operations= 0
block output operations= 744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16289
involuntary context switches= 265


# summary of solver processes directly reported to runsolver:
#   pid: 5752
#   total CPU time (s): 599.938
#   total CPU user time (s): 599.696
#   total CPU system time (s): 0.24157

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.2309 second user time and 5.47638 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32e3.xml
MD5SUM	bcb3f3ceeead4664bdf41fd123f1defa
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	310
Best CPU time to get the best result obtained on this benchmark	91.9938
Satisfiable
(Un)Satisfiability was proved
Number of variables	660
Number of constraints	5350
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":660}]
Minimum variable degree	3
Maximum variable degree	107
Distribution of variable degrees	[{"degree":3,"count":138},{"degree":12,"count":3},{"degree":13,"count":3},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":19,"count":3},{"degree":20,"count":6},{"degree":21,"count":15},{"degree":22,"count":3},{"degree":23,"count":9},{"degree":24,"count":30},{"degree":25,"count":3},{"degree":26,"count":18},{"degree":27,"count":3},{"degree":28,"count":30},{"degree":29,"count":9},{"degree":30,"count":3},{"degree":31,"count":15},{"degree":32,"count":6},{"degree":33,"count":3},{"degree":34,"count":141},{"degree":36,"count":3},{"degree":37,"count":3},"...",{"degree":71,"count":3}, {"degree":72,"count":3}, {"degree":73,"count":6}, {"degree":74,"count":12}, {"degree":75,"count":6}, {"degree":76,"count":3}, {"degree":77,"count":12}, {"degree":78,"count":18}, {"degree":79,"count":12}, {"degree":80,"count":18}, {"degree":81,"count":12}, {"degree":82,"count":3}, {"degree":83,"count":6}, {"degree":84,"count":12}, {"degree":85,"count":6}, {"degree":86,"count":3}, {"degree":87,"count":3}, {"degree":89,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":3}, {"degree":95,"count":3}, {"degree":96,"count":3}, {"degree":107,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":4842},{"arity":3,"count":46},{"arity":32,"count":462}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":5350}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4406206

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
