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-20	OPT	8	438.589	111.249
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 (3281 MiB free)
  memory of node 1: 16384 MiB (2313 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403668-1568988521/watcher-4403668-1568988521 -o /tmp/evaluation-result-4403668-1568988521/solver-4403668-1568988521 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30877 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 381389724 HOME/instance-4403668-1568988521.xml 

running on 4 cores: 0,2,4,6

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=32141, runsolver pid=32138


[startup+0.101575 s]*
/proc/loadavg: 8.53 7.56 4.64 6/232 32157
/proc/meminfo: memFree=5713092/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0
[pid=32143] ppid=32141 vsize=15144776 memory=28944 CPUtime=0.14 cores=0,2,4,6
/proc/32143/stat : 32143 (java) S 32141 32141 30846 0 -1 1077944320 5715 0 0 0 12 2 0 0 20 0 15 0 475121794 15508250624 7236 33554432000 4194304 4196468 140733843134032 140733843116576 140702584180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
/proc/32143/statm: 3786194 7236 3151 1 0 3748377 0
[pid=32143/tid=32144] ppid=32141 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) R 32141 32141 30846 0 -1 4202560 3584 0 0 0 8 1 0 0 20 0 15 0 475121794 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702588403168 140702584201818 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32145] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702536800528 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32146] ppid=32141 vsize=15144776 memory=139852755887744 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702535747984 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32147] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702534695440 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32148] ppid=32141 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) S 32141 32141 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702533642896 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32149] ppid=32141 vsize=15144776 memory=139852755887744 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) S 32141 32141 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121796 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702052764144 140702584191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32150] ppid=32141 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) S 32141 32141 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475121797 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702051710368 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32151] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) S 32141 32141 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475121797 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702050657776 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32152] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121799 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702049606352 140702584199067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32153] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) R 32141 32141 30846 0 -1 1077944384 419 0 0 0 0 0 0 0 20 0 15 0 475121799 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702048552944 140702584191618 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32154] ppid=32141 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) R 32141 32141 30846 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 15 0 475121799 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702047491904 140702565545165 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32155] ppid=32141 vsize=15144776 memory=139852755887744 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) R 32141 32141 30846 0 -1 4202560 361 0 0 0 2 0 0 0 20 0 15 0 475121799 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702046445392 140702584192406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32156] ppid=32141 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121800 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702045395552 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32157] ppid=32141 vsize=15144776 memory=139852755887744 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121800 15508250624 7236 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30396 KiB

[startup+0.211008 s]*
/proc/loadavg: 8.53 7.56 4.64 6/232 32157
/proc/meminfo: memFree=5699464/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0
[pid=32143] ppid=32141 vsize=15144776 memory=40944 CPUtime=0.34 cores=0,2,4,6
/proc/32143/stat : 32143 (java) S 32141 32141 30846 0 -1 1077944320 9469 0 0 0 31 3 0 0 20 0 15 0 475121794 15508250624 10236 33554432000 4194304 4196468 140733843134032 140733843116576 140702584180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
/proc/32143/statm: 3786194 10236 3311 1 0 3748377 0
[pid=32143/tid=32144] ppid=32141 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) R 32141 32141 30846 0 -1 4202560 6631 0 0 0 18 2 0 0 20 0 15 0 475121794 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702588415456 140702568224101 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32145] ppid=32141 vsize=15144776 memory=12641 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702536800528 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32146] ppid=32141 vsize=15144776 memory=288370228907599488 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702535747984 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32147] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702534695440 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32148] ppid=32141 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) S 32141 32141 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121795 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702533642896 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32149] ppid=32141 vsize=15144776 memory=139852755887744 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) S 32141 32141 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475121796 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702052764144 140702584191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32150] ppid=32141 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) S 32141 32141 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475121797 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702051710368 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32151] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) S 32141 32141 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475121797 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702050657776 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32152] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121799 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702049606352 140702584199067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32153] ppid=32141 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) S 32141 32141 30846 0 -1 1077944384 603 0 0 0 1 0 0 0 20 0 15 0 475121799 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702048552944 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32154] ppid=32141 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) S 32141 32141 30846 0 -1 1077944384 153 0 0 0 3 0 0 0 20 0 15 0 475121799 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702047500400 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32155] ppid=32141 vsize=15144776 memory=139852755887744 CPUtime=0.08 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) R 32141 32141 30846 0 -1 4202560 775 0 0 0 8 0 0 0 20 0 15 0 475121799 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702046447856 140702584201818 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32156] ppid=32141 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121800 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702045395552 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32157] ppid=32141 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121800 15508250624 10236 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42396 KiB

