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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-09-16	SAT	5.84715	1.76297
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 (14522 MiB free)
  memory of node 1: 16384 MiB (12024 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398932-1568694562/watcher-4398932-1568694562 -o /tmp/evaluation-result-4398932-1568694562/solver-4398932-1568694562 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568694401-32468 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1380276148 HOME/instance-4398932-1568694562.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=2715, runsolver pid=2712

[startup+0.100113 s]*
/proc/loadavg: 6.94 3.18 1.79 8/233 2731
/proc/meminfo: memFree=27168724/32770624 swapFree=66939908/67108860
[pid=2715] ppid=2712 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (xcsp3-exec) S 2712 2715 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445371079 115843072 362 33554432000 4194304 5098028 140728680881824 140728680879928 139923198829180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140728680883066 140728680883309 140728680883309 140728680886218 0
/proc/2715/statm: 28282 362 304 221 0 87 0
[pid=2717] ppid=2715 vsize=15144776 memory=28664 CPUtime=0.12 cores=0,2,4,6
/proc/2717/stat : 2717 (java) S 2715 2715 32437 0 -1 1077944320 5651 0 0 0 11 1 0 0 20 0 15 0 445371079 15508250624 7166 33554432000 4194304 4196468 140720557953920 140720557936464 140558501773047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
/proc/2717/statm: 3786194 7166 3118 1 0 3748377 0
[pid=2717/tid=2718] ppid=2715 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=0,2,4,6
/proc/2717/task/2718/stat : 2718 (java) R 2715 2715 32437 0 -1 4202560 3578 0 0 0 8 1 0 0 20 0 15 0 445371079 15508250624 7232 33554432000 4194304 4196468 140720557953920 140558506004368 140558123220466 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2719] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2719/stat : 2719 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 7232 33554432000 4194304 4196468 140720557953920 140558454393360 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2720] ppid=2715 vsize=15144776 memory=139988648302208 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2720/stat : 2720 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 7232 33554432000 4194304 4196468 140720557953920 140558453340816 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2721] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2721/stat : 2721 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 7232 33554432000 4194304 4196468 140720557953920 140558452287760 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2722] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2722/stat : 2722 (java) S 2715 2715 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 7232 33554432000 4194304 4196468 140720557953920 140558451235216 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2723] ppid=2715 vsize=15144776 memory=139988648302208 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2723/stat : 2723 (java) S 2715 2715 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371082 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557970033392 140558501784194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2724] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2724/stat : 2724 (java) S 2715 2715 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445371082 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557968979616 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2725] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2725/stat : 2725 (java) S 2715 2715 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445371082 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557967926512 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2726] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2726/stat : 2726 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557966875088 140558501791643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2727] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2727/stat : 2727 (java) R 2715 2715 32437 0 -1 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557965822192 140558501784194 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2728] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2728/stat : 2728 (java) R 2715 2715 32437 0 -1 4202560 144 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557964769648 140558479749600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2729] ppid=2715 vsize=15144776 memory=139988648302208 CPUtime=0.02 cores=0,2,4,6
/proc/2717/task/2729/stat : 2729 (java) R 2715 2715 32437 0 -1 4202560 354 0 0 0 2 0 0 0 20 0 15 0 445371085 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557963716592 140558480293198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2730] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2730/stat : 2730 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557962664288 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2731] ppid=2715 vsize=15144776 memory=139988648302208 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2731/stat : 2731 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 7232 33554432000 4194304 4196468 140720557953920 140557961612336 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30112 KiB

