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-06-14	SAT	582.049	147.024
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 (15213 MiB free)
  memory of node 1: 16384 MiB (12191 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393059-1568343885/watcher-4393059-1568343885 -o /tmp/evaluation-result-4393059-1568343885/solver-4393059-1568343885 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568343521-17189 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 172036470 HOME/instance-4393059-1568343885.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
Current StackSize limit: 8192 KiB

solver pid=17376, runsolver pid=17373

[startup+0.100061 s]*
/proc/loadavg: 8.12 5.71 3.10 6/236 17392
/proc/meminfo: memFree=28046620/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15144768 memory=29372 CPUtime=0.13 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 5805 0 0 0 12 1 0 0 20 0 15 0 410302493 15508242432 7343 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3786192 7343 3121 1 0 3748377 0
[pid=17378/tid=17379] ppid=17376 vsize=15144768 memory=7748307311448697419 CPUtime=0.09 cores=0,2,4,6
/proc/17378/task/17379/stat : 17379 (java) R 17376 17376 15420 0 -1 4202560 3725 0 0 0 9 0 0 0 20 0 15 0 410302494 15508242432 7343 33554432000 4194304 4196468 140720642553472 139906233357648 139906229136790 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17380] ppid=17376 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17380/stat : 17380 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 7343 33554432000 4194304 4196468 140720642553472 139906157165456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17381] ppid=17376 vsize=15144768 memory=140598825977472 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17381/stat : 17381 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 7343 33554432000 4194304 4196468 140720642553472 139906156112656 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17382] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17382/stat : 17382 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 7343 33554432000 4194304 4196468 140720642553472 139906155060368 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17383] ppid=17376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17383/stat : 17383 (java) S 17376 17376 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 7343 33554432000 4194304 4196468 140720642553472 139906154007568 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17384] ppid=17376 vsize=15144768 memory=140598825977472 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17384/stat : 17384 (java) S 17376 17376 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410302496 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905563379824 139906229136002 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17385] ppid=17376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17385/stat : 17385 (java) S 17376 17376 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410302496 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905562325792 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17386] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) S 17376 17376 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410302496 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905561273456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17387] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17387/stat : 17387 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905560221776 139906229143451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17388] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17388/stat : 17388 (java) S 17376 17376 15420 0 -1 1077944384 311 0 0 0 0 0 0 0 20 0 15 0 410302499 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905559169648 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17389] ppid=17376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17389/stat : 17389 (java) S 17376 17376 15420 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 410302499 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905558116848 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17390] ppid=17376 vsize=15144768 memory=140598825977472 CPUtime=0.02 cores=0,2,4,6
/proc/17378/task/17390/stat : 17390 (java) S 17376 17376 15420 0 -1 1077944384 343 0 0 0 2 0 0 0 20 0 15 0 410302499 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905557064560 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17391] ppid=17376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17391/stat : 17391 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905556012000 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17392] ppid=17376 vsize=15144768 memory=140598825977472 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17392/stat : 17392 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302500 15508242432 7343 33554432000 4194304 4196468 140720642553472 139905554958768 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30820 KiB

