2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	OPT	4	8.68404	2.92099
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 (2629 MiB free)
  memory of node 1: 16384 MiB (3057 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403996-1568989795/watcher-4403996-1568989795 -o /var/tmp/evaluation-result-4403996-1568989795/solver-4403996-1568989795 -C 2400 -W 2500 -M 15500 --bin-var /var/tmp/runsolver-exch-node119-1568988114-19952 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1040013375 HOME/instance-4403996-1568989795.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=22795, runsolver pid=22792

[startup+0.101591 s]*
/proc/loadavg: 8.01 8.22 7.15 6/233 22811
/proc/meminfo: memFree=5807428/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15144776 memory=28872 CPUtime=0.13 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 5680 0 0 0 12 1 0 0 20 0 15 0 474894274 15508250624 7218 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3786194 7218 3148 1 0 3748377 0
[pid=22797/tid=22798] ppid=22795 vsize=15144776 memory=7100839878644302962 CPUtime=0.09 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 19920 0 -1 4202560 3555 0 0 0 8 1 0 0 20 0 15 0 474894274 15508250624 7218 33554432000 4194304 4196468 140733976180640 140253821564352 140253801379173 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 7218 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15144776 memory=140660059969152 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 7218 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 7218 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 7218 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15144776 memory=140660059969152 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894276 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252892084976 140253817346690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894277 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252891031200 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894277 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252889978096 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) R 22795 22795 19920 0 -1 1077944384 355 0 0 0 0 0 0 0 20 0 15 0 474894279 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252887873776 140253817346690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) R 22795 22795 19920 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 15 0 474894279 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252886821232 140253802998272 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15144776 memory=140660059969152 CPUtime=0.02 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) R 22795 22795 19920 0 -1 4202560 342 0 0 0 2 0 0 0 20 0 15 0 474894279 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252885768176 140253817347478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15144776 memory=140660059969152 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894280 15508250624 7218 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30328 KiB

[startup+0.212915 s]*
/proc/loadavg: 8.01 8.22 7.15 6/233 22811
/proc/meminfo: memFree=5794200/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15144776 memory=40528 CPUtime=0.34 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 9391 0 0 0 31 3 0 0 20 0 15 0 474894274 15508250624 10132 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3786194 10132 3296 1 0 3748377 0
[pid=22797/tid=22798] ppid=22795 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 19920 0 -1 4202560 6597 0 0 0 18 2 0 0 20 0 15 0 474894274 15508250624 10132 33554432000 4194304 4196468 140733976180640 140253821570528 140253817347478 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15144776 memory=11079 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 10132 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15144776 memory=288230376155275431 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 10132 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 10132 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15508250624 10132 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474894276 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252892084976 140253817346690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894277 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252891031200 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15144776 memory=140660059969152 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894277 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252889978096 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 19920 0 -1 1077944384 403 0 0 0 2 0 0 0 20 0 15 0 474894279 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252887873776 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 19920 0 -1 1077944384 431 0 0 0 2 0 0 0 20 0 15 0 474894279 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252886821232 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15144776 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) R 22795 22795 19920 0 -1 4202560 650 0 0 0 8 0 0 0 20 0 15 0 474894279 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252885768176 140253817356890 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894280 15508250624 10132 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41984 KiB

[startup+0.310578 s]*
/proc/loadavg: 8.01 8.22 7.15 6/233 22811
/proc/meminfo: memFree=5786408/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15149032 memory=49576 CPUtime=0.52 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 10723 0 0 0 48 4 0 0 20 0 15 0 474894274 15512608768 12394 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3787258 12394 3331 1 0 3748377 0
[pid=22797/tid=22798] ppid=22795 vsize=15149032 memory=8389772277269004345 CPUtime=0.3 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 19920 0 -1 4202560 7777 0 0 0 27 3 0 0 20 0 15 0 474894274 15512608768 12394 33554432000 4194304 4196468 140733976180640 140253821566656 140253801416030 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15512608768 12394 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15149032 memory=288230376155271054 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894275 15512608768 12394 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15512608768 12394 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15512608768 12394 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15149032 memory=140660059969152 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 19920 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 474894276 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252892084976 140253817346690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894277 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252891031200 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894277 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252889978096 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15149032 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) S 22795 22795 19920 0 -1 1077944384 409 0 0 0 3 0 0 0 20 0 15 0 474894279 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252887873776 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15149032 memory=-1 CPUtime=0.04 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 19920 0 -1 1077944384 440 0 0 0 4 0 0 0 20 0 15 0 474894279 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252886821232 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15149032 memory=140660059969152 CPUtime=0.12 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 19920 0 -1 1077944384 792 0 0 0 12 0 0 0 20 0 15 0 474894279 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252885768176 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15149032 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15149032 memory=140660059969152 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894280 15512608768 12394 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51032 KiB