[startup+0.210702 s]*
/proc/loadavg: 6.94 3.18 1.79 7/233 2731
/proc/meminfo: memFree=27155744/32770624 swapFree=66939908/67108860
[pid=2715] ppid=2712 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (xcsp3-exec) S 2712 2715 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445371079 115843072 362 33554432000 4194304 5098028 140728680881824 140728680879928 139923198829180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140728680883066 140728680883309 140728680883309 140728680886218 0
/proc/2715/statm: 28282 362 304 221 0 87 0
[pid=2717] ppid=2715 vsize=15144776 memory=40676 CPUtime=0.33 cores=0,2,4,6
/proc/2717/stat : 2717 (java) S 2715 2715 32437 0 -1 1077944320 9337 0 0 0 30 3 0 0 20 0 15 0 445371079 15508250624 10169 33554432000 4194304 4196468 140720557953920 140720557936464 140558501773047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
/proc/2717/statm: 3786194 10169 3319 1 0 3748377 0
[pid=2717/tid=2718] ppid=2715 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=0,2,4,6
/proc/2717/task/2718/stat : 2718 (java) R 2715 2715 32437 0 -1 4202560 6602 0 0 0 17 2 0 0 20 0 15 0 445371079 15508250624 10169 33554432000 4194304 4196468 140720557953920 140558506006784 140558501784982 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2719] ppid=2715 vsize=15144776 memory=4294977831 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2719/stat : 2719 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 10169 33554432000 4194304 4196468 140720557953920 140558454393360 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2720] ppid=2715 vsize=15144776 memory=139988648332374 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2720/stat : 2720 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 10169 33554432000 4194304 4196468 140720557953920 140558453340816 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2721] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2721/stat : 2721 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 10169 33554432000 4194304 4196468 140720557953920 140558452287760 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2722] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2722/stat : 2722 (java) S 2715 2715 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371080 15508250624 10169 33554432000 4194304 4196468 140720557953920 140558451235216 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2723] ppid=2715 vsize=15144776 memory=139988648302208 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2723/stat : 2723 (java) S 2715 2715 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445371082 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557970033392 140558501784194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2724] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2724/stat : 2724 (java) S 2715 2715 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445371082 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557968979616 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2725] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2725/stat : 2725 (java) S 2715 2715 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445371082 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557967926512 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2726] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2726/stat : 2726 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557966875088 140558501791643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2727] ppid=2715 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2717/task/2727/stat : 2727 (java) S 2715 2715 32437 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 445371085 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557965822192 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2728] ppid=2715 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/2717/task/2728/stat : 2728 (java) S 2715 2715 32437 0 -1 1077944384 291 0 0 0 3 0 0 0 20 0 15 0 445371085 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557964769648 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2729] ppid=2715 vsize=15144776 memory=139988648302208 CPUtime=0.08 cores=0,2,4,6
/proc/2717/task/2729/stat : 2729 (java) R 2715 2715 32437 0 -1 4202560 797 0 0 0 8 0 0 0 20 0 15 0 445371085 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557963716592 140558480264272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2730] ppid=2715 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2730/stat : 2730 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557962664288 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2731] ppid=2715 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2731/stat : 2731 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371085 15508250624 10169 33554432000 4194304 4196468 140720557953920 140557961612336 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42124 KiB