[startup+0.210934 s]*
/proc/loadavg: 8.12 5.71 3.10 7/236 17392
/proc/meminfo: memFree=28032940/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15144768 memory=40872 CPUtime=0.34 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 9421 0 0 0 31 3 0 0 20 0 15 0 410302493 15508242432 10218 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3786192 10218 3286 1 0 3748377 0
[pid=17378/tid=17379] ppid=17376 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/17378/task/17379/stat : 17379 (java) R 17376 17376 15420 0 -1 4202560 6617 0 0 0 18 2 0 0 20 0 15 0 410302494 15508242432 10218 33554432000 4194304 4196468 140720642553472 139906233357584 139906213205342 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17380] ppid=17376 vsize=15144768 memory=13675 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17380/stat : 17380 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 10218 33554432000 4194304 4196468 140720642553472 139906157165456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17381] ppid=17376 vsize=15144768 memory=140598825994100 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17381/stat : 17381 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 10218 33554432000 4194304 4196468 140720642553472 139906156112656 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17382] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17382/stat : 17382 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 10218 33554432000 4194304 4196468 140720642553472 139906155060368 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17383] ppid=17376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17383/stat : 17383 (java) S 17376 17376 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410302494 15508242432 10218 33554432000 4194304 4196468 140720642553472 139906154007568 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17384] ppid=17376 vsize=15144768 memory=140598825977472 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17384/stat : 17384 (java) S 17376 17376 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410302496 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905563379824 139906229136002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17385] ppid=17376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17385/stat : 17385 (java) S 17376 17376 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410302496 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905562325792 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17386] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) S 17376 17376 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410302496 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905561273456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17387] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17387/stat : 17387 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905560221776 139906229143451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17388] ppid=17376 vsize=15144768 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/17378/task/17388/stat : 17388 (java) S 17376 17376 15420 0 -1 1077944384 378 0 0 0 2 0 0 0 20 0 15 0 410302499 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905559169648 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17389] ppid=17376 vsize=15144768 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/17378/task/17389/stat : 17389 (java) S 17376 17376 15420 0 -1 1077944384 377 0 0 0 3 0 0 0 20 0 15 0 410302499 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905558116848 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17390] ppid=17376 vsize=15144768 memory=140598825977472 CPUtime=0.07 cores=0,2,4,6
/proc/17378/task/17390/stat : 17390 (java) R 17376 17376 15420 0 -1 4202560 745 0 0 0 7 0 0 0 20 0 15 0 410302499 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905557064560 139906229146202 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17391] ppid=17376 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17391/stat : 17391 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905556012000 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17392] ppid=17376 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17392/stat : 17392 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302500 15508242432 10218 33554432000 4194304 4196468 140720642553472 139905554958768 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42320 KiB

[startup+0.310712 s]*
/proc/loadavg: 8.12 5.71 3.10 7/236 17392
/proc/meminfo: memFree=28028088/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15149024 memory=49432 CPUtime=0.53 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 10680 0 0 0 49 4 0 0 20 0 15 0 410302493 15512600576 12358 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3787256 12358 3358 1 0 3748377 0
[pid=17378/tid=17379] ppid=17376 vsize=15149024 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/17378/task/17379/stat : 17379 (java) R 17376 17376 15420 0 -1 4202560 7703 0 0 0 27 2 0 0 20 0 15 0 410302494 15512600576 12358 33554432000 4194304 4196468 140720642553472 139906233355968 139906229146781 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17380] ppid=17376 vsize=15149024 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17380/stat : 17380 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15512600576 12423 33554432000 4194304 4196468 140720642553472 139906157165456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17381] ppid=17376 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17381/stat : 17381 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15512600576 12423 33554432000 4194304 4196468 140720642553472 139906156112656 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17382] ppid=17376 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17382/stat : 17382 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15512600576 12423 33554432000 4194304 4196468 140720642553472 139906155060368 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17383] ppid=17376 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17383/stat : 17383 (java) S 17376 17376 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410302494 15512600576 12423 33554432000 4194304 4196468 140720642553472 139906154007568 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17384] ppid=17376 vsize=15149024 memory=-7595490506177102494 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17384/stat : 17384 (java) S 17376 17376 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410302496 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905563379824 139906229136002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17385] ppid=17376 vsize=15149024 memory=-7533229591079788448 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17385/stat : 17385 (java) S 17376 17376 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410302496 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905562325792 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17386] ppid=17376 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) S 17376 17376 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410302496 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905561273456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17387] ppid=17376 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17387/stat : 17387 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905560221776 139906229143451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17388] ppid=17376 vsize=15149024 memory=7827413994055111515 CPUtime=0.03 cores=0,2,4,6
/proc/17378/task/17388/stat : 17388 (java) S 17376 17376 15420 0 -1 1077944384 419 0 0 0 3 0 0 0 20 0 15 0 410302499 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905559169648 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17389] ppid=17376 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/17378/task/17389/stat : 17389 (java) R 17376 17376 15420 0 -1 4202560 467 0 0 0 4 0 0 0 20 0 15 0 410302499 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905558116848 139906209825152 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17390] ppid=17376 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17378/task/17390/stat : 17390 (java) R 17376 17376 15420 0 -1 1077944384 845 0 0 0 12 0 0 0 20 0 15 0 410302499 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905557064560 139906229136002 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17391] ppid=17376 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17391/stat : 17391 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905556012000 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17392] ppid=17376 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17392/stat : 17392 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302500 15512600576 12423 33554432000 4194304 4196468 140720642553472 139905554958768 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 50880 KiB

