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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-20	SAT	393.141	99.818
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 (7731 MiB free)
  memory of node 1: 16384 MiB (7146 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403391-1568992085/watcher-4403391-1568992085 -o /tmp/evaluation-result-4403391-1568992085/solver-4403391-1568992085 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2054324509 HOME/instance-4403391-1568992085.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.100095 s]*
/proc/loadavg: 9.44 9.03 8.59 6/232 4292
/proc/meminfo: memFree=15220980/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0
[pid=4278] ppid=4276 vsize=15144776 memory=26184 CPUtime=0.1 cores=0,2,4,6
/proc/4278/stat : 4278 (java) S 4276 4276 30846 0 -1 1077944320 5500 0 0 0 9 1 0 0 20 0 15 0 475478229 15508250624 6546 33554432000 4194304 4196468 140730690700432 140730690682976 140164877115127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
/proc/4278/statm: 3786194 6546 3047 1 0 3748377 0
[pid=4278/tid=4279] ppid=4276 vsize=15144776 memory=7031125463459224206 CPUtime=0.07 cores=0,2,4,6
/proc/4278/task/4279/stat : 4279 (java) R 4276 4276 30846 0 -1 4202560 3510 0 0 0 7 0 0 0 20 0 15 0 475478229 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164881342800 140164861195614 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4280] ppid=4276 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4280/stat : 4280 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164469459344 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4281] ppid=4276 vsize=15144776 memory=140302183159424 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4281/stat : 4281 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164468406544 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4282] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4282/stat : 4282 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164467354256 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4283] ppid=4276 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4283/stat : 4283 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164466301456 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4284] ppid=4276 vsize=15144776 memory=140302183159424 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4284/stat : 4284 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478231 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164345653872 140164877126274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4285] ppid=4276 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4285/stat : 4285 (java) S 4276 4276 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475478231 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164344599840 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4286] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4286/stat : 4286 (java) S 4276 4276 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475478232 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164343547504 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4287] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478234 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164342495824 140164877133723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) S 4276 4276 30846 0 -1 1077944384 319 0 0 0 0 0 0 0 20 0 15 0 475478236 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164341442672 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478236 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164340389872 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15144776 memory=140302183159424 CPUtime=0.01 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) R 4276 4276 30846 0 -1 4202560 390 0 0 0 1 0 0 0 20 0 15 0 475478236 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164339337584 140164855741904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478236 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4292] ppid=4276 vsize=15144776 memory=140302183159424 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4292/stat : 4292 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478236 15508250624 6546 33554432000 4194304 4196468 140730690700432 140164337232816 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 27636 KiB

[startup+0.210747 s]*
/proc/loadavg: 9.44 9.03 8.59 7/232 4292
/proc/meminfo: memFree=15208628/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0
[pid=4278] ppid=4276 vsize=15144776 memory=39008 CPUtime=0.31 cores=0,2,4,6
/proc/4278/stat : 4278 (java) S 4276 4276 30846 0 -1 1077944320 9475 0 0 0 28 3 0 0 20 0 15 0 475478229 15508250624 9752 33554432000 4194304 4196468 140730690700432 140730690682976 140164877115127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
/proc/4278/statm: 3786194 9752 3320 1 0 3748377 0
[pid=4278/tid=4279] ppid=4276 vsize=15144776 memory=7022364632946311227 CPUtime=0.18 cores=0,2,4,6
/proc/4278/task/4279/stat : 4279 (java) R 4276 4276 30846 0 -1 4202560 6595 0 0 0 16 2 0 0 20 0 15 0 475478229 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164881334464 140164514454237 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4280] ppid=4276 vsize=15144776 memory=4294979937 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4280/stat : 4280 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164469459344 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4281] ppid=4276 vsize=15144776 memory=140302186636643 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4281/stat : 4281 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164468406544 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4282] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4282/stat : 4282 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164467354256 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4283] ppid=4276 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4283/stat : 4283 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164466301456 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4284] ppid=4276 vsize=15144776 memory=140302183159424 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4284/stat : 4284 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478231 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164345653872 140164877126274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4285] ppid=4276 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4285/stat : 4285 (java) S 4276 4276 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475478231 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164344599840 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4286] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4286/stat : 4286 (java) S 4276 4276 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475478232 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164343547504 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4287] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478234 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164342495824 140164877133723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) R 4276 4276 30846 0 -1 1077944384 400 0 0 0 2 0 0 0 20 0 15 0 475478236 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164341442672 140164877126274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) S 4276 4276 30846 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 475478236 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164340389872 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15144776 memory=140302183159424 CPUtime=0.06 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) R 4276 4276 30846 0 -1 4202560 917 0 0 0 6 0 0 0 20 0 15 0 475478236 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164339337584 140164877127062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478236 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4292] ppid=4276 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4292/stat : 4292 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478236 15508250624 9752 33554432000 4194304 4196468 140730690700432 140164337232816 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 40460 KiB

