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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-18)	SAT	76.169701	12.5271
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 (11252 MiB free)
  memory of node 1: 16384 MiB (12232 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281112-1503149664/watcher-4281112-1503149664 -o /tmp/evaluation-result-4281112-1503149664/solver-4281112-1503149664 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node104-1503143753-17743 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 210284018 HOME/instance-4281112-1503149664.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

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

solver pid=18175, runsolver pid=18172

[startup+0.100181 s]*
/proc/loadavg: 8.14 8.30 8.31 3/200 18196
/proc/meminfo: memFree=24034032/32770624 swapFree=67108860/67108860
[pid=18175] ppid=18172 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18175/stat : 18175 (xcsp3-exec) S 18172 18175 17716 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148054177 9740288 346 33554432000 4194304 5098028 140723437384864 140723437382968 140281952281212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34897920 140723437392997 140723437393207 140723437393207 140723437395947 0
/proc/18175/statm: 2378 346 289 221 0 87 0
[pid=18177] ppid=18175 vsize=25999808 memory=26576 CPUtime=0.12 cores=0-7
/proc/18177/stat : 18177 (java) S 18175 18175 17716 0 -1 1077944320 5512 0 0 0 11 1 0 0 20 0 20 0 148054177 26623803392 6644 33554432000 4194304 4196468 140726150110128 140726150092672 140231661571831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
/proc/18177/statm: 6499952 6644 2865 1 0 6488269 0
[pid=18177/tid=18178] ppid=18175 vsize=25999808 memory=4134930498285298233 CPUtime=0.08 cores=0-7
/proc/18177/task/18178/stat : 18178 (java) S 18175 18175 17716 0 -1 1077944384 3511 0 0 0 8 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231665803520 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18179] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18179/stat : 18179 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231219526672 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18180] ppid=18175 vsize=25999808 memory=139864462366336 CPUtime=0 cores=0-7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231218474128 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18181] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231217421072 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18182] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231216368528 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18183] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231215315472 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18184] ppid=18175 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231214262928 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18185] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231213209872 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18186] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148054178 26623803392 6644 33554432000 4194304 4196468 140726150110128 140231212157328 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18187] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054180 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230788922096 140231661582978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18188] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18175 17716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148054180 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230787868320 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18189] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18175 17716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148054181 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230786815216 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18190] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054183 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230785763792 140231661590427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18191] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18175 17716 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 20 0 148054183 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230784710896 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18192] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18175 17716 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 148054183 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230783658352 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18193] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148054183 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230782605296 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18194] ppid=18175 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18175 17716 0 -1 1077944384 265 0 0 0 1 0 0 0 20 0 20 0 148054183 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230781552752 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18195] ppid=18175 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148054183 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230780500960 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18196] ppid=18175 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054183 26623803392 6644 33554432000 4194304 4196468 140726150110128 140230779448496 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27960 KiB

[startup+0.210529 s]*
/proc/loadavg: 8.14 8.30 8.31 4/200 18196
/proc/meminfo: memFree=24022588/32770624 swapFree=67108860/67108860
[pid=18175] ppid=18172 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18175/stat : 18175 (xcsp3-exec) S 18172 18175 17716 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148054177 9740288 346 33554432000 4194304 5098028 140723437384864 140723437382968 140281952281212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34897920 140723437392997 140723437393207 140723437393207 140723437395947 0
/proc/18175/statm: 2378 346 289 221 0 87 0
[pid=18177] ppid=18175 vsize=26004064 memory=38920 CPUtime=0.33 cores=0-7
/proc/18177/stat : 18177 (java) S 18175 18175 17716 0 -1 1077944320 8287 0 0 0 32 1 0 0 20 0 20 0 148054177 26628161536 9730 33554432000 4194304 4196468 140726150110128 140726150092672 140231661571831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
/proc/18177/statm: 6501016 9730 3058 1 0 6488269 0
[pid=18177/tid=18178] ppid=18175 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18175 17716 0 -1 4202560 5420 0 0 0 19 1 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231665792824 140231661593757 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18179] ppid=18175 vsize=26004064 memory=331 CPUtime=0 cores=0-7
/proc/18177/task/18179/stat : 18179 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231219526672 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18180] ppid=18175 vsize=26004064 memory=139864462384256 CPUtime=0 cores=0-7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231218474128 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18181] ppid=18175 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231217421072 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18182] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231216368528 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18183] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231215315472 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18184] ppid=18175 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231214262928 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18185] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231213209872 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18186] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 9730 33554432000 4194304 4196468 140726150110128 140231212157328 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18187] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18175 17716 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 148054180 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230788922096 140231661582978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18188] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18175 17716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148054180 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230787868320 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18189] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18175 17716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148054181 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230786815216 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18190] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054183 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230785763792 140231661590427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18191] ppid=18175 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18175 17716 0 -1 1077944384 485 0 0 0 1 0 0 0 20 0 20 0 148054183 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230784710896 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18192] ppid=18175 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18175 17716 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 20 0 148054183 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230783658352 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18193] ppid=18175 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18175 17716 0 -1 1077944384 100 0 0 0 1 0 0 0 20 0 20 0 148054183 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230782605296 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18194] ppid=18175 vsize=26004064 memory=-1 CPUtime=0.08 cores=0-7
/proc/18177/task/18194/stat : 18194 (java) R 18175 18175 17716 0 -1 4202560 755 0 0 0 8 0 0 0 20 0 20 0 148054183 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230781552752 140231640253207 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18195] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148054183 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230780500960 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18196] ppid=18175 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054183 26628161536 9730 33554432000 4194304 4196468 140726150110128 140230779448496 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40304 KiB

