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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 2019-06-14	SAT	37.5822	10.5486
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 (15034 MiB free)
  memory of node 1: 16384 MiB (15689 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4392982-1568315310/watcher-4392982-1568315310 -o /tmp/evaluation-result-4392982-1568315310/solver-4392982-1568315310 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568312479-6785 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 2006699298 HOME/instance-4392982-1568315310.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=11017, runsolver pid=11014
Current StackSize limit: 8192 KiB


[startup+0.102594 s]*
/proc/loadavg: 6.07 6.67 7.02 6/234 11033
/proc/meminfo: memFree=31444088/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0
[pid=11019] ppid=11017 vsize=15144768 memory=30144 CPUtime=0.13 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11017 11017 6753 0 -1 1077944320 5989 0 0 0 12 1 0 0 20 0 15 0 407793716 15508242432 7536 33554432000 4194304 4196468 140727228122080 140727228104624 140403373879031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
/proc/11019/statm: 3786192 7536 3141 1 0 3748377 0
[pid=11019/tid=11020] ppid=11017 vsize=15144768 memory=7100839878644302962 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) S 11017 11017 6753 0 -1 1077944384 3871 0 0 0 9 1 0 0 20 0 15 0 407793717 15508242432 7536 33554432000 4194304 4196468 140727228122080 140403378108784 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11021] ppid=11017 vsize=15144768 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 7536 33554432000 4194304 4196468 140727228122080 140403301919504 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11022] ppid=11017 vsize=15144768 memory=139705188996736 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 7536 33554432000 4194304 4196468 140727228122080 140403300866960 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11023] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 7536 33554432000 4194304 4196468 140727228122080 140403299814416 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11024] ppid=11017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 7536 33554432000 4194304 4196468 140727228122080 140403298761872 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11025] ppid=11017 vsize=15144768 memory=139705188996736 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793719 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402842302448 140403373890178 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11026] ppid=11017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11017 11017 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407793719 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402841248672 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11027] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11017 11017 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407793719 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402840196080 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11028] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402839144656 140403373897627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11029] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) R 11017 11017 6753 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402838092272 140403357365322 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11030] ppid=11017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) R 11017 11017 6753 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402837039728 140403373890178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11031] ppid=11017 vsize=15144768 memory=139705188996736 CPUtime=0.02 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11017 11017 6753 0 -1 1077944384 347 0 0 0 2 0 0 0 20 0 15 0 407793722 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402835987184 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11032] ppid=11017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402834934880 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11033] ppid=11017 vsize=15144768 memory=139705188996736 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 7536 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 31596 KiB

[startup+0.210705 s]*
/proc/loadavg: 6.07 6.67 7.02 7/234 11033
/proc/meminfo: memFree=31431952/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0
[pid=11019] ppid=11017 vsize=15144768 memory=40988 CPUtime=0.34 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11017 11017 6753 0 -1 1077944320 9474 0 0 0 31 3 0 0 20 0 15 0 407793716 15508242432 10247 33554432000 4194304 4196468 140727228122080 140727228104624 140403373879031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
/proc/11019/statm: 3786192 10247 3268 1 0 3748377 0
[pid=11019/tid=11020] ppid=11017 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) R 11017 11017 6753 0 -1 4202560 6674 0 0 0 18 2 0 0 20 0 15 0 407793717 15508242432 10247 33554432000 4194304 4196468 140727228122080 140403378108752 140403353455856 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11021] ppid=11017 vsize=15144768 memory=2995868 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 10247 33554432000 4194304 4196468 140727228122080 140403301919504 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11022] ppid=11017 vsize=15144768 memory=139705189007241 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 10247 33554432000 4194304 4196468 140727228122080 140403300866960 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11023] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 10247 33554432000 4194304 4196468 140727228122080 140403299814416 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11024] ppid=11017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15508242432 10247 33554432000 4194304 4196468 140727228122080 140403298761872 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11025] ppid=11017 vsize=15144768 memory=139705188996736 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11017 11017 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407793719 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402842302448 140403373890178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11026] ppid=11017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11017 11017 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407793719 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402841248672 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11027] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11017 11017 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407793719 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402840196080 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11028] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402839144656 140403373897627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11029] ppid=11017 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) S 11017 11017 6753 0 -1 1077944384 445 0 0 0 3 0 0 0 20 0 15 0 407793722 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402838092272 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11030] ppid=11017 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) S 11017 11017 6753 0 -1 1077944384 310 0 0 0 1 0 0 0 20 0 15 0 407793722 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402837039728 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11031] ppid=11017 vsize=15144768 memory=139705188996736 CPUtime=0.08 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11017 11017 6753 0 -1 1077944384 738 0 0 0 8 0 0 0 20 0 15 0 407793722 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402835987184 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11032] ppid=11017 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402834934880 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11033] ppid=11017 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793722 15508242432 10247 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42440 KiB