[startup+0.310564 s]*
/proc/loadavg: 6.94 3.18 1.79 8/233 2731
/proc/meminfo: memFree=27148472/32770624 swapFree=66939908/67108860
[pid=2715] ppid=2712 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (xcsp3-exec) S 2712 2715 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445371079 115843072 362 33554432000 4194304 5098028 140728680881824 140728680879928 139923198829180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140728680883066 140728680883309 140728680883309 140728680886218 0
/proc/2715/statm: 28282 362 304 221 0 87 0
[pid=2717] ppid=2715 vsize=15149032 memory=49488 CPUtime=0.53 cores=0,2,4,6
/proc/2717/stat : 2717 (java) S 2715 2715 32437 0 -1 1077944320 10755 0 0 0 49 4 0 0 20 0 15 0 445371079 15512608768 12372 33554432000 4194304 4196468 140720557953920 140720557936464 140558501773047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
/proc/2717/statm: 3787258 12372 3355 1 0 3748377 0
[pid=2717/tid=2718] ppid=2715 vsize=15149032 memory=6935054825532540783 CPUtime=0.3 cores=0,2,4,6
/proc/2717/task/2718/stat : 2718 (java) R 2715 2715 32437 0 -1 4202560 7749 0 0 0 27 3 0 0 20 0 15 0 445371079 15512608768 12401 33554432000 4194304 4196468 140720557953920 140558506004160 140558485853534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2719] ppid=2715 vsize=15149032 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2719/stat : 2719 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15512608768 12401 33554432000 4194304 4196468 140720557953920 140558454393360 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2720] ppid=2715 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2720/stat : 2720 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15512608768 12401 33554432000 4194304 4196468 140720557953920 140558453340816 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2721] ppid=2715 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2721/stat : 2721 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371080 15512608768 12401 33554432000 4194304 4196468 140720557953920 140558452287760 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2722] ppid=2715 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2722/stat : 2722 (java) S 2715 2715 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445371080 15512608768 12401 33554432000 4194304 4196468 140720557953920 140558451235216 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2723] ppid=2715 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2723/stat : 2723 (java) S 2715 2715 32437 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445371082 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557970033392 140558501784194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2724] ppid=2715 vsize=15149032 memory=4211821575712250496 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2724/stat : 2724 (java) S 2715 2715 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445371082 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557968979616 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2725] ppid=2715 vsize=15149032 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2725/stat : 2725 (java) S 2715 2715 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445371082 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557967926512 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2726] ppid=2715 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2726/stat : 2726 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371085 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557966875088 140558501791643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2727] ppid=2715 vsize=15149032 memory=6944656592455097440 CPUtime=0.04 cores=0,2,4,6
/proc/2717/task/2727/stat : 2727 (java) R 2715 2715 32437 0 -1 4202560 447 0 0 0 4 0 0 0 20 0 15 0 445371085 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557965822288 140558483317142 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2728] ppid=2715 vsize=15149032 memory=-6935123839545469842 CPUtime=0.05 cores=0,2,4,6
/proc/2717/task/2728/stat : 2728 (java) S 2715 2715 32437 0 -1 1077944384 343 0 0 0 5 0 0 0 20 0 15 0 445371085 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557964769648 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2729] ppid=2715 vsize=15149032 memory=7438357367570802579 CPUtime=0.12 cores=0,2,4,6
/proc/2717/task/2729/stat : 2729 (java) S 2715 2715 32437 0 -1 1077944384 943 0 0 0 12 0 0 0 20 0 15 0 445371085 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557963716592 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2730] ppid=2715 vsize=15149032 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2730/stat : 2730 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445371085 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557962664288 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2731] ppid=2715 vsize=15149032 memory=-8675733323038954102 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2731/stat : 2731 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445371085 15512608768 12401 33554432000 4194304 4196468 140720557953920 140557961612336 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50936 KiB

