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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	OPT	331	2247.46	564.975
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 (11927 MiB free)
  memory of node 1: 16384 MiB (15396 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399307-1568698813/watcher-4399307-1568698813 -o /tmp/evaluation-result-4399307-1568698813/solver-4399307-1568698813 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568698192-7961 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 838472770 HOME/instance-4399307-1568698813.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
Current StackSize limit: 8192 KiB

solver pid=9660, runsolver pid=9657

[startup+0.100063 s]*
/proc/loadavg: 8.43 6.56 4.08 7/235 9676
/proc/meminfo: memFree=27961748/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0
[pid=9662] ppid=9660 vsize=15144776 memory=30028 CPUtime=0.12 cores=1,3,5,7
/proc/9662/stat : 9662 (java) S 9660 9660 7929 0 -1 1077944320 5903 0 0 0 12 0 0 0 20 0 15 0 446148087 15508250624 7507 33554432000 4194304 4196468 140736636117424 140736636099968 140083377114871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
/proc/9662/statm: 3786194 7507 3154 1 0 3748377 0
[pid=9662/tid=9663] ppid=9660 vsize=15144776 memory=7100839861431010418 CPUtime=0.09 cores=1,3,5,7
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7929 0 -1 4202560 3827 0 0 0 9 0 0 0 20 0 15 0 446148088 15508250624 7507 33554432000 4194304 4196468 140736636117424 140083381339280 140083377136797 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9664] ppid=9660 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148088 15508250624 7507 33554432000 4194304 4196468 140736636117424 140083313351056 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9665] ppid=9660 vsize=15144776 memory=139683710469760 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446148088 15508250624 7507 33554432000 4194304 4196468 140736636117424 140083312298256 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9666] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082967796368 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9667] ppid=9660 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082966743568 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9668] ppid=9660 vsize=15144776 memory=139683710469760 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446148090 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082912877168 140083377126018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9669] ppid=9660 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446148090 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082911823136 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9670] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446148091 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082910770800 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9671] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082909719120 140083377133467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9672] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9672/stat : 9672 (java) R 9660 9660 7929 0 -1 4202560 448 0 0 0 0 0 0 0 20 0 15 0 446148093 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082841372624 140083354976448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9673] ppid=9660 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9673/stat : 9673 (java) R 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148093 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082840328176 140083377126018 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9674] ppid=9660 vsize=15144776 memory=139683710469760 CPUtime=0.02 cores=1,3,5,7
/proc/9662/task/9674/stat : 9674 (java) R 9660 9660 7929 0 -1 4202560 358 0 0 0 2 0 0 0 20 0 15 0 446148093 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082839275888 140083355918095 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9675] ppid=9660 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082838223328 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9676] ppid=9660 vsize=15144776 memory=139683710469760 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148094 15508250624 7507 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31480 KiB

[startup+0.210997 s]*
/proc/loadavg: 8.43 6.56 4.08 7/235 9676
/proc/meminfo: memFree=27949044/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0
[pid=9662] ppid=9660 vsize=15144776 memory=41032 CPUtime=0.34 cores=1,3,5,7
/proc/9662/stat : 9662 (java) S 9660 9660 7929 0 -1 1077944320 9459 0 0 0 32 2 0 0 20 0 15 0 446148087 15508250624 10258 33554432000 4194304 4196468 140736636117424 140736636099968 140083377114871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
/proc/9662/statm: 3786194 10258 3310 1 0 3748377 0
[pid=9662/tid=9663] ppid=9660 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7929 0 -1 4202560 6641 0 0 0 18 2 0 0 20 0 15 0 446148088 15508250624 10258 33554432000 4194304 4196468 140736636117424 140083381353872 140083361195358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9664] ppid=9660 vsize=15144776 memory=9034 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148088 15508250624 10258 33554432000 4194304 4196468 140736636117424 140083313351056 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9665] ppid=9660 vsize=15144776 memory=139683713758216 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446148088 15508250624 10258 33554432000 4194304 4196468 140736636117424 140083312298256 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9666] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082967796368 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9667] ppid=9660 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082966743568 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9668] ppid=9660 vsize=15144776 memory=139683710469760 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446148090 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082912877168 140083377126018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9669] ppid=9660 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446148090 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082911823136 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9670] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446148091 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082910770800 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9671] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082909719120 140083377133467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9672] ppid=9660 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7929 0 -1 1077944384 505 0 0 0 2 0 0 0 20 0 15 0 446148093 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082841380976 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9673] ppid=9660 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7929 0 -1 1077944384 258 0 0 0 2 0 0 0 20 0 15 0 446148093 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082840328176 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9674] ppid=9660 vsize=15144776 memory=139683710469760 CPUtime=0.08 cores=1,3,5,7
/proc/9662/task/9674/stat : 9674 (java) R 9660 9660 7929 0 -1 4202560 753 0 0 0 8 0 0 0 20 0 15 0 446148093 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082839276016 140083369351998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9675] ppid=9660 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082838223328 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9676] ppid=9660 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148094 15508250624 10258 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42484 KiB