[startup+0.310891 s]*
/proc/loadavg: 8.53 7.56 4.64 6/232 32157
/proc/meminfo: memFree=5692452/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0
[pid=32143] ppid=32141 vsize=15149032 memory=49836 CPUtime=0.52 cores=0,2,4,6
/proc/32143/stat : 32143 (java) S 32141 32141 30846 0 -1 1077944320 10834 0 0 0 47 5 0 0 20 0 15 0 475121794 15512608768 12459 33554432000 4194304 4196468 140733843134032 140733843116576 140702584180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
/proc/32143/statm: 3787258 12459 3346 1 0 3748377 0
[pid=32143/tid=32144] ppid=32141 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) R 32141 32141 30846 0 -1 4202560 7838 0 0 0 27 3 0 0 20 0 15 0 475121794 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702588411584 140702568260958 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32145] ppid=32141 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702536800528 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32146] ppid=32141 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702535747984 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32147] ppid=32141 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702534695440 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32148] ppid=32141 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) S 32141 32141 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121795 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702533642896 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32149] ppid=32141 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) S 32141 32141 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475121796 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702052764144 140702584191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32150] ppid=32141 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) S 32141 32141 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475121797 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702051710368 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32151] ppid=32141 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) S 32141 32141 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475121797 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702050657776 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32152] ppid=32141 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121799 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702049606352 140702584199067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32153] ppid=32141 vsize=15149032 memory=7827413994055111515 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) S 32141 32141 30846 0 -1 1077944384 622 0 0 0 2 0 0 0 20 0 15 0 475121799 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702048552944 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32154] ppid=32141 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) S 32141 32141 30846 0 -1 1077944384 195 0 0 0 4 0 0 0 20 0 15 0 475121799 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702047500400 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32155] ppid=32141 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) S 32141 32141 30846 0 -1 1077944384 873 0 0 0 12 0 0 0 20 0 15 0 475121799 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702046447856 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32156] ppid=32141 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121800 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702045395552 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32157] ppid=32141 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121800 15512608768 12459 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51288 KiB

[startup+0.700828 s]
/proc/loadavg: 8.53 7.56 4.64 8/232 32157
/proc/meminfo: memFree=5673640/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0
[pid=32143] ppid=32141 vsize=15151156 memory=115568 CPUtime=1.67 cores=0,2,4,6
/proc/32143/stat : 32143 (java) S 32141 32141 30846 0 -1 1077944320 13892 0 0 0 160 7 0 0 20 0 15 0 475121794 15514783744 28892 33554432000 4194304 4196468 140733843134032 140733843116576 140702584180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
/proc/32143/statm: 3787789 28892 3440 1 0 3748889 0
[pid=32143/tid=32144] ppid=32141 vsize=15151156 memory=53488 CPUtime=0.68 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) R 32141 32141 30846 0 -1 4202560 8282 0 0 0 63 5 0 0 20 0 15 0 475121794 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702588413216 140702209543491 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32145] ppid=32141 vsize=15151156 memory=988 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702536800528 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32146] ppid=32141 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702535747984 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32147] ppid=32141 vsize=15151156 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121795 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702534695440 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32148] ppid=32141 vsize=15151156 memory=10728 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) S 32141 32141 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475121795 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702533642896 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32149] ppid=32141 vsize=15151156 memory=1552 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) S 32141 32141 30846 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475121796 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702052764144 140702584191618 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32150] ppid=32141 vsize=15151156 memory=3640 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) S 32141 32141 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475121797 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702051710368 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32151] ppid=32141 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) S 32141 32141 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475121797 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702050657776 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32152] ppid=32141 vsize=15151156 memory=784 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121799 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702049606352 140702584199067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32153] ppid=32141 vsize=15151156 memory=1060 CPUtime=0.34 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) R 32141 32141 30846 0 -1 4202560 1617 0 0 0 34 0 0 0 20 0 15 0 475121799 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702048542736 140702565724911 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32154] ppid=32141 vsize=15151156 memory=1720 CPUtime=0.35 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) R 32141 32141 30846 0 -1 4202560 1073 0 0 0 35 0 0 0 20 0 15 0 475121799 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702047486280 140702569104850 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32155] ppid=32141 vsize=15151156 memory=1096 CPUtime=0.28 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) S 32141 32141 30846 0 -1 1077944384 1613 0 0 0 27 1 0 0 20 0 15 0 475121799 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702046447856 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32156] ppid=32141 vsize=15151156 memory=1188 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475121800 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702045395552 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32157] ppid=32141 vsize=15151156 memory=6112 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475121800 15514783744 28892 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 117020 KiB

