2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Choco-solver 4.0.7b seq (e747e1e)	OPT	394	11.7087	5.38165
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 (10700 MiB free)
  memory of node 1: 16384 MiB (12030 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301543-1532882758/watcher-4301543-1532882758 -o /tmp/evaluation-result-4301543-1532882758/solver-4301543-1532882758 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532878307-6427 --watchdog 312 HOME/xcsp3-exec -seed 1325805612 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301543-1532882758.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=9964, runsolver pid=9961

[startup+0.100127 s]*
/proc/loadavg: 1.99 2.06 2.04 3/217 9980
/proc/meminfo: memFree=23260132/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14082940 memory=27984 CPUtime=0.11 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 5341 0 0 0 11 0 0 0 20 0 15 0 105839023 14420930560 6996 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3520735 6996 3017 1 0 3483012 0
[pid=9966/tid=9967] ppid=9964 vsize=14082940 memory=7757349887612785499 CPUtime=0.09 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 3305 0 0 0 9 0 0 0 20 0 15 0 105839024 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871683294016 139871679083677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14082940 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14082940 memory=140305525642880 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14082940 memory=140305525642880 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839026 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105839026 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105839026 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) S 9964 9964 6396 0 -1 1077944384 330 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871149021296 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) S 9964 9964 6396 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871147968496 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14082940 memory=140305525642880 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 280 0 0 0 1 0 0 0 20 0 15 0 105839029 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14082940 memory=140305525642880 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 6996 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 29440 KiB

[startup+0.210723 s]*
/proc/loadavg: 1.99 2.06 2.04 3/217 9980
/proc/meminfo: memFree=23249960/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14082940 memory=39832 CPUtime=0.34 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 8016 0 0 0 32 2 0 0 20 0 15 0 105839023 14420930560 9958 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3520735 9958 3184 1 0 3483012 0
[pid=9966/tid=9967] ppid=9964 vsize=14082940 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 4985 0 0 0 19 1 0 0 20 0 15 0 105839024 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871683295200 139871679083677 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14082940 memory=12591 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14082940 memory=140305526266096 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14082940 memory=140305525642880 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105839026 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105839026 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105839026 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14082940 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) S 9964 9964 6396 0 -1 1077944384 523 0 0 0 3 0 0 0 20 0 15 0 105839029 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871149021296 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14082940 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) S 9964 9964 6396 0 -1 1077944384 318 0 0 0 1 0 0 0 20 0 15 0 105839029 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871147968496 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14082940 memory=140305525642880 CPUtime=0.08 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 881 0 0 0 8 0 0 0 20 0 15 0 105839029 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839029 14420930560 9958 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 41288 KiB

[startup+0.310555 s]*
/proc/loadavg: 1.99 2.06 2.04 4/217 9980
/proc/meminfo: memFree=23242864/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14087196 memory=47116 CPUtime=0.52 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 8920 0 0 0 50 2 0 0 20 0 15 0 105839023 14425288704 11779 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3521799 11779 3272 1 0 3483012 0
[pid=9966/tid=9967] ppid=9964 vsize=14087196 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 5619 0 0 0 28 1 0 0 20 0 15 0 105839024 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871683292864 139871663142268 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14087196 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839024 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105839026 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105839026 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105839026 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14087196 memory=8325818968683490714 CPUtime=0.05 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) S 9964 9964 6396 0 -1 1077944384 544 0 0 0 5 0 0 0 20 0 15 0 105839029 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871149021296 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) R 9964 9964 6396 0 -1 4202560 427 0 0 0 4 0 0 0 20 0 15 0 105839029 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871147958880 139871660237552 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 1033 0 0 0 12 0 0 0 20 0 15 0 105839029 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839029 14425288704 11779 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 48572 KiB

[startup+0.700844 s]
/proc/loadavg: 1.99 2.06 2.04 5/217 9980
/proc/meminfo: memFree=23220028/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14089320 memory=96804 CPUtime=1.72 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 12799 0 0 0 167 5 0 0 20 0 15 0 105839023 14427463680 24201 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3522330 24201 3354 1 0 3483524 0
[pid=9966/tid=9967] ppid=9964 vsize=14089320 memory=33 CPUtime=0.67 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 6491 0 0 0 64 3 0 0 20 0 15 0 105839024 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871683281328 139871679083677 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14089320 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14089320 memory=30124 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14089320 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14089320 memory=2416 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14089320 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14089320 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14089320 memory=796 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14089320 memory=5408 CPUtime=0.33 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) R 9964 9964 6396 0 -1 1077944384 1516 0 0 0 33 0 0 0 20 0 15 0 105839029 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871149021296 139871679072898 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14089320 memory=1008 CPUtime=0.35 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) R 9964 9964 6396 0 -1 4202560 1281 0 0 0 35 0 0 0 20 0 15 0 105839029 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871147968496 139871679073686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14089320 memory=9992 CPUtime=0.35 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 2201 0 0 0 35 0 0 0 20 0 15 0 105839029 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14089320 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14089320 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 24201 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 98260 KiB

