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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-16	OPT	394	65.7464	17.5309
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 (14613 MiB free)
  memory of node 1: 16384 MiB (15730 MiB free)
  node distances:
     10  21
     21  10

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=23546, runsolver pid=23543
Current StackSize limit: 8192 KiB


[startup+0.100847 s]*
/proc/loadavg: 1.19 1.80 2.43 6/227 23585
/proc/meminfo: memFree=31042904/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15144776 memory=30068 CPUtime=0.13 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 5914 0 0 0 12 1 0 0 20 0 15 0 446272165 15508250624 7517 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3786194 7517 3159 1 0 3748377 0
[pid=23548/tid=23549] ppid=23546 vsize=15144776 memory=4351193298017878158 CPUtime=0.08 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) R 23546 23546 23495 0 -1 4202560 3838 0 0 0 8 0 0 0 20 0 15 0 446272165 15508250624 7517 33554432000 4194304 4196468 140726554182640 139975424973344 139975404827998 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 7517 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15144776 memory=140718134929024 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 7517 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 7517 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 7517 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15144776 memory=140718134929024 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272167 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272168 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974293480992 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272168 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974292428144 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) R 23546 23546 23495 0 -1 4202560 433 0 0 0 0 0 0 0 20 0 15 0 446272171 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974290323824 139975400409729 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) R 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272171 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974289271024 139975420758658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15144776 memory=140718134929024 CPUtime=0.02 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) S 23546 23546 23495 0 -1 1077944384 360 0 0 0 2 0 0 0 20 0 15 0 446272171 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974288218224 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272171 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15144776 memory=140718134929024 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272171 15508250624 7517 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31520 KiB

[startup+0.210843 s]*
/proc/loadavg: 1.19 1.80 2.43 5/229 23587
/proc/meminfo: memFree=31014360/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15144776 memory=40392 CPUtime=0.34 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 9341 0 0 0 32 2 0 0 20 0 15 0 446272165 15508250624 10098 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3786194 10098 3291 1 0 3748377 0
[pid=23548/tid=23549] ppid=23546 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) R 23546 23546 23495 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 15 0 446272165 15508250624 10098 33554432000 4194304 4196468 140726554182640 139975424981456 139975420759446 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15144776 memory=12641 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 10098 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15144776 memory=140718138222832 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 10098 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 10098 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272166 15508250624 10098 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15144776 memory=140718134929024 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446272167 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272168 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974293480992 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272168 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974292428144 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272170 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) S 23546 23546 23495 0 -1 1077944384 514 0 0 0 2 0 0 0 20 0 15 0 446272171 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974290323824 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) S 23546 23546 23495 0 -1 1077944384 100 0 0 0 2 0 0 0 20 0 15 0 446272171 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974289271024 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15144776 memory=140718134929024 CPUtime=0.08 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) S 23546 23546 23495 0 -1 1077944384 784 0 0 0 8 0 0 0 20 0 15 0 446272171 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974288218224 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272171 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272171 15508250624 10098 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41844 KiB

[startup+0.321132 s]*
/proc/loadavg: 1.19 1.80 2.43 6/229 23587
/proc/meminfo: memFree=31001400/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15149032 memory=50612 CPUtime=0.54 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 10985 0 0 0 51 3 0 0 20 0 15 0 446272165 15512608768 12653 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3787258 12653 3364 1 0 3748377 0
[pid=23548/tid=23549] ppid=23546 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) R 23546 23546 23495 0 -1 4202560 7934 0 0 0 28 3 0 0 20 0 15 0 446272165 15512608768 12653 33554432000 4194304 4196468 140726554182640 139975424978760 139975404827998 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15512608768 12653 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15149032 memory=46849 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15512608768 12653 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15512608768 12653 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272166 15512608768 12653 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446272167 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272168 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974293480992 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272168 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974292428144 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272170 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15149032 memory=4500088463514900084 CPUtime=0.05 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) S 23546 23546 23495 0 -1 1077944384 676 0 0 0 5 0 0 0 20 0 15 0 446272171 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974290323824 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15149032 memory=6944613755495348631 CPUtime=0.04 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) S 23546 23546 23495 0 -1 1077944384 114 0 0 0 4 0 0 0 20 0 15 0 446272171 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974289271024 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15149032 memory=7893295687695687954 CPUtime=0.13 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) S 23546 23546 23495 0 -1 1077944384 964 0 0 0 13 0 0 0 20 0 15 0 446272171 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974288218224 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272171 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15149032 memory=7827413994055111515 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272171 15512608768 12653 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52064 KiB