[startup+0.701071 s]
/proc/loadavg: 6.94 3.18 1.79 9/233 2731
/proc/meminfo: memFree=27130772/32770624 swapFree=66939908/67108860
[pid=2715] ppid=2712 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (xcsp3-exec) S 2712 2715 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445371079 115843072 362 33554432000 4194304 5098028 140728680881824 140728680879928 139923198829180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140728680883066 140728680883309 140728680883309 140728680886218 0
/proc/2715/statm: 28282 362 304 221 0 87 0
[pid=2717] ppid=2715 vsize=15417412 memory=98800 CPUtime=1.71 cores=0,2,4,6
/proc/2717/stat : 2717 (java) S 2715 2715 32437 0 -1 1077944320 15105 0 0 0 165 6 0 0 20 0 19 0 445371079 15787429888 24700 33554432000 4194304 4196468 140720557953920 140720557936464 140558501773047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
/proc/2717/statm: 3854353 24700 3454 1 0 3815453 0
[pid=2717/tid=2718] ppid=2715 vsize=15417412 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/2717/task/2718/stat : 2718 (java) S 2715 2715 32437 0 -1 1077944384 8682 0 0 0 49 4 0 0 20 0 19 0 445371079 15787429888 24700 33554432000 4194304 4196468 140720557953920 140558506013824 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2719] ppid=2715 vsize=15417412 memory=148 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2719/stat : 2719 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445371080 15787429888 24700 33554432000 4194304 4196468 140720557953920 140558454393360 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2720] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2720/stat : 2720 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445371080 15787429888 24700 33554432000 4194304 4196468 140720557953920 140558453340816 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2721] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2721/stat : 2721 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445371080 15787429888 24700 33554432000 4194304 4196468 140720557953920 140558452287760 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2722] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2722/stat : 2722 (java) S 2715 2715 32437 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 445371080 15787429888 24700 33554432000 4194304 4196468 140720557953920 140558451235216 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2723] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2723/stat : 2723 (java) S 2715 2715 32437 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557970033392 140558501784194 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2724] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2724/stat : 2724 (java) S 2715 2715 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557968979616 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2725] ppid=2715 vsize=15417412 memory=47992 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2725/stat : 2725 (java) S 2715 2715 32437 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557967926512 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2726] ppid=2715 vsize=15417412 memory=988 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2726/stat : 2726 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557966875088 140558501791643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2727] ppid=2715 vsize=15417412 memory=2008 CPUtime=0.27 cores=0,2,4,6
/proc/2717/task/2727/stat : 2727 (java) R 2715 2715 32437 0 -1 4202560 1502 0 0 0 27 0 0 0 20 0 19 0 445371085 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557965814680 140558480962497 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2728] ppid=2715 vsize=15417412 memory=1436 CPUtime=0.23 cores=0,2,4,6
/proc/2717/task/2728/stat : 2728 (java) R 2715 2715 32437 0 -1 4202560 1719 0 0 0 23 0 0 0 20 0 19 0 445371085 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557964750640 140558485687317 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2729] ppid=2715 vsize=15417412 memory=4152 CPUtime=0.29 cores=0,2,4,6
/proc/2717/task/2729/stat : 2729 (java) R 2715 2715 32437 0 -1 1077944384 1705 0 0 0 29 0 0 0 20 0 19 0 445371085 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557963716592 140558501784194 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2730] ppid=2715 vsize=15417412 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2730/stat : 2730 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557962664288 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2731] ppid=2715 vsize=15417412 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2731/stat : 2731 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 24700 33554432000 4194304 4196468 140720557953920 140557961612336 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
Current children cumulated CPU time: 1.71 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 100248 KiB

