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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399019-1568698706/watcher-4399019-1568698706 -o /tmp/evaluation-result-4399019-1568698706/solver-4399019-1568698706 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node117-1568698663-32120 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1643210395 HOME/instance-4399019-1568698706.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=32139, runsolver pid=32136
Current StackSize limit: 8192 KiB


[startup+0.100149 s]*
/proc/loadavg: 0.68 0.78 1.04 6/229 32180
/proc/meminfo: memFree=30663160/32770624 swapFree=66953984/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0
[pid=32142] ppid=32139 vsize=15144776 memory=31092 CPUtime=0.13 cores=1,3,5,7
/proc/32142/stat : 32142 (java) S 32139 32139 32088 0 -1 1077944320 5670 0 0 0 12 1 0 0 20 0 15 0 445812481 15508250624 7773 33554432000 4194304 4196468 140724835183968 140724835166512 140407044067063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
/proc/32142/statm: 3786194 7773 3150 1 0 3748377 0
[pid=32142/tid=32146] ppid=32139 vsize=15144776 memory=4351193298085512080 CPUtime=0.09 cores=1,3,5,7
/proc/32142/task/32146/stat : 32146 (java) R 32139 32139 32088 0 -1 4202560 3582 0 0 0 8 1 0 0 20 0 15 0 445812481 15508250624 7773 33554432000 4194304 4196468 140724835183968 140407048293024 140407028147550 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32147] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32147/stat : 32147 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406980303248 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32148] ppid=32139 vsize=15144776 memory=139721402025600 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32148/stat : 32148 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406979250448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32149] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32149/stat : 32149 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406633847440 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32150] ppid=32139 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32150/stat : 32150 (java) S 32139 32139 32088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406632794640 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32159] ppid=32139 vsize=15144776 memory=139721402025600 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32159/stat : 32159 (java) S 32139 32139 32088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812483 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406579890800 140407044078210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32160] ppid=32139 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32160/stat : 32160 (java) S 32139 32139 32088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445812484 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406578836768 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32165] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32165/stat : 32165 (java) S 32139 32139 32088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445812484 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406577784432 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32169] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32169/stat : 32169 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812486 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406576732752 140407044085659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32170] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32170/stat : 32170 (java) R 32139 32139 32088 0 -1 4202560 441 0 0 0 0 0 0 0 20 0 15 0 445812486 15508250624 7773 33554432000 4194304 4196468 140724835183968 140406575671248 140407027502801 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32171] ppid=32139 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32171/stat : 32171 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812486 15508250624 7773 33554432000 4194304 4196468 140724835183968 140405912889328 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32172] ppid=32139 vsize=15144776 memory=139721402025600 CPUtime=0.02 cores=1,3,5,7
/proc/32142/task/32172/stat : 32172 (java) R 32139 32139 32088 0 -1 4202560 359 0 0 0 2 0 0 0 20 0 15 0 445812486 15508250624 7773 33554432000 4194304 4196468 140724835183968 140405911837040 140407044088410 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32173] ppid=32139 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32173/stat : 32173 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812487 15508250624 7773 33554432000 4194304 4196468 140724835183968 140405910784480 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32174] ppid=32139 vsize=15144776 memory=139721402025600 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812487 15508250624 7773 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 32540 KiB

