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

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399847-1568717908/watcher-4399847-1568717908 -o /tmp/evaluation-result-4399847-1568717908/solver-4399847-1568717908 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568711265-6117 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1877873404 HOME/instance-4399847-1568717908.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=7066, runsolver pid=7063
Current StackSize limit: 8192 KiB


[startup+0.100179 s]*
/proc/loadavg: 7.81 8.17 8.14 2/211 7087
/proc/meminfo: memFree=30331340/32770624 swapFree=66917056/67108860
[pid=7066] ppid=7063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7066/stat : 7066 (xcsp3-exec) S 7063 7066 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447704658 115843072 363 33554432000 4194304 5098028 140725454233120 140725454231224 140373142917756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140725454238581 140725454238825 140725454238825 140725454241738 0
/proc/7066/statm: 28282 363 304 221 0 87 0
[pid=7068] ppid=7066 vsize=28227396 memory=27748 CPUtime=0.12 cores=0-7
/proc/7068/stat : 7068 (java) S 7066 7066 6090 0 -1 1077944320 5899 0 0 0 11 1 0 0 20 0 20 0 447704658 28904853504 6937 33554432000 4194304 4196468 140729865978304 140729865960848 140374525423351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
/proc/7068/statm: 7056849 6937 3143 1 0 7019032 0
[pid=7068/tid=7069] ppid=7066 vsize=28227396 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/7068/task/7069/stat : 7069 (java) R 7066 7066 6090 0 -1 4202560 3770 0 0 0 8 1 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374529662592 140374162530036 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7070] ppid=7066 vsize=28227396 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/7068/task/7070/stat : 7070 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374076590736 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7071] ppid=7066 vsize=28227396 memory=139796852639360 CPUtime=0 cores=0-7
/proc/7068/task/7071/stat : 7071 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374075537936 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7072] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7072/stat : 7072 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374074485136 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7073] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7073/stat : 7073 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374073432336 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7074] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7074/stat : 7074 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374072380560 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7075] ppid=7066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7068/task/7075/stat : 7075 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374071327760 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7076] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7076/stat : 7076 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374070274960 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7077] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7077/stat : 7077 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704660 28904853504 6937 33554432000 4194304 4196468 140729865978304 140374069222160 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7078] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7078/stat : 7078 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704661 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373123832176 140374525434498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7079] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7079/stat : 7079 (java) S 7066 7066 6090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447704661 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373122778144 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7080] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7080/stat : 7080 (java) S 7066 7066 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447704662 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373121725296 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7081] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7081/stat : 7081 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704664 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373120673616 140374525441947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7082] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7082/stat : 7082 (java) S 7066 7066 6090 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 20 0 447704664 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373119622000 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7083] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7083/stat : 7083 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704664 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373118569200 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7084] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7084/stat : 7084 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704664 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373117516400 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7085] ppid=7066 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7068/task/7085/stat : 7085 (java) S 7066 7066 6090 0 -1 1077944384 385 0 0 0 1 0 0 0 20 0 20 0 447704664 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373116463600 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7086] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7086/stat : 7086 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704664 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373115411040 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7087] ppid=7066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7068/task/7087/stat : 7087 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704665 28904853504 6937 33554432000 4194304 4196468 140729865978304 140373114358320 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 29200 KiB

