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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-20	OPT	394	67.1172	17.6608
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 (4452 MiB free)
  memory of node 1: 16384 MiB (2440 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4403747-1568993690/watcher-4403747-1568993690 -o /var/tmp/evaluation-result-4403747-1568993690/solver-4403747-1568993690 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node105-1568988085-26762 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1502919779 HOME/instance-4403747-1568993690.xml 

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

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

solver pid=27944, runsolver pid=27941

[startup+0.100124 s]*
/proc/loadavg: 8.70 8.56 7.60 7/233 27960
/proc/meminfo: memFree=7044092/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0
[pid=27946] ppid=27944 vsize=15144776 memory=28684 CPUtime=0.13 cores=0,2,4,6
/proc/27946/stat : 27946 (java) S 27944 27944 26731 0 -1 1077944320 5600 0 0 0 12 1 0 0 20 0 15 0 475627063 15508250624 7171 33554432000 4194304 4196468 140725836409968 140725836392512 139846072893175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
/proc/27946/statm: 3786194 7171 3142 1 0 3748377 0
[pid=27946/tid=27947] ppid=27944 vsize=15144776 memory=-2698085374278620574 CPUtime=0.09 cores=0,2,4,6
/proc/27946/task/27947/stat : 27947 (java) R 27944 27944 26731 0 -1 4202560 3541 0 0 0 9 0 0 0 20 0 15 0 475627063 15508250624 7171 33554432000 4194304 4196468 140725836409968 139846077124864 139846065130302 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27948] ppid=27944 vsize=15144776 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27948/stat : 27948 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 7171 33554432000 4194304 4196468 140725836409968 139846025513872 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27949] ppid=27944 vsize=15144776 memory=140531446605440 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27949/stat : 27949 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 7171 33554432000 4194304 4196468 140725836409968 139846024461072 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27950] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27950/stat : 27950 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 7171 33554432000 4194304 4196468 140725836409968 139846023408784 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27951] ppid=27944 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27951/stat : 27951 (java) S 27944 27944 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 7171 33554432000 4194304 4196468 140725836409968 139846022355984 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27952] ppid=27944 vsize=15144776 memory=140531446605440 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475627065 15508250624 7171 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475627066 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845540225824 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475627066 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845539173488 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) R 27944 27944 26731 0 -1 4202560 463 0 0 0 0 0 0 0 20 0 15 0 475627068 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845537068864 139846065990011 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) R 27944 27944 26731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475627068 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845536016880 139846072904322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15144776 memory=140531446605440 CPUtime=0.01 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) R 27944 27944 26731 0 -1 4202560 319 0 0 0 1 0 0 0 20 0 15 0 475627068 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845534964592 139846052331159 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15144776 memory=140531446605440 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627069 15508250624 7237 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30136 KiB

[startup+0.210877 s]*
/proc/loadavg: 8.70 8.56 7.60 6/233 27960
/proc/meminfo: memFree=7030936/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0
[pid=27946] ppid=27944 vsize=15144776 memory=40304 CPUtime=0.34 cores=0,2,4,6
/proc/27946/stat : 27946 (java) S 27944 27944 26731 0 -1 1077944320 9295 0 0 0 31 3 0 0 20 0 15 0 475627063 15508250624 10076 33554432000 4194304 4196468 140725836409968 140725836392512 139846072893175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
/proc/27946/statm: 3786194 10076 3279 1 0 3748377 0
[pid=27946/tid=27947] ppid=27944 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/27946/task/27947/stat : 27947 (java) R 27944 27944 26731 0 -1 4202560 6516 0 0 0 18 2 0 0 20 0 15 0 475627063 15508250624 10076 33554432000 4194304 4196468 140725836409968 139846077111552 139846072905110 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27948] ppid=27944 vsize=15144776 memory=1899191 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27948/stat : 27948 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 10076 33554432000 4194304 4196468 140725836409968 139846025513872 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27949] ppid=27944 vsize=15144776 memory=140531449966613 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27949/stat : 27949 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 10076 33554432000 4194304 4196468 140725836409968 139846024461072 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27950] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27950/stat : 27950 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 10076 33554432000 4194304 4196468 140725836409968 139846023408784 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27951] ppid=27944 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27951/stat : 27951 (java) S 27944 27944 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475627064 15508250624 10076 33554432000 4194304 4196468 140725836409968 139846022355984 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27952] ppid=27944 vsize=15144776 memory=140531446605440 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475627065 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475627066 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845540225824 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475627066 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845539173488 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) S 27944 27944 26731 0 -1 1077944384 547 0 0 0 2 0 0 0 20 0 15 0 475627068 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845537069680 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) S 27944 27944 26731 0 -1 1077944384 108 0 0 0 2 0 0 0 20 0 15 0 475627068 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845536016880 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15144776 memory=140531446605440 CPUtime=0.08 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) R 27944 27944 26731 0 -1 4202560 815 0 0 0 8 0 0 0 20 0 15 0 475627068 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845534964592 139846058576213 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627069 15508250624 10076 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41756 KiB

