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

Solver Name	Answer	objective function	CPU time	Wall clock time
choco-solver 2019-09-24 parallel	OPT	394	31.8651	5.74803
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 (9629 MiB free)
  memory of node 1: 16384 MiB (15012 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407347-1569350041/watcher-4407347-1569350041 -o /tmp/evaluation-result-4407347-1569350041/solver-4407347-1569350041 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node106-1569332296-31508 --watchdog 312 xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 24000 -tdir HOME -seed 708794815 HOME/instance-4407347-1569350041.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=4792, runsolver pid=4789
Current StackSize limit: 8192 KiB


[startup+0.100064 s]*
/proc/loadavg: 8.35 6.89 7.18 3/210 4813
/proc/meminfo: memFree=25217068/32770624 swapFree=66999760/67108860
[pid=4792] ppid=4789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511258088 115843072 362 33554432000 4194304 5098028 140722552897536 140722552895640 139676124729980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39223296 140722552906620 140722552906862 140722552906862 140722552909770 0
/proc/4792/statm: 28282 362 304 221 0 87 0
[pid=4794] ppid=4792 vsize=28227396 memory=29012 CPUtime=0.12 cores=0-7
/proc/4794/stat : 4794 (java) S 4792 4792 31481 0 -1 1077944320 5689 0 0 0 11 1 0 0 20 0 20 0 511258088 28904853504 7253 33554432000 4194304 4196468 140728886084016 140728886066560 140258822287095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
/proc/4794/statm: 7056849 7253 3159 1 0 7019032 0
[pid=4794/tid=4795] ppid=4792 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 31481 0 -1 4202560 3604 0 0 0 8 1 0 0 20 0 20 0 511258088 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258826513440 140258806330725 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4796] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258742139792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4797] ppid=4792 vsize=28227396 memory=288371042013918848 CPUtime=0 cores=0-7
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258741086992 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4798] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258740034704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4799] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258738981904 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4800] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258737928592 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4801] ppid=4792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258736875792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4802] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258735823504 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4803] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 7253 33554432000 4194304 4196468 140728886084016 140258734770704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4804] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258090 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257937943152 140258822298242 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4805] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511258091 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257936889120 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4806] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511258091 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257935836784 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4807] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258093 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257934785104 140258822305691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4808] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4808/stat : 4808 (java) R 4792 4792 31481 0 -1 1077944384 410 0 0 0 0 0 0 0 20 0 20 0 511258093 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257933731952 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4809] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4809/stat : 4809 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258093 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257932679152 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4810] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4810/stat : 4810 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258093 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257931626864 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4811] ppid=4792 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4794/task/4811/stat : 4811 (java) R 4792 4792 31481 0 -1 4202560 368 0 0 0 2 0 0 0 20 0 20 0 511258093 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257930574064 140258822299030 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4812] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4812/stat : 4812 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258094 28904853504 7253 33554432000 4194304 4196468 140728886084016 140257929522016 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4813] ppid=4792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4794/task/4813/stat : 4813 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258094 28904853504 7253 33554432000 4194304 4196468 140728886084016 140256940649264 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30460 KiB