[startup+0.210321 s]*
/proc/loadavg: 7.81 8.17 8.14 3/211 7087
/proc/meminfo: memFree=30318396/32770624 swapFree=66917056/67108860
[pid=7066] ppid=7063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7066/stat : 7066 (xcsp3-exec) S 7063 7066 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447704658 115843072 363 33554432000 4194304 5098028 140725454233120 140725454231224 140373142917756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140725454238581 140725454238825 140725454238825 140725454241738 0
/proc/7066/statm: 28282 363 304 221 0 87 0
[pid=7068] ppid=7066 vsize=28227396 memory=39940 CPUtime=0.33 cores=0-7
/proc/7068/stat : 7068 (java) S 7066 7066 6090 0 -1 1077944320 9753 0 0 0 30 3 0 0 20 0 20 0 447704658 28904853504 9985 33554432000 4194304 4196468 140729865978304 140729865960848 140374525423351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
/proc/7068/statm: 7056849 9985 3302 1 0 7019032 0
[pid=7068/tid=7069] ppid=7066 vsize=28227396 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/7068/task/7069/stat : 7069 (java) R 7066 7066 6090 0 -1 4202560 6735 0 0 0 17 2 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374529655264 140374509503838 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7070] ppid=7066 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/7068/task/7070/stat : 7070 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374076590736 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7071] ppid=7066 vsize=28227396 memory=288370173004351104 CPUtime=0 cores=0-7
/proc/7068/task/7071/stat : 7071 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374075537936 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7072] ppid=7066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7068/task/7072/stat : 7072 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374074485136 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7073] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7073/stat : 7073 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374073432336 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7074] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7074/stat : 7074 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374072380560 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7075] ppid=7066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7068/task/7075/stat : 7075 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374071327760 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7076] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7076/stat : 7076 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374070274960 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7077] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7077/stat : 7077 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704660 28904853504 9985 33554432000 4194304 4196468 140729865978304 140374069222160 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7078] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7078/stat : 7078 (java) S 7066 7066 6090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447704661 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373123832176 140374525434498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7079] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7079/stat : 7079 (java) S 7066 7066 6090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447704661 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373122778144 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7080] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7080/stat : 7080 (java) S 7066 7066 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447704662 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373121725296 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7081] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7081/stat : 7081 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704664 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373120673616 140374525441947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7082] ppid=7066 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7068/task/7082/stat : 7082 (java) S 7066 7066 6090 0 -1 1077944384 498 0 0 0 1 0 0 0 20 0 20 0 447704664 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373119622000 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7083] ppid=7066 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/7068/task/7083/stat : 7083 (java) S 7066 7066 6090 0 -1 1077944384 268 0 0 0 1 0 0 0 20 0 20 0 447704664 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373118569200 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7084] ppid=7066 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/7068/task/7084/stat : 7084 (java) S 7066 7066 6090 0 -1 1077944384 59 0 0 0 1 0 0 0 20 0 20 0 447704664 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373117516400 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7085] ppid=7066 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/7068/task/7085/stat : 7085 (java) S 7066 7066 6090 0 -1 1077944384 886 0 0 0 7 0 0 0 20 0 20 0 447704664 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373116463600 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7086] ppid=7066 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7086/stat : 7086 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704664 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373115411040 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7087] ppid=7066 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/7068/task/7087/stat : 7087 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704665 28904853504 9985 33554432000 4194304 4196468 140729865978304 140373114358320 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 41392 KiB

