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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-07-26)	SAT	9.9112797	7.3709798
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 (14247 MiB free)
  memory of node 1: 16384 MiB (12245 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272772-1502801513/watcher-4272772-1502801513 -o /tmp/evaluation-result-4272772-1502801513/solver-4272772-1502801513 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1502793297-5949 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1654885021 HOME/instance-4272772-1502801513.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=6809, runsolver pid=6806

[startup+0.100163 s]*
/proc/loadavg: 2.11 2.00 1.89 4/217 6825
/proc/meminfo: memFree=27113160/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13978596 memory=27868 CPUtime=0.12 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 5308 0 0 0 10 2 0 0 20 0 15 0 113239343 14314082304 6967 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3494649 6967 2872 1 0 3482966 0
[pid=6811/tid=6812] ppid=6809 vsize=13978596 memory=8260065295529644891 CPUtime=0.09 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 3326 0 0 0 8 1 0 0 20 0 15 0 113239343 14314082304 6967 33554432000 4194304 4196468 140734418032640 140171044876848 140171040664982 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13978596 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13978596 memory=139735974676096 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239344 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13978596 memory=139735974676096 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239346 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113239346 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113239346 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) R 6809 6809 5918 0 -1 4202560 425 0 0 0 0 0 0 0 20 0 15 0 113239349 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170510649840 140171040664194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170509597296 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13978596 memory=139735974676096 CPUtime=0.01 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) R 6809 6809 5918 0 -1 4202560 257 0 0 0 1 0 0 0 20 0 15 0 113239349 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170508544752 140171024900656 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13978596 memory=139735974676096 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239349 14314082304 6967 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29252 KiB

[startup+0.210683 s]*
/proc/loadavg: 2.11 2.00 1.89 3/217 6825
/proc/meminfo: memFree=27101384/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13982852 memory=40584 CPUtime=0.34 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 8156 0 0 0 31 3 0 0 20 0 15 0 113239343 14318440448 10146 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3495713 10146 3080 1 0 3482966 0
[pid=6811/tid=6812] ppid=6809 vsize=13982884 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 5288 0 0 0 18 1 0 0 20 0 15 0 113239343 14318473216 10146 33554432000 4194304 4196468 140734418032640 140171044862672 140171033332765 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13982852 memory=12474 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13982852 memory=139735975229486 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13982852 memory=139735974676096 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239346 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113239346 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113239346 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) S 6809 6809 5918 0 -1 1077944384 556 0 0 0 2 0 0 0 20 0 15 0 113239349 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170510649840 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13982884 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) S 6809 6809 5918 0 -1 1077944384 269 0 0 0 2 0 0 0 20 0 15 0 113239349 14318473216 10146 33554432000 4194304 4196468 140734418032640 140170509597296 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13982884 memory=139735974676096 CPUtime=0.07 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) S 6809 6809 5918 0 -1 1077944384 753 0 0 0 7 0 0 0 20 0 15 0 113239349 14318473216 10146 33554432000 4194304 4196468 140734418032640 140170508544752 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239349 14318440448 10146 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41968 KiB

[startup+0.310899 s]*
/proc/loadavg: 2.11 2.00 1.89 4/217 6825
/proc/meminfo: memFree=27094564/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13982852 memory=47440 CPUtime=0.51 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 8985 0 0 0 47 4 0 0 20 0 15 0 113239343 14318440448 11860 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3495713 11860 3109 1 0 3482966 0
[pid=6811/tid=6812] ppid=6809 vsize=13982852 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 5905 0 0 0 27 2 0 0 20 0 15 0 113239343 14318440448 11860 33554432000 4194304 4196468 140734418032640 140171044890960 140170636848608 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13982852 memory=12804 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13982852 memory=556682 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239344 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239346 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113239346 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113239346 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13982852 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) R 6809 6809 5918 0 -1 1077944384 565 0 0 0 3 0 0 0 20 0 15 0 113239349 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170510649840 140171040664194 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) S 6809 6809 5918 0 -1 1077944384 332 0 0 0 4 0 0 0 20 0 15 0 113239349 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170509597296 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) R 6809 6809 5918 0 -1 4202560 878 0 0 0 12 0 0 0 20 0 15 0 113239349 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170508541120 140171024733534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239349 14318440448 11860 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48824 KiB

