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	6.58154	1.93514
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 (15038 MiB free)
  memory of node 1: 16384 MiB (15690 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392897-1568315299/watcher-4392897-1568315299 -o /tmp/evaluation-result-4392897-1568315299/solver-4392897-1568315299 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1073414310 HOME/instance-4392897-1568315299.xml 

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

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

solver pid=10767, runsolver pid=10764

[startup+0.100059 s]*
/proc/loadavg: 6.43 6.76 7.06 8/233 10783
/proc/meminfo: memFree=31449692/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0
[pid=10769] ppid=10767 vsize=15144768 memory=28932 CPUtime=0.13 cores=1,3,5,7
/proc/10769/stat : 10769 (java) S 10767 10767 6753 0 -1 1077944320 5695 0 0 0 12 1 0 0 20 0 15 0 407792561 15508242432 7233 33554432000 4194304 4196468 140736255667760 140736255650304 140370524581623 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
/proc/10769/statm: 3786192 7233 3158 1 0 3748377 0
[pid=10769/tid=10770] ppid=10767 vsize=15144768 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/10769/task/10770/stat : 10770 (java) R 10767 10767 6753 0 -1 4202560 3573 0 0 0 8 1 0 0 20 0 15 0 407792561 15508242432 7233 33554432000 4194304 4196468 140736255667760 140370528814088 140370524593558 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10771] ppid=10767 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10771/stat : 10771 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 7233 33554432000 4194304 4196468 140736255667760 140370477202448 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10772] ppid=10767 vsize=15144768 memory=140393388865152 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10772/stat : 10772 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 7233 33554432000 4194304 4196468 140736255667760 140370476149904 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10773] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10773/stat : 10773 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 7233 33554432000 4194304 4196468 140736255667760 140370475096848 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10774] ppid=10767 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10774/stat : 10774 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 7233 33554432000 4194304 4196468 140736255667760 140370474044304 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10775] ppid=10767 vsize=15144768 memory=140393388865152 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10775/stat : 10775 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792563 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369992841456 140370524592770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10776] ppid=10767 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10776/stat : 10776 (java) S 10767 10767 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407792564 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369991787680 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10777] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10777/stat : 10777 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407792564 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369990734576 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10778] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10778/stat : 10778 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792566 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369989683152 140370524600219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10779] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10779/stat : 10779 (java) R 10767 10767 6753 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 15 0 407792566 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369988631280 140370524592770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10780] ppid=10767 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10780/stat : 10780 (java) S 10767 10767 6753 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 407792567 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369987578736 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10781] ppid=10767 vsize=15144768 memory=140393388865152 CPUtime=0.02 cores=1,3,5,7
/proc/10769/task/10781/stat : 10781 (java) S 10767 10767 6753 0 -1 1077944384 371 0 0 0 2 0 0 0 20 0 15 0 407792567 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369986525680 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10782] ppid=10767 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10782/stat : 10782 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792567 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369985473376 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10783] ppid=10767 vsize=15144768 memory=140393388865152 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10783/stat : 10783 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792567 15508242432 7233 33554432000 4194304 4196468 140736255667760 140369984420400 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30384 KiB