[startup+1.50164 s]
/proc/loadavg: 8.53 7.56 4.64 9/232 32157
/proc/meminfo: memFree=5588544/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0

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

/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 384 0 0 0 0 3 0 0 20 0 19 0 475121800 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32198] ppid=32141 vsize=15420488 memory=1412 CPUtime=103.58 cores=0,2,4,6
/proc/32143/task/32198/stat : 32198 (java) R 32141 32141 30846 0 -1 4202560 705 0 0 0 10358 0 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702031965336 140702209729238 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32199] ppid=32141 vsize=15420488 memory=780 CPUtime=102.84 cores=0,2,4,6
/proc/32143/task/32199/stat : 32199 (java) R 32141 32141 30846 0 -1 4202560 5157 0 0 0 10277 7 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702033019256 140702208180934 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32200] ppid=32141 vsize=15420488 memory=14008 CPUtime=102.98 cores=0,2,4,6
/proc/32143/task/32200/stat : 32200 (java) R 32141 32141 30846 0 -1 4202560 10368 0 0 0 10258 40 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702028817432 140702213713283 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32201] ppid=32141 vsize=15420488 memory=28096 CPUtime=102.76 cores=0,2,4,6
/proc/32143/task/32201/stat : 32201 (java) R 32141 32141 30846 0 -1 4202560 1262 0 0 0 10274 2 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702035123792 140702213495717 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 428.91 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 3404276 KiB

[startup+110.402 s]
/proc/loadavg: 8.79 7.93 5.10 9/236 32208
/proc/meminfo: memFree=2202112/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0
[pid=32143] ppid=32141 vsize=15420488 memory=3402824 CPUtime=435.27 cores=0,2,4,6
/proc/32143/stat : 32143 (java) S 32141 32141 30846 0 -1 1077944320 75210 0 0 0 43437 90 0 0 20 0 19 0 475121794 15790579712 850706 33554432000 4194304 4196468 140733843134032 140733843116576 140702584180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
/proc/32143/statm: 3855122 850706 3537 1 0 3816222 0
[pid=32143/tid=32144] ppid=32141 vsize=15420488 memory=53488 CPUtime=2.71 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) S 32141 32141 30846 0 -1 1077944384 11007 0 0 0 262 9 0 0 20 0 19 0 475121794 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702588421248 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32145] ppid=32141 vsize=15420488 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) S 32141 32141 30846 0 -1 1077944384 773 0 0 0 13 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702536800528 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32146] ppid=32141 vsize=15420488 memory=2596 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) S 32141 32141 30846 0 -1 1077944384 1045 0 0 0 12 5 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702535747984 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32147] ppid=32141 vsize=15420488 memory=1412 CPUtime=0.15 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) S 32141 32141 30846 0 -1 1077944384 2116 0 0 0 11 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702534695440 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32148] ppid=32141 vsize=15420488 memory=3340 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) S 32141 32141 30846 0 -1 1077944384 815 0 0 0 13 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702533642896 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32149] ppid=32141 vsize=15420488 memory=3402824 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) S 32141 32141 30846 0 -1 1077944384 2856 0 0 0 2 0 0 0 20 0 19 0 475121796 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702052764144 140702584191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32150] ppid=32141 vsize=15420488 memory=988 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) S 32141 32141 30846 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475121797 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702051710432 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32151] ppid=32141 vsize=15420488 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) S 32141 32141 30846 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 475121797 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702050657792 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32152] ppid=32141 vsize=15420488 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702049606352 140702584199067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32153] ppid=32141 vsize=15420488 memory=10728 CPUtime=4.27 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) S 32141 32141 30846 0 -1 1077944384 13382 0 0 0 426 1 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702048552944 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32154] ppid=32141 vsize=15420488 memory=1552 CPUtime=4.19 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) S 32141 32141 30846 0 -1 1077944384 10427 0 0 0 418 1 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702047500400 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32155] ppid=32141 vsize=15420488 memory=3640 CPUtime=0.95 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) S 32141 32141 30846 0 -1 1077944384 12502 0 0 0 92 3 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702046447856 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32156] ppid=32141 vsize=15420488 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121800 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702045395552 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32157] ppid=32141 vsize=15420488 memory=784 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 384 0 0 0 0 3 0 0 20 0 19 0 475121800 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32198] ppid=32141 vsize=15420488 memory=1060 CPUtime=105.18 cores=0,2,4,6
/proc/32143/task/32198/stat : 32198 (java) R 32141 32141 30846 0 -1 4202560 705 0 0 0 10518 0 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702031965336 140702215849532 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32199] ppid=32141 vsize=15420488 memory=1720 CPUtime=104.41 cores=0,2,4,6
/proc/32143/task/32199/stat : 32199 (java) R 32141 32141 30846 0 -1 4202560 5157 0 0 0 10434 7 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702033019256 140702214721271 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32200] ppid=32141 vsize=15420488 memory=1096 CPUtime=104.58 cores=0,2,4,6
/proc/32143/task/32200/stat : 32200 (java) R 32141 32141 30846 0 -1 4202560 10368 0 0 0 10418 40 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702028817432 140702215252126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32201] ppid=32141 vsize=15420488 memory=1188 CPUtime=104.36 cores=0,2,4,6
/proc/32143/task/32201/stat : 32201 (java) R 32141 32141 30846 0 -1 4202560 1262 0 0 0 10434 2 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702035123792 140702209729062 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 435.27 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 3404276 KiB