[startup+0.310691 s]*
/proc/loadavg: 8.70 8.56 7.60 7/233 27960
/proc/meminfo: memFree=7025476/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0
[pid=27946] ppid=27944 vsize=15149032 memory=48928 CPUtime=0.52 cores=0,2,4,6
/proc/27946/stat : 27946 (java) S 27944 27944 26731 0 -1 1077944320 10595 0 0 0 49 3 0 0 20 0 15 0 475627063 15512608768 12232 33554432000 4194304 4196468 140725836409968 140725836392512 139846072893175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
/proc/27946/statm: 3787258 12232 3313 1 0 3748377 0
[pid=27946/tid=27947] ppid=27944 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=0,2,4,6
/proc/27946/task/27947/stat : 27947 (java) R 27944 27944 26731 0 -1 4202560 7637 0 0 0 28 2 0 0 20 0 15 0 475627063 15512608768 12232 33554432000 4194304 4196468 140725836409968 139846077124288 139846056973662 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27948] ppid=27944 vsize=15149032 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27948/stat : 27948 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15512608768 12232 33554432000 4194304 4196468 140725836409968 139846025513872 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27949] ppid=27944 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27949/stat : 27949 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15512608768 12232 33554432000 4194304 4196468 140725836409968 139846024461072 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27950] ppid=27944 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27950/stat : 27950 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15512608768 12232 33554432000 4194304 4196468 140725836409968 139846023408784 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27951] ppid=27944 vsize=15149032 memory=-4190076264842474805 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27951/stat : 27951 (java) S 27944 27944 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475627064 15512608768 12232 33554432000 4194304 4196468 140725836409968 139846022355984 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27952] ppid=27944 vsize=15149032 memory=-7305852742256935071 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475627065 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15149032 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475627066 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845540225824 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475627066 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845539173488 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15149032 memory=8514701219781834910 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15149032 memory=6576575808607069861 CPUtime=0.03 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) S 27944 27944 26731 0 -1 1077944384 553 0 0 0 3 0 0 0 20 0 15 0 475627068 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845537069680 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) S 27944 27944 26731 0 -1 1077944384 117 0 0 0 4 0 0 0 20 0 15 0 475627068 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845536016880 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) S 27944 27944 26731 0 -1 1077944384 984 0 0 0 13 0 0 0 20 0 15 0 475627068 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845534964592 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15512608768 12232 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627069 15512608768 12258 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50380 KiB

[startup+0.707038 s]
/proc/loadavg: 8.81 8.59 7.61 9/233 27960
/proc/meminfo: memFree=7003200/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0
[pid=27946] ppid=27944 vsize=15151156 memory=100552 CPUtime=1.74 cores=0,2,4,6
/proc/27946/stat : 27946 (java) S 27944 27944 26731 0 -1 1077944320 15219 0 0 0 168 6 0 0 20 0 15 0 475627063 15514783744 25138 33554432000 4194304 4196468 140725836409968 140725836392512 139846072893175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
/proc/27946/statm: 3787789 25138 3449 1 0 3748889 0
[pid=27946/tid=27947] ppid=27944 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/27946/task/27947/stat : 27947 (java) R 27944 27944 26731 0 -1 4202560 9012 0 0 0 65 3 0 0 20 0 15 0 475627063 15514783744 25138 33554432000 4194304 4196468 140725836409968 139846077113744 139845695470071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27948] ppid=27944 vsize=15151156 memory=43468 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27948/stat : 27948 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15514783744 25138 33554432000 4194304 4196468 140725836409968 139846025513872 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27949] ppid=27944 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27949/stat : 27949 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15514783744 25138 33554432000 4194304 4196468 140725836409968 139846024461072 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27950] ppid=27944 vsize=15151156 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27950/stat : 27950 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627064 15514783744 25138 33554432000 4194304 4196468 140725836409968 139846023408784 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27951] ppid=27944 vsize=15151156 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27951/stat : 27951 (java) S 27944 27944 26731 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475627064 15514783744 25138 33554432000 4194304 4196468 140725836409968 139846022355984 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27952] ppid=27944 vsize=15151156 memory=1548 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475627065 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15151156 memory=7552 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475627066 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845540225824 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15151156 memory=3608 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475627066 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845539173488 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15151156 memory=616 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15151156 memory=2832 CPUtime=0.3 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) R 27944 27944 26731 0 -1 4202560 1448 0 0 0 30 0 0 0 20 0 15 0 475627068 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845537069680 139846058504275 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15151156 memory=1620 CPUtime=0.35 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) R 27944 27944 26731 0 -1 4202560 1379 0 0 0 35 0 0 0 20 0 15 0 475627068 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845536016880 139846054199244 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15151156 memory=1136 CPUtime=0.36 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) S 27944 27944 26731 0 -1 1077944384 2071 0 0 0 36 0 0 0 20 0 15 0 475627068 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845534964592 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15151156 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475627068 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15151156 memory=6040 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475627069 15514783744 25138 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 102004 KiB

