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-24	SAT	10.7392	8.07318
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 (13142 MiB free)
  memory of node 1: 16384 MiB (12478 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4405842-1569400170/watcher-4405842-1569400170 -o /var/tmp/evaluation-result-4405842-1569400170/solver-4405842-1569400170 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node136-1569396625-26122 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 1898939242 HOME/instance-4405842-1569400170.xml 

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

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


[startup+0.100058 s]*
/proc/loadavg: 1.94 1.90 1.74 5/229 27602
/proc/meminfo: memFree=26219724/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15144776 memory=28840 CPUtime=0.13 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 5672 0 0 0 12 1 0 0 20 0 15 0 516265538 15508250624 7210 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3786194 7210 3141 1 0 3748377 0
[pid=27588/tid=27589] ppid=27586 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 3578 0 0 0 9 0 0 0 20 0 15 0 516265538 15508250624 7210 33554432000 4194304 4196468 140734542355520 140365332916304 140365328706966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 7210 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15144776 memory=140183509759616 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 7210 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 7210 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 7210 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15144776 memory=140183509759616 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265540 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265541 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265541 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) S 27586 27586 26090 0 -1 1077944384 361 0 0 0 0 0 0 0 20 0 15 0 516265543 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364793108848 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) S 27586 27586 26090 0 -1 1077944384 121 0 0 0 0 0 0 0 20 0 15 0 516265543 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364792056048 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15144776 memory=140183509759616 CPUtime=0.01 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) R 27586 27586 26090 0 -1 4202560 306 0 0 0 1 0 0 0 20 0 15 0 516265543 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364790999192 140365328706966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15144776 memory=140183509759616 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265544 15508250624 7210 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30296 KiB

[startup+0.212099 s]*
/proc/loadavg: 1.94 1.90 1.74 5/229 27602
/proc/meminfo: memFree=26206124/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15144776 memory=41216 CPUtime=0.34 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 9519 0 0 0 32 2 0 0 20 0 15 0 516265538 15508250624 10304 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3786194 10304 3318 1 0 3748377 0
[pid=27588/tid=27589] ppid=27586 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 6618 0 0 0 18 2 0 0 20 0 15 0 516265538 15508250624 10304 33554432000 4194304 4196468 140734542355520 140365332930016 140365328716957 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15144776 memory=13620 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 10304 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15144776 memory=140183513593225 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 10304 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 10304 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265539 15508250624 10304 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15144776 memory=140183509759616 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516265540 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265541 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265541 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) S 27586 27586 26090 0 -1 1077944384 752 0 0 0 3 0 0 0 20 0 15 0 516265543 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364793108848 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) S 27586 27586 26090 0 -1 1077944384 161 0 0 0 1 0 0 0 20 0 15 0 516265543 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364792056048 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15144776 memory=140183509759616 CPUtime=0.08 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) S 27586 27586 26090 0 -1 1077944384 680 0 0 0 8 0 0 0 20 0 15 0 516265543 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364791003248 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265544 15508250624 10304 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42672 KiB

[startup+0.318375 s]*
/proc/loadavg: 1.94 1.90 1.74 4/229 27602
/proc/meminfo: memFree=26199192/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15149032 memory=50412 CPUtime=0.55 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 10956 0 0 0 51 4 0 0 20 0 15 0 516265538 15512608768 12603 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3787258 12603 3365 1 0 3748377 0
[pid=27588/tid=27589] ppid=27586 vsize=15149032 memory=7883960649037381690 CPUtime=0.31 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 7881 0 0 0 28 3 0 0 20 0 15 0 516265538 15512608768 12603 33554432000 4194304 4196468 140734542355520 140365332929872 140365312775518 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15149032 memory=13961 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15512608768 12603 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15149032 memory=3844132 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15512608768 12603 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15512608768 12603 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265539 15512608768 12603 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516265540 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265541 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265541 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15149032 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) S 27586 27586 26090 0 -1 1077944384 857 0 0 0 7 0 0 0 20 0 15 0 516265543 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364793108848 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15149032 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) S 27586 27586 26090 0 -1 1077944384 161 0 0 0 2 0 0 0 20 0 15 0 516265543 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364792056048 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) S 27586 27586 26090 0 -1 1077944384 753 0 0 0 12 0 0 0 20 0 15 0 516265543 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364791003248 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265544 15512608768 12603 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51868 KiB