[startup+110.802 s]
/proc/loadavg: 8.79 7.93 5.10 9/236 32208
/proc/meminfo: memFree=2202112/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0
[pid=32143] ppid=32141 vsize=15420488 memory=3402824 CPUtime=436.87 cores=0,2,4,6
/proc/32143/stat : 32143 (java) S 32141 32141 30846 0 -1 1077944320 75210 0 0 0 43597 90 0 0 20 0 19 0 475121794 15790579712 850706 33554432000 4194304 4196468 140733843134032 140733843116576 140702584180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
/proc/32143/statm: 3855122 850706 3537 1 0 3816222 0
[pid=32143/tid=32144] ppid=32141 vsize=15420488 memory=6791534058613427641 CPUtime=2.71 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) S 32141 32141 30846 0 -1 1077944384 11007 0 0 0 262 9 0 0 20 0 19 0 475121794 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702588421248 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32145] ppid=32141 vsize=15420488 memory=6791534058613427641 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) S 32141 32141 30846 0 -1 1077944384 773 0 0 0 13 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702536800528 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32146] ppid=32141 vsize=15420488 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) S 32141 32141 30846 0 -1 1077944384 1045 0 0 0 12 5 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702535747984 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32147] ppid=32141 vsize=15420488 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) S 32141 32141 30846 0 -1 1077944384 2116 0 0 0 11 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702534695440 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32148] ppid=32141 vsize=15420488 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) S 32141 32141 30846 0 -1 1077944384 815 0 0 0 13 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702533642896 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32149] ppid=32141 vsize=15420488 memory=808 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) S 32141 32141 30846 0 -1 1077944384 2856 0 0 0 2 0 0 0 20 0 19 0 475121796 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702052764144 140702584191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32150] ppid=32141 vsize=15420488 memory=4100 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) S 32141 32141 30846 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475121797 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702051710432 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32151] ppid=32141 vsize=15420488 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) S 32141 32141 30846 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 475121797 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702050657792 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32152] ppid=32141 vsize=15420488 memory=916 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702049606352 140702584199067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32153] ppid=32141 vsize=15420488 memory=3848 CPUtime=4.27 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) S 32141 32141 30846 0 -1 1077944384 13382 0 0 0 426 1 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702048552944 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32154] ppid=32141 vsize=15420488 memory=2592 CPUtime=4.19 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) S 32141 32141 30846 0 -1 1077944384 10427 0 0 0 418 1 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702047500400 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32155] ppid=32141 vsize=15420488 memory=2596 CPUtime=0.95 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) S 32141 32141 30846 0 -1 1077944384 12502 0 0 0 92 3 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702046447856 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32156] ppid=32141 vsize=15420488 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121800 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702045395552 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32157] ppid=32141 vsize=15420488 memory=3384 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 384 0 0 0 0 3 0 0 20 0 19 0 475121800 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32198] ppid=32141 vsize=15420488 memory=1452 CPUtime=105.58 cores=0,2,4,6
/proc/32143/task/32198/stat : 32198 (java) R 32141 32141 30846 0 -1 4202560 705 0 0 0 10558 0 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702031965336 140702209729493 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32199] ppid=32141 vsize=15420488 memory=470916 CPUtime=104.8 cores=0,2,4,6
/proc/32143/task/32199/stat : 32199 (java) R 32141 32141 30846 0 -1 4202560 5157 0 0 0 10473 7 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702033019256 140702216622510 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32200] ppid=32141 vsize=15420488 memory=6791534058613427641 CPUtime=104.98 cores=0,2,4,6
/proc/32143/task/32200/stat : 32200 (java) R 32141 32141 30846 0 -1 4202560 10368 0 0 0 10458 40 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702028817432 140702206207128 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32201] ppid=32141 vsize=15420488 memory=288230596050944315 CPUtime=104.76 cores=0,2,4,6
/proc/32143/task/32201/stat : 32201 (java) R 32141 32141 30846 0 -1 4202560 1262 0 0 0 10474 2 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702035123792 140702213496250 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 436.87 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 3404276 KiB