[startup+0.310531 s]*
/proc/loadavg: 8.14 8.30 8.31 4/200 18196
/proc/meminfo: memFree=24017812/32770624 swapFree=67108860/67108860
[pid=18175] ppid=18172 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18175/stat : 18175 (xcsp3-exec) S 18172 18175 17716 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148054177 9740288 346 33554432000 4194304 5098028 140723437384864 140723437382968 140281952281212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34897920 140723437392997 140723437393207 140723437393207 140723437395947 0
/proc/18175/statm: 2378 346 289 221 0 87 0
[pid=18177] ppid=18175 vsize=26004064 memory=46128 CPUtime=0.51 cores=0-7
/proc/18177/stat : 18177 (java) S 18175 18175 17716 0 -1 1077944320 9214 0 0 0 49 2 0 0 20 0 20 0 148054177 26628161536 11532 33554432000 4194304 4196468 140726150110128 140726150092672 140231661571831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
/proc/18177/statm: 6501016 11532 3089 1 0 6488269 0
[pid=18177/tid=18178] ppid=18175 vsize=26004064 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18175 17716 0 -1 4202560 6091 0 0 0 28 1 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231665810096 140231645652318 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18179] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18179/stat : 18179 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231219526672 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18180] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231218474128 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18181] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231217421072 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18182] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231216368528 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18183] ppid=18175 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231215315472 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18184] ppid=18175 vsize=26004064 memory=139864335020975 CPUtime=0 cores=0-7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231214262928 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18185] ppid=18175 vsize=26004064 memory=139864335023280 CPUtime=0 cores=0-7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231213209872 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18186] ppid=18175 vsize=26004064 memory=139864335025584 CPUtime=0 cores=0-7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148054178 26628161536 11532 33554432000 4194304 4196468 140726150110128 140231212157328 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18187] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18175 17716 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 148054180 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230788922096 140231661582978 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18188] ppid=18175 vsize=26004064 memory=279728670058128 CPUtime=0 cores=0-7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18175 17716 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 148054180 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230787868320 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18189] ppid=18175 vsize=26004064 memory=279728670065040 CPUtime=0 cores=0-7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18175 17716 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 148054181 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230786815216 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18190] ppid=18175 vsize=26004064 memory=279728670006320 CPUtime=0 cores=0-7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054183 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230785763792 140231661590427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18191] ppid=18175 vsize=26004064 memory=279728670078864 CPUtime=0.03 cores=0-7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18175 17716 0 -1 1077944384 595 0 0 0 3 0 0 0 20 0 20 0 148054183 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230784710896 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18192] ppid=18175 vsize=26004064 memory=279728670085776 CPUtime=0.02 cores=0-7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18175 17716 0 -1 1077944384 217 0 0 0 2 0 0 0 20 0 20 0 148054183 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230783658352 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18193] ppid=18175 vsize=26004064 memory=279728670083472 CPUtime=0.02 cores=0-7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18175 17716 0 -1 1077944384 107 0 0 0 2 0 0 0 20 0 20 0 148054183 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230782605296 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18194] ppid=18175 vsize=26004064 memory=279728670099632 CPUtime=0.12 cores=0-7
/proc/18177/task/18194/stat : 18194 (java) R 18175 18175 17716 0 -1 4202560 894 0 0 0 12 0 0 0 20 0 20 0 148054183 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230781548480 140231645652318 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18195] ppid=18175 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 148054183 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230780500960 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18196] ppid=18175 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054183 26628161536 11532 33554432000 4194304 4196468 140726150110128 140230779448496 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47512 KiB