[startup+0.707219 s]
/proc/loadavg: 8.12 5.71 3.10 8/236 17392
/proc/meminfo: memFree=28012944/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15151148 memory=94376 CPUtime=1.66 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 15279 0 0 0 160 6 0 0 20 0 15 0 410302493 15514775552 23594 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3787787 23594 3455 1 0 3748889 0
[pid=17378/tid=17379] ppid=17376 vsize=15151148 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/17378/task/17379/stat : 17379 (java) R 17376 17376 15420 0 -1 4202560 9092 0 0 0 65 4 0 0 20 0 15 0 410302494 15514775552 23594 33554432000 4194304 4196468 140720642553472 139906233360544 139905829210855 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17380] ppid=17376 vsize=15151148 memory=3472328296227679313 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17380/stat : 17380 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15514775552 23594 33554432000 4194304 4196468 140720642553472 139906157165456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17381] ppid=17376 vsize=15151148 memory=-7604262568725289114 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17381/stat : 17381 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15514775552 23594 33554432000 4194304 4196468 140720642553472 139906156112656 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17382] ppid=17376 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17382/stat : 17382 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302494 15514775552 23594 33554432000 4194304 4196468 140720642553472 139906155060368 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17383] ppid=17376 vsize=15151148 memory=0 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17383/stat : 17383 (java) S 17376 17376 15420 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 410302494 15514775552 23594 33554432000 4194304 4196468 140720642553472 139906154007568 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17384] ppid=17376 vsize=15151148 memory=34336 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17384/stat : 17384 (java) S 17376 17376 15420 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 410302496 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905563379824 139906229136002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17385] ppid=17376 vsize=15151148 memory=988 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17385/stat : 17385 (java) S 17376 17376 15420 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 410302496 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905562325792 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17386] ppid=17376 vsize=15151148 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) S 17376 17376 15420 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 410302496 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905561273456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17387] ppid=17376 vsize=15151148 memory=1240 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17387/stat : 17387 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905560221776 139906229143451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17388] ppid=17376 vsize=15151148 memory=580 CPUtime=0.25 cores=0,2,4,6
/proc/17378/task/17388/stat : 17388 (java) R 17376 17376 15420 0 -1 4202560 1321 0 0 0 25 0 0 0 20 0 15 0 410302499 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905559150664 139906213413712 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17389] ppid=17376 vsize=15151148 memory=1696 CPUtime=0.28 cores=0,2,4,6
/proc/17378/task/17389/stat : 17389 (java) R 17376 17376 15420 0 -1 4202560 1201 0 0 0 28 0 0 0 20 0 15 0 410302499 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905558109480 139906214003316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17390] ppid=17376 vsize=15151148 memory=3436 CPUtime=0.41 cores=0,2,4,6
/proc/17378/task/17390/stat : 17390 (java) R 17376 17376 15420 0 -1 4202560 2359 0 0 0 41 0 0 0 20 0 15 0 410302499 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905557061816 139906208052180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17391] ppid=17376 vsize=15151148 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17391/stat : 17391 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 410302499 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905556012000 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17392] ppid=17376 vsize=15151148 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17392/stat : 17392 (java) S 17376 17376 15420 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 410302500 15514775552 23594 33554432000 4194304 4196468 140720642553472 139905554958768 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 95824 KiB