[startup+0.319153 s]*
/proc/loadavg: 6.07 6.67 7.02 6/233 11033
/proc/meminfo: memFree=31423900/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0
[pid=11019] ppid=11017 vsize=15149024 memory=50620 CPUtime=0.53 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11017 11017 6753 0 -1 1077944320 10988 0 0 0 50 3 0 0 20 0 15 0 407793716 15512600576 12655 33554432000 4194304 4196468 140727228122080 140727228104624 140403373879031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
/proc/11019/statm: 3787256 12655 3370 1 0 3748377 0
[pid=11019/tid=11020] ppid=11017 vsize=15149024 memory=7883960649037381690 CPUtime=0.3 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) R 11017 11017 6753 0 -1 4202560 7957 0 0 0 28 2 0 0 20 0 15 0 407793717 15512600576 12655 33554432000 4194304 4196468 140727228122080 140403378114360 140403357959518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11021] ppid=11017 vsize=15149024 memory=2996209 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15512600576 12655 33554432000 4194304 4196468 140727228122080 140403301919504 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11022] ppid=11017 vsize=15149024 memory=3155436 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15512600576 12655 33554432000 4194304 4196468 140727228122080 140403300866960 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11023] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15512600576 12655 33554432000 4194304 4196468 140727228122080 140403299814416 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11024] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15512600576 12655 33554432000 4194304 4196468 140727228122080 140403298761872 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11025] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11017 11017 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407793719 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402842302448 140403373890178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11026] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11017 11017 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407793719 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402841248672 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11027] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11017 11017 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407793719 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402840196080 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11028] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402839144656 140403373897627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11029] ppid=11017 vsize=15149024 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) R 11017 11017 6753 0 -1 4202560 555 0 0 0 5 0 0 0 20 0 15 0 407793722 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402838092272 140403366864073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11030] ppid=11017 vsize=15149024 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) R 11017 11017 6753 0 -1 1077944384 340 0 0 0 3 0 0 0 20 0 15 0 407793722 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402837039728 140403373890178 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11031] ppid=11017 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11017 11017 6753 0 -1 1077944384 831 0 0 0 12 0 0 0 20 0 15 0 407793722 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402835987184 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11032] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402834934880 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11033] ppid=11017 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793722 15512600576 12655 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 52072 KiB

[startup+0.700785 s]
/proc/loadavg: 6.07 6.67 7.02 9/233 11033
/proc/meminfo: memFree=31402152/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0
[pid=11019] ppid=11017 vsize=15151148 memory=106572 CPUtime=1.65 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11017 11017 6753 0 -1 1077944320 14221 0 0 0 160 5 0 0 20 0 15 0 407793716 15514775552 26643 33554432000 4194304 4196468 140727228122080 140727228104624 140403373879031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
/proc/11019/statm: 3787787 26643 3441 1 0 3748889 0
[pid=11019/tid=11020] ppid=11017 vsize=15151148 memory=1789390750977 CPUtime=0.67 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) R 11017 11017 6753 0 -1 4202560 8353 0 0 0 64 3 0 0 20 0 15 0 407793717 15514775552 26643 33554432000 4194304 4196468 140727228122080 140403378116048 140402971610087 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11021] ppid=11017 vsize=15151148 memory=512 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15514775552 26643 33554432000 4194304 4196468 140727228122080 140403301919504 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11022] ppid=11017 vsize=15151148 memory=1564 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15514775552 26643 33554432000 4194304 4196468 140727228122080 140403300866960 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11023] ppid=11017 vsize=15151148 memory=928 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793717 15514775552 26643 33554432000 4194304 4196468 140727228122080 140403299814416 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11024] ppid=11017 vsize=15151148 memory=3772 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11017 11017 6753 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 407793717 15514775552 26643 33554432000 4194304 4196468 140727228122080 140403298761872 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11025] ppid=11017 vsize=15151148 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11017 11017 6753 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 407793719 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402842302448 140403373890178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11026] ppid=11017 vsize=15151148 memory=920 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11017 11017 6753 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 407793719 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402841248672 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11027] ppid=11017 vsize=15151148 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11017 11017 6753 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 407793719 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402840196080 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11028] ppid=11017 vsize=15151148 memory=2404 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402839144656 140403373897627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11029] ppid=11017 vsize=15151148 memory=1764 CPUtime=0.32 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) R 11017 11017 6753 0 -1 4202560 1326 0 0 0 32 0 0 0 20 0 15 0 407793722 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402838079120 140403357362315 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11030] ppid=11017 vsize=15151148 memory=111632 CPUtime=0.28 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) R 11017 11017 6753 0 -1 4202560 1326 0 0 0 28 0 0 0 20 0 15 0 407793722 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402837018960 140403354580695 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11031] ppid=11017 vsize=15151148 memory=804 CPUtime=0.35 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11017 11017 6753 0 -1 1077944384 1908 0 0 0 35 0 0 0 20 0 15 0 407793722 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402835987184 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11032] ppid=11017 vsize=15151148 memory=1808 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 407793722 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402834934880 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11033] ppid=11017 vsize=15151148 memory=924 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 407793722 15514775552 26643 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264276 KiB
Current children cumulated memory: 108024 KiB