[startup+1.50088 s]
/proc/loadavg: 1.99 2.06 2.04 5/217 9980
/proc/meminfo: memFree=23132880/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0

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

/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14089320 memory=221980 CPUtime=9.53 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 27263 0 0 0 941 12 0 0 20 0 15 0 105839023 14427463680 55495 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3522330 55495 3417 1 0 3483524 0
[pid=9966/tid=9967] ppid=9964 vsize=14089320 memory=8112282956445269571 CPUtime=3.95 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 8321 0 0 0 390 5 0 0 20 0 15 0 105839024 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871683298208 139871323039439 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14089320 memory=4872558044660077418 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14089320 memory=0 CPUtime=2.38 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) S 9964 9964 6396 0 -1 1077944384 6214 0 0 0 237 1 0 0 20 0 15 0 105839029 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871149021296 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14089320 memory=7230921007607278949 CPUtime=2.36 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) S 9964 9964 6396 0 -1 1077944384 5566 0 0 0 235 1 0 0 20 0 15 0 105839029 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871147968496 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14089320 memory=4496375184891269936 CPUtime=0.73 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 4472 0 0 0 71 2 0 0 20 0 15 0 105839029 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14089320 memory=7679937539659563834 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14089320 memory=4783494139404706144 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 55495 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 9.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 223436 KiB

[startup+4.80089 s]
/proc/loadavg: 2.15 2.09 2.05 3/217 9980
/proc/meminfo: memFree=23066704/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14089320 memory=226432 CPUtime=10.71 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 28440 0 0 0 1058 13 0 0 20 0 15 0 105839023 14427463680 56608 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3522330 56608 3417 1 0 3483524 0
[pid=9966/tid=9967] ppid=9964 vsize=14089320 memory=280610749036768 CPUtime=4.74 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 8322 0 0 0 469 5 0 0 20 0 15 0 105839024 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871683300104 139871323024782 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14089320 memory=280610749036960 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14089320 memory=238 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14089320 memory=236 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14089320 memory=73 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14089320 memory=0 CPUtime=2.58 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) R 9964 9964 6396 0 -1 4202560 7226 0 0 0 256 2 0 0 20 0 15 0 105839029 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871149007176 139871660606952 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14089320 memory=4124 CPUtime=2.55 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) R 9964 9964 6396 0 -1 4202560 5719 0 0 0 254 1 0 0 20 0 15 0 105839029 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871147968496 139871664177001 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14089320 memory=2200 CPUtime=0.74 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 4482 0 0 0 72 2 0 0 20 0 15 0 105839029 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14089320 memory=7528 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14089320 memory=840 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56608 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 10.71 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 227888 KiB

[startup+5.20085 s]
/proc/loadavg: 2.15 2.09 2.05 4/217 9980
/proc/meminfo: memFree=23049612/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14089320 memory=227368 CPUtime=11.53 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 32104 0 0 0 1139 14 0 0 20 0 15 0 105839023 14427463680 56842 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3522330 56842 3419 1 0 3483524 0
[pid=9966/tid=9967] ppid=9964 vsize=14089320 memory=8112282956445269571 CPUtime=5.14 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 8323 0 0 0 509 5 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871683297968 139871323024219 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14089320 memory=6944656592387989600 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14089320 memory=-7880843606118635149 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14089320 memory=170985786 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14089320 memory=288230377007612190 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14089320 memory=20231 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14089320 memory=0 CPUtime=2.81 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) S 9964 9964 6396 0 -1 1077944384 9261 0 0 0 279 2 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871149021296 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14089320 memory=0 CPUtime=2.72 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) S 9964 9964 6396 0 -1 1077944384 7341 0 0 0 271 1 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871147968496 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14089320 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 4482 0 0 0 72 2 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14089320 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 11.53 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 228824 KiB