[startup+0.210872 s]*
/proc/loadavg: 6.43 6.76 7.06 8/233 10783
/proc/meminfo: memFree=31437180/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0
[pid=10769] ppid=10767 vsize=15144768 memory=40392 CPUtime=0.34 cores=1,3,5,7
/proc/10769/stat : 10769 (java) S 10767 10767 6753 0 -1 1077944320 9345 0 0 0 31 3 0 0 20 0 15 0 407792561 15508242432 10098 33554432000 4194304 4196468 140736255667760 140736255650304 140370524581623 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
/proc/10769/statm: 3786192 10098 3269 1 0 3748377 0
[pid=10769/tid=10770] ppid=10767 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/10769/task/10770/stat : 10770 (java) R 10767 10767 6753 0 -1 4202560 6623 0 0 0 18 2 0 0 20 0 15 0 407792561 15508242432 10098 33554432000 4194304 4196468 140736255667760 140370528816608 140370508662110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10771] ppid=10767 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10771/stat : 10771 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 10098 33554432000 4194304 4196468 140736255667760 140370477202448 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10772] ppid=10767 vsize=15144768 memory=140393388875657 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10772/stat : 10772 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 10098 33554432000 4194304 4196468 140736255667760 140370476149904 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10773] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10773/stat : 10773 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 10098 33554432000 4194304 4196468 140736255667760 140370475096848 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10774] ppid=10767 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10774/stat : 10774 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792562 15508242432 10098 33554432000 4194304 4196468 140736255667760 140370474044304 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10775] ppid=10767 vsize=15144768 memory=140393388865152 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10775/stat : 10775 (java) S 10767 10767 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407792563 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369992841456 140370524592770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10776] ppid=10767 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10776/stat : 10776 (java) S 10767 10767 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407792564 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369991787680 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10777] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10777/stat : 10777 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407792564 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369990734576 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10778] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10778/stat : 10778 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792566 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369989683152 140370524600219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10779] ppid=10767 vsize=15144768 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10769/task/10779/stat : 10779 (java) S 10767 10767 6753 0 -1 1077944384 510 0 0 0 2 0 0 0 20 0 15 0 407792566 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369988631280 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10780] ppid=10767 vsize=15144768 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10769/task/10780/stat : 10780 (java) S 10767 10767 6753 0 -1 1077944384 109 0 0 0 2 0 0 0 20 0 15 0 407792567 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369987578736 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10781] ppid=10767 vsize=15144768 memory=140393388865152 CPUtime=0.08 cores=1,3,5,7
/proc/10769/task/10781/stat : 10781 (java) S 10767 10767 6753 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 407792567 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369986525680 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10782] ppid=10767 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10782/stat : 10782 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792567 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369985473376 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10783] ppid=10767 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10783/stat : 10783 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792567 15508242432 10098 33554432000 4194304 4196468 140736255667760 140369984420400 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41844 KiB

[startup+0.310759 s]*
/proc/loadavg: 6.43 6.76 7.06 7/233 10783
/proc/meminfo: memFree=31429152/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0
[pid=10769] ppid=10767 vsize=15149024 memory=50240 CPUtime=0.53 cores=1,3,5,7
/proc/10769/stat : 10769 (java) S 10767 10767 6753 0 -1 1077944320 10856 0 0 0 50 3 0 0 20 0 15 0 407792561 15512600576 12560 33554432000 4194304 4196468 140736255667760 140736255650304 140370524581623 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
/proc/10769/statm: 3787256 12560 3375 1 0 3748377 0
[pid=10769/tid=10770] ppid=10767 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/10769/task/10770/stat : 10770 (java) R 10767 10767 6753 0 -1 4202560 7849 0 0 0 28 2 0 0 20 0 15 0 407792561 15512600576 12560 33554432000 4194304 4196468 140736255667760 140370528812736 140370509754480 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10771] ppid=10767 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10771/stat : 10771 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792562 15512600576 12560 33554432000 4194304 4196468 140736255667760 140370477202448 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10772] ppid=10767 vsize=15149024 memory=3155436 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10772/stat : 10772 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792562 15512600576 12560 33554432000 4194304 4196468 140736255667760 140370476149904 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10773] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10773/stat : 10773 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792562 15512600576 12560 33554432000 4194304 4196468 140736255667760 140370475096848 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10774] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10774/stat : 10774 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407792562 15512600576 12560 33554432000 4194304 4196468 140736255667760 140370474044304 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10775] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10775/stat : 10775 (java) S 10767 10767 6753 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 407792563 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369992841456 140370524592770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10776] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10776/stat : 10776 (java) S 10767 10767 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407792564 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369991787680 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10777] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10777/stat : 10777 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407792564 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369990734576 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10778] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10778/stat : 10778 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792566 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369989683152 140370524600219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10779] ppid=10767 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/10769/task/10779/stat : 10779 (java) S 10767 10767 6753 0 -1 1077944384 626 0 0 0 5 0 0 0 20 0 15 0 407792566 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369988631280 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10780] ppid=10767 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10769/task/10780/stat : 10780 (java) S 10767 10767 6753 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 15 0 407792567 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369987578736 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10781] ppid=10767 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10769/task/10781/stat : 10781 (java) S 10767 10767 6753 0 -1 1077944384 944 0 0 0 12 0 0 0 20 0 15 0 407792567 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369986525680 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10782] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10782/stat : 10782 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407792567 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369985473376 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10783] ppid=10767 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10783/stat : 10783 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407792567 15512600576 12560 33554432000 4194304 4196468 140736255667760 140369984420400 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51692 KiB