[startup+0.213011 s]*
/proc/loadavg: 0.68 0.78 1.04 5/229 32180
/proc/meminfo: memFree=30638796/32770624 swapFree=66953984/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0
[pid=32142] ppid=32139 vsize=15144776 memory=42240 CPUtime=0.35 cores=1,3,5,7
/proc/32142/stat : 32142 (java) S 32139 32139 32088 0 -1 1077944320 9307 0 0 0 32 3 0 0 20 0 15 0 445812481 15508250624 10560 33554432000 4194304 4196468 140724835183968 140724835166512 140407044067063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
/proc/32142/statm: 3786194 10560 3307 1 0 3748377 0
[pid=32142/tid=32146] ppid=32139 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/32142/task/32146/stat : 32146 (java) R 32139 32139 32088 0 -1 4202560 6576 0 0 0 18 2 0 0 20 0 15 0 445812481 15508250624 10560 33554432000 4194304 4196468 140724835183968 140407048302048 140407044088989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32147] ppid=32139 vsize=15144776 memory=13657 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32147/stat : 32147 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406980303248 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32148] ppid=32139 vsize=15144776 memory=288370097553737344 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32148/stat : 32148 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406979250448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32149] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32149/stat : 32149 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406633847440 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32150] ppid=32139 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32150/stat : 32150 (java) S 32139 32139 32088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812482 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406632794640 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32159] ppid=32139 vsize=15144776 memory=139721402025600 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32159/stat : 32159 (java) S 32139 32139 32088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445812483 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406579890800 140407044078210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32160] ppid=32139 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32160/stat : 32160 (java) S 32139 32139 32088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445812484 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406578836768 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32165] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32165/stat : 32165 (java) S 32139 32139 32088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445812484 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406577784432 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32169] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32169/stat : 32169 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812486 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406576732752 140407044085659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32170] ppid=32139 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/32142/task/32170/stat : 32170 (java) S 32139 32139 32088 0 -1 1077944384 598 0 0 0 3 0 0 0 20 0 15 0 445812486 15508250624 10560 33554432000 4194304 4196468 140724835183968 140406575679600 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32171] ppid=32139 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/32142/task/32171/stat : 32171 (java) S 32139 32139 32088 0 -1 1077944384 45 0 0 0 1 0 0 0 20 0 15 0 445812486 15508250624 10560 33554432000 4194304 4196468 140724835183968 140405912889328 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32172] ppid=32139 vsize=15144776 memory=139721402025600 CPUtime=0.08 cores=1,3,5,7
/proc/32142/task/32172/stat : 32172 (java) S 32139 32139 32088 0 -1 1077944384 787 0 0 0 8 0 0 0 20 0 15 0 445812486 15508250624 10560 33554432000 4194304 4196468 140724835183968 140405911837040 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32173] ppid=32139 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32173/stat : 32173 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812487 15508250624 10560 33554432000 4194304 4196468 140724835183968 140405910784480 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32174] ppid=32139 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812487 15508250624 10560 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43688 KiB