[startup+1.50084 s]
/proc/loadavg: 6.07 6.67 7.02 6/233 11033
/proc/meminfo: memFree=31269024/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0

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

/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 495 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11034] ppid=11017 vsize=15417404 memory=16688 CPUtime=6.77 cores=1,3,5,7
/proc/11019/task/11034/stat : 11034 (java) R 11017 11017 6753 0 -1 4202560 168 0 0 0 677 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402824910072 140402974077838 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11035] ppid=11017 vsize=15417404 memory=2004 CPUtime=6.72 cores=1,3,5,7
/proc/11019/task/11035/stat : 11035 (java) R 11017 11017 6753 0 -1 4202560 580 0 0 0 672 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402823858360 140402974077520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11036] ppid=11017 vsize=15417404 memory=984 CPUtime=6.68 cores=1,3,5,7
/proc/11019/task/11036/stat : 11036 (java) R 11017 11017 6753 0 -1 4202560 165 0 0 0 668 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402822805944 140402974077742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11037] ppid=11017 vsize=15417404 memory=1328 CPUtime=6.62 cores=1,3,5,7
/proc/11019/task/11037/stat : 11037 (java) R 11017 11017 6753 0 -1 4202560 159 0 0 0 662 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402821750776 140402974057291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 33.97 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 467524 KiB