[startup+0.317702 s]*
/proc/loadavg: 8.43 6.56 4.08 7/235 9676
/proc/meminfo: memFree=27942248/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0
[pid=9662] ppid=9660 vsize=15149032 memory=50368 CPUtime=0.54 cores=1,3,5,7
/proc/9662/stat : 9662 (java) S 9660 9660 7929 0 -1 1077944320 10950 0 0 0 51 3 0 0 20 0 15 0 446148087 15512608768 12592 33554432000 4194304 4196468 140736636117424 140736636099968 140083377114871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
/proc/9662/statm: 3787258 12592 3359 1 0 3748377 0
[pid=9662/tid=9663] ppid=9660 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7929 0 -1 4202560 7897 0 0 0 28 2 0 0 20 0 15 0 446148088 15512608768 12657 33554432000 4194304 4196468 140736636117424 140083381346760 140083361195358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9664] ppid=9660 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148088 15512608768 12657 33554432000 4194304 4196468 140736636117424 140083313351056 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9665] ppid=9660 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446148088 15512608768 12657 33554432000 4194304 4196468 140736636117424 140083312298256 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9666] ppid=9660 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082967796368 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9667] ppid=9660 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082966743568 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9668] ppid=9660 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446148090 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082912877168 140083377126018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9669] ppid=9660 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446148090 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082911823136 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9670] ppid=9660 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446148091 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082910770800 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9671] ppid=9660 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082909719120 140083377133467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9672] ppid=9660 vsize=15149032 memory=-8412660965215072671 CPUtime=0.04 cores=1,3,5,7
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7929 0 -1 1077944384 512 0 0 0 4 0 0 0 20 0 15 0 446148093 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082841380976 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9673] ppid=9660 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7929 0 -1 1077944384 395 0 0 0 5 0 0 0 20 0 15 0 446148093 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082840328176 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9674] ppid=9660 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7929 0 -1 1077944384 848 0 0 0 13 0 0 0 20 0 15 0 446148093 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082839275888 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9675] ppid=9660 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082838223328 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9676] ppid=9660 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148094 15512608768 12657 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51820 KiB