[startup+0.701 s]
/proc/loadavg: 8.14 8.30 8.31 2/200 18196
/proc/meminfo: memFree=23999256/32770624 swapFree=67108860/67108860
[pid=18175] ppid=18172 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18175/stat : 18175 (xcsp3-exec) S 18172 18175 17716 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148054177 9740288 346 33554432000 4194304 5098028 140723437384864 140723437382968 140281952281212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34897920 140723437392997 140723437393207 140723437393207 140723437395947 0
/proc/18175/statm: 2378 346 289 221 0 87 0
[pid=18177] ppid=18175 vsize=26006188 memory=80564 CPUtime=1.41 cores=0-7
/proc/18177/stat : 18177 (java) S 18175 18175 17716 0 -1 1077944320 11640 0 0 0 138 3 0 0 20 0 20 0 148054177 26630336512 19629 33554432000 4194304 4196468 140726150110128 140726150092672 140231661571831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
/proc/18177/statm: 6501547 19629 3190 1 0 6488781 0
[pid=18177/tid=18178] ppid=18175 vsize=26006188 memory=279728670457520 CPUtime=0.68 cores=0-7
/proc/18177/task/18178/stat : 18178 (java) R 18175 18175 17716 0 -1 4202560 6573 0 0 0 66 2 0 0 20 0 20 0 148054178 26630336512 20141 33554432000 4194304 4196468 140726150110128 140231665807792 140231302419378 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18179] ppid=18175 vsize=26006188 memory=139864335229808 CPUtime=0 cores=0-7
/proc/18177/task/18179/stat : 18179 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 148054178 26630336512 20141 33554432000 4194304 4196468 140726150110128 140231219526672 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18180] ppid=18175 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26630336512 20141 33554432000 4194304 4196468 140726150110128 140231218474128 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18181] ppid=18175 vsize=26006188 memory=11112 CPUtime=0 cores=0-7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18175 17716 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 148054178 26630336512 20141 33554432000 4194304 4196468 140726150110128 140231217421072 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0

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