[startup+0.701292 s]
/proc/loadavg: 8.01 8.22 7.15 9/233 22811
/proc/meminfo: memFree=5766116/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15151156 memory=109496 CPUtime=1.68 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 13987 0 0 0 162 6 0 0 20 0 15 0 474894274 15514783744 27374 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3787789 27374 3448 1 0 3748889 0
[pid=22797/tid=22798] ppid=22795 vsize=15151156 memory=2116 CPUtime=0.68 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) S 22795 22795 19920 0 -1 1077944384 8350 0 0 0 64 4 0 0 20 0 15 0 474894274 15514783744 27374 33554432000 4194304 4196468 140733976180640 140253821569360 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15151156 memory=520 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15514783744 27374 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15151156 memory=1560 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894275 15514783744 27374 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15151156 memory=924 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15514783744 27374 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15151156 memory=3688 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 474894275 15514783744 27374 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15151156 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) R 22795 22795 19920 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 474894276 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252892084896 140253817356890 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15151156 memory=1440 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 474894277 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252891031200 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15151156 memory=800 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 474894277 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252889978096 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15151156 memory=7086240636179272035 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15151156 memory=7453282923444726100 CPUtime=0.32 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) R 22795 22795 19920 0 -1 4202560 1376 0 0 0 32 0 0 0 20 0 15 0 474894279 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252887859656 140253795738976 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15151156 memory=4639059877604708710 CPUtime=0.35 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 19920 0 -1 1077944384 1352 0 0 0 35 0 0 0 20 0 15 0 474894279 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252886811024 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15151156 memory=8514726395715219869 CPUtime=0.29 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 19920 0 -1 1077944384 1598 0 0 0 29 0 0 0 20 0 15 0 474894279 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252885768176 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 474894280 15514783744 27374 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 1.68 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 110952 KiB

[startup+1.50077 s]
/proc/loadavg: 8.01 8.22 7.15 7/233 22811
/proc/meminfo: memFree=5680296/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0

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

/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15151156 memory=214948 CPUtime=4.4 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 22617 0 0 0 429 11 0 0 20 0 15 0 474894274 15514783744 53737 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3787789 53737 3491 1 0 3748889 0
[pid=22797/tid=22798] ppid=22795 vsize=15151156 memory=1424 CPUtime=1.55 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 19920 0 -1 4202560 10139 0 0 0 149 6 0 0 20 0 15 0 474894274 15514783744 53737 33554432000 4194304 4196468 140733976180640 140253821573808 140253450033160 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15151156 memory=3640 CPUtime=0.01 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 95 0 0 0 1 0 0 0 20 0 15 0 474894275 15514783744 53737 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 474894275 15514783744 53737 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15151156 memory=1728 CPUtime=0.01 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 169 0 0 0 1 0 0 0 20 0 15 0 474894275 15514783744 53737 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15151156 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 15 0 474894275 15514783744 53737 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15151156 memory=20036 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 19920 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 15 0 474894276 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252892084976 140253817346690 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15151156 memory=-7737621075815351712 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 474894277 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252891031264 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15151156 memory=7007112401514140524 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 474894277 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252889978112 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15151156 memory=7809358381220653586 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15151156 memory=-9111496645603978859 CPUtime=1.04 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) R 22795 22795 19920 0 -1 4202560 3410 0 0 0 103 1 0 0 20 0 15 0 474894279 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252887852464 140253801734088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15151156 memory=0 CPUtime=1.13 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) S 22795 22795 19920 0 -1 1077944384 3789 0 0 0 113 0 0 0 20 0 15 0 474894279 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252886821232 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15151156 memory=0 CPUtime=0.57 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 19920 0 -1 1077944384 3404 0 0 0 56 1 0 0 20 0 15 0 474894279 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252885768176 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15151156 memory=56 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894280 15514783744 53737 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 4.4 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 216404 KiB