[startup+0.700855 s]
/proc/loadavg: 8.43 6.56 4.08 8/235 9676
/proc/meminfo: memFree=27917844/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0
[pid=9662] ppid=9660 vsize=15151156 memory=125684 CPUtime=1.8 cores=1,3,5,7
/proc/9662/stat : 9662 (java) S 9660 9660 7929 0 -1 1077944320 13827 0 0 0 175 5 0 0 20 0 15 0 446148087 15514783744 31421 33554432000 4194304 4196468 140736636117424 140736636099968 140083377114871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
/proc/9662/statm: 3787789 31421 3451 1 0 3748889 0
[pid=9662/tid=9663] ppid=9660 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/9662/task/9663/stat : 9663 (java) R 9660 9660 7929 0 -1 4202560 8385 0 0 0 64 3 0 0 20 0 15 0 446148088 15514783744 31421 33554432000 4194304 4196468 140736636117424 140083381348688 140083361195358 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9664] ppid=9660 vsize=15151156 memory=47216 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148088 15514783744 31421 33554432000 4194304 4196468 140736636117424 140083313351056 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9665] ppid=9660 vsize=15151156 memory=984 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7929 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446148088 15514783744 31421 33554432000 4194304 4196468 140736636117424 140083312298256 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9666] ppid=9660 vsize=15151156 memory=2004 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082967796368 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9667] ppid=9660 vsize=15151156 memory=1376 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148089 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082966743568 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9668] ppid=9660 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7929 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446148090 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082912877168 140083377126018 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9669] ppid=9660 vsize=15151156 memory=4068 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446148090 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082911823136 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9670] ppid=9660 vsize=15151156 memory=1720 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7929 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446148091 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082910770800 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9671] ppid=9660 vsize=15151156 memory=5948 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082909719120 140083377133467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9672] ppid=9660 vsize=15151156 memory=10564 CPUtime=0.39 cores=1,3,5,7
/proc/9662/task/9672/stat : 9672 (java) R 9660 9660 7929 0 -1 4202560 1355 0 0 0 39 0 0 0 20 0 15 0 446148093 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082841367824 140083369404343 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9673] ppid=9660 vsize=15151156 memory=716 CPUtime=0.39 cores=1,3,5,7
/proc/9662/task/9673/stat : 9673 (java) R 9660 9660 7929 0 -1 4202560 1263 0 0 0 39 0 0 0 20 0 15 0 446148093 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082840319632 140083356450496 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9674] ppid=9660 vsize=15151156 memory=780 CPUtime=0.31 cores=1,3,5,7
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7929 0 -1 1077944384 1517 0 0 0 31 0 0 0 20 0 15 0 446148093 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082839275888 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9675] ppid=9660 vsize=15151156 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446148093 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082838223328 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9676] ppid=9660 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446148094 15514783744 31421 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 1.8 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 127136 KiB

[startup+1.50171 s]
/proc/loadavg: 8.43 6.56 4.08 9/234 9676
/proc/meminfo: memFree=27808020/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0

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

/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 699 0 0 0 13 13 0 0 20 0 19 0 446148094 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9737] ppid=9660 vsize=15683668 memory=716 CPUtime=556.05 cores=1,3,5,7
/proc/9662/task/9737/stat : 9737 (java) R 9660 9660 7929 0 -1 4202560 810 0 0 0 55603 2 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082826897920 140082993531640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9738] ppid=9660 vsize=15683668 memory=1452 CPUtime=555.56 cores=1,3,5,7
/proc/9662/task/9738/stat : 9738 (java) R 9660 9660 7929 0 -1 4202560 10308 0 0 0 55544 12 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082825849440 140083000696398 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9739] ppid=9660 vsize=15683668 memory=1016160 CPUtime=552.85 cores=1,3,5,7
/proc/9662/task/9739/stat : 9739 (java) R 9660 9660 7929 0 -1 4202560 945 0 0 0 55285 0 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082820583512 140082999507194 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9740] ppid=9660 vsize=15683668 memory=1452 CPUtime=553.86 cores=1,3,5,7
/proc/9662/task/9740/stat : 9740 (java) R 9660 9660 7929 0 -1 4202560 3573 0 0 0 55382 4 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082821636456 140082999554508 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 2243.67 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 990424 KiB