[startup+0.310166 s]*
/proc/loadavg: 7.81 8.17 8.14 3/211 7087
/proc/meminfo: memFree=30312936/32770624 swapFree=66917056/67108860
[pid=7066] ppid=7063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7066/stat : 7066 (xcsp3-exec) S 7063 7066 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447704658 115843072 363 33554432000 4194304 5098028 140725454233120 140725454231224 140373142917756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140725454238581 140725454238825 140725454238825 140725454241738 0
/proc/7066/statm: 28282 363 304 221 0 87 0
[pid=7068] ppid=7066 vsize=28231652 memory=48816 CPUtime=0.52 cores=0-7
/proc/7068/stat : 7068 (java) S 7066 7066 6090 0 -1 1077944320 11128 0 0 0 48 4 0 0 20 0 20 0 447704658 28909211648 12204 33554432000 4194304 4196468 140729865978304 140729865960848 140374525423351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
/proc/7068/statm: 7057913 12204 3354 1 0 7019032 0
[pid=7068/tid=7069] ppid=7066 vsize=28231652 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/7068/task/7069/stat : 7069 (java) R 7066 7066 6090 0 -1 4202560 7833 0 0 0 26 3 0 0 20 0 20 0 447704659 28909211648 12270 33554432000 4194304 4196468 140729865978304 140374529654464 140374525444698 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7070] ppid=7066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7070/stat : 7070 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704659 28909211648 12270 33554432000 4194304 4196468 140729865978304 140374076590736 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7071] ppid=7066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7071/stat : 7071 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28909211648 12270 33554432000 4194304 4196468 140729865978304 140374075537936 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7072] ppid=7066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7072/stat : 7072 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28909211648 12270 33554432000 4194304 4196468 140729865978304 140374074485136 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7073] ppid=7066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7073/stat : 7073 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28909211648 12270 33554432000 4194304 4196468 140729865978304 140374073432336 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7074] ppid=7066 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/7068/task/7074/stat : 7074 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28909211648 12270 33554432000 4194304 4196468 140729865978304 140374072380560 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7075] ppid=7066 vsize=28231652 memory=139796756394927 CPUtime=0 cores=0-7
/proc/7068/task/7075/stat : 7075 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28909211648 12310 33554432000 4194304 4196468 140729865978304 140374071327760 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7076] ppid=7066 vsize=28231652 memory=139796756397232 CPUtime=0 cores=0-7
/proc/7068/task/7076/stat : 7076 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28909211648 12310 33554432000 4194304 4196468 140729865978304 140374070274960 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7077] ppid=7066 vsize=28231652 memory=139796756399536 CPUtime=0 cores=0-7
/proc/7068/task/7077/stat : 7077 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704660 28909211648 12310 33554432000 4194304 4196468 140729865978304 140374069222160 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7078] ppid=7066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7078/stat : 7078 (java) S 7066 7066 6090 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447704661 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373123832176 140374525434498 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7079] ppid=7066 vsize=28231652 memory=279593512806032 CPUtime=0 cores=0-7
/proc/7068/task/7079/stat : 7079 (java) S 7066 7066 6090 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447704661 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373122778144 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7080] ppid=7066 vsize=28231652 memory=279593512812944 CPUtime=0 cores=0-7
/proc/7068/task/7080/stat : 7080 (java) S 7066 7066 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447704662 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373121725296 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7081] ppid=7066 vsize=28231652 memory=279593512754224 CPUtime=0 cores=0-7
/proc/7068/task/7081/stat : 7081 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704664 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373120673616 140374525441947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7082] ppid=7066 vsize=28231652 memory=279593512826768 CPUtime=0.03 cores=0-7
/proc/7068/task/7082/stat : 7082 (java) R 7066 7066 6090 0 -1 4202560 607 0 0 0 3 0 0 0 20 0 20 0 447704664 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373119622000 140374525444698 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7083] ppid=7066 vsize=28231652 memory=279593512833680 CPUtime=0.02 cores=0-7
/proc/7068/task/7083/stat : 7083 (java) S 7066 7066 6090 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 20 0 447704664 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373118569200 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7084] ppid=7066 vsize=28231652 memory=279593512831376 CPUtime=0.02 cores=0-7
/proc/7068/task/7084/stat : 7084 (java) S 7066 7066 6090 0 -1 1077944384 65 0 0 0 2 0 0 0 20 0 20 0 447704664 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373117516400 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7085] ppid=7066 vsize=28231652 memory=279593512847536 CPUtime=0.12 cores=0-7
/proc/7068/task/7085/stat : 7085 (java) S 7066 7066 6090 0 -1 1077944384 1072 0 0 0 12 0 0 0 20 0 20 0 447704664 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373116463600 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7086] ppid=7066 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7086/stat : 7086 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447704664 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373115411040 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7087] ppid=7066 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/7068/task/7087/stat : 7087 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704665 28909211648 12310 33554432000 4194304 4196468 140729865978304 140373114358320 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 50268 KiB

[startup+0.701088 s]
/proc/loadavg: 7.81 8.17 8.14 6/211 7087
/proc/meminfo: memFree=30291200/32770624 swapFree=66917056/67108860
[pid=7066] ppid=7063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7066/stat : 7066 (xcsp3-exec) S 7063 7066 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447704658 115843072 363 33554432000 4194304 5098028 140725454233120 140725454231224 140373142917756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140725454238581 140725454238825 140725454238825 140725454241738 0
/proc/7066/statm: 28282 363 304 221 0 87 0
[pid=7068] ppid=7066 vsize=28233776 memory=105540 CPUtime=1.96 cores=0-7
/proc/7068/stat : 7068 (java) S 7066 7066 6090 0 -1 1077944320 17111 0 0 0 189 7 0 0 20 0 20 0 447704658 28911386624 26385 33554432000 4194304 4196468 140729865978304 140729865960848 140374525423351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
/proc/7068/statm: 7058444 26385 3452 1 0 7019544 0
[pid=7068/tid=7069] ppid=7066 vsize=28233776 memory=279593513205424 CPUtime=0.67 cores=0-7
/proc/7068/task/7069/stat : 7069 (java) R 7066 7066 6090 0 -1 4202560 9226 0 0 0 63 4 0 0 20 0 20 0 447704659 28911386624 26385 33554432000 4194304 4196468 140729865978304 140374529631200 140374509503838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7070] ppid=7066 vsize=28233776 memory=139796756603760 CPUtime=0 cores=0-7
/proc/7068/task/7070/stat : 7070 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447704659 28911386624 26385 33554432000 4194304 4196468 140729865978304 140374076590736 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7071] ppid=7066 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7071/stat : 7071 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28911386624 26385 33554432000 4194304 4196468 140729865978304 140374075537936 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7072] ppid=7066 vsize=28233776 memory=1124 CPUtime=0 cores=0-7
/proc/7068/task/7072/stat : 7072 (java) S 7066 7066 6090 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447704659 28911386624 26385 33554432000 4194304 4196468 140729865978304 140374074485136 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0

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

