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-16	SAT (TO)	331	2400.47	603.493
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 (14134 MiB free)
  memory of node 1: 16384 MiB (15508 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400507-1568694634/watcher-4400507-1568694634 -o /tmp/evaluation-result-4400507-1568694634/solver-4400507-1568694634 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568691240-24304 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 363714070 HOME/instance-4400507-1568694634.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=4072, runsolver pid=4069
Current StackSize limit: 8192 KiB


[startup+0.100058 s]*
/proc/loadavg: 8.74 8.70 8.50 7/233 4088
/proc/meminfo: memFree=30337980/32770624 swapFree=66997372/67108860
[pid=4072] ppid=4069 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (xcsp3-exec) S 4069 4072 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445716436 115843072 363 33554432000 4194304 5098028 140729770113440 140729770111544 140030918115964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17088512 140729770115963 140729770116205 140729770116205 140729770119114 0
/proc/4072/statm: 28282 363 304 221 0 87 0
[pid=4074] ppid=4072 vsize=15144776 memory=28792 CPUtime=0.12 cores=1,3,5,7
/proc/4074/stat : 4074 (java) S 4072 4072 24272 0 -1 1077944320 5669 0 0 0 11 1 0 0 20 0 15 0 445716436 15508250624 7198 33554432000 4194304 4196468 140724323464848 140724323447392 139875014901495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
/proc/4074/statm: 3786194 7198 3127 1 0 3748377 0
[pid=4074/tid=4075] ppid=4072 vsize=15144776 memory=-7828588039587135835 CPUtime=0.09 cores=1,3,5,7
/proc/4074/task/4075/stat : 4075 (java) R 4072 4072 24272 0 -1 4202560 3569 0 0 0 8 1 0 0 20 0 15 0 445716436 15508250624 7264 33554432000 4194304 4196468 140724323464848 139875019133576 139875014913430 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4076] ppid=4072 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4076/stat : 4076 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874942942096 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4077] ppid=4072 vsize=15144776 memory=140702534915712 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4077/stat : 4077 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874941889296 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4078] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4078/stat : 4078 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874940837008 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4079] ppid=4072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4079/stat : 4079 (java) S 4072 4072 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874939784208 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4080] ppid=4072 vsize=15144776 memory=140702534915712 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4080/stat : 4080 (java) S 4072 4072 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716439 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874483406960 139875014912642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4081] ppid=4072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4081/stat : 4081 (java) S 4072 4072 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445716439 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874482352928 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4082] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4082/stat : 4082 (java) S 4072 4072 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445716439 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874481300592 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4083] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4083/stat : 4083 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716441 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874480248912 139875014920091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4084] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4084/stat : 4084 (java) S 4072 4072 24272 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 445716442 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874479196784 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4085] ppid=4072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4085/stat : 4085 (java) S 4072 4072 24272 0 -1 1077944384 158 0 0 0 0 0 0 0 20 0 15 0 445716442 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874478143984 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4086] ppid=4072 vsize=15144776 memory=140702534915712 CPUtime=0.02 cores=1,3,5,7
/proc/4074/task/4086/stat : 4086 (java) R 4072 4072 24272 0 -1 4202560 386 0 0 0 2 0 0 0 20 0 15 0 445716442 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874477091696 139875014913430 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4087] ppid=4072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4087/stat : 4087 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716442 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874476039136 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4088] ppid=4072 vsize=15144776 memory=140702534915712 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4088/stat : 4088 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716442 15508250624 7264 33554432000 4194304 4196468 140724323464848 139874474985904 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30244 KiB