[pid=18177/tid=18185] ppid=18175 vsize=26538700 memory=0 CPUtime=1.98 cores=0-7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18175 17716 0 -1 1077944384 3066 0 0 0 146 52 0 0 20 0 28 0 148054178 27175628800 504849 33554432000 4194304 4196468 140726150110128 140231213209872 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18186] ppid=18175 vsize=26538700 memory=0 CPUtime=1.97 cores=0-7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18175 17716 0 -1 1077944384 2478 0 0 0 147 50 0 0 20 0 28 0 148054178 27175628800 504849 33554432000 4194304 4196468 140726150110128 140231212157328 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18187] ppid=18175 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18175 17716 0 -1 1077944384 3487 0 0 0 5 0 0 0 20 0 28 0 148054180 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230788922096 140231661582978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18188] ppid=18175 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18175 17716 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 148054180 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230787868384 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18189] ppid=18175 vsize=26538700 memory=5931913959602935907 CPUtime=0 cores=0-7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18175 17716 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 148054181 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230786815232 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18190] ppid=18175 vsize=26538700 memory=7161961901745328490 CPUtime=0 cores=0-7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148054183 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230785763792 140231661590427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18191] ppid=18175 vsize=26538700 memory=6946912842023397440 CPUtime=1.02 cores=0-7
/proc/18177/task/18191/stat : 18191 (java) S 18175 18175 17716 0 -1 1077944384 4757 0 0 0 101 1 0 0 20 0 28 0 148054183 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230784710896 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18192] ppid=18175 vsize=26538700 memory=-7735619938911498612 CPUtime=1.09 cores=0-7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18175 17716 0 -1 1077944384 5594 0 0 0 108 1 0 0 20 0 28 0 148054183 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230783658352 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18193] ppid=18175 vsize=26538700 memory=7372786582024121444 CPUtime=0.99 cores=0-7
/proc/18177/task/18193/stat : 18193 (java) S 18175 18175 17716 0 -1 1077944384 5694 0 0 0 98 1 0 0 20 0 28 0 148054183 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230782605296 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18194] ppid=18175 vsize=26538700 memory=5787213827046125610 CPUtime=0.52 cores=0-7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18175 17716 0 -1 1077944384 2795 0 0 0 52 0 0 0 20 0 28 0 148054183 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230781552752 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18195] ppid=18175 vsize=26538700 memory=6305 CPUtime=0 cores=0-7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148054183 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230780500960 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18196] ppid=18175 vsize=26538700 memory=-1 CPUtime=0 cores=0-7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18175 17716 0 -1 1077944384 834 0 0 0 0 0 0 0 20 0 28 0 148054183 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230779448496 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18197] ppid=18175 vsize=26538700 memory=-1 CPUtime=6.23 cores=0-7
/proc/18177/task/18197/stat : 18197 (java) R 18175 18175 17716 0 -1 4202560 672 0 0 0 622 1 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230771438824 140231305246629 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18198] ppid=18175 vsize=26538700 memory=0 CPUtime=6.26 cores=0-7
/proc/18177/task/18198/stat : 18198 (java) R 18175 18175 17716 0 -1 4202560 5362 0 0 0 624 2 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230770384744 140231305246732 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18199] ppid=18175 vsize=26538700 memory=7649399380036892721 CPUtime=6.1 cores=0-7
/proc/18177/task/18199/stat : 18199 (java) R 18175 18175 17716 0 -1 4202560 396 0 0 0 609 1 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230769333336 140231305246629 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18200] ppid=18175 vsize=26538700 memory=7590642793749965421 CPUtime=6.28 cores=0-7
/proc/18177/task/18200/stat : 18200 (java) R 18175 18175 17716 0 -1 4202560 1090 0 0 0 623 5 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230768280792 140231305246664 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18201] ppid=18175 vsize=26538700 memory=8099531882097107024 CPUtime=6.18 cores=0-7
/proc/18177/task/18201/stat : 18201 (java) R 18175 18175 17716 0 -1 4202560 8533 0 0 0 614 4 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230767226760 140231305246515 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18202] ppid=18175 vsize=26538700 memory=7018122613745346669 CPUtime=6.08 cores=0-7
/proc/18177/task/18202/stat : 18202 (java) R 18175 18175 17716 0 -1 4202560 462 0 0 0 607 1 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230766174552 140231305290646 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18203] ppid=18175 vsize=26538700 memory=1399101730491701635 CPUtime=6.1 cores=0-7
/proc/18177/task/18203/stat : 18203 (java) R 18175 18175 17716 0 -1 4202560 451 0 0 0 609 1 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230765123160 140231305246725 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18204] ppid=18175 vsize=26538700 memory=4137287014106042739 CPUtime=6.13 cores=0-7
/proc/18177/task/18204/stat : 18204 (java) R 18175 18175 17716 0 -1 4202560 1030 0 0 0 612 1 0 0 20 0 28 0 148054721 27175628800 504849 33554432000 4194304 4196468 140726150110128 140230764068496 140231305291137 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
Current children cumulated CPU time: 72.61 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2020780 KiB