[startup+0.701378 s]
/proc/loadavg: 1.94 1.90 1.74 5/229 27602
/proc/meminfo: memFree=26175868/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15151156 memory=105148 CPUtime=1.67 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 14393 0 0 0 161 6 0 0 20 0 15 0 516265538 15514783744 26287 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3787789 26287 3438 1 0 3748889 0
[pid=27588/tid=27589] ppid=27586 vsize=15151156 memory=36124 CPUtime=0.68 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 8319 0 0 0 64 4 0 0 20 0 15 0 516265538 15514783744 26287 33554432000 4194304 4196468 140734542355520 140365332933072 140364917743447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15151156 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 26287 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15151156 memory=500 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 26287 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15151156 memory=932 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 26287 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15151156 memory=1824 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 26287 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15151156 memory=1656 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 516265540 15514783744 26287 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15151156 memory=804 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 26287 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 26287 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15151156 memory=1980 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15514783744 26287 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15151156 memory=2676 CPUtime=0.33 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) R 27586 27586 26090 0 -1 4202560 1647 0 0 0 33 0 0 0 20 0 15 0 516265543 15514783744 26287 33554432000 4194304 4196468 140734542355520 140364793088224 140365312191557 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15151156 memory=1764 CPUtime=0.28 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) R 27586 27586 26090 0 -1 4202560 1109 0 0 0 28 0 0 0 20 0 15 0 516265543 15514783744 26799 33554432000 4194304 4196468 140734542355520 140364792045648 140365313821071 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15151156 memory=111632 CPUtime=0.36 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) S 27586 27586 26090 0 -1 1077944384 2009 0 0 0 35 1 0 0 20 0 15 0 516265543 15514783744 26799 33554432000 4194304 4196468 140734542355520 140364791003248 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15151156 memory=796 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 26799 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15151156 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 26799 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 106604 KiB

[startup+1.50088 s]
/proc/loadavg: 1.94 1.90 1.74 3/229 27602
/proc/meminfo: memFree=26042816/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0

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

/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15151156 memory=208744 CPUtime=8.45 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 18006 0 0 0 834 11 0 0 20 0 15 0 516265538 15514783744 52186 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3787789 52186 3487 1 0 3748889 0
[pid=27588/tid=27589] ppid=27586 vsize=15151156 memory=140183370827109 CPUtime=6.36 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 9503 0 0 0 631 5 0 0 20 0 15 0 516265538 15514783744 52186 33554432000 4194304 4196468 140734542355520 140365332931408 140364922338847 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15151156 memory=280366741608080 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 52186 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15151156 memory=280366741412320 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 52186 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15151156 memory=280366741271480 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 52186 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 52186 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15151156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 367 0 0 0 0 1 0 0 20 0 15 0 516265540 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15151156 memory=208624 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15151156 memory=0 CPUtime=0.77 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) S 27586 27586 26090 0 -1 1077944384 2414 0 0 0 77 0 0 0 20 0 15 0 516265543 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364793108848 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15151156 memory=0 CPUtime=0.68 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) S 27586 27586 26090 0 -1 1077944384 1243 0 0 0 68 0 0 0 20 0 15 0 516265543 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364792056048 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15151156 memory=0 CPUtime=0.52 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) S 27586 27586 26090 0 -1 1077944384 2749 0 0 0 51 1 0 0 20 0 15 0 516265543 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364791003248 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 52186 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 8.45 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 210200 KiB

[startup+7.20081 s]
/proc/loadavg: 1.96 1.91 1.74 6/229 27602
/proc/meminfo: memFree=26032132/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15151156 memory=217308 CPUtime=9.73 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 22878 0 0 0 961 12 0 0 20 0 15 0 516265538 15514783744 54327 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3787789 54327 3487 1 0 3748889 0
[pid=27588/tid=27589] ppid=27586 vsize=15151156 memory=0 CPUtime=7.16 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 9551 0 0 0 711 5 0 0 20 0 15 0 516265538 15514783744 54327 33554432000 4194304 4196468 140734542355520 140365332931744 140364922352639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54327 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54327 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54327 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54327 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15151156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 367 0 0 0 0 1 0 0 20 0 15 0 516265540 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15151156 memory=280366741684640 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15151156 memory=4026532099 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15151156 memory=6149 CPUtime=1 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) S 27586 27586 26090 0 -1 1077944384 4545 0 0 0 100 0 0 0 20 0 15 0 516265543 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364793108848 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15151156 memory=2496 CPUtime=0.91 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) R 27586 27586 26090 0 -1 4202560 3622 0 0 0 91 0 0 0 20 0 15 0 516265543 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364792056048 140365314759180 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15151156 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) S 27586 27586 26090 0 -1 1077944384 3063 0 0 0 52 2 0 0 20 0 15 0 516265543 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364791003248 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15151156 memory=98 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15151156 memory=667 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 54327 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 9.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 218764 KiB

[startup+7.60085 s]
/proc/loadavg: 1.96 1.91 1.74 6/229 27602
/proc/meminfo: memFree=26032132/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15151156 memory=217348 CPUtime=10.25 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 23545 0 0 0 1013 12 0 0 20 0 15 0 516265538 15514783744 54337 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3787789 54337 3487 1 0 3748889 0
[pid=27588/tid=27589] ppid=27586 vsize=15151156 memory=18728 CPUtime=7.56 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 9553 0 0 0 751 5 0 0 20 0 15 0 516265538 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365332932072 140364922497749 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15151156 memory=2647 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15151156 memory=354 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15151156 memory=13 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15151156 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15151156 memory=1980 CPUtime=0.01 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 367 0 0 0 0 1 0 0 20 0 15 0 516265540 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15151156 memory=2676 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15151156 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15151156 memory=111632 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15151156 memory=796 CPUtime=1.02 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) S 27586 27586 26090 0 -1 1077944384 4843 0 0 0 102 0 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364793108848 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15151156 memory=4100 CPUtime=1 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) S 27586 27586 26090 0 -1 1077944384 3816 0 0 0 100 0 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364792056048 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15151156 memory=1804 CPUtime=0.55 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) S 27586 27586 26090 0 -1 1077944384 3236 0 0 0 53 2 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364791003248 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15151156 memory=916 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15151156 memory=3848 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 10.25 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 218804 KiB