[startup+0.212454 s]*
/proc/loadavg: 8.74 8.70 8.50 8/233 4088
/proc/meminfo: memFree=30325260/32770624 swapFree=66997372/67108860
[pid=4072] ppid=4069 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (xcsp3-exec) S 4069 4072 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445716436 115843072 363 33554432000 4194304 5098028 140729770113440 140729770111544 140030918115964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17088512 140729770115963 140729770116205 140729770116205 140729770119114 0
/proc/4072/statm: 28282 363 304 221 0 87 0
[pid=4074] ppid=4072 vsize=15144776 memory=40164 CPUtime=0.34 cores=1,3,5,7
/proc/4074/stat : 4074 (java) S 4072 4072 24272 0 -1 1077944320 9307 0 0 0 31 3 0 0 20 0 15 0 445716436 15508250624 10041 33554432000 4194304 4196468 140724323464848 140724323447392 139875014901495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
/proc/4074/statm: 3786194 10041 3261 1 0 3748377 0
[pid=4074/tid=4075] ppid=4072 vsize=15144776 memory=7022364632946311227 CPUtime=0.2 cores=1,3,5,7
/proc/4074/task/4075/stat : 4075 (java) R 4072 4072 24272 0 -1 4202560 6573 0 0 0 18 2 0 0 20 0 15 0 445716436 15508250624 10041 33554432000 4194304 4196468 140724323464848 139875019138720 139874998981982 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4076] ppid=4072 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4076/stat : 4076 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 10041 33554432000 4194304 4196468 140724323464848 139874942942096 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4077] ppid=4072 vsize=15144776 memory=140702534940268 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4077/stat : 4077 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 10041 33554432000 4194304 4196468 140724323464848 139874941889296 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4078] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4078/stat : 4078 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 10041 33554432000 4194304 4196468 140724323464848 139874940837008 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4079] ppid=4072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4079/stat : 4079 (java) S 4072 4072 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716437 15508250624 10041 33554432000 4194304 4196468 140724323464848 139874939784208 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4080] ppid=4072 vsize=15144776 memory=140702534915712 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4080/stat : 4080 (java) S 4072 4072 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445716439 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874483406960 139875014912642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4081] ppid=4072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4081/stat : 4081 (java) S 4072 4072 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445716439 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874482352928 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4082] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4082/stat : 4082 (java) S 4072 4072 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445716439 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874481300592 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4083] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4083/stat : 4083 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716441 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874480248912 139875014920091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4084] ppid=4072 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/4074/task/4084/stat : 4084 (java) S 4072 4072 24272 0 -1 1077944384 395 0 0 0 2 0 0 0 20 0 15 0 445716442 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874479196784 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4085] ppid=4072 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/4074/task/4085/stat : 4085 (java) S 4072 4072 24272 0 -1 1077944384 230 0 0 0 2 0 0 0 20 0 15 0 445716442 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874478143984 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4086] ppid=4072 vsize=15144776 memory=140702534915712 CPUtime=0.08 cores=1,3,5,7
/proc/4074/task/4086/stat : 4086 (java) S 4072 4072 24272 0 -1 1077944384 820 0 0 0 8 0 0 0 20 0 15 0 445716442 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874477091696 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4087] ppid=4072 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4087/stat : 4087 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716442 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874476039136 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4088] ppid=4072 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4088/stat : 4088 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716442 15508250624 10104 33554432000 4194304 4196468 140724323464848 139874474985904 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41616 KiB