[startup+0.317879 s]*
/proc/loadavg: 0.68 0.78 1.04 4/229 32180
/proc/meminfo: memFree=30625508/32770624 swapFree=66953984/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0
[pid=32142] ppid=32139 vsize=15149032 memory=51980 CPUtime=0.54 cores=1,3,5,7
/proc/32142/stat : 32142 (java) S 32139 32139 32088 0 -1 1077944320 10853 0 0 0 50 4 0 0 20 0 15 0 445812481 15512608768 12995 33554432000 4194304 4196468 140724835183968 140724835166512 140407044067063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
/proc/32142/statm: 3787258 12995 3370 1 0 3748377 0
[pid=32142/tid=32146] ppid=32139 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/32142/task/32146/stat : 32146 (java) R 32139 32139 32088 0 -1 4202560 7817 0 0 0 28 2 0 0 20 0 15 0 445812481 15512608768 13060 33554432000 4194304 4196468 140724835183968 140407048298176 140407028147550 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32147] ppid=32139 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32147/stat : 32147 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406980303248 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32148] ppid=32139 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32148/stat : 32148 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406979250448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32149] ppid=32139 vsize=15149032 memory=9122464004270842071 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32149/stat : 32149 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406633847440 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32150] ppid=32139 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32150/stat : 32150 (java) S 32139 32139 32088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812482 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406632794640 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32159] ppid=32139 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32159/stat : 32159 (java) S 32139 32139 32088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445812483 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406579890800 140407044078210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32160] ppid=32139 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32160/stat : 32160 (java) S 32139 32139 32088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445812484 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406578836768 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32165] ppid=32139 vsize=15149032 memory=-3040564339105353098 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32165/stat : 32165 (java) S 32139 32139 32088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445812484 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406577784432 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32169] ppid=32139 vsize=15149032 memory=7161331908245094050 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32169/stat : 32169 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812486 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406576732752 140407044085659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32170] ppid=32139 vsize=15149032 memory=6944656591801720471 CPUtime=0.06 cores=1,3,5,7
/proc/32142/task/32170/stat : 32170 (java) R 32139 32139 32088 0 -1 4202560 716 0 0 0 6 0 0 0 20 0 15 0 445812486 15512608768 13060 33554432000 4194304 4196468 140724835183968 140406575660616 140407021328320 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32171] ppid=32139 vsize=15149032 memory=-8458152057954561420 CPUtime=0.03 cores=1,3,5,7
/proc/32142/task/32171/stat : 32171 (java) S 32139 32139 32088 0 -1 1077944384 78 0 0 0 3 0 0 0 20 0 15 0 445812486 15512608768 13060 33554432000 4194304 4196468 140724835183968 140405912889328 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32172] ppid=32139 vsize=15149032 memory=-8813974798734826869 CPUtime=0.12 cores=1,3,5,7
/proc/32142/task/32172/stat : 32172 (java) R 32139 32139 32088 0 -1 4202560 942 0 0 0 12 0 0 0 20 0 15 0 445812486 15512608768 13060 33554432000 4194304 4196468 140724835183968 140405911837040 140407044088410 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32173] ppid=32139 vsize=15149032 memory=7031125463459224206 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32173/stat : 32173 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812487 15512608768 13060 33554432000 4194304 4196468 140724835183968 140405910784480 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32174] ppid=32139 vsize=15149032 memory=4426078206164241782 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812487 15512608768 13060 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 53428 KiB

[startup+0.700876 s]
/proc/loadavg: 0.68 0.78 1.04 7/229 32180
/proc/meminfo: memFree=30590192/32770624 swapFree=66953984/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0
[pid=32142] ppid=32139 vsize=15151156 memory=95304 CPUtime=1.64 cores=1,3,5,7
/proc/32142/stat : 32142 (java) S 32139 32139 32088 0 -1 1077944320 15022 0 0 0 158 6 0 0 20 0 15 0 445812481 15514783744 23826 33554432000 4194304 4196468 140724835183968 140724835166512 140407044067063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
/proc/32142/statm: 3787789 23826 3456 1 0 3748889 0
[pid=32142/tid=32146] ppid=32139 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/32142/task/32146/stat : 32146 (java) R 32139 32139 32088 0 -1 4202560 9180 0 0 0 63 4 0 0 20 0 15 0 445812481 15514783744 23826 33554432000 4194304 4196468 140724835183968 140407048304704 140406663068166 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32147] ppid=32139 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32147/stat : 32147 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406980303248 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32148] ppid=32139 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32148/stat : 32148 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406979250448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32149] ppid=32139 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32149/stat : 32149 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812482 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406633847440 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32150] ppid=32139 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32150/stat : 32150 (java) S 32139 32139 32088 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445812482 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406632794640 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32159] ppid=32139 vsize=15151156 memory=1040 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32159/stat : 32159 (java) S 32139 32139 32088 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445812483 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406579890800 140407044078210 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32160] ppid=32139 vsize=15151156 memory=4132 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32160/stat : 32160 (java) S 32139 32139 32088 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445812484 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406578836768 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32165] ppid=32139 vsize=15151156 memory=780 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32165/stat : 32165 (java) S 32139 32139 32088 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445812484 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406577784432 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32169] ppid=32139 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32169/stat : 32169 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812486 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406576732752 140407044085659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32170] ppid=32139 vsize=15151156 memory=1720 CPUtime=0.28 cores=1,3,5,7
/proc/32142/task/32170/stat : 32170 (java) R 32139 32139 32088 0 -1 4202560 1470 0 0 0 28 0 0 0 20 0 15 0 445812486 15514783744 23826 33554432000 4194304 4196468 140724835183968 140406575660616 140407027550524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32171] ppid=32139 vsize=15151156 memory=1200 CPUtime=0.25 cores=1,3,5,7
/proc/32142/task/32171/stat : 32171 (java) R 32139 32139 32088 0 -1 4202560 844 0 0 0 25 0 0 0 20 0 15 0 445812486 15514783744 23826 33554432000 4194304 4196468 140724835183968 140405912870440 140407037163772 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32172] ppid=32139 vsize=15151156 memory=5996 CPUtime=0.4 cores=1,3,5,7
/proc/32142/task/32172/stat : 32172 (java) R 32139 32139 32088 0 -1 4202560 2226 0 0 0 40 0 0 0 20 0 15 0 445812486 15514783744 23826 33554432000 4194304 4196468 140724835183968 140405911831576 140407022631508 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32173] ppid=32139 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32173/stat : 32173 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445812487 15514783744 23826 33554432000 4194304 4196468 140724835183968 140405910784480 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32174] ppid=32139 vsize=15151156 memory=14960 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445812487 15514783744 23826 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 1.64 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96752 KiB