[startup+2.40077 s]
/proc/loadavg: 7.92 8.20 7.15 8/233 22811
/proc/meminfo: memFree=5519576/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15151156 memory=369852 CPUtime=6.82 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 29990 0 0 0 666 16 0 0 20 0 15 0 474894274 15514783744 92463 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3787789 92463 3504 1 0 3748889 0
[pid=22797/tid=22798] ppid=22795 vsize=15151156 memory=140659910564320 CPUtime=2.32 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 19920 0 -1 4202560 10693 0 0 0 225 7 0 0 20 0 15 0 474894274 15514783744 92463 33554432000 4194304 4196468 140733976180640 140253821574720 140253453701749 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15151156 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 124 0 0 0 2 1 0 0 20 0 15 0 474894275 15514783744 92463 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15151156 memory=281319821084224 CPUtime=0.02 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 746 0 0 0 2 0 0 0 20 0 15 0 474894275 15514783744 92463 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15151156 memory=1456 CPUtime=0.03 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 195 0 0 0 2 1 0 0 20 0 15 0 474894275 15514783744 92463 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15151156 memory=202316 CPUtime=0.03 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 86 0 0 0 2 1 0 0 20 0 15 0 474894275 15514783744 92463 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15151156 memory=23987 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 19920 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 474894276 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252892084976 140253817346690 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15151156 memory=140659910553168 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 15 0 474894277 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252891031264 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15151156 memory=-7737605734073681312 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 474894277 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252889978112 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15151156 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15151156 memory=-7025452035940392864 CPUtime=1.82 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) R 22795 22795 19920 0 -1 4202560 6039 0 0 0 180 2 0 0 20 0 15 0 474894279 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252887859968 140253796774464 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15151156 memory=-7025452035940392864 CPUtime=1.9 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) R 22795 22795 19920 0 -1 4202560 6844 0 0 0 190 0 0 0 20 0 15 0 474894279 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252886812208 140253803351073 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15151156 memory=-9001734043636558696 CPUtime=0.58 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) S 22795 22795 19920 0 -1 1077944384 3468 0 0 0 57 1 0 0 20 0 15 0 474894279 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252885768176 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15151156 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 474894279 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15151156 memory=4206468019014099040 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 474894280 15514783744 92463 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 6.82 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 371308 KiB

[startup+2.8013 s]
/proc/loadavg: 7.92 8.20 7.15 8/233 22811
/proc/meminfo: memFree=5519576/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15419460 memory=397576 CPUtime=8.28 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 31531 0 0 0 810 18 0 0 20 0 18 0 474894274 15789527040 99394 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3854865 99394 3509 1 0 3815965 0
[pid=22797/tid=22798] ppid=22795 vsize=15419460 memory=288230600345921809 CPUtime=2.4 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) S 22795 22795 19920 0 -1 1077944384 10991 0 0 0 233 7 0 0 20 0 18 0 474894274 15789527040 99394 33554432000 4194304 4196468 140733976180640 140253821576320 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15419460 memory=15254861490259540 CPUtime=0.06 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 193 0 0 0 5 1 0 0 20 0 18 0 474894275 15789527040 99394 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15419460 memory=8298058369092143046 CPUtime=0.03 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 819 0 0 0 3 0 0 0 20 0 18 0 474894275 15789527040 99394 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15419460 memory=8226000779349182438 CPUtime=0.06 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 287 0 0 0 5 1 0 0 20 0 18 0 474894275 15789527040 99394 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15419460 memory=8658346356461651974 CPUtime=0.05 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 169 0 0 0 4 1 0 0 20 0 18 0 474894275 15789527040 99394 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15419460 memory=7649399388610048562 CPUtime=0.01 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 19920 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 18 0 474894276 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252892084976 140253817346690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15419460 memory=8298058369126090822 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 18 0 474894277 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252891031264 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15419460 memory=8226000779383130214 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 18 0 474894277 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252889978112 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15419460 memory=8658346356495599750 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 474894279 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15419460 memory=7649540048554774690 CPUtime=2.14 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) R 22795 22795 19920 0 -1 4202560 6135 0 0 0 212 2 0 0 20 0 18 0 474894279 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252887864752 140253802215135 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15419460 memory=7433226614969284914 CPUtime=2.2 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) R 22795 22795 19920 0 -1 4202560 6897 0 0 0 220 0 0 0 20 0 18 0 474894279 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252886807776 140253802437788 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15419460 memory=7649399388493066802 CPUtime=0.71 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) R 22795 22795 19920 0 -1 1077944384 3774 0 0 0 70 1 0 0 20 0 18 0 474894279 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252885768176 140253817346690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15419460 memory=7649399392788034098 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 18 0 474894279 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 18 0 474894280 15789527040 99394 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 8.28 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 399032 KiB