[startup+0.210646 s]*
/proc/loadavg: 8.35 6.89 7.18 3/210 4813
/proc/meminfo: memFree=25203644/32770624 swapFree=66999760/67108860
[pid=4792] ppid=4789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511258088 115843072 362 33554432000 4194304 5098028 140722552897536 140722552895640 139676124729980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39223296 140722552906620 140722552906862 140722552906862 140722552909770 0
/proc/4792/statm: 28282 362 304 221 0 87 0
[pid=4794] ppid=4792 vsize=28227396 memory=40952 CPUtime=0.33 cores=0-7
/proc/4794/stat : 4794 (java) S 4792 4792 31481 0 -1 1077944320 9509 0 0 0 30 3 0 0 20 0 20 0 511258088 28904853504 10238 33554432000 4194304 4196468 140728886084016 140728886066560 140258822287095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
/proc/4794/statm: 7056849 10238 3262 1 0 7019032 0
[pid=4794/tid=4795] ppid=4792 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 31481 0 -1 4202560 6632 0 0 0 17 2 0 0 20 0 20 0 511258088 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258826520384 140258822299030 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4796] ppid=4792 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258742139792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4797] ppid=4792 vsize=28227396 memory=140665862224967 CPUtime=0 cores=0-7
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258741086992 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4798] ppid=4792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258740034704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4799] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258738981904 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4800] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258737928592 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4801] ppid=4792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258736875792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4802] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258735823504 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4803] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28904853504 10238 33554432000 4194304 4196468 140728886084016 140258734770704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4804] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511258090 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257937943152 140258822298242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4805] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511258091 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257936889120 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4806] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511258091 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257935836784 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4807] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258093 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257934785104 140258822305691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4808] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 31481 0 -1 1077944384 448 0 0 0 0 0 0 0 20 0 20 0 511258093 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257933731952 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4809] ppid=4792 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/4794/task/4809/stat : 4809 (java) S 4792 4792 31481 0 -1 1077944384 259 0 0 0 2 0 0 0 20 0 20 0 511258093 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257932679152 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4810] ppid=4792 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/4794/task/4810/stat : 4810 (java) S 4792 4792 31481 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 511258093 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257931626864 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4811] ppid=4792 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/4794/task/4811/stat : 4811 (java) R 4792 4792 31481 0 -1 4202560 805 0 0 0 7 0 0 0 20 0 20 0 511258093 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257930574064 140258814524222 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4812] ppid=4792 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4812/stat : 4812 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258094 28904853504 10238 33554432000 4194304 4196468 140728886084016 140257929522016 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4813] ppid=4792 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/4794/task/4813/stat : 4813 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258094 28904853504 10238 33554432000 4194304 4196468 140728886084016 140256940649264 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42400 KiB

[startup+0.317661 s]*
/proc/loadavg: 8.35 6.89 7.18 3/210 4813
/proc/meminfo: memFree=25196124/32770624 swapFree=66999760/67108860
[pid=4792] ppid=4789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511258088 115843072 362 33554432000 4194304 5098028 140722552897536 140722552895640 139676124729980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39223296 140722552906620 140722552906862 140722552906862 140722552909770 0
/proc/4792/statm: 28282 362 304 221 0 87 0
[pid=4794] ppid=4792 vsize=28231652 memory=50548 CPUtime=0.53 cores=0-7
/proc/4794/stat : 4794 (java) S 4792 4792 31481 0 -1 1077944320 11019 0 0 0 49 4 0 0 20 0 20 0 511258088 28909211648 12637 33554432000 4194304 4196468 140728886084016 140728886066560 140258822287095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
/proc/4794/statm: 7057913 12637 3360 1 0 7019032 0
[pid=4794/tid=4795] ppid=4792 vsize=28231652 memory=8317482817917895235 CPUtime=0.3 cores=0-7
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 31481 0 -1 4202560 7883 0 0 0 27 3 0 0 20 0 20 0 511258088 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258826525088 140258806367582 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4796] ppid=4792 vsize=28231652 memory=2116 CPUtime=0 cores=0-7
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258742139792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4797] ppid=4792 vsize=28231652 memory=24080 CPUtime=0 cores=0-7
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258741086992 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4798] ppid=4792 vsize=28231652 memory=12024 CPUtime=0 cores=0-7
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258740034704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4799] ppid=4792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258738981904 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4800] ppid=4792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258737928592 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4801] ppid=4792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258736875792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4802] ppid=4792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258735823504 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4803] ppid=4792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28909211648 12637 33554432000 4194304 4196468 140728886084016 140258734770704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4804] ppid=4792 vsize=28231652 memory=140665749072608 CPUtime=0 cores=0-7
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 31481 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 511258090 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257937943152 140258822298242 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4805] ppid=4792 vsize=28231652 memory=281331498149760 CPUtime=0 cores=0-7
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 31481 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 511258091 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257936889120 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4806] ppid=4792 vsize=28231652 memory=281331498154368 CPUtime=0 cores=0-7
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 31481 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 511258091 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257935836784 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4807] ppid=4792 vsize=28231652 memory=281331498158976 CPUtime=0 cores=0-7
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258093 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257934785104 140258822305691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4808] ppid=4792 vsize=28231652 memory=281331498163584 CPUtime=0.01 cores=0-7
/proc/4794/task/4808/stat : 4808 (java) S 4792 4792 31481 0 -1 1077944384 495 0 0 0 1 0 0 0 20 0 20 0 511258093 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257933731952 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4809] ppid=4792 vsize=28231652 memory=281331498168192 CPUtime=0.03 cores=0-7
/proc/4794/task/4809/stat : 4809 (java) S 4792 4792 31481 0 -1 1077944384 278 0 0 0 3 0 0 0 20 0 20 0 511258093 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257932679152 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4810] ppid=4792 vsize=28231652 memory=281331498172800 CPUtime=0.03 cores=0-7
/proc/4794/task/4810/stat : 4810 (java) S 4792 4792 31481 0 -1 1077944384 152 0 0 0 3 0 0 0 20 0 20 0 511258093 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257931626864 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4811] ppid=4792 vsize=28231652 memory=281331498177408 CPUtime=0.12 cores=0-7
/proc/4794/task/4811/stat : 4811 (java) S 4792 4792 31481 0 -1 1077944384 904 0 0 0 12 0 0 0 20 0 20 0 511258093 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257930574064 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4812] ppid=4792 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4812/stat : 4812 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258094 28909211648 12637 33554432000 4194304 4196468 140728886084016 140257929522016 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4813] ppid=4792 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/4794/task/4813/stat : 4813 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258094 28909211648 12637 33554432000 4194304 4196468 140728886084016 140256940649264 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51996 KiB