[startup+0.315636 s]*
/proc/loadavg: 8.74 8.70 8.50 7/233 4088
/proc/meminfo: memFree=30318104/32770624 swapFree=66997372/67108860
[pid=4072] ppid=4069 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (xcsp3-exec) S 4069 4072 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445716436 115843072 363 33554432000 4194304 5098028 140729770113440 140729770111544 140030918115964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17088512 140729770115963 140729770116205 140729770116205 140729770119114 0
/proc/4072/statm: 28282 363 304 221 0 87 0
[pid=4074] ppid=4072 vsize=15149032 memory=50080 CPUtime=0.54 cores=1,3,5,7
/proc/4074/stat : 4074 (java) S 4072 4072 24272 0 -1 1077944320 10878 0 0 0 50 4 0 0 20 0 15 0 445716436 15512608768 12520 33554432000 4194304 4196468 140724323464848 140724323447392 139875014901495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
/proc/4074/statm: 3787258 12520 3342 1 0 3748377 0
[pid=4074/tid=4075] ppid=4072 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/4074/task/4075/stat : 4075 (java) R 4072 4072 24272 0 -1 4202560 7831 0 0 0 27 3 0 0 20 0 15 0 445716436 15512608768 12585 33554432000 4194304 4196468 140724323464848 139875019138320 139874998981982 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4076] ppid=4072 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4076/stat : 4076 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15512608768 12585 33554432000 4194304 4196468 140724323464848 139874942942096 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4077] ppid=4072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4077/stat : 4077 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15512608768 12585 33554432000 4194304 4196468 140724323464848 139874941889296 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4078] ppid=4072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4078/stat : 4078 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874940837008 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4079] ppid=4072 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4079/stat : 4079 (java) S 4072 4072 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716437 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874939784208 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4080] ppid=4072 vsize=15149032 memory=667913 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4080/stat : 4080 (java) S 4072 4072 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445716439 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874483406960 139875014912642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4081] ppid=4072 vsize=15149032 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4081/stat : 4081 (java) S 4072 4072 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445716439 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874482352928 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4082] ppid=4072 vsize=15149032 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4082/stat : 4082 (java) S 4072 4072 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445716439 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874481300592 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4083] ppid=4072 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4083/stat : 4083 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716441 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874480248912 139875014920091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4084] ppid=4072 vsize=15149032 memory=-1751206868705893467 CPUtime=0.06 cores=1,3,5,7
/proc/4074/task/4084/stat : 4084 (java) S 4072 4072 24272 0 -1 1077944384 539 0 0 0 6 0 0 0 20 0 15 0 445716442 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874479196784 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4085] ppid=4072 vsize=15149032 memory=7680491646476169235 CPUtime=0.03 cores=1,3,5,7
/proc/4074/task/4085/stat : 4085 (java) S 4072 4072 24272 0 -1 1077944384 246 0 0 0 3 0 0 0 20 0 15 0 445716442 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874478143984 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4086] ppid=4072 vsize=15149032 memory=7088771780547993696 CPUtime=0.12 cores=1,3,5,7
/proc/4074/task/4086/stat : 4086 (java) S 4072 4072 24272 0 -1 1077944384 970 0 0 0 12 0 0 0 20 0 15 0 445716442 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874477091696 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4087] ppid=4072 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4087/stat : 4087 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716442 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874476039136 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4088] ppid=4072 vsize=15149032 memory=7317634893576766894 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4088/stat : 4088 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716442 15512608768 12602 33554432000 4194304 4196468 140724323464848 139874474985904 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51532 KiB

[startup+0.700817 s]
/proc/loadavg: 8.74 8.70 8.50 7/233 4088
/proc/meminfo: memFree=30294864/32770624 swapFree=66997372/67108860
[pid=4072] ppid=4069 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (xcsp3-exec) S 4069 4072 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445716436 115843072 363 33554432000 4194304 5098028 140729770113440 140729770111544 140030918115964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17088512 140729770115963 140729770116205 140729770116205 140729770119114 0
/proc/4072/statm: 28282 363 304 221 0 87 0
[pid=4074] ppid=4072 vsize=15151156 memory=120708 CPUtime=1.78 cores=1,3,5,7
/proc/4074/stat : 4074 (java) S 4072 4072 24272 0 -1 1077944320 14157 0 0 0 173 5 0 0 20 0 15 0 445716436 15514783744 30177 33554432000 4194304 4196468 140724323464848 140724323447392 139875014901495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
/proc/4074/statm: 3787789 30177 3450 1 0 3748889 0
[pid=4074/tid=4075] ppid=4072 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/4074/task/4075/stat : 4075 (java) R 4072 4072 24272 0 -1 4202560 8349 0 0 0 63 4 0 0 20 0 15 0 445716436 15514783744 30177 33554432000 4194304 4196468 140724323464848 139875019138304 139874623160325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4076] ppid=4072 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4076/stat : 4076 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874942942096 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4077] ppid=4072 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4077/stat : 4077 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874941889296 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4078] ppid=4072 vsize=15151156 memory=143 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4078/stat : 4078 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716437 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874940837008 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4079] ppid=4072 vsize=15151156 memory=2 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4079/stat : 4079 (java) S 4072 4072 24272 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445716437 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874939784208 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4080] ppid=4072 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4080/stat : 4080 (java) S 4072 4072 24272 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445716439 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874483406960 139875014912642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4081] ppid=4072 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4081/stat : 4081 (java) S 4072 4072 24272 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445716439 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874482352928 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4082] ppid=4072 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4082/stat : 4082 (java) S 4072 4072 24272 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445716439 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874481300592 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4083] ppid=4072 vsize=15151156 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4083/stat : 4083 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716441 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874480248912 139875014920091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4084] ppid=4072 vsize=15151156 memory=1668 CPUtime=0.39 cores=1,3,5,7
/proc/4074/task/4084/stat : 4084 (java) R 4072 4072 24272 0 -1 4202560 1579 0 0 0 39 0 0 0 20 0 15 0 445716442 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874479182808 139874999798935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4085] ppid=4072 vsize=15151156 memory=1112 CPUtime=0.38 cores=1,3,5,7
/proc/4074/task/4085/stat : 4085 (java) R 4072 4072 24272 0 -1 4202560 1216 0 0 0 38 0 0 0 20 0 15 0 445716442 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874478143168 139874994731776 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4086] ppid=4072 vsize=15151156 memory=1004 CPUtime=0.32 cores=1,3,5,7
/proc/4074/task/4086/stat : 4086 (java) S 4072 4072 24272 0 -1 1077944384 1706 0 0 0 32 0 0 0 20 0 15 0 445716442 15514783744 30177 33554432000 4194304 4196468 140724323464848 139874477091696 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4087] ppid=4072 vsize=15151156 memory=6036 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4087/stat : 4087 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445716442 15514783744 30689 33554432000 4194304 4196468 140724323464848 139874476039136 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4088] ppid=4072 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4088/stat : 4088 (java) S 4072 4072 24272 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445716442 15514783744 30689 33554432000 4194304 4196468 140724323464848 139874474985904 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
Current children cumulated CPU time: 1.78 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 122160 KiB