[startup+1.50664 s]
/proc/loadavg: 8.03 5.73 3.12 12/240 17396
/proc/meminfo: memFree=27939840/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0

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

/proc/meminfo: memFree=27690320/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15417404 memory=379384 CPUtime=576.48 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 51183 0 0 0 57615 33 0 0 20 0 19 0 410302493 15787421696 94846 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3854351 94846 3509 1 0 3815453 0
[pid=17378/tid=17379] ppid=17376 vsize=15417404 memory=379388 CPUtime=0.82 cores=0,2,4,6
/proc/17378/task/17379/stat : 17379 (java) S 17376 17376 15420 0 -1 1077944384 9162 0 0 0 78 4 0 0 20 0 19 0 410302494 15787421696 94846 33554432000 4194304 4196468 140720642553472 139906233365632 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17380] ppid=17376 vsize=15417404 memory=2012 CPUtime=0.46 cores=0,2,4,6
/proc/17378/task/17380/stat : 17380 (java) S 17376 17376 15420 0 -1 1077944384 3085 0 0 0 42 4 0 0 20 0 19 0 410302494 15787421696 94846 33554432000 4194304 4196468 140720642553472 139906157165456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17381] ppid=17376 vsize=15417404 memory=3616 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17381/stat : 17381 (java) S 17376 17376 15420 0 -1 1077944384 1952 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 94846 33554432000 4194304 4196468 140720642553472 139906156112656 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17382] ppid=17376 vsize=15417404 memory=34336 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17382/stat : 17382 (java) S 17376 17376 15420 0 -1 1077944384 1344 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 94846 33554432000 4194304 4196468 140720642553472 139906155060368 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17383] ppid=17376 vsize=15417404 memory=988 CPUtime=0.46 cores=0,2,4,6
/proc/17378/task/17383/stat : 17383 (java) S 17376 17376 15420 0 -1 1077944384 1244 0 0 0 42 4 0 0 20 0 19 0 410302494 15787421696 94846 33554432000 4194304 4196468 140720642553472 139906154007568 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17384] ppid=17376 vsize=15417404 memory=2012 CPUtime=0.26 cores=0,2,4,6
/proc/17378/task/17384/stat : 17384 (java) S 17376 17376 15420 0 -1 1077944384 1903 0 0 0 21 5 0 0 20 0 19 0 410302496 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905563379824 139906229136002 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17385] ppid=17376 vsize=15417404 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17385/stat : 17385 (java) S 17376 17376 15420 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410302496 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905562325856 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17386] ppid=17376 vsize=15417404 memory=5908 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) S 17376 17376 15420 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 410302496 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905561273472 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17387] ppid=17376 vsize=15417404 memory=772 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17387/stat : 17387 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410302499 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905560221776 139906229143451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17388] ppid=17376 vsize=15417404 memory=1556 CPUtime=1.49 cores=0,2,4,6
/proc/17378/task/17388/stat : 17388 (java) S 17376 17376 15420 0 -1 1077944384 8130 0 0 0 149 0 0 0 20 0 19 0 410302499 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905559169648 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17389] ppid=17376 vsize=15417404 memory=1056 CPUtime=1.18 cores=0,2,4,6
/proc/17378/task/17389/stat : 17389 (java) S 17376 17376 15420 0 -1 1077944384 8918 0 0 0 117 1 0 0 20 0 19 0 410302499 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905558116848 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17390] ppid=17376 vsize=15417404 memory=964 CPUtime=0.65 cores=0,2,4,6
/proc/17378/task/17390/stat : 17390 (java) S 17376 17376 15420 0 -1 1077944384 5704 0 0 0 64 1 0 0 20 0 19 0 410302499 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905557064560 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17391] ppid=17376 vsize=15417404 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17391/stat : 17391 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410302499 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905556012000 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17392] ppid=17376 vsize=15417404 memory=6791534058613427641 CPUtime=0.03 cores=0,2,4,6
/proc/17378/task/17392/stat : 17392 (java) S 17376 17376 15420 0 -1 1077944384 359 0 0 0 0 3 0 0 20 0 19 0 410302500 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905554958768 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 42 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17393] ppid=17376 vsize=15417404 memory=379388 CPUtime=142.56 cores=0,2,4,6
/proc/17378/task/17393/stat : 17393 (java) R 17376 17376 15420 0 -1 4202560 970 0 0 0 14255 1 0 0 20 0 19 0 410302578 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905545985160 139905831219572 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17394] ppid=17376 vsize=15417404 memory=1768 CPUtime=142.63 cores=0,2,4,6
/proc/17378/task/17394/stat : 17394 (java) R 17376 17376 15420 0 -1 4202560 3692 0 0 0 14262 1 0 0 20 0 19 0 410302579 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905544936128 139905832361474 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17395] ppid=17376 vsize=15417404 memory=1448 CPUtime=142.21 cores=0,2,4,6
/proc/17378/task/17395/stat : 17395 (java) R 17376 17376 15420 0 -1 4202560 722 0 0 0 14221 0 0 0 20 0 19 0 410302579 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905543881192 139905831037113 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17396] ppid=17376 vsize=15417404 memory=378880 CPUtime=142.64 cores=0,2,4,6
/proc/17378/task/17396/stat : 17396 (java) R 17376 17376 15420 0 -1 4202560 2611 0 0 0 14264 0 0 0 20 0 19 0 410302579 15787421696 94846 33554432000 4194304 4196468 140720642553472 139905542827776 139905830540749 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 576.48 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 380832 KiB