[startup+0.701021 s]
/proc/loadavg: 8.35 6.89 7.18 5/210 4813
/proc/meminfo: memFree=25173796/32770624 swapFree=66999760/67108860
[pid=4792] ppid=4789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511258088 115843072 362 33554432000 4194304 5098028 140722552897536 140722552895640 139676124729980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39223296 140722552906620 140722552906862 140722552906862 140722552909770 0
/proc/4792/statm: 28282 362 304 221 0 87 0
[pid=4794] ppid=4792 vsize=28233776 memory=108360 CPUtime=2.01 cores=0-7
/proc/4794/stat : 4794 (java) S 4792 4792 31481 0 -1 1077944320 17177 0 0 0 194 7 0 0 20 0 20 0 511258088 28911386624 27090 33554432000 4194304 4196468 140728886084016 140728886066560 140258822287095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
/proc/4794/statm: 7058444 27090 3450 1 0 7019544 0
[pid=4794/tid=4795] ppid=4792 vsize=28233776 memory=6297819575283717039 CPUtime=0.67 cores=0-7
/proc/4794/task/4795/stat : 4795 (java) R 4792 4792 31481 0 -1 4202560 9056 0 0 0 63 4 0 0 20 0 20 0 511258088 28911386624 27090 33554432000 4194304 4196468 140728886084016 140258826512352 140258806367582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4796] ppid=4792 vsize=28233776 memory=41274635724168 CPUtime=0 cores=0-7
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 31481 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 511258089 28911386624 27090 33554432000 4194304 4196468 140728886084016 140258742139792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4797] ppid=4792 vsize=28233776 memory=140665749188320 CPUtime=0 cores=0-7
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 511258089 28911386624 27090 33554432000 4194304 4196468 140728886084016 140258741086992 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4798] ppid=4792 vsize=28233776 memory=9588 CPUtime=0 cores=0-7
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 511258089 28911386624 27090 33554432000 4194304 4196468 140728886084016 140258740034704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0

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