[startup+0.700801 s]
/proc/loadavg: 1.19 1.80 2.43 9/229 23587
/proc/meminfo: memFree=30960000/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15151156 memory=100208 CPUtime=1.73 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 15137 0 0 0 168 5 0 0 20 0 15 0 446272165 15514783744 25052 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3787789 25052 3452 1 0 3748889 0
[pid=23548/tid=23549] ppid=23546 vsize=15151156 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) R 23546 23546 23495 0 -1 4202560 9061 0 0 0 63 4 0 0 20 0 15 0 446272165 15514783744 25052 33554432000 4194304 4196468 140726554182640 139975424966768 139975014363009 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15514783744 25052 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15514783744 25052 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15151156 memory=221 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272166 15514783744 25052 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446272166 15514783744 25052 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446272167 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15151156 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446272168 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974293480992 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15151156 memory=1484 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446272168 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974292428144 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15151156 memory=1096 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272170 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15151156 memory=1176 CPUtime=0.33 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) R 23546 23546 23495 0 -1 4202560 1436 0 0 0 33 0 0 0 20 0 15 0 446272171 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974290323824 139975400107903 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15151156 memory=6072 CPUtime=0.35 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) R 23546 23546 23495 0 -1 1077944384 1078 0 0 0 35 0 0 0 20 0 15 0 446272171 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974289271024 139975420758658 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15151156 memory=780 CPUtime=0.35 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) R 23546 23546 23495 0 -1 4202560 2256 0 0 0 35 0 0 0 20 0 15 0 446272171 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974288218224 139975399674473 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15151156 memory=14008 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446272171 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15151156 memory=24908 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446272171 15514783744 25052 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 1.73 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 101660 KiB

[startup+1.50084 s]
/proc/loadavg: 1.49 1.85 2.44 7/229 23587
/proc/meminfo: memFree=30792576/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0

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

/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15419460 memory=508240 CPUtime=64 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 60094 0 0 0 6362 38 0 0 20 0 19 0 446272165 15789527040 127060 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3854865 127060 3537 1 0 3815965 0
[pid=23548/tid=23549] ppid=23546 vsize=15419460 memory=7596842931144977001 CPUtime=2.51 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) S 23546 23546 23495 0 -1 1077944384 11827 0 0 0 244 7 0 0 20 0 19 0 446272165 15789527040 127060 33554432000 4194304 4196468 140726554182640 139975424988288 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15419460 memory=7809894109605161581 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 686 0 0 0 9 5 0 0 20 0 19 0 446272166 15789527040 127060 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15419460 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 203 0 0 0 8 4 0 0 20 0 19 0 446272166 15789527040 127060 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15419460 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 387 0 0 0 11 5 0 0 20 0 19 0 446272166 15789527040 127060 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15419460 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 859 0 0 0 10 4 0 0 20 0 19 0 446272166 15789527040 127060 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15419460 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 836 0 0 0 1 0 0 0 20 0 19 0 446272167 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 446272168 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974293481056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15419460 memory=140718027452048 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 446272168 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974292428160 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272170 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15419460 memory=1452 CPUtime=4.43 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) R 23546 23546 23495 0 -1 1077944384 12823 0 0 0 442 1 0 0 20 0 19 0 446272171 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974290323824 139975420758658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15419460 memory=508248 CPUtime=4.42 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) S 23546 23546 23495 0 -1 1077944384 13915 0 0 0 440 2 0 0 20 0 19 0 446272171 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974289271024 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15419460 memory=1412 CPUtime=0.94 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) R 23546 23546 23495 0 -1 4202560 9514 0 0 0 92 2 0 0 20 0 19 0 446272171 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974288218224 139975398758358 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15419460 memory=2784 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272171 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 998 0 0 0 0 0 0 0 20 0 19 0 446272171 15789527040 127060 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 64 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 509692 KiB