[startup+146.401 s]
/proc/loadavg: 8.67 6.87 3.92 9/237 17406
/proc/meminfo: memFree=27688768/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15417404 memory=381148 CPUtime=579.65 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 51200 0 0 0 57931 34 0 0 20 0 19 0 410302493 15787421696 95287 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3854351 95287 3509 1 0 3815453 0
[pid=17378/tid=17379] ppid=17376 vsize=15417404 memory=1448 CPUtime=0.82 cores=0,2,4,6
/proc/17378/task/17379/stat : 17379 (java) S 17376 17376 15420 0 -1 1077944384 9162 0 0 0 78 4 0 0 20 0 19 0 410302494 15787421696 95287 33554432000 4194304 4196468 140720642553472 139906233365632 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17380] ppid=17376 vsize=15417404 memory=6791534058613427641 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17380/stat : 17380 (java) S 17376 17376 15420 0 -1 1077944384 3086 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 95287 33554432000 4194304 4196468 140720642553472 139906157165456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17381] ppid=17376 vsize=15417404 memory=379896 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17381/stat : 17381 (java) S 17376 17376 15420 0 -1 1077944384 1953 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 95287 33554432000 4194304 4196468 140720642553472 139906156112656 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17382] ppid=17376 vsize=15417404 memory=11852 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17382/stat : 17382 (java) S 17376 17376 15420 0 -1 1077944384 1346 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 95287 33554432000 4194304 4196468 140720642553472 139906155060368 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17383] ppid=17376 vsize=15417404 memory=532 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17383/stat : 17383 (java) S 17376 17376 15420 0 -1 1077944384 1247 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 95287 33554432000 4194304 4196468 140720642553472 139906154007568 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17384] ppid=17376 vsize=15417404 memory=1564 CPUtime=0.26 cores=0,2,4,6
/proc/17378/task/17384/stat : 17384 (java) S 17376 17376 15420 0 -1 1077944384 1903 0 0 0 21 5 0 0 20 0 19 0 410302496 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905563379824 139906229136002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17385] ppid=17376 vsize=15417404 memory=928 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17385/stat : 17385 (java) S 17376 17376 15420 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410302496 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905562325856 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17386] ppid=17376 vsize=15417404 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) S 17376 17376 15420 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 410302496 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905561273472 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17387] ppid=17376 vsize=15417404 memory=1332 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17387/stat : 17387 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410302499 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905560221776 139906229143451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17388] ppid=17376 vsize=15417404 memory=6791534058613427641 CPUtime=1.49 cores=0,2,4,6
/proc/17378/task/17388/stat : 17388 (java) S 17376 17376 15420 0 -1 1077944384 8130 0 0 0 149 0 0 0 20 0 19 0 410302499 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905559169648 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17389] ppid=17376 vsize=15417404 memory=2588 CPUtime=1.18 cores=0,2,4,6
/proc/17378/task/17389/stat : 17389 (java) S 17376 17376 15420 0 -1 1077944384 8918 0 0 0 117 1 0 0 20 0 19 0 410302499 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905558116848 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17390] ppid=17376 vsize=15417404 memory=2304 CPUtime=0.65 cores=0,2,4,6
/proc/17378/task/17390/stat : 17390 (java) S 17376 17376 15420 0 -1 1077944384 5704 0 0 0 64 1 0 0 20 0 19 0 410302499 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905557064560 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17391] ppid=17376 vsize=15417404 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17391/stat : 17391 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410302499 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905556012000 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17392] ppid=17376 vsize=15417404 memory=3344 CPUtime=0.03 cores=0,2,4,6
/proc/17378/task/17392/stat : 17392 (java) S 17376 17376 15420 0 -1 1077944384 359 0 0 0 0 3 0 0 20 0 19 0 410302500 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905554958768 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17393] ppid=17376 vsize=15417404 memory=1448 CPUtime=143.36 cores=0,2,4,6
/proc/17378/task/17393/stat : 17393 (java) R 17376 17376 15420 0 -1 4202560 972 0 0 0 14335 1 0 0 20 0 19 0 410302578 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905545985024 139905830660943 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17394] ppid=17376 vsize=15417404 memory=3524944 CPUtime=143.41 cores=0,2,4,6
/proc/17378/task/17394/stat : 17394 (java) R 17376 17376 15420 0 -1 4202560 3699 0 0 0 14340 1 0 0 20 0 19 0 410302579 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905544936240 139905830662354 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17395] ppid=17376 vsize=15417404 memory=0 CPUtime=143 cores=0,2,4,6
/proc/17378/task/17395/stat : 17395 (java) R 17376 17376 15420 0 -1 4202560 723 0 0 0 14300 0 0 0 20 0 19 0 410302579 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905543880536 139905831039710 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17396] ppid=17376 vsize=15417404 memory=4126316290023845779 CPUtime=143.42 cores=0,2,4,6
/proc/17378/task/17396/stat : 17396 (java) R 17376 17376 15420 0 -1 4202560 2611 0 0 0 14342 0 0 0 20 0 19 0 410302579 15787421696 95287 33554432000 4194304 4196468 140720642553472 139905542827664 139905832006494 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 579.65 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 382596 KiB