[startup+1.50861 s]
/proc/loadavg: 8.74 8.70 8.50 9/233 4092
/proc/meminfo: memFree=30186264/32770624 swapFree=66997372/67108860
[pid=4072] ppid=4069 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (xcsp3-exec) S 4069 4072 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445716436 115843072 363 33554432000 4194304 5098028 140729770113440 140729770111544 140030918115964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17088512 140729770115963 140729770116205 140729770116205 140729770119114 0
/proc/4072/statm: 28282 363 304 221 0 87 0

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

/proc/4074/stat : 4074 (java) S 4072 4072 24272 0 -1 1077944320 71926 0 0 0 207682 50 0 0 20 0 19 0 445716436 15991914496 290860 33554432000 4194304 4196468 140724323464848 140724323447392 139875014901495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
/proc/4074/statm: 3904276 290860 3526 1 0 3865376 0
[pid=4074/tid=4075] ppid=4072 vsize=15617104 memory=1163440 CPUtime=1.39 cores=1,3,5,7
/proc/4074/task/4075/stat : 4075 (java) S 4072 4072 24272 0 -1 1077944384 9475 0 0 0 134 5 0 0 20 0 19 0 445716436 15991914496 290860 33554432000 4194304 4196468 140724323464848 139875019142272 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4076] ppid=4072 vsize=15617104 memory=1163440 CPUtime=0.14 cores=1,3,5,7
/proc/4074/task/4076/stat : 4076 (java) S 4072 4072 24272 0 -1 1077944384 1811 0 0 0 10 4 0 0 20 0 19 0 445716437 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874942942096 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4077] ppid=4072 vsize=15617104 memory=1163440 CPUtime=0.14 cores=1,3,5,7
/proc/4074/task/4077/stat : 4077 (java) S 4072 4072 24272 0 -1 1077944384 1382 0 0 0 10 4 0 0 20 0 19 0 445716437 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874941889296 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4078] ppid=4072 vsize=15617104 memory=1163440 CPUtime=0.13 cores=1,3,5,7
/proc/4074/task/4078/stat : 4078 (java) S 4072 4072 24272 0 -1 1077944384 2269 0 0 0 9 4 0 0 20 0 19 0 445716437 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874940837008 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4079] ppid=4072 vsize=15617104 memory=1163440 CPUtime=0.14 cores=1,3,5,7
/proc/4074/task/4079/stat : 4079 (java) S 4072 4072 24272 0 -1 1077944384 1840 0 0 0 10 4 0 0 20 0 19 0 445716437 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874939784208 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4080] ppid=4072 vsize=15617104 memory=1163440 CPUtime=0.03 cores=1,3,5,7
/proc/4074/task/4080/stat : 4080 (java) S 4072 4072 24272 0 -1 1077944384 3051 0 0 0 2 1 0 0 20 0 19 0 445716439 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874483406960 139875014912642 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4081] ppid=4072 vsize=15617104 memory=0 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4081/stat : 4081 (java) S 4072 4072 24272 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 445716439 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874482352992 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4082] ppid=4072 vsize=15617104 memory=1163440 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4082/stat : 4082 (java) S 4072 4072 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445716439 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874481300608 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4083] ppid=4072 vsize=15617104 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4083/stat : 4083 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716441 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874480248912 139875014920091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4084] ppid=4072 vsize=15617104 memory=8112282956445269571 CPUtime=2.71 cores=1,3,5,7
/proc/4074/task/4084/stat : 4084 (java) S 4072 4072 24272 0 -1 1077944384 13420 0 0 0 270 1 0 0 20 0 19 0 445716442 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874479196784 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4085] ppid=4072 vsize=15617104 memory=26212 CPUtime=2.67 cores=1,3,5,7
/proc/4074/task/4085/stat : 4085 (java) S 4072 4072 24272 0 -1 1077944384 13656 0 0 0 266 1 0 0 20 0 19 0 445716442 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874478143984 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4086] ppid=4072 vsize=15617104 memory=267 CPUtime=0.79 cores=1,3,5,7
/proc/4074/task/4086/stat : 4086 (java) S 4072 4072 24272 0 -1 1077944384 6260 0 0 0 78 1 0 0 20 0 19 0 445716442 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874477091696 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4087] ppid=4072 vsize=15617104 memory=79 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4087/stat : 4087 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716442 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874476039136 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4088] ppid=4072 vsize=15617104 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/4074/task/4088/stat : 4088 (java) S 4072 4072 24272 0 -1 1077944384 645 0 0 0 0 21 0 0 20 0 19 0 445716442 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874474985904 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4170] ppid=4072 vsize=15617104 memory=122107 CPUtime=513.24 cores=1,3,5,7
/proc/4074/task/4170/stat : 4170 (java) R 4072 4072 24272 0 -1 4202560 709 0 0 0 51324 0 0 0 20 0 19 0 445717057 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874393795408 139874625865584 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4171] ppid=4072 vsize=15617104 memory=8112282956445269571 CPUtime=514.44 cores=1,3,5,7
/proc/4074/task/4171/stat : 4171 (java) R 4072 4072 24272 0 -1 4202560 7641 0 0 0 51434 10 0 0 20 0 19 0 445717057 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874395902984 139874627639919 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4172] ppid=4072 vsize=15617104 memory=1163440 CPUtime=512.04 cores=1,3,5,7
/proc/4074/task/4172/stat : 4172 (java) R 4072 4072 24272 0 -1 4202560 878 0 0 0 51203 1 0 0 20 0 19 0 445717057 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874394849720 139874626224089 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4173] ppid=4072 vsize=15617104 memory=1163440 CPUtime=513 cores=1,3,5,7
/proc/4074/task/4173/stat : 4173 (java) R 4072 4072 24272 0 -1 4202560 4672 0 0 0 51296 4 0 0 20 0 19 0 445717057 15991914496 290860 33554432000 4194304 4196468 140724323464848 139874391691024 139874626088268 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
Current children cumulated CPU time: 2077.32 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1164892 KiB