[pid=4794/tid=4795] ppid=4792 vsize=28768336 memory=0 CPUtime=2.88 cores=0-7
/proc/4794/task/4795/stat : 4795 (java) S 4792 4792 31481 0 -1 1077944384 11983 0 0 0 277 11 0 0 20 0 28 0 511258088 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258826527872 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4796] ppid=4792 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 31481 0 -1 1077944384 314 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258742139792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4797] ppid=4792 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 31481 0 -1 1077944384 224 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258741086992 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4798] ppid=4792 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 31481 0 -1 1077944384 579 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258740034704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4799] ppid=4792 vsize=28768336 memory=0 CPUtime=0.23 cores=0-7
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 31481 0 -1 1077944384 222 0 0 0 16 7 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258738981904 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4800] ppid=4792 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 31481 0 -1 1077944384 196 0 0 0 15 6 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258737928592 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4801] ppid=4792 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 31481 0 -1 1077944384 230 0 0 0 13 5 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258736875792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4802] ppid=4792 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 31481 0 -1 1077944384 317 0 0 0 15 6 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258735823504 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4803] ppid=4792 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 31481 0 -1 1077944384 324 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201245 33554432000 4194304 4196468 140728886084016 140258734770704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4804] ppid=4792 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 31481 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 28 0 511258090 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257937943152 140258822298242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4805] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 31481 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511258091 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257936889184 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4806] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 31481 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 511258091 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257935836800 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4807] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511258093 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257934785104 140258822305691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4808] ppid=4792 vsize=28768336 memory=0 CPUtime=3.54 cores=0-7
/proc/4794/task/4808/stat : 4808 (java) R 4792 4792 31481 0 -1 4202560 7132 0 0 0 353 1 0 0 20 0 28 0 511258093 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257933718384 140258807394448 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4809] ppid=4792 vsize=28768336 memory=0 CPUtime=3.6 cores=0-7
/proc/4794/task/4809/stat : 4809 (java) R 4792 4792 31481 0 -1 4202560 8417 0 0 0 358 2 0 0 20 0 28 0 511258093 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257932669008 140258800114254 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4810] ppid=4792 vsize=28768336 memory=0 CPUtime=3.63 cores=0-7
/proc/4794/task/4810/stat : 4810 (java) R 4792 4792 31481 0 -1 4202560 6958 0 0 0 362 1 0 0 20 0 28 0 511258093 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257931613008 140258800304104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4811] ppid=4792 vsize=28768336 memory=0 CPUtime=0.86 cores=0-7
/proc/4794/task/4811/stat : 4811 (java) S 4792 4792 31481 0 -1 1077944384 4257 0 0 0 84 2 0 0 20 0 28 0 511258093 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257930574064 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4812] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4812/stat : 4812 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511258094 29458776064 201245 33554432000 4194304 4196468 140728886084016 140257929522016 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4813] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4813/stat : 4813 (java) S 4792 4792 31481 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511258094 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256940649264 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4814] ppid=4792 vsize=28768336 memory=0 CPUtime=1.45 cores=0-7
/proc/4794/task/4814/stat : 4814 (java) R 4792 4792 31481 0 -1 4202560 78 0 0 0 145 0 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256929571552 140258426209532 0 4 0 16800975 0 0 0 -1 6 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4815] ppid=4792 vsize=28768336 memory=0 CPUtime=1.49 cores=0-7
/proc/4794/task/4815/stat : 4815 (java) R 4792 4792 31481 0 -1 4202560 72 0 0 0 149 0 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256928518064 140258425228436 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4816] ppid=4792 vsize=28768336 memory=0 CPUtime=1.38 cores=0-7
/proc/4794/task/4816/stat : 4816 (java) R 4792 4792 31481 0 -1 4202560 58 0 0 0 138 0 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256927464400 140258803693353 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4817] ppid=4792 vsize=28768336 memory=0 CPUtime=1.57 cores=0-7
/proc/4794/task/4817/stat : 4817 (java) R 4792 4792 31481 0 -1 4202560 150 0 0 0 157 0 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256926414696 140258423795152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4818] ppid=4792 vsize=28768336 memory=0 CPUtime=1.58 cores=0-7
/proc/4794/task/4818/stat : 4818 (java) R 4792 4792 31481 0 -1 4202560 37 0 0 0 158 0 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256925359096 140258425228073 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4819] ppid=4792 vsize=28768336 memory=0 CPUtime=1.36 cores=0-7
/proc/4794/task/4819/stat : 4819 (java) R 4792 4792 31481 0 -1 4202560 49 0 0 0 136 0 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256924307192 140258425133702 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4820] ppid=4792 vsize=28768336 memory=0 CPUtime=1.5 cores=0-7
/proc/4794/task/4820/stat : 4820 (java) R 4792 4792 31481 0 -1 4202560 69 0 0 0 149 1 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256923255400 140258424767463 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4821] ppid=4792 vsize=28768336 memory=0 CPUtime=1.23 cores=0-7
/proc/4794/task/4821/stat : 4821 (java) R 4792 4792 31481 0 -1 4202560 56 0 0 0 123 0 0 0 20 0 28 0 511258397 29458776064 201245 33554432000 4194304 4196468 140728886084016 140256614368008 140258425997538 0 4 0 16800975 0 0 0 -1 7 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
Current children cumulated CPU time: 27.95 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 806428 KiB