[startup+0.701751 s]
/proc/loadavg: 6.43 6.76 7.06 8/233 10783
/proc/meminfo: memFree=31404612/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0
[pid=10769] ppid=10767 vsize=15417404 memory=104308 CPUtime=1.75 cores=1,3,5,7
/proc/10769/stat : 10769 (java) S 10767 10767 6753 0 -1 1077944320 16361 0 0 0 170 5 0 0 20 0 19 0 407792561 15787421696 26077 33554432000 4194304 4196468 140736255667760 140736255650304 140370524581623 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
/proc/10769/statm: 3854351 26077 3459 1 0 3815453 0
[pid=10769/tid=10770] ppid=10767 vsize=15417404 memory=1790397383937 CPUtime=0.55 cores=1,3,5,7
/proc/10769/task/10770/stat : 10770 (java) S 10767 10767 6753 0 -1 1077944384 9113 0 0 0 52 3 0 0 20 0 19 0 407792561 15787421696 26077 33554432000 4194304 4196468 140736255667760 140370528822400 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10771] ppid=10767 vsize=15417404 memory=512 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10771/stat : 10771 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792562 15787421696 26077 33554432000 4194304 4196468 140736255667760 140370477202448 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10772] ppid=10767 vsize=15417404 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10772/stat : 10772 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792562 15787421696 26077 33554432000 4194304 4196468 140736255667760 140370476149904 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10773] ppid=10767 vsize=15417404 memory=928 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10773/stat : 10773 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792562 15787421696 26077 33554432000 4194304 4196468 140736255667760 140370475096848 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10774] ppid=10767 vsize=15417404 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10774/stat : 10774 (java) S 10767 10767 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 407792562 15787421696 26077 33554432000 4194304 4196468 140736255667760 140370474044304 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10775] ppid=10767 vsize=15417404 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10775/stat : 10775 (java) S 10767 10767 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 407792563 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369992841456 140370524592770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10776] ppid=10767 vsize=15417404 memory=920 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10776/stat : 10776 (java) S 10767 10767 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369991787680 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10777] ppid=10767 vsize=15417404 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10777/stat : 10777 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369990734576 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10778] ppid=10767 vsize=15417404 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10778/stat : 10778 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792566 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369989683152 140370524600219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10779] ppid=10767 vsize=15417404 memory=1764 CPUtime=0.33 cores=1,3,5,7
/proc/10769/task/10779/stat : 10779 (java) R 10767 10767 6753 0 -1 4202560 2315 0 0 0 33 0 0 0 20 0 19 0 407792566 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369988612296 140370509706360 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10780] ppid=10767 vsize=15417404 memory=111632 CPUtime=0.28 cores=1,3,5,7
/proc/10769/task/10780/stat : 10780 (java) R 10767 10767 6753 0 -1 4202560 1197 0 0 0 28 0 0 0 20 0 19 0 407792567 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369987559752 140370502556442 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10781] ppid=10767 vsize=15417404 memory=804 CPUtime=0.29 cores=1,3,5,7
/proc/10769/task/10781/stat : 10781 (java) R 10767 10767 6753 0 -1 1077944384 2211 0 0 0 29 0 0 0 20 0 19 0 407792567 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369986525680 140370524592770 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10782] ppid=10767 vsize=15417404 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10782/stat : 10782 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369985473376 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10783] ppid=10767 vsize=15417404 memory=924 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10783/stat : 10783 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 26077 33554432000 4194304 4196468 140736255667760 140369984420400 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 105760 KiB