[startup+1.50085 s]
/proc/loadavg: 6.94 3.18 1.79 12/237 2735
/proc/meminfo: memFree=27082004/32770624 swapFree=66939908/67108860
[pid=2715] ppid=2712 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (xcsp3-exec) S 2712 2715 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445371079 115843072 362 33554432000 4194304 5098028 140728680881824 140728680879928 139923198829180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140728680883066 140728680883309 140728680883309 140728680886218 0
/proc/2715/statm: 28282 362 304 221 0 87 0
[pid=2717] ppid=2715 vsize=15417412 memory=229884 CPUtime=4.85 cores=0,2,4,6
/proc/2717/stat : 2717 (java) S 2715 2715 32437 0 -1 1077944320 16315 0 0 0 475 10 0 0 20 0 19 0 445371079 15787429888 57471 33554432000 4194304 4196468 140720557953920 140720557936464 140558501773047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
/proc/2717/statm: 3854353 57471 3495 1 0 3815453 0
[pid=2717/tid=2718] ppid=2715 vsize=15417412 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/2717/task/2718/stat : 2718 (java) S 2715 2715 32437 0 -1 1077944384 8682 0 0 0 49 4 0 0 20 0 19 0 445371079 15787429888 57471 33554432000 4194304 4196468 140720557953920 140558506013824 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2719] ppid=2715 vsize=15417412 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2717/task/2719/stat : 2719 (java) S 2715 2715 32437 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 19 0 445371080 15787429888 57471 33554432000 4194304 4196468 140720557953920 140558454393360 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2720] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2720/stat : 2720 (java) S 2715 2715 32437 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445371080 15787429888 57471 33554432000 4194304 4196468 140720557953920 140558453340816 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2721] ppid=2715 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2717/task/2721/stat : 2721 (java) S 2715 2715 32437 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 445371080 15787429888 57471 33554432000 4194304 4196468 140720557953920 140558452287760 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2722] ppid=2715 vsize=15417412 memory=128844 CPUtime=0.02 cores=0,2,4,6
/proc/2717/task/2722/stat : 2722 (java) S 2715 2715 32437 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 445371080 15787429888 57471 33554432000 4194304 4196468 140720557953920 140558451235216 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2723] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2723/stat : 2723 (java) S 2715 2715 32437 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557970033392 140558501784194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2724] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2724/stat : 2724 (java) S 2715 2715 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557968979616 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2725] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2725/stat : 2725 (java) S 2715 2715 32437 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557967926512 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2726] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2726/stat : 2726 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557966875088 140558501791643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2727] ppid=2715 vsize=15417412 memory=0 CPUtime=0.72 cores=0,2,4,6
/proc/2717/task/2727/stat : 2727 (java) S 2715 2715 32437 0 -1 1077944384 1695 0 0 0 72 0 0 0 20 0 19 0 445371085 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557965822192 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2728] ppid=2715 vsize=15417412 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/2717/task/2728/stat : 2728 (java) S 2715 2715 32437 0 -1 1077944384 2340 0 0 0 63 0 0 0 20 0 19 0 445371085 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557964769648 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2729] ppid=2715 vsize=15417412 memory=0 CPUtime=0.37 cores=0,2,4,6
/proc/2717/task/2729/stat : 2729 (java) R 2715 2715 32437 0 -1 1077944384 1878 0 0 0 37 0 0 0 20 0 19 0 445371085 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557963716592 140558501784194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2730] ppid=2715 vsize=15417412 memory=-6654736624941163865 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2730/stat : 2730 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557962664288 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2731] ppid=2715 vsize=15417412 memory=-6654736624938269017 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2731/stat : 2731 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557961612336 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2732] ppid=2715 vsize=15417412 memory=0 CPUtime=0.51 cores=0,2,4,6
/proc/2717/task/2732/stat : 2732 (java) R 2715 2715 32437 0 -1 4202560 63 0 0 0 51 0 0 0 20 0 19 0 445371135 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557952630032 140558126892064 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2733] ppid=2715 vsize=15417412 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/2717/task/2733/stat : 2733 (java) R 2715 2715 32437 0 -1 4202560 90 0 0 0 65 0 0 0 20 0 19 0 445371135 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557951578264 140558127277044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2734] ppid=2715 vsize=15417412 memory=5865188000529146989 CPUtime=0.76 cores=0,2,4,6
/proc/2717/task/2734/stat : 2734 (java) R 2715 2715 32437 0 -1 4202560 54 0 0 0 76 0 0 0 20 0 19 0 445371135 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557950527840 140558126892256 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2735] ppid=2715 vsize=15417412 memory=7235708178139999040 CPUtime=0.53 cores=0,2,4,6
/proc/2717/task/2735/stat : 2735 (java) R 2715 2715 32437 0 -1 4202560 40 0 0 0 53 0 0 0 20 0 19 0 445371135 15787429888 57471 33554432000 4194304 4196468 140720557953920 140557949474872 140558126892076 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
Current children cumulated CPU time: 4.85 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 231332 KiB

[startup+1.76292 s]
# the end of solver process 2715 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=5.73294 s, system=0.114205 s

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