[startup+12.4012 s]
/proc/loadavg: 7.68 8.19 8.28 12/208 18204
/proc/meminfo: memFree=22039296/32770624 swapFree=67108860/67108860
[pid=18175] ppid=18172 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18175/stat : 18175 (xcsp3-exec) S 18172 18175 17716 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148054177 9740288 346 33554432000 4194304 5098028 140723437384864 140723437382968 140281952281212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34897920 140723437392997 140723437393207 140723437393207 140723437395947 0
/proc/18175/statm: 2378 346 289 221 0 87 0
[pid=18177] ppid=18175 vsize=26538700 memory=2019944 CPUtime=75.69 cores=0-7
/proc/18177/stat : 18177 (java) S 18175 18175 17716 0 -1 1077944320 74100 0 0 0 7129 440 0 0 20 0 28 0 148054177 27175628800 504986 33554432000 4194304 4196468 140726150110128 140726150092672 140231661571831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
/proc/18177/statm: 6634675 504986 3275 1 0 6621909 0
[pid=18177/tid=18178] ppid=18175 vsize=26538700 memory=7377555245355787607 CPUtime=3.52 cores=0-7
/proc/18177/task/18178/stat : 18178 (java) S 18175 18175 17716 0 -1 1077944384 9190 0 0 0 345 7 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231665812608 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18179] ppid=18175 vsize=26538700 memory=7377555245355787607 CPUtime=1.98 cores=0-7
/proc/18177/task/18179/stat : 18179 (java) S 18175 18175 17716 0 -1 1077944384 2899 0 0 0 147 51 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231219526672 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18180] ppid=18175 vsize=26538700 memory=0 CPUtime=1.95 cores=0-7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18175 17716 0 -1 1077944384 2684 0 0 0 146 49 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231218474128 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18181] ppid=18175 vsize=26538700 memory=279728671193088 CPUtime=1.98 cores=0-7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18175 17716 0 -1 1077944384 2239 0 0 0 148 50 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231217421072 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18182] ppid=18175 vsize=26538700 memory=0 CPUtime=1.99 cores=0-7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18175 17716 0 -1 1077944384 1987 0 0 0 149 50 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231216368528 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18183] ppid=18175 vsize=26538700 memory=279728671202176 CPUtime=1.98 cores=0-7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18175 17716 0 -1 1077944384 2200 0 0 0 149 49 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231215315472 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18184] ppid=18175 vsize=26538700 memory=0 CPUtime=1.99 cores=0-7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18175 17716 0 -1 1077944384 2057 0 0 0 149 50 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231214262928 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18185] ppid=18175 vsize=26538700 memory=279728671211264 CPUtime=1.98 cores=0-7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18175 17716 0 -1 1077944384 3066 0 0 0 146 52 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231213209872 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18186] ppid=18175 vsize=26538700 memory=0 CPUtime=1.97 cores=0-7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18175 17716 0 -1 1077944384 2478 0 0 0 147 50 0 0 20 0 28 0 148054178 27175628800 504986 33554432000 4194304 4196468 140726150110128 140231212157328 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18187] ppid=18175 vsize=26538700 memory=279728671220352 CPUtime=0.05 cores=0-7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18175 17716 0 -1 1077944384 3487 0 0 0 5 0 0 0 20 0 28 0 148054180 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230788922096 140231661582978 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18188] ppid=18175 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18175 17716 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 148054180 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230787868384 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18189] ppid=18175 vsize=26538700 memory=279728671229440 CPUtime=0 cores=0-7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18175 17716 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 28 0 148054181 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230786815232 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18190] ppid=18175 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18175 17716 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 148054183 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230785763792 140231661590427 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18191] ppid=18175 vsize=26538700 memory=279728671243072 CPUtime=1.18 cores=0-7
/proc/18177/task/18191/stat : 18191 (java) R 18175 18175 17716 0 -1 4202560 5083 0 0 0 117 1 0 0 20 0 28 0 148054183 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230784696992 140231646492917 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18192] ppid=18175 vsize=26538700 memory=0 CPUtime=1.23 cores=0-7
/proc/18177/task/18192/stat : 18192 (java) R 18175 18175 17716 0 -1 4202560 5620 0 0 0 122 1 0 0 20 0 28 0 148054183 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230783646704 140231646453446 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18193] ppid=18175 vsize=26538700 memory=279728671247616 CPUtime=1.17 cores=0-7
/proc/18177/task/18193/stat : 18193 (java) R 18175 18175 17716 0 -1 4202560 6576 0 0 0 116 1 0 0 20 0 28 0 148054183 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230782591520 140231643115944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18194] ppid=18175 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18175 17716 0 -1 1077944384 2825 0 0 0 54 0 0 0 20 0 28 0 148054183 27175628800 504986 33554432000 4194304 4196468 140726150110128 140230781552752 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18195] ppid=18175 vsize=26538700 memory=279728671256704 CPUtime=0 cores=0-7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 148054183 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230780500960 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18196] ppid=18175 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18196/stat : 18196 (java) S 18175 18175 17716 0 -1 1077944384 834 0 0 0 0 0 0 0 20 0 28 0 148054183 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230779448496 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18197] ppid=18175 vsize=26538700 memory=279728671268064 CPUtime=6.51 cores=0-7
/proc/18177/task/18197/stat : 18197 (java) S 18175 18175 17716 0 -1 1077944384 677 0 0 0 650 1 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230771441584 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18198] ppid=18175 vsize=26538700 memory=0 CPUtime=6.63 cores=0-7
/proc/18177/task/18198/stat : 18198 (java) S 18175 18175 17716 0 -1 1077944384 5386 0 0 0 660 3 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230770390352 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18199] ppid=18175 vsize=26538700 memory=279728671274880 CPUtime=6.38 cores=0-7
/proc/18177/task/18199/stat : 18199 (java) R 18175 18175 17716 0 -1 4202560 396 0 0 0 637 1 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230769334952 140231305161498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18200] ppid=18175 vsize=26538700 memory=0 CPUtime=6.59 cores=0-7
/proc/18177/task/18200/stat : 18200 (java) S 18175 18175 17716 0 -1 1077944384 1092 0 0 0 654 5 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230768284752 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18201] ppid=18175 vsize=26538700 memory=-7966001967256141664 CPUtime=6.47 cores=0-7
/proc/18177/task/18201/stat : 18201 (java) R 18175 18175 17716 0 -1 4202560 9777 0 0 0 643 4 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230767226728 140231305585644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18202] ppid=18175 vsize=26538700 memory=7751995073768813331 CPUtime=6.44 cores=0-7
/proc/18177/task/18202/stat : 18202 (java) S 18175 18175 17716 0 -1 1077944384 462 0 0 0 643 1 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230766179152 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18203] ppid=18175 vsize=26538700 memory=279728671297616 CPUtime=6.45 cores=0-7
/proc/18177/task/18203/stat : 18203 (java) S 18175 18175 17716 0 -1 1077944384 452 0 0 0 644 1 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230765127120 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18204] ppid=18175 vsize=26538700 memory=279728671295344 CPUtime=6.47 cores=0-7
/proc/18177/task/18204/stat : 18204 (java) R 18175 18175 17716 0 -1 4202560 1254 0 0 0 646 1 0 0 20 0 28 0 148054721 27175628800 504987 33554432000 4194304 4196468 140726150110128 140230764070120 140231653813221 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
Current children cumulated CPU time: 75.69 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2021328 KiB