[startup+0.312845 s]*
/proc/loadavg: 9.44 9.03 8.59 6/232 4292
/proc/meminfo: memFree=15202944/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0
[pid=4278] ppid=4276 vsize=15149032 memory=45928 CPUtime=0.49 cores=0,2,4,6
/proc/4278/stat : 4278 (java) S 4276 4276 30846 0 -1 1077944320 10846 0 0 0 45 4 0 0 20 0 15 0 475478229 15512608768 11482 33554432000 4194304 4196468 140730690700432 140730690682976 140164877115127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
/proc/4278/statm: 3787258 11482 3353 1 0 3748377 0
[pid=4278/tid=4279] ppid=4276 vsize=15149032 memory=6935054825532540783 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4279/stat : 4279 (java) R 4276 4276 30846 0 -1 4202560 7647 0 0 0 26 2 0 0 20 0 15 0 475478229 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164881352352 140164877127062 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4280] ppid=4276 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4280/stat : 4280 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164469459344 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4281] ppid=4276 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4281/stat : 4281 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164468406544 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4282] ppid=4276 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4282/stat : 4282 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164467354256 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4283] ppid=4276 vsize=15149032 memory=46849 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4283/stat : 4283 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164466301456 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4284] ppid=4276 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4284/stat : 4284 (java) S 4276 4276 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475478231 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164345653872 140164877126274 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4285] ppid=4276 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4285/stat : 4285 (java) S 4276 4276 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475478231 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164344599840 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4286] ppid=4276 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4286/stat : 4286 (java) S 4276 4276 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475478232 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164343547504 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4287] ppid=4276 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478234 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164342495824 140164877133723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15149032 memory=6944652177228980320 CPUtime=0.03 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) S 4276 4276 30846 0 -1 1077944384 438 0 0 0 3 0 0 0 20 0 15 0 475478236 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164341442672 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15149032 memory=-6654736624941490777 CPUtime=0.04 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) S 4276 4276 30846 0 -1 1077944384 322 0 0 0 4 0 0 0 20 0 15 0 475478236 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164340389872 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15149032 memory=5792585022635482273 CPUtime=0.11 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) R 4276 4276 30846 0 -1 4202560 1140 0 0 0 11 0 0 0 20 0 15 0 475478236 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164339337584 140164877136474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15149032 memory=6944656592455350634 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478236 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4292] ppid=4276 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4292/stat : 4292 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478236 15512608768 11482 33554432000 4194304 4196468 140730690700432 140164337232816 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 47380 KiB