[startup+1.60103 s]
/proc/loadavg: 6.94 3.18 1.79 12/237 2735
/proc/meminfo: memFree=27082004/32770624 swapFree=66939908/67108860
[pid=2715] ppid=2712 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (xcsp3-exec) S 2712 2715 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445371079 115843072 362 33554432000 4194304 5098028 140728680881824 140728680879928 139923198829180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140728680883066 140728680883309 140728680883309 140728680886218 0
/proc/2715/statm: 28282 362 304 221 0 87 0
[pid=2717] ppid=2715 vsize=15417412 memory=230076 CPUtime=5.25 cores=0,2,4,6
/proc/2717/stat : 2717 (java) S 2715 2715 32437 0 -1 1077944320 16335 0 0 0 515 10 0 0 20 0 19 0 445371079 15787429888 57519 33554432000 4194304 4196468 140720557953920 140720557936464 140558501773047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
/proc/2717/statm: 3854353 57519 3499 1 0 3815453 0
[pid=2717/tid=2718] ppid=2715 vsize=15417412 memory=6656426216303648864 CPUtime=0.53 cores=0,2,4,6
/proc/2717/task/2718/stat : 2718 (java) S 2715 2715 32437 0 -1 1077944384 8682 0 0 0 49 4 0 0 20 0 19 0 445371079 15787429888 57519 33554432000 4194304 4196468 140720557953920 140558506013824 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2719] ppid=2715 vsize=15417412 memory=6944652177228980320 CPUtime=0.02 cores=0,2,4,6
/proc/2717/task/2719/stat : 2719 (java) S 2715 2715 32437 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 19 0 445371080 15787429888 57519 33554432000 4194304 4196468 140720557953920 140558454393360 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2720] ppid=2715 vsize=15417412 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2720/stat : 2720 (java) S 2715 2715 32437 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445371080 15787429888 57519 33554432000 4194304 4196468 140720557953920 140558453340816 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2721] ppid=2715 vsize=15417412 memory=6943526294502006880 CPUtime=0.01 cores=0,2,4,6
/proc/2717/task/2721/stat : 2721 (java) S 2715 2715 32437 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 445371080 15787429888 57519 33554432000 4194304 4196468 140720557953920 140558452287760 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2722] ppid=2715 vsize=15417412 memory=6943526294502006880 CPUtime=0.02 cores=0,2,4,6
/proc/2717/task/2722/stat : 2722 (java) S 2715 2715 32437 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 445371080 15787429888 57519 33554432000 4194304 4196468 140720557953920 140558451235216 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2723] ppid=2715 vsize=15417412 memory=7235707078695020649 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2723/stat : 2723 (java) S 2715 2715 32437 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557970033392 140558501784194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2724] ppid=2715 vsize=15417412 memory=6080809751607995237 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2724/stat : 2724 (java) S 2715 2715 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557968979616 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2725] ppid=2715 vsize=15417412 memory=4094 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2725/stat : 2725 (java) S 2715 2715 32437 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557967926512 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2726] ppid=2715 vsize=15417412 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2726/stat : 2726 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557966875088 140558501791643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2727] ppid=2715 vsize=15417412 memory=26292 CPUtime=0.73 cores=0,2,4,6
/proc/2717/task/2727/stat : 2727 (java) S 2715 2715 32437 0 -1 1077944384 1697 0 0 0 73 0 0 0 20 0 19 0 445371085 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557965822192 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2728] ppid=2715 vsize=15417412 memory=14056 CPUtime=0.65 cores=0,2,4,6
/proc/2717/task/2728/stat : 2728 (java) R 2715 2715 32437 0 -1 1077944384 2347 0 0 0 65 0 0 0 20 0 19 0 445371085 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557964769648 140558501784194 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2729] ppid=2715 vsize=15417412 memory=2116 CPUtime=0.38 cores=0,2,4,6
/proc/2717/task/2729/stat : 2729 (java) S 2715 2715 32437 0 -1 1077944384 1889 0 0 0 38 0 0 0 20 0 19 0 445371085 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557963716592 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2730] ppid=2715 vsize=15417412 memory=7157735280314243409 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2730/stat : 2730 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557962664288 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2731] ppid=2715 vsize=15417412 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2731/stat : 2731 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557961612336 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2732] ppid=2715 vsize=15417412 memory=7524224564837109863 CPUtime=0.58 cores=0,2,4,6
/proc/2717/task/2732/stat : 2732 (java) R 2715 2715 32437 0 -1 4202560 63 0 0 0 58 0 0 0 20 0 19 0 445371135 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557952630936 140558127275365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2733] ppid=2715 vsize=15417412 memory=4640767346415259735 CPUtime=0.74 cores=0,2,4,6
/proc/2717/task/2733/stat : 2733 (java) R 2715 2715 32437 0 -1 4202560 90 0 0 0 74 0 0 0 20 0 19 0 445371135 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557951580152 140558127216049 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2734] ppid=2715 vsize=15417412 memory=7595152964343132519 CPUtime=0.86 cores=0,2,4,6
/proc/2717/task/2734/stat : 2734 (java) R 2715 2715 32437 0 -1 4202560 54 0 0 0 86 0 0 0 20 0 19 0 445371135 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557950527840 140558127364920 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2735] ppid=2715 vsize=15417412 memory=-7017870212350184252 CPUtime=0.63 cores=0,2,4,6
/proc/2717/task/2735/stat : 2735 (java) R 2715 2715 32437 0 -1 4202560 40 0 0 0 63 0 0 0 20 0 19 0 445371135 15787429888 57519 33554432000 4194304 4196468 140720557953920 140557949474872 140558127275524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
Current children cumulated CPU time: 5.25 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 231524 KiB