[startup+1.50098 s]
/proc/loadavg: 8.81 8.59 7.61 8/233 27960
/proc/meminfo: memFree=6914956/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0

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

/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 765 0 0 0 1 0 0 0 20 0 19 0 475627065 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15419460 memory=140531330357505 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475627066 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845540225888 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15419460 memory=6010732524075051111 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475627066 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845539173504 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15419460 memory=7445411609828745576 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15419460 memory=7018973627222155881 CPUtime=5.3 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) S 27944 27944 26731 0 -1 1077944384 16669 0 0 0 527 3 0 0 20 0 19 0 475627068 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845537069680 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15419460 memory=7018973627222155881 CPUtime=4.91 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) S 27944 27944 26731 0 -1 1077944384 12892 0 0 0 488 3 0 0 20 0 19 0 475627068 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845536016880 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15419460 memory=7593465239713769826 CPUtime=0.9 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) S 27944 27944 26731 0 -1 1077944384 5326 0 0 0 89 1 0 0 20 0 19 0 475627068 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845534964592 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15419460 memory=7593747788784423786 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15419460 memory=7593747788784423786 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 475627069 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27965] ppid=27944 vsize=15419460 memory=6010732524075051111 CPUtime=9.99 cores=0,2,4,6
/proc/27946/task/27965/stat : 27965 (java) R 27944 27944 26731 0 -1 4202560 11958 0 0 0 999 0 0 0 20 0 19 0 475627581 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845521772200 139845703082470 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27966] ppid=27944 vsize=15419460 memory=2016 CPUtime=9.99 cores=0,2,4,6
/proc/27946/task/27966/stat : 27966 (java) R 27944 27944 26731 0 -1 4202560 32060 0 0 0 998 1 0 0 20 0 19 0 475627581 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845522826152 139845702168080 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27967] ppid=27944 vsize=15419460 memory=1412 CPUtime=10.06 cores=0,2,4,6
/proc/27946/task/27967/stat : 27967 (java) R 27944 27944 26731 0 -1 4202560 13165 0 0 0 1006 0 0 0 20 0 19 0 475627581 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845523878216 139845703592880 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27968] ppid=27944 vsize=15419460 memory=1452 CPUtime=10.45 cores=0,2,4,6
/proc/27946/task/27968/stat : 27968 (java) R 27944 27944 26731 0 -1 4202560 8535 0 0 0 1045 0 0 0 20 0 19 0 475627581 15789527040 125091 33554432000 4194304 4196468 140725836409968 139845520718888 139845704774752 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 60.92 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 501816 KiB