[startup+5.60167 s]
/proc/loadavg: 8.00 6.84 7.16 12/218 4821
/proc/meminfo: memFree=24434908/32770624 swapFree=66999760/67108860
[pid=4792] ppid=4789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511258088 115843072 362 33554432000 4194304 5098028 140722552897536 140722552895640 139676124729980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39223296 140722552906620 140722552906862 140722552906862 140722552909770 0
/proc/4792/statm: 28282 362 304 221 0 87 0
[pid=4794] ppid=4792 vsize=28768336 memory=805340 CPUtime=31.1 cores=0-7
/proc/4794/stat : 4794 (java) S 4792 4792 31481 0 -1 1077944320 44102 0 0 0 3030 80 0 0 20 0 28 0 511258088 29458776064 201335 33554432000 4194304 4196468 140728886084016 140728886066560 140258822287095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
/proc/4794/statm: 7192084 201335 3535 1 0 7153184 0
[pid=4794/tid=4795] ppid=4792 vsize=28768336 memory=1219 CPUtime=2.88 cores=0-7
/proc/4794/task/4795/stat : 4795 (java) S 4792 4792 31481 0 -1 1077944384 11999 0 0 0 277 11 0 0 20 0 28 0 511258088 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258826527872 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4796] ppid=4792 vsize=28768336 memory=4641049920903663715 CPUtime=0.2 cores=0-7
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 31481 0 -1 1077944384 314 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258742139792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4797] ppid=4792 vsize=28768336 memory=4641049920903729259 CPUtime=0.2 cores=0-7
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 31481 0 -1 1077944384 224 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258741086992 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4798] ppid=4792 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 31481 0 -1 1077944384 579 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258740034704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4799] ppid=4792 vsize=28768336 memory=2241 CPUtime=0.23 cores=0-7
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 31481 0 -1 1077944384 222 0 0 0 16 7 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258738981904 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4800] ppid=4792 vsize=28768336 memory=2244 CPUtime=0.21 cores=0-7
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 31481 0 -1 1077944384 196 0 0 0 15 6 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258737928592 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4801] ppid=4792 vsize=28768336 memory=0 CPUtime=0.18 cores=0-7
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 31481 0 -1 1077944384 230 0 0 0 13 5 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258736875792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4802] ppid=4792 vsize=28768336 memory=0 CPUtime=0.21 cores=0-7
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 31481 0 -1 1077944384 317 0 0 0 15 6 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258735823504 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4803] ppid=4792 vsize=28768336 memory=0 CPUtime=0.2 cores=0-7
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 31481 0 -1 1077944384 324 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201335 33554432000 4194304 4196468 140728886084016 140258734770704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4804] ppid=4792 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 31481 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 28 0 511258090 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257937943152 140258822298242 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4805] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 31481 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511258091 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257936889184 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4806] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 31481 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 511258091 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257935836800 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4807] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511258093 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257934785104 140258822305691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4808] ppid=4792 vsize=28768336 memory=0 CPUtime=3.65 cores=0-7
/proc/4794/task/4808/stat : 4808 (java) R 4792 4792 31481 0 -1 4202560 7151 0 0 0 364 1 0 0 20 0 28 0 511258093 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257933720512 140258806246513 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4809] ppid=4792 vsize=28768336 memory=0 CPUtime=3.77 cores=0-7
/proc/4794/task/4809/stat : 4809 (java) R 4792 4792 31481 0 -1 4202560 8445 0 0 0 375 2 0 0 20 0 28 0 511258093 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257932665248 140258803810385 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4810] ppid=4792 vsize=28768336 memory=0 CPUtime=3.8 cores=0-7
/proc/4794/task/4810/stat : 4810 (java) R 4792 4792 31481 0 -1 4202560 6993 0 0 0 379 1 0 0 20 0 28 0 511258093 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257931618192 140258822300944 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4811] ppid=4792 vsize=28768336 memory=0 CPUtime=0.89 cores=0-7
/proc/4794/task/4811/stat : 4811 (java) R 4792 4792 31481 0 -1 1077944384 4288 0 0 0 87 2 0 0 20 0 28 0 511258093 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257930574064 140258822298242 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4812] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4812/stat : 4812 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511258094 29458776064 201335 33554432000 4194304 4196468 140728886084016 140257929522016 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4813] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4813/stat : 4813 (java) S 4792 4792 31481 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511258094 29458776064 201335 33554432000 4194304 4196468 140728886084016 140256940649264 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
Current children cumulated CPU time: 31.1 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 806788 KiB