[startup+17.2211 s]
/proc/loadavg: 3.14 2.20 2.55 8/237 23615
/proc/meminfo: memFree=30077872/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15419460 memory=508396 CPUtime=65.08 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 60673 0 0 0 6469 39 0 0 20 0 19 0 446272165 15789527040 127099 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3854865 127099 3538 1 0 3815965 0
[pid=23548/tid=23549] ppid=23546 vsize=15419460 memory=1804 CPUtime=2.53 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) S 23546 23546 23495 0 -1 1077944384 11830 0 0 0 245 8 0 0 20 0 19 0 446272165 15789527040 127099 33554432000 4194304 4196468 140726554182640 139975424988288 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15419460 memory=916 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 686 0 0 0 9 5 0 0 20 0 19 0 446272166 15789527040 127099 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15419460 memory=1452 CPUtime=0.12 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 203 0 0 0 8 4 0 0 20 0 19 0 446272166 15789527040 127099 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15419460 memory=508016 CPUtime=0.16 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 387 0 0 0 11 5 0 0 20 0 19 0 446272166 15789527040 127099 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15419460 memory=6944656592455359580 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 859 0 0 0 10 4 0 0 20 0 19 0 446272166 15789527040 127099 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15419460 memory=-6935123839545469842 CPUtime=0.01 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 836 0 0 0 1 0 0 0 20 0 19 0 446272167 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15419460 memory=7161937527960149619 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 446272168 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974293481056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15419460 memory=281436053569776 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 446272168 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974292428160 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15419460 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272170 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15419460 memory=140718134927841 CPUtime=4.6 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) R 23546 23546 23495 0 -1 4202560 12959 0 0 0 459 1 0 0 20 0 19 0 446272171 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974290323800 139975404305842 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15419460 memory=303430223234596890 CPUtime=4.58 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) R 23546 23546 23495 0 -1 1077944384 14037 0 0 0 456 2 0 0 20 0 19 0 446272171 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974289271024 139975420758658 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15419460 memory=288230596050944315 CPUtime=0.97 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) S 23546 23546 23495 0 -1 1077944384 9585 0 0 0 95 2 0 0 20 0 19 0 446272171 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974288218224 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15419460 memory=15823283127847325 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272171 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15419460 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 998 0 0 0 0 0 0 0 20 0 19 0 446272171 15789527040 127099 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 65.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 509848 KiB

[startup+17.4011 s]
/proc/loadavg: 3.14 2.20 2.55 8/237 23615
/proc/meminfo: memFree=30077872/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15419460 memory=513520 CPUtime=65.58 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 61374 0 0 0 6519 39 0 0 20 0 19 0 446272165 15789527040 128380 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3854865 128380 3538 1 0 3815965 0
[pid=23548/tid=23549] ppid=23546 vsize=15419460 memory=8028066980291438702 CPUtime=2.53 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) S 23546 23546 23495 0 -1 1077944384 11832 0 0 0 245 8 0 0 20 0 19 0 446272165 15789527040 128380 33554432000 4194304 4196468 140726554182640 139975424988288 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15419460 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 686 0 0 0 9 5 0 0 20 0 19 0 446272166 15789527040 128380 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15419460 memory=10728 CPUtime=0.12 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 203 0 0 0 8 4 0 0 20 0 19 0 446272166 15789527040 128380 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15419460 memory=1552 CPUtime=0.16 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 387 0 0 0 11 5 0 0 20 0 19 0 446272166 15789527040 128380 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15419460 memory=4096 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 859 0 0 0 10 4 0 0 20 0 19 0 446272166 15789527040 128380 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15419460 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 836 0 0 0 1 0 0 0 20 0 19 0 446272167 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15419460 memory=772 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 446272168 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974293481056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 19 0 446272168 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974292428160 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272170 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15419460 memory=0 CPUtime=4.71 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) S 23546 23546 23495 0 -1 1077944384 12984 0 0 0 470 1 0 0 20 0 19 0 446272171 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974290323824 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15419460 memory=0 CPUtime=4.68 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) R 23546 23546 23495 0 -1 4202560 14065 0 0 0 466 2 0 0 20 0 19 0 446272171 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974289270944 139975398346400 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15419460 memory=7595722541682218346 CPUtime=0.99 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) S 23546 23546 23495 0 -1 1077944384 9621 0 0 0 97 2 0 0 20 0 19 0 446272171 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974288218224 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15419460 memory=7596842931144977001 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446272171 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15419460 memory=7595722541682218346 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 998 0 0 0 0 0 0 0 20 0 19 0 446272171 15789527040 128380 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 65.58 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 514972 KiB