[startup+111.202 s]
/proc/loadavg: 8.79 7.93 5.10 9/236 32208
/proc/meminfo: memFree=2202360/32770624 swapFree=66938892/67108860
[pid=32141] ppid=32138 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/32141/stat : 32141 (xcsp3-exec) S 32138 32141 30846 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 475121794 115843072 363 33554432000 4194304 5098028 140722359462128 140722359460232 139964071256700 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 29724672 140722359468923 140722359469165 140722359469165 140722359472074 0
/proc/32141/statm: 28282 363 304 221 0 87 0
[pid=32143] ppid=32141 vsize=15420488 memory=3402824 CPUtime=438.46 cores=0,2,4,6
/proc/32143/stat : 32143 (java) S 32141 32141 30846 0 -1 1077944320 75211 0 0 0 43756 90 0 0 20 0 19 0 475121794 15790579712 850706 33554432000 4194304 4196468 140733843134032 140733843116576 140702584180471 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
/proc/32143/statm: 3855122 850706 3537 1 0 3816222 0
[pid=32143/tid=32144] ppid=32141 vsize=15420488 memory=6791534058613427641 CPUtime=2.71 cores=0,2,4,6
/proc/32143/task/32144/stat : 32144 (java) S 32141 32141 30846 0 -1 1077944384 11007 0 0 0 262 9 0 0 20 0 19 0 475121794 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702588421248 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32145] ppid=32141 vsize=15420488 memory=2016 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32145/stat : 32145 (java) S 32141 32141 30846 0 -1 1077944384 773 0 0 0 13 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702536800528 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32146] ppid=32141 vsize=15420488 memory=1416 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32146/stat : 32146 (java) S 32141 32141 30846 0 -1 1077944384 1045 0 0 0 12 5 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702535747984 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32147] ppid=32141 vsize=15420488 memory=10728 CPUtime=0.15 cores=0,2,4,6
/proc/32143/task/32147/stat : 32147 (java) S 32141 32141 30846 0 -1 1077944384 2116 0 0 0 11 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702534695440 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32148] ppid=32141 vsize=15420488 memory=1552 CPUtime=0.17 cores=0,2,4,6
/proc/32143/task/32148/stat : 32148 (java) S 32141 32141 30846 0 -1 1077944384 815 0 0 0 13 4 0 0 20 0 19 0 475121795 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702533642896 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32149] ppid=32141 vsize=15420488 memory=3640 CPUtime=0.02 cores=0,2,4,6
/proc/32143/task/32149/stat : 32149 (java) S 32141 32141 30846 0 -1 1077944384 2856 0 0 0 2 0 0 0 20 0 19 0 475121796 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702052764144 140702584191618 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32150] ppid=32141 vsize=15420488 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32150/stat : 32150 (java) S 32141 32141 30846 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 19 0 475121797 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702051710432 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32151] ppid=32141 vsize=15420488 memory=2596 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32151/stat : 32151 (java) S 32141 32141 30846 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 475121797 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702050657792 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32152] ppid=32141 vsize=15420488 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32152/stat : 32152 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702049606352 140702584199067 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32153] ppid=32141 vsize=15420488 memory=3372 CPUtime=4.27 cores=0,2,4,6
/proc/32143/task/32153/stat : 32153 (java) S 32141 32141 30846 0 -1 1077944384 13382 0 0 0 426 1 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702048552944 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32154] ppid=32141 vsize=15420488 memory=1452 CPUtime=4.19 cores=0,2,4,6
/proc/32143/task/32154/stat : 32154 (java) S 32141 32141 30846 0 -1 1077944384 10427 0 0 0 418 1 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702047500400 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32155] ppid=32141 vsize=15420488 memory=474500 CPUtime=0.95 cores=0,2,4,6
/proc/32143/task/32155/stat : 32155 (java) S 32141 32141 30846 0 -1 1077944384 12502 0 0 0 92 3 0 0 20 0 19 0 475121799 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702046447856 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32156] ppid=32141 vsize=15420488 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/32143/task/32156/stat : 32156 (java) S 32141 32141 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475121800 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702045395552 140702584190677 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32157] ppid=32141 vsize=15420488 memory=784 CPUtime=0.03 cores=0,2,4,6
/proc/32143/task/32157/stat : 32157 (java) S 32141 32141 30846 0 -1 1077944384 384 0 0 0 0 3 0 0 20 0 19 0 475121800 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702044343088 140702584191618 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32198] ppid=32141 vsize=15420488 memory=1060 CPUtime=105.98 cores=0,2,4,6
/proc/32143/task/32198/stat : 32198 (java) R 32141 32141 30846 0 -1 4202560 705 0 0 0 10598 0 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702031965336 140702213713283 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32199] ppid=32141 vsize=15420488 memory=1720 CPUtime=105.19 cores=0,2,4,6
/proc/32143/task/32199/stat : 32199 (java) R 32141 32141 30846 0 -1 4202560 5157 0 0 0 10512 7 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702033019256 140702209729232 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32200] ppid=32141 vsize=15420488 memory=1096 CPUtime=105.38 cores=0,2,4,6
/proc/32143/task/32200/stat : 32200 (java) R 32141 32141 30846 0 -1 4202560 10368 0 0 0 10498 40 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702028817432 140702216418721 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
[pid=32143/tid=32201] ppid=32141 vsize=15420488 memory=1188 CPUtime=105.16 cores=0,2,4,6
/proc/32143/task/32201/stat : 32201 (java) R 32141 32141 30846 0 -1 4202560 1263 0 0 0 10514 2 0 0 20 0 19 0 475122272 15790579712 850706 33554432000 4194304 4196468 140733843134032 140702035123792 140702213495828 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31027200 140733843137519 140733843137690 140733843137690 140733843140559 0
Current children cumulated CPU time: 438.46 s
Current children cumulated vsize: 15533616 KiB
Current children cumulated memory: 3404276 KiB