[startup+16.801 s]
/proc/loadavg: 8.76 8.59 7.63 9/237 27971
/proc/meminfo: memFree=6571944/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0
[pid=27946] ppid=27944 vsize=15419460 memory=500372 CPUtime=64.08 cores=0,2,4,6
/proc/27946/stat : 27946 (java) S 27944 27944 26731 0 -1 1077944320 157307 0 0 0 6375 33 0 0 20 0 19 0 475627063 15789527040 125093 33554432000 4194304 4196468 140725836409968 140725836392512 139846072893175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
/proc/27946/statm: 3854865 125093 3537 1 0 3815965 0
[pid=27946/tid=27947] ppid=27944 vsize=15419460 memory=8317482817917895235 CPUtime=2.49 cores=0,2,4,6
/proc/27946/task/27947/stat : 27947 (java) S 27944 27944 26731 0 -1 1077944384 11222 0 0 0 243 6 0 0 20 0 19 0 475627063 15789527040 125093 33554432000 4194304 4196468 140725836409968 139846077133952 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27948] ppid=27944 vsize=15419460 memory=6791534058613427641 CPUtime=0.11 cores=0,2,4,6
/proc/27946/task/27948/stat : 27948 (java) S 27944 27944 26731 0 -1 1077944384 7530 0 0 0 9 2 0 0 20 0 19 0 475627064 15789527040 125093 33554432000 4194304 4196468 140725836409968 139846025513872 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27949] ppid=27944 vsize=15419460 memory=3226 CPUtime=0.14 cores=0,2,4,6
/proc/27946/task/27949/stat : 27949 (java) S 27944 27944 26731 0 -1 1077944384 8676 0 0 0 11 3 0 0 20 0 19 0 475627064 15789527040 125093 33554432000 4194304 4196468 140725836409968 139846024461072 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27950] ppid=27944 vsize=15419460 memory=249 CPUtime=0.13 cores=0,2,4,6
/proc/27946/task/27950/stat : 27950 (java) S 27944 27944 26731 0 -1 1077944384 8689 0 0 0 10 3 0 0 20 0 19 0 475627064 15789527040 125093 33554432000 4194304 4196468 140725836409968 139846023408784 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27951] ppid=27944 vsize=15419460 memory=11 CPUtime=0.13 cores=0,2,4,6
/proc/27946/task/27951/stat : 27951 (java) S 27944 27944 26731 0 -1 1077944384 9279 0 0 0 11 2 0 0 20 0 19 0 475627064 15789527040 125093 33554432000 4194304 4196468 140725836409968 139846022355984 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27952] ppid=27944 vsize=15419460 memory=14056 CPUtime=0.01 cores=0,2,4,6
/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 767 0 0 0 1 0 0 0 20 0 19 0 475627065 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 10 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15419460 memory=2116 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475627066 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845540225888 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15419460 memory=516 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475627066 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845539173504 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15419460 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15419460 memory=928 CPUtime=5.3 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) S 27944 27944 26731 0 -1 1077944384 16669 0 0 0 527 3 0 0 20 0 19 0 475627068 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845537069680 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15419460 memory=1452 CPUtime=4.93 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) S 27944 27944 26731 0 -1 1077944384 13384 0 0 0 490 3 0 0 20 0 19 0 475627068 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845536016880 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15419460 memory=500372 CPUtime=0.91 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) S 27944 27944 26731 0 -1 1077944384 5352 0 0 0 90 1 0 0 20 0 19 0 475627068 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845534964592 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15419460 memory=616 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15419460 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 475627069 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27965] ppid=27944 vsize=15419460 memory=1620 CPUtime=10.77 cores=0,2,4,6
/proc/27946/task/27965/stat : 27965 (java) R 27944 27944 26731 0 -1 4202560 12153 0 0 0 1077 0 0 0 20 0 19 0 475627581 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845521771960 139845704261137 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27966] ppid=27944 vsize=15419460 memory=1136 CPUtime=10.78 cores=0,2,4,6
/proc/27946/task/27966/stat : 27966 (java) R 27944 27944 26731 0 -1 4202560 32168 0 0 0 1077 1 0 0 20 0 19 0 475627581 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845522827976 139845705889347 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27967] ppid=27944 vsize=15419460 memory=1452 CPUtime=10.85 cores=0,2,4,6
/proc/27946/task/27967/stat : 27967 (java) R 27944 27944 26731 0 -1 4202560 13329 0 0 0 1085 0 0 0 20 0 19 0 475627581 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845523878656 139845703082409 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27968] ppid=27944 vsize=15419460 memory=500364 CPUtime=11.21 cores=0,2,4,6
/proc/27946/task/27968/stat : 27968 (java) R 27944 27944 26731 0 -1 4202560 9010 0 0 0 1121 0 0 0 20 0 19 0 475627581 15789527040 125093 33554432000 4194304 4196468 140725836409968 139845520719352 139845704894627 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 64.08 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 501824 KiB