[startup+564.402 s]
/proc/loadavg: 7.23 7.92 6.00 6/233 9869
/proc/meminfo: memFree=23347720/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0
[pid=9662] ppid=9660 vsize=15683668 memory=988972 CPUtime=2245.23 cores=1,3,5,7
/proc/9662/stat : 9662 (java) S 9660 9660 7929 0 -1 1077944320 73274 0 0 0 224471 52 0 0 20 0 19 0 446148087 16060076032 247243 33554432000 4194304 4196468 140736636117424 140736636099968 140083377114871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
/proc/9662/statm: 3920917 247243 3526 1 0 3882017 0
[pid=9662/tid=9663] ppid=9660 vsize=15683668 memory=1452 CPUtime=1.42 cores=1,3,5,7
/proc/9662/task/9663/stat : 9663 (java) S 9660 9660 7929 0 -1 1077944384 9271 0 0 0 138 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083381355648 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9664] ppid=9660 vsize=15683668 memory=988972 CPUtime=0.13 cores=1,3,5,7
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7929 0 -1 1077944384 1074 0 0 0 9 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083313351056 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9665] ppid=9660 vsize=15683668 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7929 0 -1 1077944384 1335 0 0 0 10 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083312298256 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9666] ppid=9660 vsize=15683668 memory=8112282956445269571 CPUtime=0.12 cores=1,3,5,7
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7929 0 -1 1077944384 2939 0 0 0 9 3 0 0 20 0 19 0 446148089 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082967796368 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9667] ppid=9660 vsize=15683668 memory=988972 CPUtime=0.13 cores=1,3,5,7
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7929 0 -1 1077944384 2133 0 0 0 9 4 0 0 20 0 19 0 446148089 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082966743568 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9668] ppid=9660 vsize=15683668 memory=1452 CPUtime=0.04 cores=1,3,5,7
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7929 0 -1 1077944384 2644 0 0 0 3 1 0 0 20 0 19 0 446148090 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082912877168 140083377126018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9669] ppid=9660 vsize=15683668 memory=988972 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446148090 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082911823200 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9670] ppid=9660 vsize=15683668 memory=8112282956445269571 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7929 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446148091 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082910770816 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9671] ppid=9660 vsize=15683668 memory=1432 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082909719120 140083377133467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9672] ppid=9660 vsize=15683668 memory=1764 CPUtime=2.99 cores=1,3,5,7
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7929 0 -1 1077944384 13783 0 0 0 298 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082841380976 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9673] ppid=9660 vsize=15683668 memory=111632 CPUtime=2.68 cores=1,3,5,7
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7929 0 -1 1077944384 12845 0 0 0 267 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082840328176 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9674] ppid=9660 vsize=15683668 memory=804 CPUtime=0.8 cores=1,3,5,7
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7929 0 -1 1077944384 8224 0 0 0 79 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082839275888 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9675] ppid=9660 vsize=15683668 memory=1804 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082838223328 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9676] ppid=9660 vsize=15683668 memory=920 CPUtime=0.26 cores=1,3,5,7
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 699 0 0 0 13 13 0 0 20 0 19 0 446148094 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9737] ppid=9660 vsize=15683668 memory=3848 CPUtime=556.44 cores=1,3,5,7
/proc/9662/task/9737/stat : 9737 (java) R 9660 9660 7929 0 -1 4202560 810 0 0 0 55642 2 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082826897920 140082999507362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9738] ppid=9660 vsize=15683668 memory=2592 CPUtime=555.95 cores=1,3,5,7
/proc/9662/task/9738/stat : 9738 (java) R 9660 9660 7929 0 -1 4202560 10308 0 0 0 55583 12 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082825849440 140082999507367 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9739] ppid=9660 vsize=15683668 memory=2608 CPUtime=553.24 cores=1,3,5,7
/proc/9662/task/9739/stat : 9739 (java) R 9660 9660 7929 0 -1 4202560 946 0 0 0 55324 0 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082820583512 140082999410207 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9740] ppid=9660 vsize=15683668 memory=1412 CPUtime=554.25 cores=1,3,5,7
/proc/9662/task/9740/stat : 9740 (java) R 9660 9660 7929 0 -1 4202560 3641 0 0 0 55421 4 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082821638488 140082999335232 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 2245.23 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 990424 KiB