[pid=7068/tid=7077] ppid=7066 vsize=28768336 memory=169 CPUtime=0.16 cores=0-7
/proc/7068/task/7077/stat : 7077 (java) S 7066 7066 6090 0 -1 1077944384 142 0 0 0 11 5 0 0 20 0 28 0 447704660 29458776064 198748 33554432000 4194304 4196468 140729865978304 140374069222160 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7078] ppid=7066 vsize=28768336 memory=162 CPUtime=0.01 cores=0-7
/proc/7068/task/7078/stat : 7078 (java) S 7066 7066 6090 0 -1 1077944384 825 0 0 0 1 0 0 0 20 0 28 0 447704661 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373123832176 140374525434498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7079] ppid=7066 vsize=28768336 memory=61 CPUtime=0 cores=0-7
/proc/7068/task/7079/stat : 7079 (java) S 7066 7066 6090 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 447704661 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373122778208 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7080] ppid=7066 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7080/stat : 7080 (java) S 7066 7066 6090 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447704662 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373121725312 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7081] ppid=7066 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7081/stat : 7081 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447704664 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373120673616 140374525441947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7082] ppid=7066 vsize=28768336 memory=0 CPUtime=3.33 cores=0-7
/proc/7068/task/7082/stat : 7082 (java) R 7066 7066 6090 0 -1 4202560 8088 0 0 0 331 2 0 0 20 0 28 0 447704664 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373119622000 140374508954970 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7083] ppid=7066 vsize=28768336 memory=2209 CPUtime=3.38 cores=0-7
/proc/7068/task/7083/stat : 7083 (java) R 7066 7066 6090 0 -1 4202560 8789 0 0 0 336 2 0 0 20 0 28 0 447704664 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373118559120 140374508909274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7084] ppid=7066 vsize=28768336 memory=4580 CPUtime=3.11 cores=0-7
/proc/7068/task/7084/stat : 7084 (java) R 7066 7066 6090 0 -1 4202560 6691 0 0 0 309 2 0 0 20 0 28 0 447704664 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373117503408 140374504661817 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7085] ppid=7066 vsize=28768336 memory=0 CPUtime=0.87 cores=0-7
/proc/7068/task/7085/stat : 7085 (java) R 7066 7066 6090 0 -1 1077944384 4881 0 0 0 86 1 0 0 20 0 28 0 447704664 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373116463600 140374525434498 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7086] ppid=7066 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7086/stat : 7086 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447704664 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373115411040 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7087] ppid=7066 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7087/stat : 7087 (java) S 7066 7066 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 447704665 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373114358320 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 34 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7088] ppid=7066 vsize=28768336 memory=0 CPUtime=1.11 cores=0-7
/proc/7068/task/7088/stat : 7088 (java) R 7066 7066 6090 0 -1 4202560 61 0 0 0 111 0 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373103040112 140374173617132 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7089] ppid=7066 vsize=28768336 memory=0 CPUtime=0.96 cores=0-7
/proc/7068/task/7089/stat : 7089 (java) R 7066 7066 6090 0 -1 4202560 61 0 0 0 96 0 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373101988952 140374172520219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7090] ppid=7066 vsize=28768336 memory=-7091624348563251104 CPUtime=0.94 cores=0-7
/proc/7068/task/7090/stat : 7090 (java) R 7066 7066 6090 0 -1 4202560 47 0 0 0 93 1 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373100937976 140374172523949 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7091] ppid=7066 vsize=28768336 memory=-7674914008656224160 CPUtime=1.19 cores=0-7
/proc/7068/task/7091/stat : 7091 (java) R 7066 7066 6090 0 -1 4202560 114 0 0 0 119 0 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373099884640 140374169093328 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7092] ppid=7066 vsize=28768336 memory=4206186544037388384 CPUtime=0.97 cores=0-7
/proc/7068/task/7092/stat : 7092 (java) R 7066 7066 6090 0 -1 4202560 36 0 0 0 97 0 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373098831944 140374173232061 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7093] ppid=7066 vsize=28768336 memory=-3252517613199061085 CPUtime=1.23 cores=0-7
/proc/7068/task/7093/stat : 7093 (java) R 7066 7066 6090 0 -1 4202560 44 0 0 0 123 0 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373097779096 140374172764524 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7094] ppid=7066 vsize=28768336 memory=-8096454439705354400 CPUtime=1.02 cores=0-7
/proc/7068/task/7094/stat : 7094 (java) R 7066 7066 6090 0 -1 4202560 42 0 0 0 102 0 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373096727640 140374172099968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7095] ppid=7066 vsize=28768336 memory=9023629670928638048 CPUtime=0.95 cores=0-7
/proc/7068/task/7095/stat : 7095 (java) R 7066 7066 6090 0 -1 4202560 36 0 0 0 95 0 0 0 20 0 28 0 447705012 29458776064 198748 33554432000 4194304 4196468 140729865978304 140373095672064 140374172764997 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
Current children cumulated CPU time: 23.84 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 796444 KiB