[startup+17.2007 s]
/proc/loadavg: 8.76 8.59 7.63 10/237 27979
/proc/meminfo: memFree=6571936/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0
[pid=27946] ppid=27944 vsize=15486024 memory=496828 CPUtime=65.58 cores=0,2,4,6
/proc/27946/stat : 27946 (java) S 27944 27944 26731 0 -1 1077944320 162745 0 0 0 6525 33 0 0 20 0 19 0 475627063 15857688576 124207 33554432000 4194304 4196468 140725836409968 140725836392512 139846072893175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
/proc/27946/statm: 3871506 124207 3537 1 0 3832606 0
[pid=27946/tid=27947] ppid=27944 vsize=15486024 memory=4100 CPUtime=2.49 cores=0,2,4,6
/proc/27946/task/27947/stat : 27947 (java) S 27944 27944 26731 0 -1 1077944384 11471 0 0 0 243 6 0 0 20 0 19 0 475627063 15857688576 124207 33554432000 4194304 4196468 140725836409968 139846077133952 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27948] ppid=27944 vsize=15486024 memory=1412 CPUtime=0.11 cores=0,2,4,6
/proc/27946/task/27948/stat : 27948 (java) S 27944 27944 26731 0 -1 1077944384 7530 0 0 0 9 2 0 0 20 0 19 0 475627064 15857688576 124207 33554432000 4194304 4196468 140725836409968 139846025513872 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27949] ppid=27944 vsize=15486024 memory=2736 CPUtime=0.14 cores=0,2,4,6
/proc/27946/task/27949/stat : 27949 (java) S 27944 27944 26731 0 -1 1077944384 8676 0 0 0 11 3 0 0 20 0 19 0 475627064 15857688576 124207 33554432000 4194304 4196468 140725836409968 139846024461072 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27950] ppid=27944 vsize=15486024 memory=288230574492221466 CPUtime=0.13 cores=0,2,4,6
/proc/27946/task/27950/stat : 27950 (java) S 27944 27944 26731 0 -1 1077944384 8689 0 0 0 10 3 0 0 20 0 19 0 475627064 15857688576 124207 33554432000 4194304 4196468 140725836409968 139846023408784 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27951] ppid=27944 vsize=15486024 memory=288230621803970871 CPUtime=0.13 cores=0,2,4,6
/proc/27946/task/27951/stat : 27951 (java) S 27944 27944 26731 0 -1 1077944384 9279 0 0 0 11 2 0 0 20 0 19 0 475627064 15857688576 124207 33554432000 4194304 4196468 140725836409968 139846022355984 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27952] ppid=27944 vsize=15486024 memory=14691894252800627 CPUtime=0.01 cores=0,2,4,6
/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 776 0 0 0 1 0 0 0 20 0 19 0 475627065 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15486024 memory=1060 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475627066 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845540225888 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15486024 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475627066 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845539173504 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15486024 memory=19640 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15486024 memory=616 CPUtime=5.37 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) S 27944 27944 26731 0 -1 1077944384 17834 0 0 0 534 3 0 0 20 0 19 0 475627068 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845537069680 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15486024 memory=2832 CPUtime=4.96 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) R 27944 27944 26731 0 -1 1077944384 14015 0 0 0 493 3 0 0 20 0 19 0 475627068 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845536016880 139846072904322 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15486024 memory=1620 CPUtime=0.93 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) S 27944 27944 26731 0 -1 1077944384 6209 0 0 0 92 1 0 0 20 0 19 0 475627068 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845534964592 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15486024 memory=1136 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15486024 memory=1072 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 475627069 15857688576 124207 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 65.58 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 498280 KiB