[startup+146.801 s]
/proc/loadavg: 8.67 6.87 3.92 9/237 17406
/proc/meminfo: memFree=27688768/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15417404 memory=380636 CPUtime=581.23 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 51207 0 0 0 58089 34 0 0 20 0 19 0 410302493 15787421696 95159 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3854351 95159 3509 1 0 3815453 0
[pid=17378/tid=17379] ppid=17376 vsize=15417404 memory=16106965717748363 CPUtime=0.82 cores=0,2,4,6
/proc/17378/task/17379/stat : 17379 (java) S 17376 17376 15420 0 -1 1077944384 9162 0 0 0 78 4 0 0 20 0 19 0 410302494 15787421696 95159 33554432000 4194304 4196468 140720642553472 139906233365632 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17380] ppid=17376 vsize=15417404 memory=379900 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17380/stat : 17380 (java) S 17376 17376 15420 0 -1 1077944384 3088 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 95159 33554432000 4194304 4196468 140720642553472 139906157165456 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17381] ppid=17376 vsize=15417404 memory=1720 CPUtime=0.48 cores=0,2,4,6
/proc/17378/task/17381/stat : 17381 (java) S 17376 17376 15420 0 -1 1077944384 1953 0 0 0 44 4 0 0 20 0 19 0 410302494 15787421696 95159 33554432000 4194304 4196468 140720642553472 139906156112656 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17382] ppid=17376 vsize=15417404 memory=1398722017469774279 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17382/stat : 17382 (java) S 17376 17376 15420 0 -1 1077944384 1348 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 95159 33554432000 4194304 4196468 140720642553472 139906155060368 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17383] ppid=17376 vsize=15417404 memory=4126316290023845779 CPUtime=0.47 cores=0,2,4,6
/proc/17378/task/17383/stat : 17383 (java) S 17376 17376 15420 0 -1 1077944384 1247 0 0 0 43 4 0 0 20 0 19 0 410302494 15787421696 95159 33554432000 4194304 4196468 140720642553472 139906154007568 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17384] ppid=17376 vsize=15417404 memory=1768 CPUtime=0.26 cores=0,2,4,6
/proc/17378/task/17384/stat : 17384 (java) S 17376 17376 15420 0 -1 1077944384 1903 0 0 0 21 5 0 0 20 0 19 0 410302496 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905563379824 139906229136002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17385] ppid=17376 vsize=15417404 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17385/stat : 17385 (java) S 17376 17376 15420 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 410302496 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905562325856 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17386] ppid=17376 vsize=15417404 memory=379900 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) S 17376 17376 15420 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 19 0 410302496 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905561273472 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17387] ppid=17376 vsize=15417404 memory=334564 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17387/stat : 17387 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410302499 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905560221776 139906229143451 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17388] ppid=17376 vsize=15417404 memory=1720 CPUtime=1.49 cores=0,2,4,6
/proc/17378/task/17388/stat : 17388 (java) S 17376 17376 15420 0 -1 1077944384 8130 0 0 0 149 0 0 0 20 0 19 0 410302499 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905559169648 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17389] ppid=17376 vsize=15417404 memory=1398722017469774279 CPUtime=1.18 cores=0,2,4,6
/proc/17378/task/17389/stat : 17389 (java) S 17376 17376 15420 0 -1 1077944384 8918 0 0 0 117 1 0 0 20 0 19 0 410302499 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905558116848 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17390] ppid=17376 vsize=15417404 memory=4126316290023845779 CPUtime=0.65 cores=0,2,4,6
/proc/17378/task/17390/stat : 17390 (java) S 17376 17376 15420 0 -1 1077944384 5704 0 0 0 64 1 0 0 20 0 19 0 410302499 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905557064560 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17391] ppid=17376 vsize=15417404 memory=964 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17391/stat : 17391 (java) S 17376 17376 15420 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 410302499 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905556012000 139906229135061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17392] ppid=17376 vsize=15417404 memory=14008 CPUtime=0.03 cores=0,2,4,6
/proc/17378/task/17392/stat : 17392 (java) S 17376 17376 15420 0 -1 1077944384 359 0 0 0 0 3 0 0 20 0 19 0 410302500 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905554958768 139906229136002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 42 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17393] ppid=17376 vsize=15417404 memory=2116 CPUtime=143.75 cores=0,2,4,6
/proc/17378/task/17393/stat : 17393 (java) R 17376 17376 15420 0 -1 4202560 972 0 0 0 14374 1 0 0 20 0 19 0 410302578 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905545985304 139905831236569 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17394] ppid=17376 vsize=15417404 memory=19344 CPUtime=143.8 cores=0,2,4,6
/proc/17378/task/17394/stat : 17394 (java) R 17376 17376 15420 0 -1 4202560 3700 0 0 0 14379 1 0 0 20 0 19 0 410302579 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905544936128 139905830662534 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17395] ppid=17376 vsize=15417404 memory=11852 CPUtime=143.39 cores=0,2,4,6
/proc/17378/task/17395/stat : 17395 (java) R 17376 17376 15420 0 -1 4202560 725 0 0 0 14339 0 0 0 20 0 19 0 410302579 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905543881192 139905832460553 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
[pid=17378/tid=17396] ppid=17376 vsize=15417404 memory=6352256631978 CPUtime=143.81 cores=0,2,4,6
/proc/17378/task/17396/stat : 17396 (java) R 17376 17376 15420 0 -1 4202560 2611 0 0 0 14381 0 0 0 20 0 19 0 410302579 15787421696 95159 33554432000 4194304 4196468 140720642553472 139905542828240 139905832452672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 581.23 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 382084 KiB