[startup+0.701489 s]
/proc/loadavg: 9.44 9.03 8.59 7/232 4292
/proc/meminfo: memFree=15190288/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0
[pid=4278] ppid=4276 vsize=15151156 memory=81648 CPUtime=1.59 cores=0,2,4,6
/proc/4278/stat : 4278 (java) S 4276 4276 30846 0 -1 1077944320 14577 0 0 0 154 5 0 0 20 0 15 0 475478229 15514783744 20412 33554432000 4194304 4196468 140730690700432 140730690682976 140164877115127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
/proc/4278/statm: 3787789 20412 3456 1 0 3748889 0
[pid=4278/tid=4279] ppid=4276 vsize=15151156 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/4278/task/4279/stat : 4279 (java) R 4276 4276 30846 0 -1 4202560 9167 0 0 0 63 4 0 0 20 0 15 0 475478229 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164881350432 140164518079512 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4280] ppid=4276 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4280/stat : 4280 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164469459344 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4281] ppid=4276 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4281/stat : 4281 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164468406544 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4282] ppid=4276 vsize=15151156 memory=221 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4282/stat : 4282 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478230 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164467354256 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4283] ppid=4276 vsize=15151156 memory=2 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4283/stat : 4283 (java) S 4276 4276 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475478230 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164466301456 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4284] ppid=4276 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4284/stat : 4284 (java) S 4276 4276 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475478231 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164345653872 140164877126274 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4285] ppid=4276 vsize=15151156 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4285/stat : 4285 (java) S 4276 4276 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475478231 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164344599840 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4286] ppid=4276 vsize=15151156 memory=1720 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4286/stat : 4286 (java) S 4276 4276 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475478232 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164343547504 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4287] ppid=4276 vsize=15151156 memory=1096 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478234 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164342495824 140164877133723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15151156 memory=1188 CPUtime=0.25 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) R 4276 4276 30846 0 -1 1077944384 1097 0 0 0 25 0 0 0 20 0 15 0 475478236 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164341429456 140164877125333 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15151156 memory=6112 CPUtime=0.25 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) R 4276 4276 30846 0 -1 4202560 955 0 0 0 25 0 0 0 20 0 15 0 475478236 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164340389872 140164877127062 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15151156 memory=780 CPUtime=0.39 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) R 4276 4276 30846 0 -1 4202560 2050 0 0 0 39 0 0 0 20 0 15 0 475478236 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164339336768 140164856536502 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15151156 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475478236 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4292] ppid=4276 vsize=15151156 memory=28144 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4292/stat : 4292 (java) S 4276 4276 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475478236 15514783744 20412 33554432000 4194304 4196468 140730690700432 140164337232816 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 1.59 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 83100 KiB

[startup+1.50139 s]
/proc/loadavg: 9.44 9.03 8.59 9/236 4296
/proc/meminfo: memFree=15128504/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0

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

/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475478234 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164342495824 140164877133723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15417412 memory=988 CPUtime=1.27 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) S 4276 4276 30846 0 -1 1077944384 7254 0 0 0 127 0 0 0 20 0 19 0 475478236 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164341442672 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15417412 memory=2016 CPUtime=1.11 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) S 4276 4276 30846 0 -1 1077944384 5544 0 0 0 111 0 0 0 20 0 19 0 475478236 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164340389872 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15417412 memory=1416 CPUtime=0.63 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) S 4276 4276 30846 0 -1 1077944384 5528 0 0 0 62 1 0 0 20 0 19 0 475478236 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164339337584 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475478236 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4292] ppid=4276 vsize=15417412 memory=-2247047206188046678 CPUtime=0.02 cores=0,2,4,6
/proc/4278/task/4292/stat : 4292 (java) S 4276 4276 30846 0 -1 1077944384 170 0 0 0 0 2 0 0 20 0 19 0 475478236 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164337232816 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4293] ppid=4276 vsize=15417412 memory=-6153428272469606227 CPUtime=94.92 cores=0,2,4,6
/proc/4278/task/4293/stat : 4293 (java) R 4276 4276 30846 0 -1 4202560 776 0 0 0 9491 1 0 0 20 0 19 0 475478310 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164328013360 140164519981316 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4294] ppid=4276 vsize=15417412 memory=-1161699032756030039 CPUtime=94.53 cores=0,2,4,6
/proc/4278/task/4294/stat : 4294 (java) R 4276 4276 30846 0 -1 4202560 3019 0 0 0 9451 2 0 0 20 0 19 0 475478310 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164326964480 140164521542948 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4295] ppid=4276 vsize=15417412 memory=7824896091036554075 CPUtime=95 cores=0,2,4,6
/proc/4278/task/4295/stat : 4295 (java) R 4276 4276 30846 0 -1 4202560 579 0 0 0 9500 0 0 0 20 0 19 0 475478310 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164325908768 140164519819982 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4296] ppid=4276 vsize=15417412 memory=5450919713671312938 CPUtime=94.77 cores=0,2,4,6
/proc/4278/task/4296/stat : 4296 (java) R 4276 4276 30846 0 -1 4202560 1772 0 0 0 9476 1 0 0 20 0 19 0 475478310 15787429888 97685 33554432000 4194304 4196468 140730690700432 140164324855704 140164519819669 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 384.39 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 392192 KiB