[startup+5.50157 s]
/proc/loadavg: 7.83 8.17 8.14 13/220 7097
/proc/meminfo: memFree=29561620/32770624 swapFree=66917056/67108860
[pid=7066] ppid=7063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7066/stat : 7066 (xcsp3-exec) S 7063 7066 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447704658 115843072 363 33554432000 4194304 5098028 140725454233120 140725454231224 140373142917756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140725454238581 140725454238825 140725454238825 140725454241738 0
/proc/7066/statm: 28282 363 304 221 0 87 0
[pid=7068] ppid=7066 vsize=28768336 memory=795296 CPUtime=27.03 cores=0-7
/proc/7068/stat : 7068 (java) S 7066 7066 6090 0 -1 1077944320 45746 0 0 0 2626 77 0 0 20 0 28 0 447704658 29458776064 198824 33554432000 4194304 4196468 140729865978304 140729865960848 140374525423351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
/proc/7068/statm: 7192084 198824 3535 1 0 7153184 0
[pid=7068/tid=7069] ppid=7066 vsize=28768336 memory=279593512924696 CPUtime=2.99 cores=0-7
/proc/7068/task/7069/stat : 7069 (java) S 7066 7066 6090 0 -1 1077944384 11932 0 0 0 288 11 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374529664128 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 35 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7070] ppid=7066 vsize=28768336 memory=32534243052266 CPUtime=0.21 cores=0-7
/proc/7068/task/7070/stat : 7070 (java) S 7066 7066 6090 0 -1 1077944384 281 0 0 0 15 6 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374076590736 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7071] ppid=7066 vsize=28768336 memory=32534243052266 CPUtime=0.22 cores=0-7
/proc/7068/task/7071/stat : 7071 (java) S 7066 7066 6090 0 -1 1077944384 276 0 0 0 15 7 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374075537936 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7072] ppid=7066 vsize=28768336 memory=29906480723 CPUtime=0.2 cores=0-7
/proc/7068/task/7072/stat : 7072 (java) S 7066 7066 6090 0 -1 1077944384 240 0 0 0 14 6 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374074485136 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7073] ppid=7066 vsize=28768336 memory=29906480723 CPUtime=0.19 cores=0-7
/proc/7068/task/7073/stat : 7073 (java) S 7066 7066 6090 0 -1 1077944384 222 0 0 0 13 6 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374073432336 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7074] ppid=7066 vsize=28768336 memory=29906480723 CPUtime=0.21 cores=0-7
/proc/7068/task/7074/stat : 7074 (java) S 7066 7066 6090 0 -1 1077944384 357 0 0 0 15 6 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374072380560 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7075] ppid=7066 vsize=28768336 memory=29906480723 CPUtime=0.19 cores=0-7
/proc/7068/task/7075/stat : 7075 (java) S 7066 7066 6090 0 -1 1077944384 308 0 0 0 13 6 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374071327760 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7076] ppid=7066 vsize=28768336 memory=29906480723 CPUtime=0.2 cores=0-7
/proc/7068/task/7076/stat : 7076 (java) S 7066 7066 6090 0 -1 1077944384 750 0 0 0 14 6 0 0 20 0 28 0 447704659 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374070274960 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7077] ppid=7066 vsize=28768336 memory=29906480724 CPUtime=0.16 cores=0-7
/proc/7068/task/7077/stat : 7077 (java) S 7066 7066 6090 0 -1 1077944384 142 0 0 0 11 5 0 0 20 0 28 0 447704660 29458776064 198824 33554432000 4194304 4196468 140729865978304 140374069222160 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7078] ppid=7066 vsize=28768336 memory=29906480725 CPUtime=0.01 cores=0-7
/proc/7068/task/7078/stat : 7078 (java) S 7066 7066 6090 0 -1 1077944384 825 0 0 0 1 0 0 0 20 0 28 0 447704661 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373123832176 140374525434498 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7079] ppid=7066 vsize=28768336 memory=29906480725 CPUtime=0 cores=0-7
/proc/7068/task/7079/stat : 7079 (java) S 7066 7066 6090 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 447704661 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373122778208 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7080] ppid=7066 vsize=28768336 memory=29906480726 CPUtime=0 cores=0-7
/proc/7068/task/7080/stat : 7080 (java) S 7066 7066 6090 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 447704662 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373121725312 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7081] ppid=7066 vsize=28768336 memory=139796756905953 CPUtime=0 cores=0-7
/proc/7068/task/7081/stat : 7081 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447704664 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373120673616 140374525441947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7082] ppid=7066 vsize=28768336 memory=0 CPUtime=3.52 cores=0-7
/proc/7068/task/7082/stat : 7082 (java) R 7066 7066 6090 0 -1 4202560 8121 0 0 0 350 2 0 0 20 0 28 0 447704664 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373119607152 140374504717408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7083] ppid=7066 vsize=28768336 memory=0 CPUtime=3.59 cores=0-7
/proc/7068/task/7083/stat : 7083 (java) R 7066 7066 6090 0 -1 4202560 8820 0 0 0 357 2 0 0 20 0 28 0 447704664 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373118550440 140374506967539 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7084] ppid=7066 vsize=28768336 memory=0 CPUtime=3.38 cores=0-7
/proc/7068/task/7084/stat : 7084 (java) R 7066 7066 6090 0 -1 4202560 6720 0 0 0 336 2 0 0 20 0 28 0 447704664 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373117507792 140374502979306 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7085] ppid=7066 vsize=28768336 memory=7739546268697455465 CPUtime=0.88 cores=0-7
/proc/7068/task/7085/stat : 7085 (java) R 7066 7066 6090 0 -1 1077944384 4890 0 0 0 87 1 0 0 20 0 28 0 447704664 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373116463600 140374525434498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7086] ppid=7066 vsize=28768336 memory=7014751519583653991 CPUtime=0 cores=0-7
/proc/7068/task/7086/stat : 7086 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447704664 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373115411040 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7087] ppid=7066 vsize=28768336 memory=-1 CPUtime=0 cores=0-7
/proc/7068/task/7087/stat : 7087 (java) S 7066 7066 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 447704665 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373114358320 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 34 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7088] ppid=7066 vsize=28768336 memory=0 CPUtime=1.4 cores=0-7
/proc/7068/task/7088/stat : 7088 (java) R 7066 7066 6090 0 -1 4202560 61 0 0 0 140 0 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373103040752 140374173561279 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7089] ppid=7066 vsize=28768336 memory=0 CPUtime=1.26 cores=0-7
/proc/7068/task/7089/stat : 7089 (java) R 7066 7066 6090 0 -1 4202560 63 0 0 0 126 0 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373101990424 140374172906506 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7090] ppid=7066 vsize=28768336 memory=0 CPUtime=1.22 cores=0-7
/proc/7068/task/7090/stat : 7090 (java) R 7066 7066 6090 0 -1 4202560 50 0 0 0 121 1 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373100939320 140374173560577 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7091] ppid=7066 vsize=28768336 memory=0 CPUtime=1.54 cores=0-7
/proc/7068/task/7091/stat : 7091 (java) R 7066 7066 6090 0 -1 4202560 138 0 0 0 154 0 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373099887352 140374166182148 0 4 0 16800975 0 0 0 -1 2 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7092] ppid=7066 vsize=28768336 memory=0 CPUtime=1.37 cores=0-7
/proc/7068/task/7092/stat : 7092 (java) R 7066 7066 6090 0 -1 4202560 40 0 0 0 137 0 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373098831944 140374172764997 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7093] ppid=7066 vsize=28768336 memory=0 CPUtime=1.52 cores=0-7
/proc/7068/task/7093/stat : 7093 (java) R 7066 7066 6090 0 -1 4202560 47 0 0 0 152 0 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373097779096 140374172765177 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7094] ppid=7066 vsize=28768336 memory=0 CPUtime=1.39 cores=0-7
/proc/7068/task/7094/stat : 7094 (java) R 7066 7066 6090 0 -1 4202560 46 0 0 0 139 0 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373096727504 140374171928418 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7095] ppid=7066 vsize=28768336 memory=0 CPUtime=1.17 cores=0-7
/proc/7068/task/7095/stat : 7095 (java) R 7066 7066 6090 0 -1 4202560 41 0 0 0 117 0 0 0 20 0 28 0 447705012 29458776064 198824 33554432000 4194304 4196468 140729865978304 140373095675944 140374172704803 0 4 0 16800975 0 0 0 -1 3 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
Current children cumulated CPU time: 27.03 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 796748 KiB