[startup+1.50288 s]
/proc/loadavg: 0.68 0.78 1.04 11/233 32185
/proc/meminfo: memFree=30419280/32770624 swapFree=66953984/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0

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

/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 273 0 0 0 0 5 0 0 20 0 19 0 445812487 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32182] ppid=32139 vsize=15417412 memory=0 CPUtime=226.4 cores=1,3,5,7
/proc/32142/task/32182/stat : 32182 (java) R 32139 32139 32088 0 -1 4202560 1131 0 0 0 22640 0 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405904801352 140406664062566 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32183] ppid=32139 vsize=15417412 memory=1436 CPUtime=226.32 cores=1,3,5,7
/proc/32142/task/32183/stat : 32183 (java) R 32139 32139 32088 0 -1 4202560 8978 0 0 0 22628 4 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405591757808 140406665008435 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32184] ppid=32139 vsize=15417412 memory=1984 CPUtime=226.45 cores=1,3,5,7
/proc/32142/task/32184/stat : 32184 (java) R 32139 32139 32088 0 -1 4202560 685 0 0 0 22644 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405590707472 140406665517780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32185] ppid=32139 vsize=15417412 memory=2424 CPUtime=226.6 cores=1,3,5,7
/proc/32142/task/32185/stat : 32185 (java) R 32139 32139 32088 0 -1 4202560 4887 0 0 0 22659 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405589651944 140406663874720 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 913.24 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 412516 KiB