[startup+99.2014 s]
/proc/loadavg: 8.45 8.82 8.56 10/236 4302
/proc/meminfo: memFree=14809288/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0
[pid=4278] ppid=4276 vsize=15417412 memory=396544 CPUtime=390.74 cores=0,2,4,6
/proc/4278/stat : 4278 (java) S 4276 4276 30846 0 -1 1077944320 43634 0 0 0 39045 29 0 0 20 0 19 0 475478229 15787429888 99136 33554432000 4194304 4196468 140730690700432 140730690682976 140164877115127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
/proc/4278/statm: 3854353 99136 3515 1 0 3815453 0
[pid=4278/tid=4279] ppid=4276 vsize=15417412 memory=1452 CPUtime=0.77 cores=0,2,4,6
/proc/4278/task/4279/stat : 4279 (java) S 4276 4276 30846 0 -1 1077944384 9233 0 0 0 73 4 0 0 20 0 19 0 475478229 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164881355904 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4280] ppid=4276 vsize=15417412 memory=371276 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4280/stat : 4280 (java) S 4276 4276 30846 0 -1 1077944384 993 0 0 0 24 4 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164469459344 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4281] ppid=4276 vsize=15417412 memory=1560 CPUtime=0.27 cores=0,2,4,6
/proc/4278/task/4281/stat : 4281 (java) S 4276 4276 30846 0 -1 1077944384 1542 0 0 0 24 3 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164468406544 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4282] ppid=4276 vsize=15417412 memory=500 CPUtime=0.27 cores=0,2,4,6
/proc/4278/task/4282/stat : 4282 (java) S 4276 4276 30846 0 -1 1077944384 1923 0 0 0 24 3 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164467354256 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4283] ppid=4276 vsize=15417412 memory=1452 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4283/stat : 4283 (java) S 4276 4276 30846 0 -1 1077944384 2194 0 0 0 24 4 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164466301456 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4284] ppid=4276 vsize=15417412 memory=273392 CPUtime=0.18 cores=0,2,4,6
/proc/4278/task/4284/stat : 4284 (java) S 4276 4276 30846 0 -1 1077944384 1655 0 0 0 15 3 0 0 20 0 19 0 475478231 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164345653872 140164877126274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4285] ppid=4276 vsize=15417412 memory=928 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4285/stat : 4285 (java) S 4276 4276 30846 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 475478231 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164344599904 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4286] ppid=4276 vsize=15417412 memory=1984 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4286/stat : 4286 (java) S 4276 4276 30846 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 19 0 475478232 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164343547520 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4287] ppid=4276 vsize=15417412 memory=2364 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475478234 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164342495824 140164877133723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15417412 memory=2016 CPUtime=1.27 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) S 4276 4276 30846 0 -1 1077944384 7254 0 0 0 127 0 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164341442672 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15417412 memory=2364 CPUtime=1.11 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) S 4276 4276 30846 0 -1 1077944384 5544 0 0 0 111 0 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164340389872 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15417412 memory=1744 CPUtime=0.63 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) S 4276 4276 30846 0 -1 1077944384 5528 0 0 0 62 1 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164339337584 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15417412 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4292] ppid=4276 vsize=15417412 memory=53568 CPUtime=0.02 cores=0,2,4,6
/proc/4278/task/4292/stat : 4292 (java) S 4276 4276 30846 0 -1 1077944384 170 0 0 0 0 2 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164337232816 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4293] ppid=4276 vsize=15417412 memory=988 CPUtime=96.49 cores=0,2,4,6
/proc/4278/task/4293/stat : 4293 (java) R 4276 4276 30846 0 -1 4202560 776 0 0 0 9648 1 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164328012952 140164520781608 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4294] ppid=4276 vsize=15417412 memory=2016 CPUtime=96.11 cores=0,2,4,6
/proc/4278/task/4294/stat : 4294 (java) R 4276 4276 30846 0 -1 4202560 3021 0 0 0 9609 2 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164326964368 140164520070406 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4295] ppid=4276 vsize=15417412 memory=1416 CPUtime=96.57 cores=0,2,4,6
/proc/4278/task/4295/stat : 4295 (java) R 4276 4276 30846 0 -1 4202560 580 0 0 0 9657 0 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164325908832 140730690979585 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4296] ppid=4276 vsize=15417412 memory=10728 CPUtime=96.35 cores=0,2,4,6
/proc/4278/task/4296/stat : 4296 (java) R 4276 4276 30846 0 -1 4202560 1772 0 0 0 9634 1 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164324855344 140164519897565 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 390.74 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 397996 KiB