[startup+564.802 s]
/proc/loadavg: 7.23 7.92 6.00 6/233 9869
/proc/meminfo: memFree=23347720/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0
[pid=9662] ppid=9660 vsize=15683668 memory=988972 CPUtime=2246.82 cores=1,3,5,7
/proc/9662/stat : 9662 (java) S 9660 9660 7929 0 -1 1077944320 73291 0 0 0 224630 52 0 0 20 0 19 0 446148087 16060076032 247243 33554432000 4194304 4196468 140736636117424 140736636099968 140083377114871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
/proc/9662/statm: 3920917 247243 3526 1 0 3882017 0
[pid=9662/tid=9663] ppid=9660 vsize=15683668 memory=2004 CPUtime=1.42 cores=1,3,5,7
/proc/9662/task/9663/stat : 9663 (java) S 9660 9660 7929 0 -1 1077944384 9271 0 0 0 138 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083381355648 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9664] ppid=9660 vsize=15683668 memory=8112282956445269571 CPUtime=0.13 cores=1,3,5,7
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7929 0 -1 1077944384 1074 0 0 0 9 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083313351056 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9665] ppid=9660 vsize=15683668 memory=8112282956445269571 CPUtime=0.14 cores=1,3,5,7
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7929 0 -1 1077944384 1335 0 0 0 10 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083312298256 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9666] ppid=9660 vsize=15683668 memory=804 CPUtime=0.12 cores=1,3,5,7
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7929 0 -1 1077944384 2939 0 0 0 9 3 0 0 20 0 19 0 446148089 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082967796368 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9667] ppid=9660 vsize=15683668 memory=1804 CPUtime=0.13 cores=1,3,5,7
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7929 0 -1 1077944384 2133 0 0 0 9 4 0 0 20 0 19 0 446148089 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082966743568 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9668] ppid=9660 vsize=15683668 memory=920 CPUtime=0.04 cores=1,3,5,7
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7929 0 -1 1077944384 2644 0 0 0 3 1 0 0 20 0 19 0 446148090 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082912877168 140083377126018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9669] ppid=9660 vsize=15683668 memory=1556 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446148090 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082911823200 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9670] ppid=9660 vsize=15683668 memory=928 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7929 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446148091 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082910770816 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9671] ppid=9660 vsize=15683668 memory=1520 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082909719120 140083377133467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9672] ppid=9660 vsize=15683668 memory=1980 CPUtime=2.99 cores=1,3,5,7
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7929 0 -1 1077944384 13783 0 0 0 298 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082841380976 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9673] ppid=9660 vsize=15683668 memory=2572 CPUtime=2.68 cores=1,3,5,7
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7929 0 -1 1077944384 12845 0 0 0 267 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082840328176 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9674] ppid=9660 vsize=15683668 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7929 0 -1 1077944384 8224 0 0 0 79 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082839275888 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9675] ppid=9660 vsize=15683668 memory=988972 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082838223328 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9676] ppid=9660 vsize=15683668 memory=1732 CPUtime=0.26 cores=1,3,5,7
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 699 0 0 0 13 13 0 0 20 0 19 0 446148094 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9737] ppid=9660 vsize=15683668 memory=8317482817917895235 CPUtime=556.84 cores=1,3,5,7
/proc/9662/task/9737/stat : 9737 (java) R 9660 9660 7929 0 -1 4202560 811 0 0 0 55682 2 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082826897920 140082999507319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9738] ppid=9660 vsize=15683668 memory=4126316290023845779 CPUtime=556.35 cores=1,3,5,7
/proc/9662/task/9738/stat : 9738 (java) R 9660 9660 7929 0 -1 4202560 10324 0 0 0 55623 12 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082825849440 140082999506568 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9739] ppid=9660 vsize=15683668 memory=780 CPUtime=553.64 cores=1,3,5,7
/proc/9662/task/9739/stat : 9739 (java) R 9660 9660 7929 0 -1 4202560 946 0 0 0 55364 0 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082820583512 140082998864729 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9740] ppid=9660 vsize=15683668 memory=1552 CPUtime=554.65 cores=1,3,5,7
/proc/9662/task/9740/stat : 9740 (java) R 9660 9660 7929 0 -1 4202560 3641 0 0 0 55461 4 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082821638488 140082999507319 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 2246.82 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 990424 KiB