[startup+2.90074 s]
/proc/loadavg: 7.92 8.20 7.15 8/233 22811
/proc/meminfo: memFree=5519576/32770624 swapFree=66953200/67108860
[pid=22795] ppid=22792 vsize=113128 memory=1456 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (xcsp3-exec) S 22792 22795 19920 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 474894274 115843072 364 33554432000 4194304 5098028 140721411783168 140721411781272 140470000181884 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 20275200 140721411785558 140721411785817 140721411785817 140721411788742 0
/proc/22795/statm: 28282 364 305 221 0 87 0
[pid=22797] ppid=22795 vsize=15419460 memory=397876 CPUtime=8.66 cores=1,3,5,7
/proc/22797/stat : 22797 (java) S 22795 22795 19920 0 -1 1077944320 31667 0 0 0 848 18 0 0 20 0 19 0 474894274 15789527040 99469 33554432000 4194304 4196468 140733976180640 140733976163184 140253817335543 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
/proc/22797/statm: 3854865 99469 3509 1 0 3815965 0
[pid=22797/tid=22798] ppid=22795 vsize=15419460 memory=1456 CPUtime=2.4 cores=1,3,5,7
/proc/22797/task/22798/stat : 22798 (java) R 22795 22795 19920 0 -1 4202560 10992 0 0 0 233 7 0 0 20 0 19 0 474894274 15789527040 99469 33554432000 4194304 4196468 140733976180640 140253821576320 140253798899095 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22799] ppid=22795 vsize=15419460 memory=396944 CPUtime=0.06 cores=1,3,5,7
/proc/22797/task/22799/stat : 22799 (java) S 22795 22795 19920 0 -1 1077944384 193 0 0 0 5 1 0 0 20 0 19 0 474894275 15789527040 99469 33554432000 4194304 4196468 140733976180640 140253769955856 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22800] ppid=22795 vsize=15419460 memory=281319821576400 CPUtime=0.03 cores=1,3,5,7
/proc/22797/task/22800/stat : 22800 (java) S 22795 22795 19920 0 -1 1077944384 819 0 0 0 3 0 0 0 20 0 19 0 474894275 15789527040 99469 33554432000 4194304 4196468 140733976180640 140253768903312 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22801] ppid=22795 vsize=15419460 memory=8316868033356759116 CPUtime=0.06 cores=1,3,5,7
/proc/22797/task/22801/stat : 22801 (java) S 22795 22795 19920 0 -1 1077944384 287 0 0 0 5 1 0 0 20 0 19 0 474894275 15789527040 99469 33554432000 4194304 4196468 140733976180640 140253407926544 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22802] ppid=22795 vsize=15419460 memory=21423 CPUtime=0.05 cores=1,3,5,7
/proc/22797/task/22802/stat : 22802 (java) S 22795 22795 19920 0 -1 1077944384 169 0 0 0 4 1 0 0 20 0 19 0 474894275 15789527040 99469 33554432000 4194304 4196468 140733976180640 140253406874000 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22803] ppid=22795 vsize=15419460 memory=1456 CPUtime=0.01 cores=1,3,5,7
/proc/22797/task/22803/stat : 22803 (java) S 22795 22795 19920 0 -1 1077944384 491 0 0 0 1 0 0 0 20 0 19 0 474894276 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252892084976 140253817346690 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22804] ppid=22795 vsize=15419460 memory=220824 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22804/stat : 22804 (java) S 22795 22795 19920 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 19 0 474894277 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252891031264 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22805] ppid=22795 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22805/stat : 22805 (java) S 22795 22795 19920 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 474894277 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252889978112 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22806] ppid=22795 vsize=15419460 memory=281315794545918 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22806/stat : 22806 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894279 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252888926672 140253817354139 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22807] ppid=22795 vsize=15419460 memory=140659910545407 CPUtime=2.2 cores=1,3,5,7
/proc/22797/task/22807/stat : 22807 (java) R 22795 22795 19920 0 -1 4202560 6147 0 0 0 218 2 0 0 20 0 19 0 474894279 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252887870144 140253796989824 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22808] ppid=22795 vsize=15419460 memory=140659910547827 CPUtime=2.28 cores=1,3,5,7
/proc/22797/task/22808/stat : 22808 (java) R 22795 22795 19920 0 -1 4202560 6947 0 0 0 228 0 0 0 20 0 19 0 474894279 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252886810832 140253797970971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22809] ppid=22795 vsize=15419460 memory=-7025452035940392864 CPUtime=0.74 cores=1,3,5,7
/proc/22797/task/22809/stat : 22809 (java) R 22795 22795 19920 0 -1 1077944384 3824 0 0 0 73 1 0 0 20 0 19 0 474894279 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252885768176 140253817346690 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22810] ppid=22795 vsize=15419460 memory=-9001734043636558696 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22810/stat : 22810 (java) S 22795 22795 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 474894279 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252884715872 140253817345749 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
[pid=22797/tid=22811] ppid=22795 vsize=15419460 memory=-7457052372387209120 CPUtime=0 cores=1,3,5,7
/proc/22797/task/22811/stat : 22811 (java) S 22795 22795 19920 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 474894280 15789527040 99469 33554432000 4194304 4196468 140733976180640 140252883663920 140253817346690 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28819456 140733976187867 140733976188042 140733976188042 140733976190927 0
Current children cumulated CPU time: 8.66 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 399332 KiB