[startup+1.70107 s]
/proc/loadavg: 6.94 3.18 1.79 12/237 2735
/proc/meminfo: memFree=27082004/32770624 swapFree=66939908/67108860
[pid=2715] ppid=2712 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/2715/stat : 2715 (xcsp3-exec) S 2712 2715 32437 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 445371079 115843072 362 33554432000 4194304 5098028 140728680881824 140728680879928 139923198829180 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 22147072 140728680883066 140728680883309 140728680883309 140728680886218 0
/proc/2715/statm: 28282 362 304 221 0 87 0
[pid=2717] ppid=2715 vsize=15417412 memory=230188 CPUtime=5.65 cores=0,2,4,6
/proc/2717/stat : 2717 (java) S 2715 2715 32437 0 -1 1077944320 16354 0 0 0 555 10 0 0 20 0 19 0 445371079 15787429888 57547 33554432000 4194304 4196468 140720557953920 140720557936464 140558501773047 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
/proc/2717/statm: 3854353 57547 3499 1 0 3815453 0
[pid=2717/tid=2718] ppid=2715 vsize=15417412 memory=0 CPUtime=0.53 cores=0,2,4,6
/proc/2717/task/2718/stat : 2718 (java) S 2715 2715 32437 0 -1 1077944384 8682 0 0 0 49 4 0 0 20 0 19 0 445371079 15787429888 57547 33554432000 4194304 4196468 140720557953920 140558506013824 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2719] ppid=2715 vsize=15417412 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2717/task/2719/stat : 2719 (java) S 2715 2715 32437 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 19 0 445371080 15787429888 57547 33554432000 4194304 4196468 140720557953920 140558454393360 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2720] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2720/stat : 2720 (java) S 2715 2715 32437 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 19 0 445371080 15787429888 57547 33554432000 4194304 4196468 140720557953920 140558453340816 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2721] ppid=2715 vsize=15417412 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/2717/task/2721/stat : 2721 (java) S 2715 2715 32437 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 19 0 445371080 15787429888 57547 33554432000 4194304 4196468 140720557953920 140558452287760 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2722] ppid=2715 vsize=15417412 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/2717/task/2722/stat : 2722 (java) S 2715 2715 32437 0 -1 1077944384 34 0 0 0 1 1 0 0 20 0 19 0 445371080 15787429888 57547 33554432000 4194304 4196468 140720557953920 140558451235216 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2723] ppid=2715 vsize=15417412 memory=-6654736624941163865 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2723/stat : 2723 (java) S 2715 2715 32437 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557970033392 140558501784194 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2724] ppid=2715 vsize=15417412 memory=-6654736624938269017 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2724/stat : 2724 (java) S 2715 2715 32437 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557968979616 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2725] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2725/stat : 2725 (java) S 2715 2715 32437 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 445371082 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557967926512 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2726] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2726/stat : 2726 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557966875088 140558501791643 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2727] ppid=2715 vsize=15417412 memory=5865188000529146989 CPUtime=0.73 cores=0,2,4,6
/proc/2717/task/2727/stat : 2727 (java) S 2715 2715 32437 0 -1 1077944384 1700 0 0 0 73 0 0 0 20 0 19 0 445371085 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557965822192 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2728] ppid=2715 vsize=15417412 memory=7235708178139999040 CPUtime=0.65 cores=0,2,4,6
/proc/2717/task/2728/stat : 2728 (java) S 2715 2715 32437 0 -1 1077944384 2347 0 0 0 65 0 0 0 20 0 19 0 445371085 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557964769648 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2729] ppid=2715 vsize=15417412 memory=128844 CPUtime=0.39 cores=0,2,4,6
/proc/2717/task/2729/stat : 2729 (java) S 2715 2715 32437 0 -1 1077944384 1905 0 0 0 39 0 0 0 20 0 19 0 445371085 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557963716592 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2730] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2730/stat : 2730 (java) S 2715 2715 32437 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557962664288 140558501783253 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2731] ppid=2715 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/2717/task/2731/stat : 2731 (java) S 2715 2715 32437 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 445371085 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557961612336 140558501784194 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2732] ppid=2715 vsize=15417412 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/2717/task/2732/stat : 2732 (java) R 2715 2715 32437 0 -1 4202560 63 0 0 0 68 0 0 0 20 0 19 0 445371135 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557952630936 140558127364911 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2733] ppid=2715 vsize=15417412 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/2717/task/2733/stat : 2733 (java) R 2715 2715 32437 0 -1 4202560 90 0 0 0 83 0 0 0 20 0 19 0 445371135 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557951580584 140558127496079 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2734] ppid=2715 vsize=15417412 memory=0 CPUtime=0.96 cores=0,2,4,6
/proc/2717/task/2734/stat : 2734 (java) R 2715 2715 32437 0 -1 4202560 54 0 0 0 96 0 0 0 20 0 19 0 445371135 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557950527840 140558126892064 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
[pid=2717/tid=2735] ppid=2715 vsize=15417412 memory=0 CPUtime=0.73 cores=0,2,4,6
/proc/2717/task/2735/stat : 2735 (java) R 2715 2715 32437 0 -1 4202560 40 0 0 0 73 0 0 0 20 0 19 0 445371135 15787429888 57547 33554432000 4194304 4196468 140720557953920 140557949473016 140558126821944 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12877824 140720557962223 140720557962394 140720557962394 140720557965263 0
Current children cumulated CPU time: 5.65 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 231636 KiB

Child status: 0
Real time (s): 1.76297
CPU time (s): 5.84715
CPU user time (s): 5.73294
CPU system time (s): 0.114205
CPU usage (%): 331.665
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 231636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.73294
system time used= 0.114205
maximum resident set size= 231300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16951
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= 1712
involuntary context switches= 261


# summary of solver processes directly reported to runsolver:
#   pid: 2715
#   total CPU time (s): 5.84715
#   total CPU user time (s): 5.73294
#   total CPU system time (s): 0.114205

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029388 second user time and 0.064896 second system time

The end
Name	MagicSequence/MagicSequence-card-s1/ MagicSequence-800-ca.xml
MD5SUM	bba643cbf375a501e11ba296082ede1c
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	2.78579
Satisfiable
(Un)Satisfiability was proved
Number of variables	800
Number of constraints	3
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":800}]
Minimum variable degree	3
Maximum variable degree	3
Distribution of variable degrees	[{"degree":3,"count":800}]
Minimum constraint arity	800
Maximum constraint arity	800
Distribution of constraint arities	[{"arity":800,"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 4398932

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