[startup+17.5008 s]
/proc/loadavg: 3.14 2.20 2.55 8/237 23615
/proc/meminfo: memFree=30077872/32770624 swapFree=66922708/67108860
[pid=23546] ppid=23543 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/23546/stat : 23546 (xcsp3-exec) S 23543 23546 23495 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446272165 115843072 363 33554432000 4194304 5098028 140724921399968 140724921398072 140560633537148 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25260032 140724921406330 140724921406573 140724921406573 140724921409482 0
/proc/23546/statm: 28282 363 304 221 0 87 0
[pid=23548] ppid=23546 vsize=15419460 memory=515592 CPUtime=65.69 cores=1,3,5,7
/proc/23548/stat : 23548 (java) S 23546 23546 23495 0 -1 1077944320 61392 0 0 0 6530 39 0 0 20 0 16 0 446272165 15789527040 128898 33554432000 4194304 4196468 140726554182640 140726554165184 139975420747511 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
/proc/23548/statm: 3854865 128898 3538 1 0 3815965 0
[pid=23548/tid=23549] ppid=23546 vsize=15419460 memory=1452 CPUtime=2.53 cores=1,3,5,7
/proc/23548/task/23549/stat : 23549 (java) S 23546 23546 23495 0 -1 1077944384 11833 0 0 0 245 8 0 0 20 0 16 0 446272165 15789527040 128898 33554432000 4194304 4196468 140726554182640 139975424988288 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23550] ppid=23546 vsize=15419460 memory=508248 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23550/stat : 23550 (java) S 23546 23546 23495 0 -1 1077944384 686 0 0 0 9 5 0 0 20 0 16 0 446272166 15789527040 128898 33554432000 4194304 4196468 140726554182640 139975348787856 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23551] ppid=23546 vsize=15419460 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/23548/task/23551/stat : 23551 (java) S 23546 23546 23495 0 -1 1077944384 203 0 0 0 8 4 0 0 20 0 16 0 446272166 15789527040 128898 33554432000 4194304 4196468 140726554182640 139975347735056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23552] ppid=23546 vsize=15419460 memory=6791534058613427641 CPUtime=0.16 cores=1,3,5,7
/proc/23548/task/23552/stat : 23552 (java) S 23546 23546 23495 0 -1 1077944384 387 0 0 0 11 5 0 0 20 0 16 0 446272166 15789527040 128898 33554432000 4194304 4196468 140726554182640 139975346682256 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23553] ppid=23546 vsize=15419460 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/23548/task/23553/stat : 23553 (java) S 23546 23546 23495 0 -1 1077944384 859 0 0 0 10 4 0 0 20 0 16 0 446272166 15789527040 128898 33554432000 4194304 4196468 140726554182640 139975345629456 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23558] ppid=23546 vsize=15419460 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/23548/task/23558/stat : 23558 (java) S 23546 23546 23495 0 -1 1077944384 836 0 0 0 1 1 0 0 20 0 16 0 446272167 15789527040 128898 33554432000 4194304 4196468 140726554182640 139974294535024 139975420758658 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23559] ppid=23546 vsize=15419460 memory=508264 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23559/stat : 23559 (java) S 23546 23546 23495 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 16 0 446272168 15789527040 128898 33554432000 4194304 4196468 140726554182640 139974293481056 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23560] ppid=23546 vsize=15419460 memory=828 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23560/stat : 23560 (java) S 23546 23546 23495 0 -1 1077944384 97 0 0 0 0 0 0 0 20 0 16 0 446272168 15789527040 128898 33554432000 4194304 4196468 140726554182640 139974292428160 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23573] ppid=23546 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23573/stat : 23573 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446272170 15789527040 128898 33554432000 4194304 4196468 140726554182640 139974291376464 139975420766107 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23574] ppid=23546 vsize=15419460 memory=6791534058613427641 CPUtime=4.72 cores=1,3,5,7
/proc/23548/task/23574/stat : 23574 (java) S 23546 23546 23495 0 -1 1077944384 12984 0 0 0 470 2 0 0 20 0 16 0 446272171 15789527040 128898 33554432000 4194304 4196468 140726554182640 139974290323824 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23575] ppid=23546 vsize=15419460 memory=111632 CPUtime=4.69 cores=1,3,5,7
/proc/23548/task/23575/stat : 23575 (java) S 23546 23546 23495 0 -1 1077944384 14065 0 0 0 467 2 0 0 20 0 16 0 446272171 15789527040 128898 33554432000 4194304 4196468 140726554182640 139974289271024 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23576] ppid=23546 vsize=15419460 memory=1452 CPUtime=1 cores=1,3,5,7
/proc/23548/task/23576/stat : 23576 (java) S 23546 23546 23495 0 -1 1077944384 9621 0 0 0 98 2 0 0 20 0 16 0 446272171 15789527040 128898 33554432000 4194304 4196468 140726554182640 139974288218224 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23577] ppid=23546 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23577/stat : 23577 (java) S 23546 23546 23495 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 446272171 15789527040 129410 33554432000 4194304 4196468 140726554182640 139974287165664 139975420757717 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
[pid=23548/tid=23578] ppid=23546 vsize=15419460 memory=5773 CPUtime=0 cores=1,3,5,7
/proc/23548/task/23578/stat : 23578 (java) S 23546 23546 23495 0 -1 1077944384 998 0 0 0 0 0 0 0 20 0 16 0 446272171 15789527040 129410 33554432000 4194304 4196468 140726554182640 139974286113968 139975420758658 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11898880 140726554186735 140726554186906 140726554186906 140726554189775 0
Current children cumulated CPU time: 65.69 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 517044 KiB