[startup+99.6014 s]
/proc/loadavg: 8.45 8.82 8.56 10/236 4302
/proc/meminfo: memFree=14809288/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0
[pid=4278] ppid=4276 vsize=15417412 memory=396544 CPUtime=392.34 cores=0,2,4,6
/proc/4278/stat : 4278 (java) S 4276 4276 30846 0 -1 1077944320 43634 0 0 0 39205 29 0 0 20 0 19 0 475478229 15787429888 99136 33554432000 4194304 4196468 140730690700432 140730690682976 140164877115127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
/proc/4278/statm: 3854353 99136 3515 1 0 3815453 0
[pid=4278/tid=4279] ppid=4276 vsize=15417412 memory=1188 CPUtime=0.77 cores=0,2,4,6
/proc/4278/task/4279/stat : 4279 (java) S 4276 4276 30846 0 -1 1077944384 9233 0 0 0 73 4 0 0 20 0 19 0 475478229 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164881355904 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4280] ppid=4276 vsize=15417412 memory=6112 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4280/stat : 4280 (java) S 4276 4276 30846 0 -1 1077944384 993 0 0 0 24 4 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164469459344 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4281] ppid=4276 vsize=15417412 memory=780 CPUtime=0.27 cores=0,2,4,6
/proc/4278/task/4281/stat : 4281 (java) S 4276 4276 30846 0 -1 1077944384 1542 0 0 0 24 3 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164468406544 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4282] ppid=4276 vsize=15417412 memory=14008 CPUtime=0.27 cores=0,2,4,6
/proc/4278/task/4282/stat : 4282 (java) S 4276 4276 30846 0 -1 1077944384 1923 0 0 0 24 3 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164467354256 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4283] ppid=4276 vsize=15417412 memory=28144 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4283/stat : 4283 (java) S 4276 4276 30846 0 -1 1077944384 2194 0 0 0 24 4 0 0 20 0 19 0 475478230 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164466301456 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4284] ppid=4276 vsize=15417412 memory=2116 CPUtime=0.18 cores=0,2,4,6
/proc/4278/task/4284/stat : 4284 (java) S 4276 4276 30846 0 -1 1077944384 1655 0 0 0 15 3 0 0 20 0 19 0 475478231 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164345653872 140164877126274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4285] ppid=4276 vsize=15417412 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4285/stat : 4285 (java) S 4276 4276 30846 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 475478231 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164344599904 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4286] ppid=4276 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4286/stat : 4286 (java) S 4276 4276 30846 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 19 0 475478232 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164343547520 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4287] ppid=4276 vsize=15417412 memory=500 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475478234 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164342495824 140164877133723 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15417412 memory=928 CPUtime=1.27 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) S 4276 4276 30846 0 -1 1077944384 7254 0 0 0 127 0 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164341442672 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15417412 memory=1984 CPUtime=1.11 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) S 4276 4276 30846 0 -1 1077944384 5544 0 0 0 111 0 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164340389872 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15417412 memory=2364 CPUtime=0.63 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) S 4276 4276 30846 0 -1 1077944384 5528 0 0 0 62 1 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164339337584 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 55 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15417412 memory=1744 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4292] ppid=4276 vsize=15417412 memory=924 CPUtime=0.02 cores=0,2,4,6
/proc/4278/task/4292/stat : 4292 (java) S 4276 4276 30846 0 -1 1077944384 170 0 0 0 0 2 0 0 20 0 19 0 475478236 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164337232816 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 64 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4293] ppid=4276 vsize=15417412 memory=1448 CPUtime=96.89 cores=0,2,4,6
/proc/4278/task/4293/stat : 4293 (java) R 4276 4276 30846 0 -1 4202560 776 0 0 0 9688 1 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164328012952 140164520781233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4294] ppid=4276 vsize=15417412 memory=1748 CPUtime=96.51 cores=0,2,4,6
/proc/4278/task/4294/stat : 4294 (java) R 4276 4276 30846 0 -1 4202560 3021 0 0 0 9649 2 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164326964368 140164520093569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4295] ppid=4276 vsize=15417412 memory=111632 CPUtime=96.97 cores=0,2,4,6
/proc/4278/task/4295/stat : 4295 (java) R 4276 4276 30846 0 -1 4202560 580 0 0 0 9697 0 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164325908832 140164520792661 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4296] ppid=4276 vsize=15417412 memory=808 CPUtime=96.75 cores=0,2,4,6
/proc/4278/task/4296/stat : 4296 (java) R 4276 4276 30846 0 -1 4202560 1772 0 0 0 9674 1 0 0 20 0 19 0 475478310 15787429888 99136 33554432000 4194304 4196468 140730690700432 140164324855480 140164521239758 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 392.34 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 397996 KiB