[startup+1.50348 s]
/proc/loadavg: 6.43 6.76 7.06 11/237 10787
/proc/meminfo: memFree=31358700/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0

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

/proc/10769/task/10787/stat : 10787 (java) R 10767 10767 6753 0 -1 4202560 52 0 0 0 75 0 0 0 20 0 19 0 407792619 15787421696 58219 33554432000 4194304 4196468 140736255667760 140369972289856 140370155247445 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 4.92 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 234328 KiB

[startup+1.93511 s]
# the end of solver process 10767 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=6.46288 s, system=0.118662 s

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

[startup+1.60483 s]
/proc/loadavg: 6.43 6.76 7.06 11/237 10787
/proc/meminfo: memFree=31358700/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0
[pid=10769] ppid=10767 vsize=15417404 memory=233036 CPUtime=5.32 cores=1,3,5,7
/proc/10769/stat : 10769 (java) S 10767 10767 6753 0 -1 1077944320 17925 0 0 0 521 11 0 0 20 0 19 0 407792561 15787421696 58259 33554432000 4194304 4196468 140736255667760 140736255650304 140370524581623 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
/proc/10769/statm: 3854351 58259 3481 1 0 3815453 0
[pid=10769/tid=10770] ppid=10767 vsize=15417404 memory=6791534058613427641 CPUtime=0.55 cores=1,3,5,7
/proc/10769/task/10770/stat : 10770 (java) S 10767 10767 6753 0 -1 1077944384 9113 0 0 0 52 3 0 0 20 0 19 0 407792561 15787421696 58259 33554432000 4194304 4196468 140736255667760 140370528822400 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10771] ppid=10767 vsize=15417404 memory=140393890972087 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10771/stat : 10771 (java) S 10767 10767 6753 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58259 33554432000 4194304 4196468 140736255667760 140370477202448 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10772] ppid=10767 vsize=15417404 memory=140393890972195 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10772/stat : 10772 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58259 33554432000 4194304 4196468 140736255667760 140370476149904 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10773] ppid=10767 vsize=15417404 memory=140393890972216 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10773/stat : 10773 (java) S 10767 10767 6753 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58259 33554432000 4194304 4196468 140736255667760 140370475096848 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10774] ppid=10767 vsize=15417404 memory=140393890972217 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10774/stat : 10774 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58259 33554432000 4194304 4196468 140736255667760 140370474044304 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10775] ppid=10767 vsize=15417404 memory=140393890972219 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10775/stat : 10775 (java) S 10767 10767 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407792563 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369992841456 140370524592770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10776] ppid=10767 vsize=15417404 memory=140393890972224 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10776/stat : 10776 (java) S 10767 10767 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369991787680 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10777] ppid=10767 vsize=15417404 memory=140393890972230 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10777/stat : 10777 (java) S 10767 10767 6753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369990734592 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10778] ppid=10767 vsize=15417404 memory=140393890972232 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10778/stat : 10778 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792566 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369989683152 140370524600219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10779] ppid=10767 vsize=15417404 memory=140393890972235 CPUtime=0.67 cores=1,3,5,7
/proc/10769/task/10779/stat : 10779 (java) R 10767 10767 6753 0 -1 1077944384 2700 0 0 0 66 1 0 0 20 0 19 0 407792566 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369988631280 140370524592770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10780] ppid=10767 vsize=15417404 memory=140393890972245 CPUtime=0.69 cores=1,3,5,7
/proc/10769/task/10780/stat : 10780 (java) S 10767 10767 6753 0 -1 1077944384 1875 0 0 0 69 0 0 0 20 0 19 0 407792567 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369987578736 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10781] ppid=10767 vsize=15417404 memory=140393890972246 CPUtime=0.36 cores=1,3,5,7
/proc/10769/task/10781/stat : 10781 (java) R 10767 10767 6753 0 -1 4202560 2485 0 0 0 36 0 0 0 20 0 19 0 407792567 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369986525680 140370516818750 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10782] ppid=10767 vsize=15417404 memory=140393890972248 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10782/stat : 10782 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369985473376 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10783] ppid=10767 vsize=15417404 memory=140393890972255 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10783/stat : 10783 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369984420400 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10784] ppid=10767 vsize=15417404 memory=0 CPUtime=0.74 cores=1,3,5,7
/proc/10769/task/10784/stat : 10784 (java) R 10767 10767 6753 0 -1 4202560 72 0 0 0 74 0 0 0 20 0 19 0 407792618 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369975446440 140370155486797 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10785] ppid=10767 vsize=15417404 memory=0 CPUtime=0.55 cores=1,3,5,7
/proc/10769/task/10785/stat : 10785 (java) R 10767 10767 6753 0 -1 4202560 52 0 0 0 55 0 0 0 20 0 19 0 407792619 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369974397128 140370155368701 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10786] ppid=10767 vsize=15417404 memory=8514701219881978528 CPUtime=0.74 cores=1,3,5,7
/proc/10769/task/10786/stat : 10786 (java) R 10767 10767 6753 0 -1 4202560 95 0 0 0 74 0 0 0 20 0 19 0 407792619 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369973334320 140370155368727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10787] ppid=10767 vsize=15417404 memory=-7022074515825631275 CPUtime=0.85 cores=1,3,5,7
/proc/10769/task/10787/stat : 10787 (java) R 10767 10767 6753 0 -1 4202560 52 0 0 0 85 0 0 0 20 0 19 0 407792619 15787421696 58259 33554432000 4194304 4196468 140736255667760 140369972289856 140370155486850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 5.32 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 234488 KiB