[startup+0.700729 s]
/proc/loadavg: 2.11 2.00 1.89 5/217 6825
/proc/meminfo: memFree=27079056/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13984976 memory=75908 CPUtime=1.4 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 11533 0 0 0 135 5 0 0 20 0 15 0 113239343 14320615424 18977 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3496244 18977 3192 1 0 3483478 0
[pid=6811/tid=6812] ppid=6809 vsize=13984976 memory=4044 CPUtime=0.67 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 6379 0 0 0 64 3 0 0 20 0 15 0 113239343 14320615424 18977 33554432000 4194304 4196468 140734418032640 140171044873136 140170639627602 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13984976 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13984976 memory=636 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13984976 memory=956 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 113239344 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13984976 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239344 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13984976 memory=1236 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13984976 memory=2240 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13984976 memory=4128 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13984976 memory=1572 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13984976 memory=932 CPUtime=0.21 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) S 6809 6809 5918 0 -1 1077944384 1569 0 0 0 21 0 0 0 20 0 15 0 113239349 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170510649840 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13984976 memory=2200 CPUtime=0.18 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) R 6809 6809 5918 0 -1 1077944384 771 0 0 0 18 0 0 0 20 0 15 0 113239349 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170509597296 140171040664194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13984976 memory=6504 CPUtime=0.3 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) R 6809 6809 5918 0 -1 1077944384 1504 0 0 0 30 0 0 0 20 0 15 0 113239349 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170508544752 140171040664194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13984976 memory=840 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13984976 memory=1696 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 18977 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 77292 KiB

[startup+1.50066 s]
/proc/loadavg: 2.11 2.00 1.89 3/217 6825
/proc/meminfo: memFree=26865448/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0

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

/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13984976 memory=278956 CPUtime=8.08 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 17444 0 0 0 787 21 0 0 20 0 15 0 113239343 14320615424 69739 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3496244 69739 3230 1 0 3483478 0
[pid=6811/tid=6812] ppid=6809 vsize=13984976 memory=1384 CPUtime=6.29 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 8020 0 0 0 624 5 0 0 20 0 15 0 113239343 14320615424 69739 33554432000 4194304 4196468 140734418032640 140171044889472 140170641617614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13984976 memory=277816 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13984976 memory=2468 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13984976 memory=55 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13984976 memory=59204 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13984976 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) R 6809 6809 5918 0 -1 4202560 2807 0 0 0 54 0 0 0 20 0 15 0 113239349 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170510642864 140171022174447 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13984976 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) R 6809 6809 5918 0 -1 4202560 1954 0 0 0 51 0 0 0 20 0 15 0 113239349 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170509584256 140171024548951 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13984976 memory=55 CPUtime=0.44 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) S 6809 6809 5918 0 -1 1077944384 2507 0 0 0 43 1 0 0 20 0 15 0 113239349 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170508544752 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13984976 memory=579057804731639276 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13984976 memory=10875 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 69739 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 8.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 280340 KiB

[startup+6.80073 s]
/proc/loadavg: 2.10 2.00 1.89 3/217 6825
/proc/meminfo: memFree=26863928/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13984976 memory=279860 CPUtime=8.56 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 17798 0 0 0 835 21 0 0 20 0 15 0 113239343 14320615424 69965 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3496244 69965 3231 1 0 3483478 0
[pid=6811/tid=6812] ppid=6809 vsize=13984976 memory=0 CPUtime=6.69 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 8140 0 0 0 664 5 0 0 20 0 15 0 113239343 14320615424 69965 33554432000 4194304 4196468 140734418032640 140171044892056 140170641732229 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13984976 memory=16 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13984976 memory=7 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13984976 memory=0 CPUtime=0.58 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) S 6809 6809 5918 0 -1 1077944384 2820 0 0 0 58 0 0 0 20 0 15 0 113239349 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170510649840 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13984976 memory=0 CPUtime=0.54 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) S 6809 6809 5918 0 -1 1077944384 2174 0 0 0 54 0 0 0 20 0 15 0 113239349 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170509597296 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13984976 memory=3894 CPUtime=0.44 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) S 6809 6809 5918 0 -1 1077944384 2508 0 0 0 43 1 0 0 20 0 15 0 113239349 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170508544752 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13984976 memory=279471643332352 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 69965 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 8.56 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 281244 KiB

[startup+7.20132 s]
/proc/loadavg: 2.10 2.00 1.89 5/217 6825
/proc/meminfo: memFree=26861076/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13984976 memory=290116 CPUtime=9.42 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 21057 0 0 0 921 21 0 0 20 0 15 0 113239343 14320615424 72529 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3496244 72529 3232 1 0 3483478 0
[pid=6811/tid=6812] ppid=6809 vsize=13984976 memory=1384 CPUtime=7.09 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 8539 0 0 0 704 5 0 0 20 0 15 0 113239343 14320615424 72529 33554432000 4194304 4196468 140734418032640 140171044892912 140170642036833 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13984976 memory=279860 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13984976 memory=8112282956445269571 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13984976 memory=31788 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13984976 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) R 6809 6809 5918 0 -1 4202560 3877 0 0 0 83 0 0 0 20 0 15 0 113239349 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170510629088 140171022174065 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13984976 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) R 6809 6809 5918 0 -1 4202560 3703 0 0 0 72 1 0 0 20 0 15 0 113239349 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170509579248 140171021831884 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13984976 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) S 6809 6809 5918 0 -1 1077944384 2782 0 0 0 46 1 0 0 20 0 15 0 113239349 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170508544752 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 277 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 72529 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 9.42 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 291500 KiB