[startup+147.008 s]*
/proc/loadavg: 8.67 6.87 3.92 5/232 17406
/proc/meminfo: memFree=27689388/32770624 swapFree=66999976/67108860
[pid=17376] ppid=17373 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/17376/stat : 17376 (xcsp3-exec) S 17373 17376 15420 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 410302493 115843072 362 33554432000 4194304 5098028 140734741369552 140734741367656 140276561425020 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 17502208 140734741377915 140734741378157 140734741378157 140734741381066 0
/proc/17376/statm: 28282 362 304 221 0 87 0
[pid=17378] ppid=17376 vsize=15417404 memory=380756 CPUtime=582.03 cores=0,2,4,6
/proc/17378/stat : 17378 (java) S 17376 17376 15420 0 -1 1077944320 53283 0 0 0 58169 34 0 0 20 0 14 0 410302493 15787421696 95189 33554432000 4194304 4196468 140720642553472 140720642536016 139906229124855 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
/proc/17378/statm: 3854351 95189 3512 1 0 3815453 0
[pid=17378/tid=17386] ppid=17376 vsize=15417404 memory=7022364594140610616 CPUtime=0 cores=0,2,4,6
/proc/17378/task/17386/stat : 17386 (java) R 17376 17376 15420 0 -1 4203588 85 0 0 0 0 0 0 0 20 0 2 0 410302496 15787421696 95347 33554432000 4194304 4196468 140720642553472 139905561273472 139906229135061 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22589440 140720642556911 140720642557082 140720642557082 140720642559951 0
Current children cumulated CPU time: 582.03 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 382204 KiB

Child status: 0
Real time (s): 147.024
CPU time (s): 582.049
CPU user time (s): 581.701
CPU system time (s): 0.347698
CPU usage (%): 395.886
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 383108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 581.701
system time used= 0.347698
maximum resident set size= 381660
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53877
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14255
involuntary context switches= 14280


# summary of solver processes directly reported to runsolver:
#   pid: 17376
#   total CPU time (s): 582.049
#   total CPU user time (s): 581.701
#   total CPU system time (s): 0.347698

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00037 second user time and 1.61869 second system time

The end
Name	PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army13-24ls.xml
MD5SUM	0f005dd489acd3d024429b7d4f1ec9d6
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	34.6669
Satisfiable
(Un)Satisfiability was proved
Number of variables	490
Number of constraints	737
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":490}]
Minimum variable degree	3
Maximum variable degree	15
Distribution of variable degrees	[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":346},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":8},{"degree":15,"count":56}]
Minimum constraint arity	2
Maximum constraint arity	169
Distribution of constraint arities	[{"arity":2,"count":253},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":346},{"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":8},{"arity":13,"count":8},{"arity":14,"count":56},{"arity":169,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":737}]
Optimization problem	NO
Type of objective
Trace number 4393059

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