[startup+1.80175 s]
/proc/loadavg: 6.43 6.76 7.06 11/237 10787
/proc/meminfo: memFree=31358700/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0
[pid=10769] ppid=10767 vsize=15417404 memory=233152 CPUtime=6.11 cores=1,3,5,7
/proc/10769/stat : 10769 (java) S 10767 10767 6753 0 -1 1077944320 17968 0 0 0 600 11 0 0 20 0 19 0 407792561 15787421696 58288 33554432000 4194304 4196468 140736255667760 140736255650304 140370524581623 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
/proc/10769/statm: 3854351 58288 3485 1 0 3815453 0
[pid=10769/tid=10770] ppid=10767 vsize=15417404 memory=2596 CPUtime=0.55 cores=1,3,5,7
/proc/10769/task/10770/stat : 10770 (java) S 10767 10767 6753 0 -1 1077944384 9113 0 0 0 52 3 0 0 20 0 19 0 407792561 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370528822400 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10771] ppid=10767 vsize=15417404 memory=2596 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10771/stat : 10771 (java) S 10767 10767 6753 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370477202448 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10772] ppid=10767 vsize=15417404 memory=4104 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10772/stat : 10772 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370476149904 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10773] ppid=10767 vsize=15417404 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10773/stat : 10773 (java) S 10767 10767 6753 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370475096848 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10774] ppid=10767 vsize=15417404 memory=3412 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10774/stat : 10774 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370474044304 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10775] ppid=10767 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10775/stat : 10775 (java) S 10767 10767 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407792563 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369992841456 140370524592770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10776] ppid=10767 vsize=15417404 memory=251076 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10776/stat : 10776 (java) S 10767 10767 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369991787680 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10777] ppid=10767 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10777/stat : 10777 (java) S 10767 10767 6753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369990734592 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10778] ppid=10767 vsize=15417404 memory=2276 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10778/stat : 10778 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792566 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369989683152 140370524600219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10779] ppid=10767 vsize=15417404 memory=2404 CPUtime=0.69 cores=1,3,5,7
/proc/10769/task/10779/stat : 10779 (java) S 10767 10767 6753 0 -1 1077944384 2701 0 0 0 68 1 0 0 20 0 19 0 407792566 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369988631280 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10780] ppid=10767 vsize=15417404 memory=14008 CPUtime=0.71 cores=1,3,5,7
/proc/10769/task/10780/stat : 10780 (java) S 10767 10767 6753 0 -1 1077944384 1883 0 0 0 71 0 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369987578736 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10781] ppid=10767 vsize=15417404 memory=2120 CPUtime=0.37 cores=1,3,5,7
/proc/10769/task/10781/stat : 10781 (java) R 10767 10767 6753 0 -1 1077944384 2508 0 0 0 37 0 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369986525680 140370524592770 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10782] ppid=10767 vsize=15417404 memory=11976 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10782/stat : 10782 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369985473376 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10783] ppid=10767 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10783/stat : 10783 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369984420400 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10784] ppid=10767 vsize=15417404 memory=280786574274976 CPUtime=0.94 cores=1,3,5,7
/proc/10769/task/10784/stat : 10784 (java) R 10767 10767 6753 0 -1 4202560 77 0 0 0 94 0 0 0 20 0 19 0 407792618 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369975446440 140370155368992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10785] ppid=10767 vsize=15417404 memory=3618836815654773013 CPUtime=0.74 cores=1,3,5,7
/proc/10769/task/10785/stat : 10785 (java) R 10767 10767 6753 0 -1 4202560 54 0 0 0 74 0 0 0 20 0 19 0 407792619 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369974397128 140370155254332 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10786] ppid=10767 vsize=15417404 memory=5938085638713922158 CPUtime=0.9 cores=1,3,5,7
/proc/10769/task/10786/stat : 10786 (java) R 10767 10767 6753 0 -1 4202560 95 0 0 0 90 0 0 0 20 0 19 0 407792619 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369973342184 140370155256143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10787] ppid=10767 vsize=15417404 memory=6298093216258609765 CPUtime=1.05 cores=1,3,5,7
/proc/10769/task/10787/stat : 10787 (java) R 10767 10767 6753 0 -1 4202560 55 0 0 0 105 0 0 0 20 0 19 0 407792619 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369972289856 140370155368866 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 6.11 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 234604 KiB