[startup+232.001 s]*
/proc/loadavg: 8.23 5.02 2.73 9/239 32213
/proc/meminfo: memFree=28149984/32770624 swapFree=66953988/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0
[pid=32142] ppid=32139 vsize=15417412 memory=411068 CPUtime=919.64 cores=1,3,5,7
/proc/32142/stat : 32142 (java) S 32139 32139 32088 0 -1 1077944320 56328 0 0 0 91920 44 0 0 20 0 19 0 445812481 15787429888 102767 33554432000 4194304 4196468 140724835183968 140724835166512 140407044067063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
/proc/32142/statm: 3854353 102767 3526 1 0 3815453 0
[pid=32142/tid=32146] ppid=32139 vsize=15417412 memory=6791534058613427641 CPUtime=0.82 cores=1,3,5,7
/proc/32142/task/32146/stat : 32146 (java) S 32139 32139 32088 0 -1 1077944384 9246 0 0 0 78 4 0 0 20 0 19 0 445812481 15787429888 102767 33554432000 4194304 4196468 140724835183968 140407048307840 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32147] ppid=32139 vsize=15417412 memory=4126316290023845779 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32147/stat : 32147 (java) S 32139 32139 32088 0 -1 1077944384 2022 0 0 0 67 6 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406980303248 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32148] ppid=32139 vsize=15417412 memory=2300 CPUtime=0.72 cores=1,3,5,7
/proc/32142/task/32148/stat : 32148 (java) S 32139 32139 32088 0 -1 1077944384 2349 0 0 0 67 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406979250448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32149] ppid=32139 vsize=15417412 memory=1412 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32149/stat : 32149 (java) S 32139 32139 32088 0 -1 1077944384 2136 0 0 0 68 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406633847440 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32150] ppid=32139 vsize=15417412 memory=4132 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32150/stat : 32150 (java) S 32139 32139 32088 0 -1 1077944384 3242 0 0 0 68 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406632794640 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32159] ppid=32139 vsize=15417412 memory=780 CPUtime=0.39 cores=1,3,5,7
/proc/32142/task/32159/stat : 32159 (java) S 32139 32139 32088 0 -1 1077944384 5179 0 0 0 31 8 0 0 20 0 19 0 445812483 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406579890800 140407044078210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32160] ppid=32139 vsize=15417412 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32160/stat : 32160 (java) S 32139 32139 32088 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445812484 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406578836832 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32165] ppid=32139 vsize=15417412 memory=3244 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32165/stat : 32165 (java) S 32139 32139 32088 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445812484 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406577784448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32169] ppid=32139 vsize=15417412 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32169/stat : 32169 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406576732752 140407044085659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32170] ppid=32139 vsize=15417412 memory=2159072 CPUtime=1.24 cores=1,3,5,7
/proc/32142/task/32170/stat : 32170 (java) S 32139 32139 32088 0 -1 1077944384 5466 0 0 0 123 1 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406575679600 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32171] ppid=32139 vsize=15417412 memory=6791534058613427641 CPUtime=1.32 cores=1,3,5,7
/proc/32142/task/32171/stat : 32171 (java) S 32139 32139 32088 0 -1 1077944384 5367 0 0 0 131 1 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405912889328 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32172] ppid=32139 vsize=15417412 memory=4126316290023845779 CPUtime=0.63 cores=1,3,5,7
/proc/32142/task/32172/stat : 32172 (java) S 32139 32139 32088 0 -1 1077944384 4005 0 0 0 63 0 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405911837040 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32173] ppid=32139 vsize=15417412 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32173/stat : 32173 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812487 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405910784480 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32174] ppid=32139 vsize=15417412 memory=14972 CPUtime=0.05 cores=1,3,5,7
/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 273 0 0 0 0 5 0 0 20 0 19 0 445812487 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32182] ppid=32139 vsize=15417412 memory=12024 CPUtime=228 cores=1,3,5,7
/proc/32142/task/32182/stat : 32182 (java) R 32139 32139 32088 0 -1 4202560 1131 0 0 0 22800 0 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405904800640 140406664485856 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32183] ppid=32139 vsize=15417412 memory=2120 CPUtime=227.92 cores=1,3,5,7
/proc/32142/task/32183/stat : 32183 (java) R 32139 32139 32088 0 -1 4202560 8980 0 0 0 22788 4 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405591758056 140406664061350 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32184] ppid=32139 vsize=15417412 memory=500 CPUtime=228.05 cores=1,3,5,7
/proc/32142/task/32184/stat : 32184 (java) R 32139 32139 32088 0 -1 4202560 685 0 0 0 22804 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405590704464 140406664365380 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32185] ppid=32139 vsize=15417412 memory=1556 CPUtime=228.19 cores=1,3,5,7
/proc/32142/task/32185/stat : 32185 (java) R 32139 32139 32088 0 -1 4202560 4887 0 0 0 22818 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405589653696 140406664869721 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 919.64 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 412516 KiB