Child status: 0
Real time (s): 17.5309
CPU time (s): 65.7464
CPU user time (s): 65.3349
CPU system time (s): 0.411407
CPU usage (%): 375.031
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 517044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.3349
system time used= 0.411407
maximum resident set size= 526192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62113
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3804
involuntary context switches= 1786


# summary of solver processes directly reported to runsolver:
#   pid: 23546
#   total CPU time (s): 65.7464
#   total CPU user time (s): 65.3349
#   total CPU system time (s): 0.411407

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.126245 second user time and 0.259902 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-10-opt_c18.xml
MD5SUM	d4eaac7549f90ed3ded0e25770a164a4
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	394
Best CPU time to get the best result obtained on this benchmark	5.68141
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3907
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":40},{"size":24,"count":14},{"size":36,"count":146},{"size":42,"count":306},{"size":44,"count":174}]
Minimum variable degree	4
Maximum variable degree	25
Distribution of variable degrees	[{"degree":4,"count":1},{"degree":5,"count":2},{"degree":6,"count":15},{"degree":7,"count":36},{"degree":8,"count":71},{"degree":9,"count":62},{"degree":10,"count":71},{"degree":11,"count":58},{"degree":12,"count":55},{"degree":13,"count":34},{"degree":14,"count":33},{"degree":15,"count":44},{"degree":16,"count":63},{"degree":17,"count":60},{"degree":18,"count":44},{"degree":19,"count":19},{"degree":20,"count":5},{"degree":21,"count":2},{"degree":22,"count":1},{"degree":23,"count":2},{"degree":24,"count":1},{"degree":25,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":3907}]
Number of extensional constraints	0
Number of intensional constraints	3907
Distribution of constraint types	[{"type":"intension","count":3907}]
Optimization problem	YES
Type of objective	min MAXIMUM
Trace number 4399247

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