[startup+5.30082 s]
/proc/loadavg: 2.15 2.09 2.05 4/217 9980
/proc/meminfo: memFree=23049612/32770624 swapFree=67108860/67108860
[pid=9964] ppid=9961 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/9964/stat : 9964 (xcsp3-exec) S 9961 9964 6396 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105839023 115843072 364 33554432000 4194304 5098028 140722916566336 140722916564440 139643443884668 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 37347328 140722916570176 140722916570377 140722916570377 140722916573130 0
/proc/9964/statm: 28282 364 306 221 0 87 0
[pid=9966] ppid=9964 vsize=14089320 memory=227368 CPUtime=11.63 cores=0,2,4,6
/proc/9966/stat : 9966 (java) S 9964 9964 6396 0 -1 1077944320 32104 0 0 0 1149 14 0 0 20 0 15 0 105839023 14427463680 56842 33554432000 4194304 4196468 140729443293824 140729443276368 139871679061751 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
/proc/9966/statm: 3522330 56842 3419 1 0 3483524 0
[pid=9966/tid=9967] ppid=9964 vsize=14089320 memory=8128038100524242582 CPUtime=5.24 cores=0,2,4,6
/proc/9966/task/9967/stat : 9967 (java) R 9964 9964 6396 0 -1 4202560 8323 0 0 0 519 5 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871683297968 139871323024345 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9968] ppid=9964 vsize=14089320 memory=8259761640030508194 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9968/stat : 9968 (java) S 9964 9964 6396 0 -1 1077944384 112 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871650904464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9969] ppid=9964 vsize=14089320 memory=55 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9969/stat : 9969 (java) S 9964 9964 6396 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871274244368 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9970] ppid=9964 vsize=14089320 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9970/stat : 9970 (java) S 9964 9964 6396 0 -1 1077944384 564 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871273192080 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9971] ppid=9964 vsize=14089320 memory=280610749042912 CPUtime=0.01 cores=0,2,4,6
/proc/9966/task/9971/stat : 9971 (java) S 9964 9964 6396 0 -1 1077944384 359 0 0 0 1 0 0 0 20 0 15 0 105839024 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871272139280 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9972] ppid=9964 vsize=14089320 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9972/stat : 9972 (java) S 9964 9964 6396 0 -1 1077944384 272 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871153232496 139871679072898 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9973] ppid=9964 vsize=14089320 memory=220808 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9973/stat : 9973 (java) S 9964 9964 6396 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871152178464 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9974] ppid=9964 vsize=14089320 memory=7016714190785702558 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9974/stat : 9974 (java) S 9964 9964 6396 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 15 0 105839026 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871151126128 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9975] ppid=9964 vsize=14089320 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9975/stat : 9975 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871150074448 139871679080347 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9976] ppid=9964 vsize=14089320 memory=916 CPUtime=2.81 cores=0,2,4,6
/proc/9966/task/9976/stat : 9976 (java) S 9964 9964 6396 0 -1 1077944384 9261 0 0 0 279 2 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871149021296 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9977] ppid=9964 vsize=14089320 memory=3848 CPUtime=2.72 cores=0,2,4,6
/proc/9966/task/9977/stat : 9977 (java) S 9964 9964 6396 0 -1 1077944384 7341 0 0 0 271 1 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871147968496 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9978] ppid=9964 vsize=14089320 memory=1456 CPUtime=0.74 cores=0,2,4,6
/proc/9966/task/9978/stat : 9978 (java) S 9964 9964 6396 0 -1 1077944384 4482 0 0 0 72 2 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871146916208 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9979] ppid=9964 vsize=14089320 memory=221800 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9979/stat : 9979 (java) S 9964 9964 6396 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871145863648 139871679071957 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
[pid=9966/tid=9980] ppid=9964 vsize=14089320 memory=280610749036192 CPUtime=0 cores=0,2,4,6
/proc/9966/task/9980/stat : 9980 (java) S 9964 9964 6396 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105839029 14427463680 56842 33554432000 4194304 4196468 140729443293824 139871144811440 139871679072898 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26755072 140729443300492 140729443300662 140729443300662 140729443303375 0
Current children cumulated CPU time: 11.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 228824 KiB

Child status: 0
Real time (s): 5.38165
CPU time (s): 11.7087
CPU user time (s): 11.56
CPU system time (s): 0.148713
CPU usage (%): 217.568
Max. virtual memory (cumulated for all children) (KiB): 14204284
Max. memory (cumulated for all children) (KiB): 240600

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.56
system time used= 0.148713
maximum resident set size= 239288
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32711
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= 2666
involuntary context switches= 39


# summary of solver processes directly reported to runsolver:
#   pid: 9964
#   total CPU time (s): 11.7087
#   total CPU user time (s): 11.56
#   total CPU system time (s): 0.148713

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062133 second user time and 0.093726 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	11.7087
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 4301543

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