[startup+564.902 s]
/proc/loadavg: 7.23 7.92 6.00 6/233 9869
/proc/meminfo: memFree=23347720/32770624 swapFree=66967456/67108860
[pid=9660] ppid=9657 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9660/stat : 9660 (xcsp3-exec) S 9657 9660 7929 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 446148087 115843072 363 33554432000 4194304 5098028 140720717149968 140720717148072 140535842611836 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 17416192 140720717157243 140720717157485 140720717157485 140720717160394 0
/proc/9660/statm: 28282 363 304 221 0 87 0
[pid=9662] ppid=9660 vsize=15683668 memory=988972 CPUtime=2247.22 cores=1,3,5,7
/proc/9662/stat : 9662 (java) S 9660 9660 7929 0 -1 1077944320 73292 0 0 0 224670 52 0 0 20 0 19 0 446148087 16060076032 247243 33554432000 4194304 4196468 140736636117424 140736636099968 140083377114871 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
/proc/9662/statm: 3920917 247243 3526 1 0 3882017 0
[pid=9662/tid=9663] ppid=9660 vsize=15683668 memory=988972 CPUtime=1.42 cores=1,3,5,7
/proc/9662/task/9663/stat : 9663 (java) S 9660 9660 7929 0 -1 1077944384 9271 0 0 0 138 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083381355648 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9664] ppid=9660 vsize=15683668 memory=988972 CPUtime=0.13 cores=1,3,5,7
/proc/9662/task/9664/stat : 9664 (java) S 9660 9660 7929 0 -1 1077944384 1074 0 0 0 9 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083313351056 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9665] ppid=9660 vsize=15683668 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/9662/task/9665/stat : 9665 (java) S 9660 9660 7929 0 -1 1077944384 1335 0 0 0 10 4 0 0 20 0 19 0 446148088 16060076032 247243 33554432000 4194304 4196468 140736636117424 140083312298256 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9666] ppid=9660 vsize=15683668 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/9662/task/9666/stat : 9666 (java) S 9660 9660 7929 0 -1 1077944384 2939 0 0 0 9 3 0 0 20 0 19 0 446148089 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082967796368 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9667] ppid=9660 vsize=15683668 memory=2832 CPUtime=0.13 cores=1,3,5,7
/proc/9662/task/9667/stat : 9667 (java) S 9660 9660 7929 0 -1 1077944384 2133 0 0 0 9 4 0 0 20 0 19 0 446148089 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082966743568 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9668] ppid=9660 vsize=15683668 memory=988972 CPUtime=0.04 cores=1,3,5,7
/proc/9662/task/9668/stat : 9668 (java) S 9660 9660 7929 0 -1 1077944384 2644 0 0 0 3 1 0 0 20 0 19 0 446148090 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082912877168 140083377126018 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9669] ppid=9660 vsize=15683668 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9669/stat : 9669 (java) S 9660 9660 7929 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 446148090 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082911823200 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9670] ppid=9660 vsize=15683668 memory=988972 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9670/stat : 9670 (java) S 9660 9660 7929 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446148091 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082910770816 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9671] ppid=9660 vsize=15683668 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9671/stat : 9671 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082909719120 140083377133467 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9672] ppid=9660 vsize=15683668 memory=1376 CPUtime=2.99 cores=1,3,5,7
/proc/9662/task/9672/stat : 9672 (java) S 9660 9660 7929 0 -1 1077944384 13783 0 0 0 298 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082841380976 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9673] ppid=9660 vsize=15683668 memory=1060 CPUtime=2.68 cores=1,3,5,7
/proc/9662/task/9673/stat : 9673 (java) S 9660 9660 7929 0 -1 1077944384 12845 0 0 0 267 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082840328176 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9674] ppid=9660 vsize=15683668 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/9662/task/9674/stat : 9674 (java) S 9660 9660 7929 0 -1 1077944384 8224 0 0 0 79 1 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082839275888 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9675] ppid=9660 vsize=15683668 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/9662/task/9675/stat : 9675 (java) S 9660 9660 7929 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446148093 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082838223328 140083377125077 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9676] ppid=9660 vsize=15683668 memory=97 CPUtime=0.26 cores=1,3,5,7
/proc/9662/task/9676/stat : 9676 (java) S 9660 9660 7929 0 -1 1077944384 699 0 0 0 13 13 0 0 20 0 19 0 446148094 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082837171120 140083377126018 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9737] ppid=9660 vsize=15683668 memory=288230613197267750 CPUtime=556.94 cores=1,3,5,7
/proc/9662/task/9737/stat : 9737 (java) R 9660 9660 7929 0 -1 4202560 811 0 0 0 55692 2 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082826897920 140082999507319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9738] ppid=9660 vsize=15683668 memory=3620 CPUtime=556.45 cores=1,3,5,7
/proc/9662/task/9738/stat : 9738 (java) R 9660 9660 7929 0 -1 4202560 10325 0 0 0 55633 12 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082825849440 140083363182996 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9739] ppid=9660 vsize=15683668 memory=47228 CPUtime=553.74 cores=1,3,5,7
/proc/9662/task/9739/stat : 9739 (java) R 9660 9660 7929 0 -1 4202560 946 0 0 0 55374 0 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082820583512 140082999507319 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
[pid=9662/tid=9740] ppid=9660 vsize=15683668 memory=1452 CPUtime=554.75 cores=1,3,5,7
/proc/9662/task/9740/stat : 9740 (java) R 9660 9660 7929 0 -1 4202560 3641 0 0 0 55471 4 0 0 20 0 19 0 446148720 16060076032 247243 33554432000 4194304 4196468 140736636117424 140082821638488 140082999132130 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33296384 140736636122095 140736636122266 140736636122266 140736636125135 0
Current children cumulated CPU time: 2247.22 s
Current children cumulated vsize: 15796796 KiB
Current children cumulated memory: 990424 KiB