[startup+5.70095 s]
/proc/loadavg: 8.00 6.84 7.16 12/218 4821
/proc/meminfo: memFree=24434908/32770624 swapFree=66999760/67108860
[pid=4792] ppid=4789 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/4792/stat : 4792 (xcsp3-exec) S 4789 4792 31481 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 511258088 115843072 362 33554432000 4194304 5098028 140722552897536 140722552895640 139676124729980 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 39223296 140722552906620 140722552906862 140722552906862 140722552909770 0
/proc/4792/statm: 28282 362 304 221 0 87 0
[pid=4794] ppid=4792 vsize=28768336 memory=805508 CPUtime=31.73 cores=0-7
/proc/4794/stat : 4794 (java) S 4792 4792 31481 0 -1 1077944320 44466 0 0 0 3093 80 0 0 20 0 28 0 511258088 29458776064 201377 33554432000 4194304 4196468 140728886084016 140728886066560 140258822287095 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
/proc/4794/statm: 7192084 201377 3536 1 0 7153184 0
[pid=4794/tid=4795] ppid=4792 vsize=28768336 memory=799684 CPUtime=2.88 cores=0-7
/proc/4794/task/4795/stat : 4795 (java) S 4792 4792 31481 0 -1 1077944384 12006 0 0 0 277 11 0 0 20 0 28 0 511258088 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258826527872 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4796] ppid=4792 vsize=28768336 memory=-2026666227646606628 CPUtime=0.2 cores=0-7
/proc/4794/task/4796/stat : 4796 (java) S 4792 4792 31481 0 -1 1077944384 314 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258742139792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4797] ppid=4792 vsize=28768336 memory=2319389238156730904 CPUtime=0.2 cores=0-7
/proc/4794/task/4797/stat : 4797 (java) S 4792 4792 31481 0 -1 1077944384 224 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258741086992 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4798] ppid=4792 vsize=28768336 memory=7524219088317797998 CPUtime=0.2 cores=0-7
/proc/4794/task/4798/stat : 4798 (java) S 4792 4792 31481 0 -1 1077944384 579 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258740034704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4799] ppid=4792 vsize=28768336 memory=1448 CPUtime=0.23 cores=0-7
/proc/4794/task/4799/stat : 4799 (java) S 4792 4792 31481 0 -1 1077944384 222 0 0 0 16 7 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258738981904 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4800] ppid=4792 vsize=28768336 memory=789384 CPUtime=0.21 cores=0-7
/proc/4794/task/4800/stat : 4800 (java) S 4792 4792 31481 0 -1 1077944384 196 0 0 0 15 6 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258737928592 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4801] ppid=4792 vsize=28768336 memory=1448 CPUtime=0.18 cores=0-7
/proc/4794/task/4801/stat : 4801 (java) S 4792 4792 31481 0 -1 1077944384 230 0 0 0 13 5 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258736875792 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4802] ppid=4792 vsize=28768336 memory=788244 CPUtime=0.21 cores=0-7
/proc/4794/task/4802/stat : 4802 (java) S 4792 4792 31481 0 -1 1077944384 317 0 0 0 15 6 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258735823504 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4803] ppid=4792 vsize=28768336 memory=281331498465312 CPUtime=0.2 cores=0-7
/proc/4794/task/4803/stat : 4803 (java) S 4792 4792 31481 0 -1 1077944384 324 0 0 0 14 6 0 0 20 0 28 0 511258089 29458776064 201377 33554432000 4194304 4196468 140728886084016 140258734770704 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4804] ppid=4792 vsize=28768336 memory=8112282956445269571 CPUtime=0.01 cores=0-7
/proc/4794/task/4804/stat : 4804 (java) S 4792 4792 31481 0 -1 1077944384 730 0 0 0 1 0 0 0 20 0 28 0 511258090 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257937943152 140258822298242 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4805] ppid=4792 vsize=28768336 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/4794/task/4805/stat : 4805 (java) S 4792 4792 31481 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 511258091 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257936889184 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4806] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4806/stat : 4806 (java) S 4792 4792 31481 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 28 0 511258091 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257935836800 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4807] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4807/stat : 4807 (java) S 4792 4792 31481 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 511258093 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257934785104 140258822305691 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4808] ppid=4792 vsize=28768336 memory=0 CPUtime=3.74 cores=0-7
/proc/4794/task/4808/stat : 4808 (java) R 4792 4792 31481 0 -1 4202560 7165 0 0 0 373 1 0 0 20 0 28 0 511258093 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257933712592 140258801543776 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4809] ppid=4792 vsize=28768336 memory=281331499159296 CPUtime=3.82 cores=0-7
/proc/4794/task/4809/stat : 4809 (java) S 4792 4792 31481 0 -1 1077944384 8460 0 0 0 380 2 0 0 20 0 28 0 511258093 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257932679152 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4810] ppid=4792 vsize=28768336 memory=140665749641392 CPUtime=3.87 cores=0-7
/proc/4794/task/4810/stat : 4810 (java) S 4792 4792 31481 0 -1 1077944384 7003 0 0 0 386 1 0 0 20 0 28 0 511258093 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257931626864 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4811] ppid=4792 vsize=28768336 memory=0 CPUtime=0.9 cores=0-7
/proc/4794/task/4811/stat : 4811 (java) S 4792 4792 31481 0 -1 1077944384 4295 0 0 0 88 2 0 0 20 0 28 0 511258093 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257930574064 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4812] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4812/stat : 4812 (java) S 4792 4792 31481 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 511258094 29458776064 201377 33554432000 4194304 4196468 140728886084016 140257929522016 140258822297301 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
[pid=4794/tid=4813] ppid=4792 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/4794/task/4813/stat : 4813 (java) S 4792 4792 31481 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 511258094 29458776064 201377 33554432000 4194304 4196468 140728886084016 140256940649264 140258822298242 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8675328 140728886088688 140728886088859 140728886088859 140728886091727 0
Current children cumulated CPU time: 31.73 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 806956 KiB

Child status: 0
Real time (s): 5.74803
CPU time (s): 31.8651
CPU user time (s): 31.0304
CPU system time (s): 0.834755
CPU usage (%): 554.366
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 806956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.0304
system time used= 0.834755
maximum resident set size= 806180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46487
page faults= 0
swaps= 0
block input operations= 0
block output operations= 136
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4371
involuntary context switches= 908


# summary of solver processes directly reported to runsolver:
#   pid: 4792
#   total CPU time (s): 31.8651
#   total CPU user time (s): 31.0304
#   total CPU system time (s): 0.834755

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.073073 second user time and 0.096324 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.69025
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 4407347

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