[startup+582.302 s]
/proc/loadavg: 8.45 8.42 8.45 9/237 4288
/proc/meminfo: memFree=27931952/32770624 swapFree=66997372/67108860
[pid=4072] ppid=4069 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (xcsp3-exec) S 4069 4072 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445716436 115843072 363 33554432000 4194304 5098028 140729770113440 140729770111544 140030918115964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17088512 140729770115963 140729770116205 140729770116205 140729770119114 0
/proc/4072/statm: 28282 363 304 221 0 87 0
[pid=4074] ppid=4072 vsize=15617104 memory=1164924 CPUtime=2316.15 cores=1,3,5,7
/proc/4074/stat : 4074 (java) S 4072 4072 24272 0 -1 1077944320 73621 0 0 0 231564 51 0 0 20 0 19 0 445716436 15991914496 291231 33554432000 4194304 4196468 140724323464848 140724323447392 139875014901495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
/proc/4074/statm: 3904276 291231 3526 1 0 3865376 0
[pid=4074/tid=4075] ppid=4072 vsize=15617104 memory=1164924 CPUtime=1.39 cores=1,3,5,7
/proc/4074/task/4075/stat : 4075 (java) S 4072 4072 24272 0 -1 1077944384 9475 0 0 0 134 5 0 0 20 0 19 0 445716436 15991914496 291231 33554432000 4194304 4196468 140724323464848 139875019142272 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4076] ppid=4072 vsize=15617104 memory=1164924 CPUtime=0.15 cores=1,3,5,7
/proc/4074/task/4076/stat : 4076 (java) S 4072 4072 24272 0 -1 1077944384 1823 0 0 0 10 5 0 0 20 0 19 0 445716437 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874942942096 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4077] ppid=4072 vsize=15617104 memory=1164924 CPUtime=0.14 cores=1,3,5,7
/proc/4074/task/4077/stat : 4077 (java) S 4072 4072 24272 0 -1 1077944384 1434 0 0 0 10 4 0 0 20 0 19 0 445716437 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874941889296 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4078] ppid=4072 vsize=15617104 memory=1452 CPUtime=0.13 cores=1,3,5,7
/proc/4074/task/4078/stat : 4078 (java) S 4072 4072 24272 0 -1 1077944384 2277 0 0 0 9 4 0 0 20 0 19 0 445716437 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874940837008 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4079] ppid=4072 vsize=15617104 memory=1164924 CPUtime=0.14 cores=1,3,5,7
/proc/4074/task/4079/stat : 4079 (java) S 4072 4072 24272 0 -1 1077944384 1849 0 0 0 10 4 0 0 20 0 19 0 445716437 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874939784208 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4080] ppid=4072 vsize=15617104 memory=1164924 CPUtime=0.04 cores=1,3,5,7
/proc/4074/task/4080/stat : 4080 (java) S 4072 4072 24272 0 -1 1077944384 3188 0 0 0 3 1 0 0 20 0 19 0 445716439 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874483406960 139875014912642 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4081] ppid=4072 vsize=15617104 memory=676 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4081/stat : 4081 (java) S 4072 4072 24272 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 445716439 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874482352992 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4082] ppid=4072 vsize=15617104 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4082/stat : 4082 (java) S 4072 4072 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445716439 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874481300608 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4083] ppid=4072 vsize=15617104 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4083/stat : 4083 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716441 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874480248912 139875014920091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4084] ppid=4072 vsize=15617104 memory=3504 CPUtime=2.71 cores=1,3,5,7
/proc/4074/task/4084/stat : 4084 (java) S 4072 4072 24272 0 -1 1077944384 13423 0 0 0 270 1 0 0 20 0 19 0 445716442 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874479196784 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4085] ppid=4072 vsize=15617104 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/4074/task/4085/stat : 4085 (java) S 4072 4072 24272 0 -1 1077944384 13659 0 0 0 266 1 0 0 20 0 19 0 445716442 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874478143984 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4086] ppid=4072 vsize=15617104 memory=1452 CPUtime=0.79 cores=1,3,5,7
/proc/4074/task/4086/stat : 4086 (java) S 4072 4072 24272 0 -1 1077944384 6269 0 0 0 78 1 0 0 20 0 19 0 445716442 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874477091696 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4087] ppid=4072 vsize=15617104 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4087/stat : 4087 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716442 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874476039136 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4088] ppid=4072 vsize=15617104 memory=1164924 CPUtime=0.23 cores=1,3,5,7
/proc/4074/task/4088/stat : 4088 (java) S 4072 4072 24272 0 -1 1077944384 673 0 0 0 0 23 0 0 20 0 19 0 445716442 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874474985904 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4170] ppid=4072 vsize=15617104 memory=1452 CPUtime=572.57 cores=1,3,5,7
/proc/4074/task/4170/stat : 4170 (java) R 4072 4072 24272 0 -1 4202560 827 0 0 0 57257 0 0 0 20 0 19 0 445717057 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874393796200 139874626008273 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4171] ppid=4072 vsize=15617104 memory=1162876 CPUtime=574.4 cores=1,3,5,7
/proc/4074/task/4171/stat : 4171 (java) R 4072 4072 24272 0 -1 4202560 8702 0 0 0 57430 10 0 0 20 0 19 0 445717057 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874395905136 139874625905176 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4172] ppid=4072 vsize=15617104 memory=1164924 CPUtime=572.01 cores=1,3,5,7
/proc/4074/task/4172/stat : 4172 (java) R 4072 4072 24272 0 -1 4202560 1019 0 0 0 57200 1 0 0 20 0 19 0 445717057 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874394849472 139874625865414 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4173] ppid=4072 vsize=15617104 memory=1452 CPUtime=572.53 cores=1,3,5,7
/proc/4074/task/4173/stat : 4173 (java) R 4072 4072 24272 0 -1 4202560 4786 0 0 0 57249 4 0 0 20 0 19 0 445717057 15991914496 291231 33554432000 4194304 4196468 140724323464848 139874391691016 139874625512071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
Current children cumulated CPU time: 2316.15 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1166376 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+603.402 s]
/proc/loadavg: 8.60 8.46 8.47 8/231 4322
/proc/meminfo: memFree=30152912/32770624 swapFree=66997372/67108860
[pid=4072] ppid=4069 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/4072/stat : 4072 (xcsp3-exec) S 4069 4072 24272 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445716436 115843072 363 33554432000 4194304 5098028 140729770113440 140729770111544 140030918115964 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 17088512 140729770115963 140729770116205 140729770116205 140729770119114 0
/proc/4072/statm: 28282 363 304 221 0 87 0
[pid=4074] ppid=4072 vsize=15617104 memory=1162316 CPUtime=2400.12 cores=1,3,5,7
/proc/4074/stat : 4074 (java) S 4072 4072 24272 0 -1 1077944320 74673 0 0 0 239958 54 0 0 20 0 19 0 445716436 15991914496 290579 33554432000 4194304 4196468 140724323464848 140724323447392 139875014901495 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
/proc/4074/statm: 3904276 290579 3526 1 0 3865376 0
[pid=4074/tid=4075] ppid=4072 vsize=15617104 memory=1980 CPUtime=1.39 cores=1,3,5,7
/proc/4074/task/4075/stat : 4075 (java) S 4072 4072 24272 0 -1 1077944384 9475 0 0 0 134 5 0 0 20 0 19 0 445716436 15991914496 290579 33554432000 4194304 4196468 140724323464848 139875019142272 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4076] ppid=4072 vsize=15617104 memory=2512 CPUtime=0.15 cores=1,3,5,7
/proc/4074/task/4076/stat : 4076 (java) S 4072 4072 24272 0 -1 1077944384 1850 0 0 0 10 5 0 0 20 0 19 0 445716437 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874942942096 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4077] ppid=4072 vsize=15617104 memory=1436 CPUtime=0.14 cores=1,3,5,7
/proc/4074/task/4077/stat : 4077 (java) S 4072 4072 24272 0 -1 1077944384 1452 0 0 0 10 4 0 0 20 0 19 0 445716437 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874941889296 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4078] ppid=4072 vsize=15617104 memory=812 CPUtime=0.13 cores=1,3,5,7
/proc/4074/task/4078/stat : 4078 (java) S 4072 4072 24272 0 -1 1077944384 2344 0 0 0 9 4 0 0 20 0 19 0 445716437 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874940837008 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4079] ppid=4072 vsize=15617104 memory=1548 CPUtime=0.14 cores=1,3,5,7
/proc/4074/task/4079/stat : 4079 (java) S 4072 4072 24272 0 -1 1077944384 2297 0 0 0 10 4 0 0 20 0 19 0 445716437 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874939784208 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4080] ppid=4072 vsize=15617104 memory=8560 CPUtime=0.04 cores=1,3,5,7
/proc/4074/task/4080/stat : 4080 (java) S 4072 4072 24272 0 -1 1077944384 3435 0 0 0 3 1 0 0 20 0 19 0 445716439 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874483406960 139875014912642 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4081] ppid=4072 vsize=15617104 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4081/stat : 4081 (java) S 4072 4072 24272 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 445716439 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874482352992 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4082] ppid=4072 vsize=15617104 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4082/stat : 4082 (java) S 4072 4072 24272 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 19 0 445716439 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874481300608 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4083] ppid=4072 vsize=15617104 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4083/stat : 4083 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716441 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874480248912 139875014920091 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4084] ppid=4072 vsize=15617104 memory=6036 CPUtime=2.71 cores=1,3,5,7
/proc/4074/task/4084/stat : 4084 (java) S 4072 4072 24272 0 -1 1077944384 13423 0 0 0 270 1 0 0 20 0 19 0 445716442 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874479196784 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4085] ppid=4072 vsize=15617104 memory=1452 CPUtime=2.67 cores=1,3,5,7
/proc/4074/task/4085/stat : 4085 (java) S 4072 4072 24272 0 -1 1077944384 13659 0 0 0 266 1 0 0 20 0 19 0 445716442 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874478143984 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4086] ppid=4072 vsize=15617104 memory=1162316 CPUtime=0.79 cores=1,3,5,7
/proc/4074/task/4086/stat : 4086 (java) S 4072 4072 24272 0 -1 1077944384 6269 0 0 0 78 1 0 0 20 0 19 0 445716442 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874477091696 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4087] ppid=4072 vsize=15617104 memory=2756 CPUtime=0 cores=1,3,5,7
/proc/4074/task/4087/stat : 4087 (java) S 4072 4072 24272 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445716442 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874476039136 139875014911701 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4088] ppid=4072 vsize=15617104 memory=2616 CPUtime=0.24 cores=1,3,5,7
/proc/4074/task/4088/stat : 4088 (java) S 4072 4072 24272 0 -1 1077944384 673 0 0 0 0 24 0 0 20 0 19 0 445716442 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874474985904 139875014912642 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4170] ppid=4072 vsize=15617104 memory=916 CPUtime=593.26 cores=1,3,5,7
/proc/4074/task/4170/stat : 4170 (java) R 4072 4072 24272 0 -1 4202560 856 0 0 0 59323 3 0 0 20 0 19 0 445717057 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874393795800 139874626008482 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4171] ppid=4072 vsize=15617104 memory=3848 CPUtime=595.49 cores=1,3,5,7
/proc/4074/task/4171/stat : 4171 (java) R 4072 4072 24272 0 -1 4202560 8851 0 0 0 59539 10 0 0 20 0 19 0 445717057 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874395902472 139874625865552 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4172] ppid=4072 vsize=15617104 memory=2756 CPUtime=593.09 cores=1,3,5,7
/proc/4074/task/4172/stat : 4172 (java) R 4072 4072 24272 0 -1 4202560 1041 0 0 0 59308 1 0 0 20 0 19 0 445717057 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874394849472 139874625865538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
[pid=4074/tid=4173] ppid=4072 vsize=15617104 memory=1452 CPUtime=593.61 cores=1,3,5,7
/proc/4074/task/4173/stat : 4173 (java) R 4072 4072 24272 0 -1 4202560 4831 0 0 0 59357 4 0 0 20 0 19 0 445717057 15991914496 290579 33554432000 4194304 4196468 140724323464848 139874391693680 139874625511552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16281600 140724323468271 140724323468442 140724323468442 140724323471311 0
Current children cumulated CPU time: 2400.12 s
Current children cumulated vsize: 15730232 KiB
Current children cumulated memory: 1163768 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+603.423 s]
# the end of solver process 4072 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001138 s, system=0.001138 s

[startup+603.493 s]
# the end of solver process 4074 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.91 s, system=0.56196 s
# this solver process was not waited by its parent and was adopted by runsolver

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 603.493
CPU time (s): 2400.47
CPU user time (s): 2399.91
CPU system time (s): 0.56196
CPU usage (%): 397.762
Max. virtual memory (cumulated for all children) (KiB): 15730232
Max. memory (cumulated for all children) (KiB): 1166940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.56196
maximum resident set size= 1167536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75755
page faults= 0
swaps= 0
block input operations= 0
block output operations= 792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16392
involuntary context switches= 47923


# summary of solver processes directly reported to runsolver:
#   pid: 4072,4074
#   total CPU time (s): 2400.47
#   total CPU user time (s): 2399.91
#   total CPU system time (s): 0.56196

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.89788 second user time and 7.10965 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 4400507

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