[startup+232.801 s]
/proc/loadavg: 8.23 5.02 2.73 9/239 32213
/proc/meminfo: memFree=28149984/32770624 swapFree=66953988/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0
[pid=32142] ppid=32139 vsize=15417412 memory=411068 CPUtime=922.79 cores=1,3,5,7
/proc/32142/stat : 32142 (java) S 32139 32139 32088 0 -1 1077944320 56328 0 0 0 92235 44 0 0 20 0 19 0 445812481 15787429888 102767 33554432000 4194304 4196468 140724835183968 140724835166512 140407044067063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
/proc/32142/statm: 3854353 102767 3526 1 0 3815453 0
[pid=32142/tid=32146] ppid=32139 vsize=15417412 memory=6791534058613427641 CPUtime=0.82 cores=1,3,5,7
/proc/32142/task/32146/stat : 32146 (java) S 32139 32139 32088 0 -1 1077944384 9246 0 0 0 78 4 0 0 20 0 19 0 445812481 15787429888 102767 33554432000 4194304 4196468 140724835183968 140407048307840 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32147] ppid=32139 vsize=15417412 memory=6944656592455359580 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32147/stat : 32147 (java) S 32139 32139 32088 0 -1 1077944384 2022 0 0 0 67 6 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406980303248 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32148] ppid=32139 vsize=15417412 memory=6944656592455359580 CPUtime=0.72 cores=1,3,5,7
/proc/32142/task/32148/stat : 32148 (java) S 32139 32139 32088 0 -1 1077944384 2349 0 0 0 67 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406979250448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32149] ppid=32139 vsize=15417412 memory=6944656592455359580 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32149/stat : 32149 (java) S 32139 32139 32088 0 -1 1077944384 2136 0 0 0 68 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406633847440 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32150] ppid=32139 vsize=15417412 memory=6943526294502006880 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32150/stat : 32150 (java) S 32139 32139 32088 0 -1 1077944384 3242 0 0 0 68 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406632794640 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32159] ppid=32139 vsize=15417412 memory=1448 CPUtime=0.39 cores=1,3,5,7
/proc/32142/task/32159/stat : 32159 (java) S 32139 32139 32088 0 -1 1077944384 5179 0 0 0 31 8 0 0 20 0 19 0 445812483 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406579890800 140407044078210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32160] ppid=32139 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32160/stat : 32160 (java) S 32139 32139 32088 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445812484 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406578836832 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32165] ppid=32139 vsize=15417412 memory=740 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32165/stat : 32165 (java) S 32139 32139 32088 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445812484 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406577784448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32169] ppid=32139 vsize=15417412 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32169/stat : 32169 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406576732752 140407044085659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32170] ppid=32139 vsize=15417412 memory=1552 CPUtime=1.24 cores=1,3,5,7
/proc/32142/task/32170/stat : 32170 (java) S 32139 32139 32088 0 -1 1077944384 5466 0 0 0 123 1 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406575679600 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32171] ppid=32139 vsize=15417412 memory=1040 CPUtime=1.32 cores=1,3,5,7
/proc/32142/task/32171/stat : 32171 (java) S 32139 32139 32088 0 -1 1077944384 5367 0 0 0 131 1 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405912889328 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32172] ppid=32139 vsize=15417412 memory=4132 CPUtime=0.63 cores=1,3,5,7
/proc/32142/task/32172/stat : 32172 (java) S 32139 32139 32088 0 -1 1077944384 4005 0 0 0 63 0 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405911837040 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32173] ppid=32139 vsize=15417412 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32173/stat : 32173 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812487 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405910784480 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32174] ppid=32139 vsize=15417412 memory=5996 CPUtime=0.05 cores=1,3,5,7
/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 273 0 0 0 0 5 0 0 20 0 19 0 445812487 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32182] ppid=32139 vsize=15417412 memory=14012 CPUtime=228.79 cores=1,3,5,7
/proc/32142/task/32182/stat : 32182 (java) R 32139 32139 32088 0 -1 4202560 1131 0 0 0 22879 0 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405904800640 140406664885405 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32183] ppid=32139 vsize=15417412 memory=14972 CPUtime=228.7 cores=1,3,5,7
/proc/32142/task/32183/stat : 32183 (java) R 32139 32139 32088 0 -1 4202560 8980 0 0 0 22866 4 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405591758056 140406664365380 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32184] ppid=32139 vsize=15417412 memory=12024 CPUtime=228.85 cores=1,3,5,7
/proc/32142/task/32184/stat : 32184 (java) R 32139 32139 32088 0 -1 4202560 685 0 0 0 22884 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405590704464 140406664244482 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32185] ppid=32139 vsize=15417412 memory=2120 CPUtime=228.98 cores=1,3,5,7
/proc/32142/task/32185/stat : 32185 (java) R 32139 32139 32088 0 -1 4202560 4887 0 0 0 22897 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405589653696 140406664886290 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 922.79 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 412516 KiB