Child status: 0
Real time (s): 2.92099
CPU time (s): 8.68404
CPU user time (s): 8.49236
CPU system time (s): 0.191686
CPU usage (%): 297.298
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 399332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.49236
system time used= 0.191686
maximum resident set size= 399072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32266
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2311
involuntary context switches= 79


# summary of solver processes directly reported to runsolver:
#   pid: 22795
#   total CPU time (s): 8.68404
#   total CPU user time (s): 8.49236
#   total CPU system time (s): 0.191686

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.043054 second user time and 0.067657 second system time

The end
Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-05d.xml
MD5SUM	368e26568da76f7c30ce4b17b57b0014
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	4
Best CPU time to get the best result obtained on this benchmark	2.19767
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	9757
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	30
Maximum variable degree	69
Distribution of variable degrees	[{"degree":30,"count":2},{"degree":32,"count":5},{"degree":33,"count":14},{"degree":34,"count":7},{"degree":35,"count":13},{"degree":36,"count":18},{"degree":37,"count":13},{"degree":38,"count":17},{"degree":39,"count":17},{"degree":40,"count":27},{"degree":41,"count":16},{"degree":42,"count":32},{"degree":43,"count":28},{"degree":44,"count":28},{"degree":45,"count":29},{"degree":46,"count":24},{"degree":47,"count":22},{"degree":48,"count":17},{"degree":49,"count":23},{"degree":50,"count":15},{"degree":51,"count":17},{"degree":52,"count":14},{"degree":53,"count":14},{"degree":54,"count":11},{"degree":55,"count":9},{"degree":56,"count":4},{"degree":57,"count":4},{"degree":58,"count":2},{"degree":59,"count":2},{"degree":60,"count":1},{"degree":62,"count":1},{"degree":65,"count":2},{"degree":66,"count":1},{"degree":69,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":9757}]
Number of extensional constraints	0
Number of intensional constraints	9757
Distribution of constraint types	[{"type":"intension","count":9757}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4403996

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