[startup+99.8008 s]
/proc/loadavg: 8.45 8.82 8.56 10/236 4302
/proc/meminfo: memFree=14809288/32770624 swapFree=66938964/67108860
[pid=4276] ppid=4273 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/4276/stat : 4276 (xcsp3-exec) S 4273 4276 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475478228 115843072 363 33554432000 4194304 5098028 140734103902400 140734103900504 140427897778812 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 9732096 140734103905146 140734103905389 140734103905389 140734103908298 0
/proc/4276/statm: 28282 363 304 221 0 87 0
[pid=4278] ppid=4276 vsize=15417412 memory=396128 CPUtime=393.12 cores=0,2,4,6
/proc/4278/stat : 4278 (java) S 4276 4276 30846 0 -1 1077944320 45457 0 0 0 39283 29 0 0 20 0 14 0 475478229 15787429888 99032 33554432000 4194304 4196468 140730690700432 140730690682976 140164877115127 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
/proc/4278/statm: 3854353 99032 3518 1 0 3815453 0
[pid=4278/tid=4279] ppid=4276 vsize=15417412 memory=1448 CPUtime=0.78 cores=0,2,4,6
/proc/4278/task/4279/stat : 4279 (java) S 4276 4276 30846 0 -1 1077944384 9709 0 0 0 74 4 0 0 20 0 14 0 475478229 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164881357968 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4280] ppid=4276 vsize=15417412 memory=423832 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4280/stat : 4280 (java) S 4276 4276 30846 0 -1 1077944384 993 0 0 0 24 4 0 0 20 0 14 0 475478230 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164469459344 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4281] ppid=4276 vsize=15417412 memory=1412 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4281/stat : 4281 (java) S 4276 4276 30846 0 -1 1077944384 1542 0 0 0 25 3 0 0 20 0 14 0 475478230 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164468406544 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4282] ppid=4276 vsize=15417412 memory=3108 CPUtime=0.27 cores=0,2,4,6
/proc/4278/task/4282/stat : 4282 (java) S 4276 4276 30846 0 -1 1077944384 1926 0 0 0 24 3 0 0 20 0 14 0 475478230 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164467354256 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4283] ppid=4276 vsize=15417412 memory=1452 CPUtime=0.28 cores=0,2,4,6
/proc/4278/task/4283/stat : 4283 (java) S 4276 4276 30846 0 -1 1077944384 2194 0 0 0 24 4 0 0 20 0 14 0 475478230 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164466301456 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4284] ppid=4276 vsize=15417412 memory=358988 CPUtime=0.18 cores=0,2,4,6
/proc/4278/task/4284/stat : 4284 (java) S 4276 4276 30846 0 -1 1077944384 1655 0 0 0 15 3 0 0 20 0 14 0 475478231 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164345654080 140164877126274 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 44 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4285] ppid=4276 vsize=15417412 memory=916 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4285/stat : 4285 (java) S 4276 4276 30846 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 14 0 475478231 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164344599904 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4286] ppid=4276 vsize=15417412 memory=3848 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4286/stat : 4286 (java) S 4276 4276 30846 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 14 0 475478232 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164343547520 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4287] ppid=4276 vsize=15417412 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4287/stat : 4287 (java) S 4276 4276 30846 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 14 0 475478234 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164342494592 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4288] ppid=4276 vsize=15417412 memory=2596 CPUtime=1.27 cores=0,2,4,6
/proc/4278/task/4288/stat : 4288 (java) S 4276 4276 30846 0 -1 1077944384 7274 0 0 0 127 0 0 0 20 0 14 0 475478236 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164341442672 140164877126274 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4289] ppid=4276 vsize=15417412 memory=7810763844726514514 CPUtime=1.11 cores=0,2,4,6
/proc/4278/task/4289/stat : 4289 (java) S 4276 4276 30846 0 -1 1077944384 5582 0 0 0 111 0 0 0 20 0 14 0 475478236 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164340374944 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4290] ppid=4276 vsize=15417412 memory=7380385388137112419 CPUtime=0.63 cores=0,2,4,6
/proc/4278/task/4290/stat : 4290 (java) S 4276 4276 30846 0 -1 1077944384 6510 0 0 0 62 1 0 0 20 0 14 0 475478236 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164339337152 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 55 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
[pid=4278/tid=4291] ppid=4276 vsize=15417412 memory=-2461829820114675750 CPUtime=0 cores=0,2,4,6
/proc/4278/task/4291/stat : 4291 (java) S 4276 4276 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 475478236 15787429888 99032 33554432000 4194304 4196468 140730690700432 140164338285024 140164877125333 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12320768 140730690704367 140730690704538 140730690704538 140730690707407 0
Current children cumulated CPU time: 393.12 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 397580 KiB

Child status: 0
Real time (s): 99.818
CPU time (s): 393.141
CPU user time (s): 392.836
CPU system time (s): 0.304721
CPU usage (%): 393.857
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 397996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 392.836
system time used= 0.304721
maximum resident set size= 396884
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46053
page faults= 0
swaps= 0
block input operations= 8
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10216
involuntary context switches= 7343


# summary of solver processes directly reported to runsolver:
#   pid: 4276
#   total CPU time (s): 393.141
#   total CPU user time (s): 392.836
#   total CPU system time (s): 0.304721

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.662773 second user time and 1.11719 second system time

The end
Name	PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army11-17ls.xml
MD5SUM	3a369118bc0c88105fbaeba7564c3313
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	18.4026
Satisfiable
(Un)Satisfiability was proved
Number of variables	370
Number of constraints	557
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":370}]
Minimum variable degree	3
Maximum variable degree	13
Distribution of variable degrees	[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":250},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":48}]
Minimum constraint arity	2
Maximum constraint arity	121
Distribution of constraint arities	[{"arity":2,"count":193},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":250},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":48},{"arity":121,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":557}]
Optimization problem	NO
Type of objective
Trace number 4403391

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