[startup+12.5012 s]
/proc/loadavg: 7.68 8.19 8.28 12/208 18204
/proc/meminfo: memFree=22039296/32770624 swapFree=67108860/67108860
[pid=18175] ppid=18172 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/18175/stat : 18175 (xcsp3-exec) S 18172 18175 17716 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 148054177 9740288 346 33554432000 4194304 5098028 140723437384864 140723437382968 140281952281212 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 34897920 140723437392997 140723437393207 140723437393207 140723437395947 0
/proc/18175/statm: 2378 346 289 221 0 87 0
[pid=18177] ppid=18175 vsize=26538700 memory=2019588 CPUtime=76.13 cores=0-7
/proc/18177/stat : 18177 (java) S 18175 18175 17716 0 -1 1077944320 74413 0 0 0 7173 440 0 0 20 0 19 0 148054177 27175628800 504897 33554432000 4194304 4196468 140726150110128 140726150092672 140231661571831 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
/proc/18177/statm: 6634675 504897 3277 1 0 6621909 0
[pid=18177/tid=18178] ppid=18175 vsize=26538700 memory=7883671412792186217 CPUtime=3.53 cores=0-7
/proc/18177/task/18178/stat : 18178 (java) S 18175 18175 17716 0 -1 1077944384 9337 0 0 0 346 7 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231665814672 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18179] ppid=18175 vsize=26538700 memory=7013624614788882789 CPUtime=1.98 cores=0-7
/proc/18177/task/18179/stat : 18179 (java) S 18175 18175 17716 0 -1 1077944384 2899 0 0 0 147 51 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231219526672 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18180] ppid=18175 vsize=26538700 memory=1630072 CPUtime=1.95 cores=0-7
/proc/18177/task/18180/stat : 18180 (java) S 18175 18175 17716 0 -1 1077944384 2684 0 0 0 146 49 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231218474128 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18181] ppid=18175 vsize=26538700 memory=1625976 CPUtime=1.98 cores=0-7
/proc/18177/task/18181/stat : 18181 (java) S 18175 18175 17716 0 -1 1077944384 2239 0 0 0 148 50 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231217421072 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18182] ppid=18175 vsize=26538700 memory=15816694648015424 CPUtime=1.99 cores=0-7
/proc/18177/task/18182/stat : 18182 (java) S 18175 18175 17716 0 -1 1077944384 1987 0 0 0 149 50 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231216368528 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18183] ppid=18175 vsize=26538700 memory=1384 CPUtime=1.98 cores=0-7
/proc/18177/task/18183/stat : 18183 (java) S 18175 18175 17716 0 -1 1077944384 2200 0 0 0 149 49 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231215315472 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18184] ppid=18175 vsize=26538700 memory=0 CPUtime=1.99 cores=0-7
/proc/18177/task/18184/stat : 18184 (java) S 18175 18175 17716 0 -1 1077944384 2057 0 0 0 149 50 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231214262928 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18185] ppid=18175 vsize=26538700 memory=0 CPUtime=1.98 cores=0-7
/proc/18177/task/18185/stat : 18185 (java) S 18175 18175 17716 0 -1 1077944384 3066 0 0 0 146 52 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231213209872 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18186] ppid=18175 vsize=26538700 memory=279728669920832 CPUtime=1.97 cores=0-7
/proc/18177/task/18186/stat : 18186 (java) S 18175 18175 17716 0 -1 1077944384 2478 0 0 0 147 50 0 0 20 0 19 0 148054178 27175628800 504897 33554432000 4194304 4196468 140726150110128 140231212157328 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18187] ppid=18175 vsize=26538700 memory=6944657691966988345 CPUtime=0.05 cores=0-7
/proc/18177/task/18187/stat : 18187 (java) S 18175 18175 17716 0 -1 1077944384 3487 0 0 0 5 0 0 0 20 0 19 0 148054180 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230788922304 140231661582978 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18188] ppid=18175 vsize=26538700 memory=7524777640458544749 CPUtime=0 cores=0-7
/proc/18177/task/18188/stat : 18188 (java) S 18175 18175 17716 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 148054180 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230787868384 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18189] ppid=18175 vsize=26538700 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/18177/task/18189/stat : 18189 (java) S 18175 18175 17716 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 19 0 148054181 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230786815232 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18190] ppid=18175 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18190/stat : 18190 (java) S 18175 18175 17716 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 148054183 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230785763440 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18191] ppid=18175 vsize=26538700 memory=0 CPUtime=1.28 cores=0-7
/proc/18177/task/18191/stat : 18191 (java) R 18175 18175 17716 0 -1 4202560 5102 0 0 0 127 1 0 0 20 0 19 0 148054183 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230784696992 140231642747740 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18192] ppid=18175 vsize=26538700 memory=0 CPUtime=1.33 cores=0-7
/proc/18177/task/18192/stat : 18192 (java) S 18175 18175 17716 0 -1 1077944384 5633 0 0 0 132 1 0 0 20 0 19 0 148054183 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230783638752 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18193] ppid=18175 vsize=26538700 memory=0 CPUtime=1.27 cores=0-7
/proc/18177/task/18193/stat : 18193 (java) R 18175 18175 17716 0 -1 4202560 6603 0 0 0 126 1 0 0 20 0 19 0 148054183 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230782591376 140231646687085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18194] ppid=18175 vsize=26538700 memory=4049639001115146852 CPUtime=0.55 cores=0-7
/proc/18177/task/18194/stat : 18194 (java) S 18175 18175 17716 0 -1 1077944384 2854 0 0 0 55 0 0 0 20 0 19 0 148054183 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230781552752 140231661582978 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
[pid=18177/tid=18195] ppid=18175 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/18177/task/18195/stat : 18195 (java) S 18175 18175 17716 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 148054183 27175628800 504897 33554432000 4194304 4196468 140726150110128 140230780500960 140231661582037 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25182208 140726150116498 140726150116675 140726150116675 140726150119375 0
Current children cumulated CPU time: 76.13 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2020972 KiB

Child status: 0
Real time (s): 12.5271
CPU time (s): 76.1697
CPU user time (s): 71.7442
CPU system time (s): 4.42542
CPU usage (%): 608.041
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2021328

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.7443
system time used= 4.42542
maximum resident set size= 2020116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74968
page faults= 0
swaps= 0
block input operations= 0
block output operations= 160
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5468
involuntary context switches= 1232


# summary of solver processes directly reported to runsolver:
#   pid: 18175
#   total CPU time (s): 76.1697
#   total CPU user time (s): 71.7442
#   total CPU system time (s): 4.42542

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.149362 second user time and 0.156938 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4281112

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