[startup+17.6007 s]
/proc/loadavg: 8.76 8.59 7.63 10/237 27979
/proc/meminfo: memFree=6571936/32770624 swapFree=66955312/67108860
[pid=27944] ppid=27941 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27944/stat : 27944 (xcsp3-exec) S 27941 27944 26731 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 475627062 115843072 363 33554432000 4194304 5098028 140724728189904 140724728188008 140007606325884 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24141824 140724728197974 140724728198233 140724728198233 140724728201158 0
/proc/27944/statm: 28282 363 304 221 0 87 0
[pid=27946] ppid=27944 vsize=15486024 memory=493248 CPUtime=67.03 cores=0,2,4,6
/proc/27946/stat : 27946 (java) S 27944 27944 26731 0 -1 1077944320 164774 0 0 0 6670 33 0 0 20 0 19 0 475627063 15857688576 123312 33554432000 4194304 4196468 140725836409968 140725836392512 139846072893175 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
/proc/27946/statm: 3871506 123312 3538 1 0 3832606 0
[pid=27946/tid=27947] ppid=27944 vsize=15486024 memory=0 CPUtime=2.49 cores=0,2,4,6
/proc/27946/task/27947/stat : 27947 (java) S 27944 27944 26731 0 -1 1077944384 11471 0 0 0 243 6 0 0 20 0 19 0 475627063 15857688576 123312 33554432000 4194304 4196468 140725836409968 139846077133952 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27948] ppid=27944 vsize=15486024 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/27946/task/27948/stat : 27948 (java) S 27944 27944 26731 0 -1 1077944384 7530 0 0 0 9 2 0 0 20 0 19 0 475627064 15857688576 123312 33554432000 4194304 4196468 140725836409968 139846025513872 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27949] ppid=27944 vsize=15486024 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/27946/task/27949/stat : 27949 (java) S 27944 27944 26731 0 -1 1077944384 8676 0 0 0 11 3 0 0 20 0 19 0 475627064 15857688576 123312 33554432000 4194304 4196468 140725836409968 139846024461072 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27950] ppid=27944 vsize=15486024 memory=3624 CPUtime=0.13 cores=0,2,4,6
/proc/27946/task/27950/stat : 27950 (java) S 27944 27944 26731 0 -1 1077944384 8689 0 0 0 10 3 0 0 20 0 19 0 475627064 15857688576 123312 33554432000 4194304 4196468 140725836409968 139846023408784 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27951] ppid=27944 vsize=15486024 memory=43468 CPUtime=0.13 cores=0,2,4,6
/proc/27946/task/27951/stat : 27951 (java) S 27944 27944 26731 0 -1 1077944384 9279 0 0 0 11 2 0 0 20 0 19 0 475627064 15857688576 123312 33554432000 4194304 4196468 140725836409968 139846022355984 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27952] ppid=27944 vsize=15486024 memory=984 CPUtime=0.01 cores=0,2,4,6
/proc/27946/task/27952/stat : 27952 (java) S 27944 27944 26731 0 -1 1077944384 777 0 0 0 1 0 0 0 20 0 19 0 475627065 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845541279856 139846072904322 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27953] ppid=27944 vsize=15486024 memory=2016 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27953/stat : 27953 (java) S 27944 27944 26731 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 19 0 475627066 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845540225888 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27954] ppid=27944 vsize=15486024 memory=1412 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27954/stat : 27954 (java) S 27944 27944 26731 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 475627066 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845539173504 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27955] ppid=27944 vsize=15486024 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27955/stat : 27955 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845538121808 139846072911771 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27956] ppid=27944 vsize=15486024 memory=1452 CPUtime=5.68 cores=0,2,4,6
/proc/27946/task/27956/stat : 27956 (java) S 27944 27944 26731 0 -1 1077944384 18747 0 0 0 565 3 0 0 20 0 19 0 475627068 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845537069680 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27957] ppid=27944 vsize=15486024 memory=500364 CPUtime=5.22 cores=0,2,4,6
/proc/27946/task/27957/stat : 27957 (java) S 27944 27944 26731 0 -1 1077944384 14813 0 0 0 519 3 0 0 20 0 19 0 475627068 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845536016880 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27958] ppid=27944 vsize=15486024 memory=984 CPUtime=0.97 cores=0,2,4,6
/proc/27946/task/27958/stat : 27958 (java) S 27944 27944 26731 0 -1 1077944384 6387 0 0 0 96 1 0 0 20 0 19 0 475627068 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845534964592 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27959] ppid=27944 vsize=15486024 memory=3624 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27959/stat : 27959 (java) S 27944 27944 26731 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475627068 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845533912032 139846072903381 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
[pid=27946/tid=27960] ppid=27944 vsize=15486024 memory=43468 CPUtime=0 cores=0,2,4,6
/proc/27946/task/27960/stat : 27960 (java) S 27944 27944 26731 0 -1 1077944384 336 0 0 0 0 0 0 0 20 0 19 0 475627069 15857688576 123312 33554432000 4194304 4196468 140725836409968 139845532858800 139846072904322 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 12398592 140725836411867 140725836412042 140725836412042 140725836414927 0
Current children cumulated CPU time: 67.03 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 494700 KiB

Child status: 0
Real time (s): 17.6608
CPU time (s): 67.1172
CPU user time (s): 66.7606
CPU system time (s): 0.356599
CPU usage (%): 380.034
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 501824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.7606
system time used= 0.356599
maximum resident set size= 500520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165562
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= 3770
involuntary context switches= 2459


# summary of solver processes directly reported to runsolver:
#   pid: 27944
#   total CPU time (s): 67.1172
#   total CPU user time (s): 66.7606
#   total CPU system time (s): 0.356599

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.134735 second user time and 0.243613 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 4403747

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