[startup+5.90115 s]
/proc/loadavg: 7.83 8.17 8.14 13/220 7097
/proc/meminfo: memFree=29561620/32770624 swapFree=66917056/67108860
[pid=7066] ppid=7063 vsize=113128 memory=1452 CPUtime=0 cores=0-7
/proc/7066/stat : 7066 (xcsp3-exec) S 7063 7066 6090 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 447704658 115843072 363 33554432000 4194304 5098028 140725454233120 140725454231224 140373142917756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 17031168 140725454238581 140725454238825 140725454238825 140725454241738 0
/proc/7066/statm: 28282 363 304 221 0 87 0
[pid=7068] ppid=7066 vsize=28768336 memory=796328 CPUtime=29.99 cores=0-7
/proc/7068/stat : 7068 (java) S 7066 7066 6090 0 -1 1077944320 46395 0 0 0 2920 79 0 0 20 0 21 0 447704658 29458776064 199082 33554432000 4194304 4196468 140729865978304 140729865960848 140374525423351 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
/proc/7068/statm: 7192084 199082 3539 1 0 7153184 0
[pid=7068/tid=7069] ppid=7066 vsize=28768336 memory=0 CPUtime=3 cores=0-7
/proc/7068/task/7069/stat : 7069 (java) S 7066 7066 6090 0 -1 1077944384 11941 0 0 0 289 11 0 0 20 0 22 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374529664128 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 35 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7070] ppid=7066 vsize=28768336 memory=8112282956445269571 CPUtime=0.21 cores=0-7
/proc/7068/task/7070/stat : 7070 (java) S 7066 7066 6090 0 -1 1077944384 281 0 0 0 15 6 0 0 20 0 22 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374076590736 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7071] ppid=7066 vsize=28768336 memory=7307768130013915734 CPUtime=0.22 cores=0-7
/proc/7068/task/7071/stat : 7071 (java) S 7066 7066 6090 0 -1 1077944384 276 0 0 0 15 7 0 0 20 0 23 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374075537936 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7072] ppid=7066 vsize=28768336 memory=1452 CPUtime=0.2 cores=0-7
/proc/7068/task/7072/stat : 7072 (java) S 7066 7066 6090 0 -1 1077944384 240 0 0 0 14 6 0 0 20 0 23 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374074485136 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7073] ppid=7066 vsize=28768336 memory=794244 CPUtime=0.19 cores=0-7
/proc/7068/task/7073/stat : 7073 (java) S 7066 7066 6090 0 -1 1077944384 222 0 0 0 13 6 0 0 20 0 24 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374073432336 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7074] ppid=7066 vsize=28768336 memory=7881696724453321575 CPUtime=0.21 cores=0-7
/proc/7068/task/7074/stat : 7074 (java) S 7066 7066 6090 0 -1 1077944384 357 0 0 0 15 6 0 0 20 0 24 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374072380560 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7075] ppid=7066 vsize=28768336 memory=7588935152971043669 CPUtime=0.19 cores=0-7
/proc/7068/task/7075/stat : 7075 (java) S 7066 7066 6090 0 -1 1077944384 308 0 0 0 13 6 0 0 20 0 24 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374071327760 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7076] ppid=7066 vsize=28768336 memory=7444843076533644388 CPUtime=0.2 cores=0-7
/proc/7068/task/7076/stat : 7076 (java) S 7066 7066 6090 0 -1 1077944384 750 0 0 0 14 6 0 0 20 0 24 0 447704659 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374070274960 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7077] ppid=7066 vsize=28768336 memory=7236547281622689387 CPUtime=0.16 cores=0-7
/proc/7068/task/7077/stat : 7077 (java) S 7066 7066 6090 0 -1 1077944384 142 0 0 0 11 5 0 0 20 0 24 0 447704660 29458776064 199082 33554432000 4194304 4196468 140729865978304 140374069222160 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7078] ppid=7066 vsize=28768336 memory=0 CPUtime=0.01 cores=0-7
/proc/7068/task/7078/stat : 7078 (java) S 7066 7066 6090 0 -1 1077944384 825 0 0 0 1 0 0 0 20 0 25 0 447704661 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373123832176 140374525434498 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7079] ppid=7066 vsize=28768336 memory=7019257425709197167 CPUtime=0 cores=0-7
/proc/7068/task/7079/stat : 7079 (java) S 7066 7066 6090 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 25 0 447704661 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373122778208 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7080] ppid=7066 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7080/stat : 7080 (java) S 7066 7066 6090 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 25 0 447704662 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373121725312 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7081] ppid=7066 vsize=28768336 memory=2241 CPUtime=0 cores=0-7
/proc/7068/task/7081/stat : 7081 (java) S 7066 7066 6090 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 25 0 447704664 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373120673616 140374525441947 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7082] ppid=7066 vsize=28768336 memory=2244 CPUtime=3.73 cores=0-7
/proc/7068/task/7082/stat : 7082 (java) R 7066 7066 6090 0 -1 4202560 8159 0 0 0 371 2 0 0 20 0 25 0 447704664 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373119611264 140374506967473 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7083] ppid=7066 vsize=28768336 memory=0 CPUtime=3.77 cores=0-7
/proc/7068/task/7083/stat : 7083 (java) R 7066 7066 6090 0 -1 4202560 8865 0 0 0 375 2 0 0 20 0 25 0 447704664 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373118557872 140374506967664 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7084] ppid=7066 vsize=28768336 memory=0 CPUtime=3.58 cores=0-7
/proc/7068/task/7084/stat : 7084 (java) S 7066 7066 6090 0 -1 1077944384 6754 0 0 0 356 2 0 0 20 0 25 0 447704664 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373117516400 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7085] ppid=7066 vsize=28768336 memory=0 CPUtime=0.91 cores=0-7
/proc/7068/task/7085/stat : 7085 (java) S 7066 7066 6090 0 -1 1077944384 4919 0 0 0 90 1 0 0 20 0 25 0 447704664 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373116463600 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7086] ppid=7066 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7086/stat : 7086 (java) S 7066 7066 6090 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 25 0 447704664 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373115411040 140374525433557 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
[pid=7068/tid=7087] ppid=7066 vsize=28768336 memory=0 CPUtime=0 cores=0-7
/proc/7068/task/7087/stat : 7087 (java) S 7066 7066 6090 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 25 0 447704665 29458776064 199082 33554432000 4194304 4196468 140729865978304 140373114358320 140374525434498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 34 0 0 6293624 6294260 7589888 140729865982954 140729865983126 140729865983126 140729865985999 0
Current children cumulated CPU time: 29.99 s
Current children cumulated vsize: 28881464 KiB
Current children cumulated memory: 797780 KiB

Child status: 0
Real time (s): 5.92817
CPU time (s): 30.0634
CPU user time (s): 29.2521
CPU system time (s): 0.811379
CPU usage (%): 507.128
Max. virtual memory (cumulated for all children) (KiB): 28881464
Max. memory (cumulated for all children) (KiB): 797780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.2521
system time used= 0.811379
maximum resident set size= 797236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47134
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4489
involuntary context switches= 715


# summary of solver processes directly reported to runsolver:
#   pid: 7066
#   total CPU time (s): 30.0634
#   total CPU user time (s): 29.2521
#   total CPU system time (s): 0.811379

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059427 second user time and 0.107386 second system time

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

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