[startup+10.0015 s]*
/proc/loadavg: 6.58 6.77 7.05 10/237 11037
/proc/meminfo: memFree=31011476/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0
[pid=11019] ppid=11017 vsize=15417404 memory=466072 CPUtime=35.59 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11017 11017 6753 0 -1 1077944320 29292 0 0 0 3526 33 0 0 20 0 19 0 407793716 15787421696 116518 33554432000 4194304 4196468 140727228122080 140727228104624 140403373879031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
/proc/11019/statm: 3854351 116518 3513 1 0 3815453 0
[pid=11019/tid=11020] ppid=11017 vsize=15417404 memory=8317482817917895235 CPUtime=2.24 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) S 11017 11017 6753 0 -1 1077944384 9315 0 0 0 217 7 0 0 20 0 19 0 407793717 15787421696 116518 33554432000 4194304 4196468 140727228122080 140403378119808 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11021] ppid=11017 vsize=15417404 memory=4126316290023845779 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11017 11017 6753 0 -1 1077944384 240 0 0 0 6 4 0 0 20 0 19 0 407793717 15787421696 116518 33554432000 4194304 4196468 140727228122080 140403301919504 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11022] ppid=11017 vsize=15417404 memory=7523376918531162212 CPUtime=0.09 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11017 11017 6753 0 -1 1077944384 148 0 0 0 5 4 0 0 20 0 19 0 407793717 15787421696 116518 33554432000 4194304 4196468 140727228122080 140403300866960 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11023] ppid=11017 vsize=15417404 memory=7800344859672537426 CPUtime=0.09 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11017 11017 6753 0 -1 1077944384 259 0 0 0 5 4 0 0 20 0 19 0 407793717 15787421696 116518 33554432000 4194304 4196468 140727228122080 140403299814416 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11024] ppid=11017 vsize=15417404 memory=7810207401630785878 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11017 11017 6753 0 -1 1077944384 250 0 0 0 6 4 0 0 20 0 19 0 407793717 15787421696 116518 33554432000 4194304 4196468 140727228122080 140403298761872 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11025] ppid=11017 vsize=15417404 memory=5937524870553682016 CPUtime=0.03 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11017 11017 6753 0 -1 1077944384 258 0 0 0 1 2 0 0 20 0 19 0 407793719 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402842302448 140403373890178 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11026] ppid=11017 vsize=15417404 memory=7800344859672537426 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11017 11017 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407793719 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402841248736 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11027] ppid=11017 vsize=15417404 memory=7454130749351154278 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11017 11017 6753 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407793719 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402840196096 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11028] ppid=11017 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402839144656 140403373897627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11029] ppid=11017 vsize=15417404 memory=0 CPUtime=1.96 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) S 11017 11017 6753 0 -1 1077944384 6216 0 0 0 195 1 0 0 20 0 19 0 407793722 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402838092272 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11030] ppid=11017 vsize=15417404 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) S 11017 11017 6753 0 -1 1077944384 5198 0 0 0 182 1 0 0 20 0 19 0 407793722 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402837039728 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11031] ppid=11017 vsize=15417404 memory=1452 CPUtime=0.61 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11017 11017 6753 0 -1 1077944384 4070 0 0 0 60 1 0 0 20 0 19 0 407793722 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402835987184 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11032] ppid=11017 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402834934880 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11033] ppid=11017 vsize=15417404 memory=247120 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 520 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11034] ppid=11017 vsize=15417404 memory=1412 CPUtime=7.19 cores=1,3,5,7
/proc/11019/task/11034/stat : 11034 (java) R 11017 11017 6753 0 -1 4202560 265 0 0 0 719 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402824910072 140402974077661 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11035] ppid=11017 vsize=15417404 memory=2628 CPUtime=7.13 cores=1,3,5,7
/proc/11019/task/11035/stat : 11035 (java) R 11017 11017 6753 0 -1 4202560 689 0 0 0 713 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402823858328 140402974501013 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11036] ppid=11017 vsize=15417404 memory=1452 CPUtime=7.08 cores=1,3,5,7
/proc/11019/task/11036/stat : 11036 (java) R 11017 11017 6753 0 -1 4202560 196 0 0 0 708 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402822805944 140402974077891 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11037] ppid=11017 vsize=15417404 memory=466072 CPUtime=7.03 cores=1,3,5,7
/proc/11019/task/11037/stat : 11037 (java) R 11017 11017 6753 0 -1 4202560 370 0 0 0 703 0 0 0 20 0 19 0 407793954 15787421696 116518 33554432000 4194304 4196468 140727228122080 140402821750776 140402974057291 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 35.59 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 467524 KiB