Child status: 0
Real time (s): 111.249
CPU time (s): 438.589
CPU user time (s): 437.669
CPU system time (s): 0.919547
CPU usage (%): 394.242
Max. virtual memory (cumulated for all children) (KiB): 15533616
Max. memory (cumulated for all children) (KiB): 3404868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 437.669
system time used= 0.919547
maximum resident set size= 3405028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76446
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6096
involuntary context switches= 6478


# summary of solver processes directly reported to runsolver:
#   pid: 32141
#   total CPU time (s): 438.589
#   total CPU user time (s): 437.669
#   total CPU system time (s): 0.919547

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.70761 second user time and 1.32976 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-5-fullins-4.xml
MD5SUM	9a110b3288dcdd83da8fcc132ac433c6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	8
Best CPU time to get the best result obtained on this benchmark	75.4372
Satisfiable
(Un)Satisfiability was proved
Number of variables	1085
Number of constraints	11395
Number of domains	1
Minimum domain size	1085
Maximum domain size	1085
Distribution of domain sizes	[{"size":1085,"count":1085}]
Minimum variable degree	7
Maximum variable degree	161
Distribution of variable degrees	[{"degree":7,"count":4},{"degree":8,"count":22},{"degree":9,"count":16},{"degree":10,"count":80},{"degree":11,"count":22},{"degree":12,"count":110},{"degree":13,"count":19},{"degree":14,"count":60},{"degree":15,"count":60},{"degree":16,"count":300},{"degree":19,"count":7},{"degree":20,"count":35},{"degree":21,"count":7},{"degree":22,"count":35},{"degree":30,"count":7},{"degree":33,"count":7},{"degree":34,"count":35},{"degree":35,"count":35},{"degree":36,"count":175},{"degree":55,"count":7},{"degree":56,"count":35},{"degree":161,"count":7}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":11395}]
Number of extensional constraints	0
Number of intensional constraints	11395
Distribution of constraint types	[{"type":"intension","count":11395}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4403668

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