[startup+233.001 s]*
/proc/loadavg: 8.23 5.02 2.73 9/239 32213
/proc/meminfo: memFree=28149984/32770624 swapFree=66953988/67108860
[pid=32139] ppid=32136 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32139/stat : 32139 (xcsp3-exec) S 32136 32139 32088 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 445812480 115843072 362 33554432000 4194304 5098028 140733248635280 140733248633384 140087883965052 0 65536 4100 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 35299328 140733248643962 140733248644205 140733248644205 140733248647114 0
/proc/32139/statm: 28282 362 304 221 0 87 0
[pid=32142] ppid=32139 vsize=15417412 memory=411068 CPUtime=923.62 cores=1,3,5,7
/proc/32142/stat : 32142 (java) S 32139 32139 32088 0 -1 1077944320 56328 0 0 0 92318 44 0 0 20 0 19 0 445812481 15787429888 102767 33554432000 4194304 4196468 140724835183968 140724835166512 140407044067063 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
/proc/32142/statm: 3854353 102767 3526 1 0 3815453 0
[pid=32142/tid=32146] ppid=32139 vsize=15417412 memory=6791534058613427641 CPUtime=0.82 cores=1,3,5,7
/proc/32142/task/32146/stat : 32146 (java) S 32139 32139 32088 0 -1 1077944384 9246 0 0 0 78 4 0 0 20 0 19 0 445812481 15787429888 102767 33554432000 4194304 4196468 140724835183968 140407048307840 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32147] ppid=32139 vsize=15417412 memory=4126316290023845779 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32147/stat : 32147 (java) S 32139 32139 32088 0 -1 1077944384 2022 0 0 0 67 6 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406980303248 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32148] ppid=32139 vsize=15417412 memory=13854083555545657 CPUtime=0.72 cores=1,3,5,7
/proc/32142/task/32148/stat : 32148 (java) S 32139 32139 32088 0 -1 1077944384 2349 0 0 0 67 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406979250448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32149] ppid=32139 vsize=15417412 memory=13861 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32149/stat : 32149 (java) S 32139 32139 32088 0 -1 1077944384 2136 0 0 0 68 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406633847440 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32150] ppid=32139 vsize=15417412 memory=23922 CPUtime=0.73 cores=1,3,5,7
/proc/32142/task/32150/stat : 32150 (java) S 32139 32139 32088 0 -1 1077944384 3242 0 0 0 68 5 0 0 20 0 19 0 445812482 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406632794640 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32159] ppid=32139 vsize=15417412 memory=-9109213556524817781 CPUtime=0.39 cores=1,3,5,7
/proc/32142/task/32159/stat : 32159 (java) S 32139 32139 32088 0 -1 1077944384 5179 0 0 0 31 8 0 0 20 0 19 0 445812483 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406579890800 140407044078210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32160] ppid=32139 vsize=15417412 memory=4628982013198962038 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32160/stat : 32160 (java) S 32139 32139 32088 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 19 0 445812484 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406578836832 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32165] ppid=32139 vsize=15417412 memory=-2893623298589923098 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32165/stat : 32165 (java) S 32139 32139 32088 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 445812484 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406577784448 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32169] ppid=32139 vsize=15417412 memory=139721402025600 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32169/stat : 32169 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406576732752 140407044085659 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32170] ppid=32139 vsize=15417412 memory=0 CPUtime=1.24 cores=1,3,5,7
/proc/32142/task/32170/stat : 32170 (java) S 32139 32139 32088 0 -1 1077944384 5466 0 0 0 123 1 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140406575679600 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32171] ppid=32139 vsize=15417412 memory=16660 CPUtime=1.32 cores=1,3,5,7
/proc/32142/task/32171/stat : 32171 (java) S 32139 32139 32088 0 -1 1077944384 5367 0 0 0 131 1 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405912889328 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32172] ppid=32139 vsize=15417412 memory=139721402024417 CPUtime=0.63 cores=1,3,5,7
/proc/32142/task/32172/stat : 32172 (java) S 32139 32139 32088 0 -1 1077944384 4005 0 0 0 63 0 0 0 20 0 19 0 445812486 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405911837040 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32173] ppid=32139 vsize=15417412 memory=13861 CPUtime=0 cores=1,3,5,7
/proc/32142/task/32173/stat : 32173 (java) S 32139 32139 32088 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445812487 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405910784480 140407044077269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32174] ppid=32139 vsize=15417412 memory=23922 CPUtime=0.05 cores=1,3,5,7
/proc/32142/task/32174/stat : 32174 (java) S 32139 32139 32088 0 -1 1077944384 273 0 0 0 0 5 0 0 20 0 19 0 445812487 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405909732272 140407044078210 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32182] ppid=32139 vsize=15417412 memory=-3040564339105353098 CPUtime=229 cores=1,3,5,7
/proc/32142/task/32182/stat : 32182 (java) R 32139 32139 32088 0 -1 4202560 1131 0 0 0 22900 0 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405904800640 140406664365330 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32183] ppid=32139 vsize=15417412 memory=7976406965554101975 CPUtime=228.9 cores=1,3,5,7
/proc/32142/task/32183/stat : 32183 (java) R 32139 32139 32088 0 -1 4202560 8980 0 0 0 22886 4 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405591758056 140406664246057 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32184] ppid=32139 vsize=15417412 memory=13861 CPUtime=229.05 cores=1,3,5,7
/proc/32142/task/32184/stat : 32184 (java) R 32139 32139 32088 0 -1 4202560 685 0 0 0 22904 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405590704464 140406664062486 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
[pid=32142/tid=32185] ppid=32139 vsize=15417412 memory=23922 CPUtime=229.19 cores=1,3,5,7
/proc/32142/task/32185/stat : 32185 (java) R 32139 32139 32088 0 -1 4202560 4887 0 0 0 22918 1 0 0 20 0 19 0 445812565 15787429888 102767 33554432000 4194304 4196468 140724835183968 140405589653696 140406664061350 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15765504 140724835189743 140724835189914 140724835189914 140724835192783 0
Current children cumulated CPU time: 923.62 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 412516 KiB

Child status: 0
Real time (s): 233.074
CPU time (s): 923.816
CPU user time (s): 923.364
CPU system time (s): 0.451207
CPU usage (%): 396.361
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 607852

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 923.364
system time used= 0.451207
maximum resident set size= 606792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 57224
page faults= 0
swaps= 0
block input operations= 0
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17957
involuntary context switches= 22057


# summary of solver processes directly reported to runsolver:
#   pid: 32139
#   total CPU time (s): 923.816
#   total CPU user time (s): 923.364
#   total CPU system time (s): 0.451207

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41539 second user time and 2.75999 second system time

The end
Name	PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army13-24ls.xml
MD5SUM	0f005dd489acd3d024429b7d4f1ec9d6
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	34.6669
Satisfiable
(Un)Satisfiability was proved
Number of variables	490
Number of constraints	737
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":490}]
Minimum variable degree	3
Maximum variable degree	15
Distribution of variable degrees	[{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":346},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":8},{"degree":15,"count":56}]
Minimum constraint arity	2
Maximum constraint arity	169
Distribution of constraint arities	[{"arity":2,"count":253},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":346},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":8},{"arity":14,"count":56},{"arity":169,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":737}]
Optimization problem	NO
Type of objective
Trace number 4399019

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