[startup+10.4015 s]
/proc/loadavg: 6.58 6.77 7.05 10/237 11037
/proc/meminfo: memFree=31011476/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0
[pid=11019] ppid=11017 vsize=15417404 memory=466096 CPUtime=37.14 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11017 11017 6753 0 -1 1077944320 29883 0 0 0 3681 33 0 0 20 0 19 0 407793716 15787421696 116524 33554432000 4194304 4196468 140727228122080 140727228104624 140403373879031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
/proc/11019/statm: 3854351 116524 3513 1 0 3815453 0
[pid=11019/tid=11020] ppid=11017 vsize=15417404 memory=1692 CPUtime=2.24 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) S 11017 11017 6753 0 -1 1077944384 9315 0 0 0 217 7 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403378119808 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11021] ppid=11017 vsize=15417404 memory=1028 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11017 11017 6753 0 -1 1077944384 240 0 0 0 6 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403301919504 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11022] ppid=11017 vsize=15417404 memory=1060 CPUtime=0.09 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11017 11017 6753 0 -1 1077944384 148 0 0 0 5 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403300866960 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11023] ppid=11017 vsize=15417404 memory=1452 CPUtime=0.09 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11017 11017 6753 0 -1 1077944384 259 0 0 0 5 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403299814416 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11024] ppid=11017 vsize=15417404 memory=466072 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11017 11017 6753 0 -1 1077944384 250 0 0 0 6 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403298761872 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11025] ppid=11017 vsize=15417404 memory=288283394067137074 CPUtime=0.03 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11017 11017 6753 0 -1 1077944384 331 0 0 0 1 2 0 0 20 0 19 0 407793719 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402842302448 140403373890178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11026] ppid=11017 vsize=15417404 memory=301794158561999781 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11017 11017 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407793719 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402841248736 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11027] ppid=11017 vsize=15417404 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11017 11017 6753 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407793719 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402840196096 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11028] ppid=11017 vsize=15417404 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402839144656 140403373897627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11029] ppid=11017 vsize=15417404 memory=6944656592455360604 CPUtime=1.96 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) S 11017 11017 6753 0 -1 1077944384 6218 0 0 0 195 1 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402838092272 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11030] ppid=11017 vsize=15417404 memory=6655300316396806240 CPUtime=1.83 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) S 11017 11017 6753 0 -1 1077944384 5484 0 0 0 182 1 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402837039728 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11031] ppid=11017 vsize=15417404 memory=57 CPUtime=0.61 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11017 11017 6753 0 -1 1077944384 4073 0 0 0 60 1 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402835987184 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11032] ppid=11017 vsize=15417404 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402834934880 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11033] ppid=11017 vsize=15417404 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11034] ppid=11017 vsize=15417404 memory=6944656592455359580 CPUtime=7.57 cores=1,3,5,7
/proc/11019/task/11034/stat : 11034 (java) R 11017 11017 6753 0 -1 4202560 274 0 0 0 757 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402824907432 140402974077661 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11035] ppid=11017 vsize=15417404 memory=6944656592455360604 CPUtime=7.51 cores=1,3,5,7
/proc/11019/task/11035/stat : 11035 (java) R 11017 11017 6753 0 -1 4202560 721 0 0 0 751 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402823856216 140402974077791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11036] ppid=11017 vsize=15417404 memory=6656426216303648864 CPUtime=7.46 cores=1,3,5,7
/proc/11019/task/11036/stat : 11036 (java) R 11017 11017 6753 0 -1 4202560 199 0 0 0 746 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402822803464 140402974077791 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11037] ppid=11017 vsize=15417404 memory=6944652177228980320 CPUtime=7.42 cores=1,3,5,7
/proc/11019/task/11037/stat : 11037 (java) R 11017 11017 6753 0 -1 4202560 378 0 0 0 742 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402821750776 140402974057291 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 37.14 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 467548 KiB