[startup+1.90175 s]
/proc/loadavg: 6.43 6.76 7.06 11/237 10787
/proc/meminfo: memFree=31358700/32770624 swapFree=66979412/67108860
[pid=10767] ppid=10764 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10767/stat : 10767 (xcsp3-exec) S 10764 10767 6753 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 407792561 115843072 363 33554432000 4194304 5098028 140725477934848 140725477932952 139913263784572 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 25202688 140725477938042 140725477938285 140725477938285 140725477941194 0
/proc/10767/statm: 28282 363 304 221 0 87 0
[pid=10769] ppid=10767 vsize=15417404 memory=233152 CPUtime=6.5 cores=1,3,5,7
/proc/10769/stat : 10769 (java) S 10767 10767 6753 0 -1 1077944320 17974 0 0 0 639 11 0 0 20 0 19 0 407792561 15787421696 58288 33554432000 4194304 4196468 140736255667760 140736255650304 140370524581623 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
/proc/10769/statm: 3854351 58288 3485 1 0 3815453 0
[pid=10769/tid=10770] ppid=10767 vsize=15417404 memory=16688 CPUtime=0.55 cores=1,3,5,7
/proc/10769/task/10770/stat : 10770 (java) S 10767 10767 6753 0 -1 1077944384 9113 0 0 0 52 3 0 0 20 0 19 0 407792561 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370528822400 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10771] ppid=10767 vsize=15417404 memory=160912 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10771/stat : 10771 (java) S 10767 10767 6753 0 -1 1077944384 34 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370477202448 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10772] ppid=10767 vsize=15417404 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10772/stat : 10772 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370476149904 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10773] ppid=10767 vsize=15417404 memory=280786574189352 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10773/stat : 10773 (java) S 10767 10767 6753 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370475096848 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10774] ppid=10767 vsize=15417404 memory=6944656592455097440 CPUtime=0.01 cores=1,3,5,7
/proc/10769/task/10774/stat : 10774 (java) S 10767 10767 6753 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 19 0 407792562 15787421696 58288 33554432000 4194304 4196468 140736255667760 140370474044304 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10775] ppid=10767 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10775/stat : 10775 (java) S 10767 10767 6753 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 407792563 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369992841456 140370524592770 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10776] ppid=10767 vsize=15417404 memory=920 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10776/stat : 10776 (java) S 10767 10767 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369991787680 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10777] ppid=10767 vsize=15417404 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10777/stat : 10777 (java) S 10767 10767 6753 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 407792564 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369990734592 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10778] ppid=10767 vsize=15417404 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10778/stat : 10778 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792566 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369989683152 140370524600219 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10779] ppid=10767 vsize=15417404 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/10769/task/10779/stat : 10779 (java) S 10767 10767 6753 0 -1 1077944384 2701 0 0 0 68 1 0 0 20 0 19 0 407792566 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369988631280 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10780] ppid=10767 vsize=15417404 memory=-8823246064971903881 CPUtime=0.73 cores=1,3,5,7
/proc/10769/task/10780/stat : 10780 (java) S 10767 10767 6753 0 -1 1077944384 1888 0 0 0 73 0 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369987578736 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10781] ppid=10767 vsize=15417404 memory=-8614379499087747112 CPUtime=0.39 cores=1,3,5,7
/proc/10769/task/10781/stat : 10781 (java) S 10767 10767 6753 0 -1 1077944384 2509 0 0 0 38 1 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369986525680 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10782] ppid=10767 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10782/stat : 10782 (java) S 10767 10767 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369985473376 140370524591829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10783] ppid=10767 vsize=15417404 memory=8562125494162282060 CPUtime=0 cores=1,3,5,7
/proc/10769/task/10783/stat : 10783 (java) S 10767 10767 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 407792567 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369984420400 140370524592770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10784] ppid=10767 vsize=15417404 memory=7976406965554101975 CPUtime=1.04 cores=1,3,5,7
/proc/10769/task/10784/stat : 10784 (java) R 10767 10767 6753 0 -1 4202560 77 0 0 0 104 0 0 0 20 0 19 0 407792618 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369975446440 140370155369044 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10785] ppid=10767 vsize=15417404 memory=-2026666227646604569 CPUtime=0.84 cores=1,3,5,7
/proc/10769/task/10785/stat : 10785 (java) R 10767 10767 6753 0 -1 4202560 54 0 0 0 84 0 0 0 20 0 19 0 407792619 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369974397128 140370155105888 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10786] ppid=10767 vsize=15417404 memory=-4695043397844020537 CPUtime=0.97 cores=1,3,5,7
/proc/10769/task/10786/stat : 10786 (java) R 10767 10767 6753 0 -1 4202560 95 0 0 0 97 0 0 0 20 0 19 0 407792619 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369973344296 140370155368129 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
[pid=10769/tid=10787] ppid=10767 vsize=15417404 memory=-2605811476043407915 CPUtime=1.15 cores=1,3,5,7
/proc/10769/task/10787/stat : 10787 (java) R 10767 10767 6753 0 -1 4202560 55 0 0 0 115 0 0 0 20 0 19 0 407792619 15787421696 58288 33554432000 4194304 4196468 140736255667760 140369972289856 140370155368727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36716544 140736255669231 140736255669402 140736255669402 140736255672271 0
Current children cumulated CPU time: 6.5 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 234604 KiB

Child status: 0
Real time (s): 1.93514
CPU time (s): 6.58154
CPU user time (s): 6.46288
CPU system time (s): 0.118662
CPU usage (%): 340.106
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 234604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.46288
system time used= 0.118662
maximum resident set size= 234356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18587
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1821
involuntary context switches= 266


# summary of solver processes directly reported to runsolver:
#   pid: 10767
#   total CPU time (s): 6.58154
#   total CPU user time (s): 6.46288
#   total CPU system time (s): 0.118662

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.032013 second user time and 0.065693 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-1000-ca.xml
MD5SUM	d2780e3631970b53a6f91cd037f7d107
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	3.15721
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	3
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"cardinality","count":1}]
Optimization problem	NO
Type of objective
Trace number 4392897

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