Child status: 0
Real time (s): 564.975
CPU time (s): 2247.46
CPU user time (s): 2246.92
CPU system time (s): 0.537902
CPU usage (%): 397.798
Max. virtual memory (cumulated for all children) (KiB): 15796796
Max. memory (cumulated for all children) (KiB): 1144908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2246.92
system time used= 0.537902
maximum resident set size= 1149608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 74604
page faults= 0
swaps= 0
block input operations= 0
block output operations= 760
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15501
involuntary context switches= 36667


# summary of solver processes directly reported to runsolver:
#   pid: 9660
#   total CPU time (s): 2247.46
#   total CPU user time (s): 2246.92
#   total CPU system time (s): 0.537902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.5658 second user time and 6.52294 second system time

The end
Name	PseudoBoolean/PseudoBoolean-opt-dimacs/ Pb-ii32b3.xml
MD5SUM	c1d081b79f1c10e41665328fecc5a7d0
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	331
Best CPU time to get the best result obtained on this benchmark	119.032
Satisfiable
(Un)Satisfiability was proved
Number of variables	696
Number of constraints	6082
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":696}]
Minimum variable degree	3
Maximum variable degree	119
Distribution of variable degrees	[{"degree":3,"count":156},{"degree":14,"count":3},{"degree":15,"count":3},{"degree":16,"count":3},{"degree":18,"count":3},{"degree":21,"count":6},{"degree":22,"count":6},{"degree":23,"count":15},{"degree":24,"count":9},{"degree":25,"count":6},{"degree":26,"count":6},{"degree":27,"count":6},{"degree":28,"count":21},{"degree":29,"count":18},{"degree":30,"count":21},{"degree":31,"count":6},{"degree":32,"count":6},{"degree":33,"count":6},{"degree":34,"count":165},{"degree":35,"count":15},{"degree":36,"count":6},{"degree":37,"count":6},{"degree":40,"count":3},{"degree":42,"count":3},{"degree":43,"count":3},"...",{"degree":86,"count":3}, {"degree":88,"count":3}, {"degree":91,"count":3}, {"degree":92,"count":6}, {"degree":93,"count":3}, {"degree":94,"count":6}, {"degree":95,"count":6}, {"degree":96,"count":21}, {"degree":97,"count":6}, {"degree":99,"count":15}, {"degree":100,"count":12}, {"degree":101,"count":6}, {"degree":102,"count":12}, {"degree":103,"count":15}, {"degree":105,"count":6}, {"degree":106,"count":21}, {"degree":107,"count":6}, {"degree":108,"count":6}, {"degree":109,"count":3}, {"degree":110,"count":6}, {"degree":111,"count":3}, {"degree":114,"count":3}, {"degree":116,"count":3}, {"degree":118,"count":6}, {"degree":119,"count":3}]
Minimum constraint arity	2
Maximum constraint arity	32
Distribution of constraint arities	[{"arity":2,"count":5436},{"arity":3,"count":52},{"arity":32,"count":594}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":6082}]
Optimization problem	YES
Type of objective	min SUM
Trace number 4399307

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data