[startup+10.5015 s]
/proc/loadavg: 6.58 6.77 7.05 10/237 11037
/proc/meminfo: memFree=31011476/32770624 swapFree=66979412/67108860
[pid=11017] ppid=11014 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11017/stat : 11017 (xcsp3-exec) S 11014 11017 6753 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 407793716 115843072 363 33554432000 4194304 5098028 140735229539456 140735229537560 140640054624892 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 40251392 140735229543290 140735229543533 140735229543533 140735229546442 0
/proc/11017/statm: 28282 363 304 221 0 87 0
[pid=11019] ppid=11017 vsize=15417404 memory=466096 CPUtime=37.51 cores=1,3,5,7
/proc/11019/stat : 11019 (java) S 11017 11017 6753 0 -1 1077944320 30094 0 0 0 3718 33 0 0 20 0 19 0 407793716 15787421696 116524 33554432000 4194304 4196468 140727228122080 140727228104624 140403373879031 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
/proc/11019/statm: 3854351 116524 3513 1 0 3815453 0
[pid=11019/tid=11020] ppid=11017 vsize=15417404 memory=10 CPUtime=2.24 cores=1,3,5,7
/proc/11019/task/11020/stat : 11020 (java) S 11017 11017 6753 0 -1 1077944384 9315 0 0 0 217 7 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403378119808 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11021] ppid=11017 vsize=15417404 memory=9 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11021/stat : 11021 (java) S 11017 11017 6753 0 -1 1077944384 240 0 0 0 6 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403301919504 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11022] ppid=11017 vsize=15417404 memory=9 CPUtime=0.09 cores=1,3,5,7
/proc/11019/task/11022/stat : 11022 (java) S 11017 11017 6753 0 -1 1077944384 148 0 0 0 5 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403300866960 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11023] ppid=11017 vsize=15417404 memory=9 CPUtime=0.09 cores=1,3,5,7
/proc/11019/task/11023/stat : 11023 (java) S 11017 11017 6753 0 -1 1077944384 259 0 0 0 5 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403299814416 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11024] ppid=11017 vsize=15417404 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/11019/task/11024/stat : 11024 (java) S 11017 11017 6753 0 -1 1077944384 250 0 0 0 6 4 0 0 20 0 19 0 407793717 15787421696 116524 33554432000 4194304 4196468 140727228122080 140403298761872 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11025] ppid=11017 vsize=15417404 memory=4629541556910006134 CPUtime=0.03 cores=1,3,5,7
/proc/11019/task/11025/stat : 11025 (java) S 11017 11017 6753 0 -1 1077944384 331 0 0 0 1 2 0 0 20 0 19 0 407793719 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402842302448 140403373890178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11026] ppid=11017 vsize=15417404 memory=-8393745925659800667 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11026/stat : 11026 (java) S 11017 11017 6753 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 407793719 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402841248736 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11027] ppid=11017 vsize=15417404 memory=139705085943568 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11027/stat : 11027 (java) S 11017 11017 6753 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 407793719 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402840196096 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11028] ppid=11017 vsize=15417404 memory=288230377044162182 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11028/stat : 11028 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402839144656 140403373897627 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11029] ppid=11017 vsize=15417404 memory=288288865972930571 CPUtime=1.96 cores=1,3,5,7
/proc/11019/task/11029/stat : 11029 (java) S 11017 11017 6753 0 -1 1077944384 6218 0 0 0 195 1 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402838092272 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11030] ppid=11017 vsize=15417404 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/11019/task/11030/stat : 11030 (java) S 11017 11017 6753 0 -1 1077944384 5484 0 0 0 182 1 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402837039728 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11031] ppid=11017 vsize=15417404 memory=7955440994963975232 CPUtime=0.61 cores=1,3,5,7
/proc/11019/task/11031/stat : 11031 (java) S 11017 11017 6753 0 -1 1077944384 4097 0 0 0 60 1 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402835987184 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11032] ppid=11017 vsize=15417404 memory=7810207401630785878 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11032/stat : 11032 (java) S 11017 11017 6753 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402834934880 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11033] ppid=11017 vsize=15417404 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/11019/task/11033/stat : 11033 (java) S 11017 11017 6753 0 -1 1077944384 695 0 0 0 0 0 0 0 20 0 19 0 407793722 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402833881392 140403373890178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11034] ppid=11017 vsize=15417404 memory=469648 CPUtime=7.67 cores=1,3,5,7
/proc/11019/task/11034/stat : 11034 (java) R 11017 11017 6753 0 -1 4202560 274 0 0 0 767 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402824907432 140402974077742 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11035] ppid=11017 vsize=15417404 memory=0 CPUtime=7.59 cores=1,3,5,7
/proc/11019/task/11035/stat : 11035 (java) S 11017 11017 6753 0 -1 1077944384 905 0 0 0 759 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402823861200 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11036] ppid=11017 vsize=15417404 memory=0 CPUtime=7.56 cores=1,3,5,7
/proc/11019/task/11036/stat : 11036 (java) R 11017 11017 6753 0 -1 4202560 199 0 0 0 756 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402822803464 140402974077703 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
[pid=11019/tid=11037] ppid=11017 vsize=15417404 memory=0 CPUtime=7.51 cores=1,3,5,7
/proc/11019/task/11037/stat : 11037 (java) S 11017 11017 6753 0 -1 1077944384 381 0 0 0 751 0 0 0 20 0 19 0 407793954 15787421696 116524 33554432000 4194304 4196468 140727228122080 140402821756112 140403373889237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39182336 140727228130287 140727228130458 140727228130458 140727228133327 0
Current children cumulated CPU time: 37.51 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 467548 KiB

Child status: 0
Real time (s): 10.5486
CPU time (s): 37.5822
CPU user time (s): 37.2327
CPU system time (s): 0.349423
CPU usage (%): 356.276
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 471124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 37.2328
system time used= 0.349423
maximum resident set size= 469920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31852
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= 2912
involuntary context switches= 1027


# summary of solver processes directly reported to runsolver:
#   pid: 11017
#   total CPU time (s): 37.5822
#   total CPU user time (s): 37.2327
#   total CPU system time (s): 0.349423

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.095034 second user time and 0.160978 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 4392982

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