[startup+8.00082 s]*
/proc/loadavg: 1.96 1.91 1.74 3/229 27602
/proc/meminfo: memFree=26027544/32770624 swapFree=67002128/67108860
[pid=27586] ppid=27583 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/27586/stat : 27586 (xcsp3-exec) S 27583 27586 26090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 516265538 115843072 364 33554432000 4194304 5098028 140735837543456 140735837541560 139827793662588 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 30879744 140735837545302 140735837545561 140735837545561 140735837548486 0
/proc/27586/statm: 28282 364 306 221 0 87 0
[pid=27588] ppid=27586 vsize=15151156 memory=217348 CPUtime=10.67 cores=1,3,5,7
/proc/27588/stat : 27588 (java) S 27586 27586 26090 0 -1 1077944320 23580 0 0 0 1055 12 0 0 20 0 15 0 516265538 15514783744 54337 33554432000 4194304 4196468 140734542355520 140734542338064 140365328695031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
/proc/27588/statm: 3787789 54337 3487 1 0 3748889 0
[pid=27588/tid=27589] ppid=27586 vsize=15151156 memory=6791534058613427641 CPUtime=7.97 cores=1,3,5,7
/proc/27588/task/27589/stat : 27589 (java) R 27586 27586 26090 0 -1 4202560 9553 0 0 0 792 5 0 0 20 0 15 0 516265538 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365332932072 140364922352688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27590] ppid=27586 vsize=15151156 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27590/stat : 27590 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365240351376 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27591] ppid=27586 vsize=15151156 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27591/stat : 27591 (java) S 27586 27586 26090 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365239298576 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27592] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27592/stat : 27592 (java) S 27586 27586 26090 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365238245776 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27593] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27593/stat : 27593 (java) S 27586 27586 26090 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 516265539 15514783744 54337 33554432000 4194304 4196468 140734542355520 140365237192976 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27594] ppid=27586 vsize=15151156 memory=280366741813840 CPUtime=0.01 cores=1,3,5,7
/proc/27588/task/27594/stat : 27594 (java) S 27586 27586 26090 0 -1 1077944384 367 0 0 0 0 1 0 0 20 0 15 0 516265540 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364797320048 140365328706178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27595] ppid=27586 vsize=15151156 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27595/stat : 27595 (java) S 27586 27586 26090 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364796266016 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27596] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27596/stat : 27596 (java) S 27586 27586 26090 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 516265541 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364795213168 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27597] ppid=27586 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27597/stat : 27597 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364794161488 140365328713627 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27598] ppid=27586 vsize=15151156 memory=65944 CPUtime=1.03 cores=1,3,5,7
/proc/27588/task/27598/stat : 27598 (java) S 27586 27586 26090 0 -1 1077944384 4843 0 0 0 103 0 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364793108848 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27599] ppid=27586 vsize=15151156 memory=988 CPUtime=1 cores=1,3,5,7
/proc/27588/task/27599/stat : 27599 (java) S 27586 27586 26090 0 -1 1077944384 3816 0 0 0 100 0 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364792056048 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27600] ppid=27586 vsize=15151156 memory=2024 CPUtime=0.55 cores=1,3,5,7
/proc/27588/task/27600/stat : 27600 (java) S 27586 27586 26090 0 -1 1077944384 3271 0 0 0 53 2 0 0 20 0 15 0 516265543 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364791003248 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27601] ppid=27586 vsize=15151156 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27601/stat : 27601 (java) S 27586 27586 26090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364789950688 140365328705237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
[pid=27588/tid=27602] ppid=27586 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/27588/task/27602/stat : 27602 (java) S 27586 27586 26090 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 15 0 516265544 15514783744 54337 33554432000 4194304 4196468 140734542355520 140364788898992 140365328706178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 31293440 140734542361563 140734542361738 140734542361738 140734542364623 0
Current children cumulated CPU time: 10.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 218804 KiB

Child status: 0
Real time (s): 8.07318
CPU time (s): 10.7392
CPU user time (s): 10.6072
CPU system time (s): 0.131999
CPU usage (%): 133.023
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 218804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.6072
system time used= 0.131999
maximum resident set size= 217896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24535
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= 2383
involuntary context switches= 28


# summary of solver processes directly reported to runsolver:
#   pid: 27586
#   total CPU time (s): 10.7392
#   total CPU user time (s): 10.6072
#   total CPU system time (s): 0.131999

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.079359 second user time and 0.123341 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