[startup+7.30132 s]
/proc/loadavg: 2.10 2.00 1.89 5/217 6825
/proc/meminfo: memFree=26861076/32770624 swapFree=67108860/67108860
[pid=6809] ppid=6806 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/6809/stat : 6809 (xcsp3-exec) S 6806 6809 5918 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 113239343 9740288 346 33554432000 4194304 5098028 140721440223296 140721440221400 140123670663804 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 16764928 140721440228462 140721440228667 140721440228667 140721440231403 0
/proc/6809/statm: 2378 346 289 221 0 87 0
[pid=6811] ppid=6809 vsize=13984976 memory=291060 CPUtime=9.72 cores=0,2,4,6
/proc/6811/stat : 6811 (java) S 6809 6809 5918 0 -1 1077944320 26176 0 0 0 950 22 0 0 20 0 15 0 113239343 14320615424 72765 33554432000 4194304 4196468 140734418032640 140734418015184 140171040653047 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
/proc/6811/statm: 3496244 72765 3233 1 0 3483478 0
[pid=6811/tid=6812] ppid=6809 vsize=13984976 memory=8112282956445269571 CPUtime=7.19 cores=0,2,4,6
/proc/6811/task/6812/stat : 6812 (java) R 6809 6809 5918 0 -1 4202560 9164 0 0 0 714 5 0 0 20 0 15 0 113239343 14320615424 72765 33554432000 4194304 4196468 140734418032640 140171044892168 140170641617469 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6813] ppid=6809 vsize=13984976 memory=277812 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6813/stat : 6813 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170636552976 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6814] ppid=6809 vsize=13984976 memory=279860 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6814/stat : 6814 (java) S 6809 6809 5918 0 -1 1077944384 57 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170635500432 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6815] ppid=6809 vsize=13984976 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6815/stat : 6815 (java) S 6809 6809 5918 0 -1 1077944384 58 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170634447888 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6816] ppid=6809 vsize=13984976 memory=278140 CPUtime=0.06 cores=0,2,4,6
/proc/6811/task/6816/stat : 6816 (java) S 6809 6809 5918 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 113239344 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170633395344 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6817] ppid=6809 vsize=13984976 memory=277444 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6817/stat : 6817 (java) S 6809 6809 5918 0 -1 1077944384 353 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170514860016 140171040664194 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6818] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6818/stat : 6818 (java) S 6809 6809 5918 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170513806240 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6819] ppid=6809 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6819/stat : 6819 (java) S 6809 6809 5918 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 113239346 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170512753648 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6820] ppid=6809 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6820/stat : 6820 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170511702224 140171040671643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6821] ppid=6809 vsize=13984976 memory=560649 CPUtime=0.93 cores=0,2,4,6
/proc/6811/task/6821/stat : 6821 (java) R 6809 6809 5918 0 -1 4202560 6168 0 0 0 93 0 0 0 20 0 15 0 113239349 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170510649840 140171024063919 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6822] ppid=6809 vsize=13984976 memory=6943526294502006880 CPUtime=0.83 cores=0,2,4,6
/proc/6811/task/6822/stat : 6822 (java) R 6809 6809 5918 0 -1 4202560 5843 0 0 0 82 1 0 0 20 0 15 0 113239349 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170509584112 140171025760729 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6823] ppid=6809 vsize=13984976 memory=6944656592455097440 CPUtime=0.47 cores=0,2,4,6
/proc/6811/task/6823/stat : 6823 (java) S 6809 6809 5918 0 -1 1077944384 2836 0 0 0 46 1 0 0 20 0 15 0 113239349 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170508544752 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6824] ppid=6809 vsize=13984976 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6824/stat : 6824 (java) S 6809 6809 5918 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170507492448 140171040663253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
[pid=6811/tid=6825] ppid=6809 vsize=13984976 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/6811/task/6825/stat : 6825 (java) S 6809 6809 5918 0 -1 1077944384 286 0 0 0 0 0 0 0 20 0 15 0 113239349 14320615424 72765 33554432000 4194304 4196468 140734418032640 140170506438960 140171040664194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10280960 140734418039959 140734418040135 140734418040135 140734418042831 0
Current children cumulated CPU time: 9.72 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 292444 KiB

Child status: 0
Real time (s): 7.37098
CPU time (s): 9.91128
CPU user time (s): 9.6819
CPU system time (s): 0.229378
CPU usage (%): 134.464
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 292444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.6819
system time used= 0.229378
maximum resident set size= 291844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2391
involuntary context switches= 33


# summary of solver processes directly reported to runsolver:
#   pid: 6809
#   total CPU time (s): 9.91128
#   total CPU user time (s): 9.6819
#   total CPU system time (s): 0.229378

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.072724 second user time and 0.106165 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
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	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4272772

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
