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 (15348 MiB free)
  memory of node 1: 16384 MiB (14967 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400355-1568694633/watcher-4400355-1568694633 -o /tmp/evaluation-result-4400355-1568694633/solver-4400355-1568694633 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1568694456-7912 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1105869946 HOME/instance-4400355-1568694633.xml 

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

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


[startup+0.10006 s]*
/proc/loadavg: 7.97 3.58 1.87 6/229 10767
/proc/meminfo: memFree=31008496/32770624 swapFree=66988556/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0
[pid=10753] ppid=10751 vsize=15144776 memory=28732 CPUtime=0.13 cores=0,2,4,6
/proc/10753/stat : 10753 (java) S 10751 10751 7881 0 -1 1077944320 5656 0 0 0 12 1 0 0 20 0 15 0 445731110 15508250624 7183 33554432000 4194304 4196468 140735114763632 140735114746176 139850911330039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
/proc/10753/statm: 3786194 7183 3119 1 0 3748377 0
[pid=10753/tid=10754] ppid=10751 vsize=15144776 memory=8324486588775410251 CPUtime=0.09 cores=0,2,4,6
/proc/10753/task/10754/stat : 10754 (java) R 10751 10751 7881 0 -1 4202560 3580 0 0 0 9 0 0 0 20 0 15 0 445731110 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850915554448 139850903567166 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10755] ppid=10751 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10755/stat : 10755 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850847566864 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10756] ppid=10751 vsize=15144776 memory=140042638755456 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10756/stat : 10756 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850502691984 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10757] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10757/stat : 10757 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850501638928 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10758] ppid=10751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10758/stat : 10758 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850500586384 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10759] ppid=10751 vsize=15144776 memory=140042638755456 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10759/stat : 10759 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731112 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850447124720 139850911341186 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10760] ppid=10751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10760/stat : 10760 (java) S 10751 10751 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731113 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850446070944 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10761] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10761/stat : 10761 (java) S 10751 10751 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731113 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850445017840 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10762] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10762/stat : 10762 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850376275920 139850911348635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10763] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10763/stat : 10763 (java) R 10751 10751 7881 0 -1 4202560 323 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850375215696 139850894765777 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10764] ppid=10751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10764/stat : 10764 (java) R 10751 10751 7881 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850374171504 139850911341186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10765] ppid=10751 vsize=15144776 memory=140042638755456 CPUtime=0.01 cores=0,2,4,6
/proc/10753/task/10765/stat : 10765 (java) R 10751 10751 7881 0 -1 4202560 353 0 0 0 1 0 0 0 20 0 15 0 445731116 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850373118448 139850895410526 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10766] ppid=10751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10766/stat : 10766 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850372066144 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10767] ppid=10751 vsize=15144776 memory=140042638755456 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10767/stat : 10767 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 7183 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30184 KiB

[startup+0.210854 s]*
/proc/loadavg: 7.73 3.61 1.89 5/229 10767
/proc/meminfo: memFree=30964468/32770624 swapFree=66988556/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0
[pid=10753] ppid=10751 vsize=15144776 memory=40216 CPUtime=0.34 cores=0,2,4,6
/proc/10753/stat : 10753 (java) S 10751 10751 7881 0 -1 1077944320 9293 0 0 0 31 3 0 0 20 0 15 0 445731110 15508250624 10054 33554432000 4194304 4196468 140735114763632 140735114746176 139850911330039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
/proc/10753/statm: 3786194 10054 3267 1 0 3748377 0
[pid=10753/tid=10754] ppid=10751 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/10753/task/10754/stat : 10754 (java) R 10751 10751 7881 0 -1 4202560 6560 0 0 0 18 2 0 0 20 0 15 0 445731110 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850915560192 139850911341974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10755] ppid=10751 vsize=15144776 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10755/stat : 10755 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850847566864 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10756] ppid=10751 vsize=15144776 memory=3978005093634049696 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10756/stat : 10756 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850502691984 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10757] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10757/stat : 10757 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850501638928 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10758] ppid=10751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10758/stat : 10758 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850500586384 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10759] ppid=10751 vsize=15144776 memory=140042638755456 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10759/stat : 10759 (java) S 10751 10751 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731112 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850447124720 139850911341186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10760] ppid=10751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10760/stat : 10760 (java) S 10751 10751 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731113 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850446070944 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10761] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10761/stat : 10761 (java) S 10751 10751 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731113 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850445017840 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10762] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10762/stat : 10762 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850376275920 139850911348635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10763] ppid=10751 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/10753/task/10763/stat : 10763 (java) S 10751 10751 7881 0 -1 1077944384 450 0 0 0 3 0 0 0 20 0 15 0 445731116 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850375224048 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10764] ppid=10751 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/10753/task/10764/stat : 10764 (java) R 10751 10751 7881 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 15 0 445731116 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850374171504 139850911341186 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10765] ppid=10751 vsize=15144776 memory=140042638755456 CPUtime=0.08 cores=0,2,4,6
/proc/10753/task/10765/stat : 10765 (java) R 10751 10751 7881 0 -1 4202560 798 0 0 0 8 0 0 0 20 0 15 0 445731116 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850373118448 139850890650368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10766] ppid=10751 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10766/stat : 10766 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850372066144 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10767] ppid=10751 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10767/stat : 10767 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731116 15508250624 10054 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41668 KiB

[startup+0.314227 s]*
/proc/loadavg: 7.73 3.61 1.89 12/233 10779
/proc/meminfo: memFree=30926804/32770624 swapFree=66988556/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0
[pid=10753] ppid=10751 vsize=15149032 memory=49768 CPUtime=0.54 cores=0,2,4,6
/proc/10753/stat : 10753 (java) S 10751 10751 7881 0 -1 1077944320 10799 0 0 0 50 4 0 0 20 0 15 0 445731110 15512608768 12442 33554432000 4194304 4196468 140735114763632 140735114746176 139850911330039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
/proc/10753/statm: 3787258 12442 3369 1 0 3748377 0
[pid=10753/tid=10754] ppid=10751 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/10753/task/10754/stat : 10754 (java) R 10751 10751 7881 0 -1 4202560 7755 0 0 0 27 3 0 0 20 0 15 0 445731110 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850915561152 139850895410526 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10755] ppid=10751 vsize=15149032 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10755/stat : 10755 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731111 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850847566864 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10756] ppid=10751 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10756/stat : 10756 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850502691984 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10757] ppid=10751 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10757/stat : 10757 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850501638928 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10758] ppid=10751 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10758/stat : 10758 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850500586384 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10759] ppid=10751 vsize=15149032 memory=7307460107981921142 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10759/stat : 10759 (java) S 10751 10751 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731112 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850447124720 139850911341186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10760] ppid=10751 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10760/stat : 10760 (java) S 10751 10751 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731113 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850446070944 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10761] ppid=10751 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10761/stat : 10761 (java) S 10751 10751 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731113 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850445017840 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10762] ppid=10751 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10762/stat : 10762 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850376275920 139850911348635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10763] ppid=10751 vsize=15149032 memory=4426089072227881875 CPUtime=0.05 cores=0,2,4,6
/proc/10753/task/10763/stat : 10763 (java) S 10751 10751 7881 0 -1 1077944384 469 0 0 0 5 0 0 0 20 0 15 0 445731116 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850375224048 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10764] ppid=10751 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10753/task/10764/stat : 10764 (java) R 10751 10751 7881 0 -1 4202560 322 0 0 0 4 0 0 0 20 0 15 0 445731116 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850374152616 139850892855197 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10765] ppid=10751 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/10753/task/10765/stat : 10765 (java) S 10751 10751 7881 0 -1 1077944384 959 0 0 0 12 0 0 0 20 0 15 0 445731116 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850373118448 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10766] ppid=10751 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10766/stat : 10766 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850372066144 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10767] ppid=10751 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10767/stat : 10767 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731116 15512608768 12511 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51220 KiB

[startup+0.700754 s]
/proc/loadavg: 7.73 3.61 1.89 9/233 10787
/proc/meminfo: memFree=30883884/32770624 swapFree=66988556/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0
[pid=10753] ppid=10751 vsize=15151156 memory=97692 CPUtime=1.75 cores=0,2,4,6
/proc/10753/stat : 10753 (java) S 10751 10751 7881 0 -1 1077944320 15066 0 0 0 170 5 0 0 20 0 15 0 445731110 15514783744 24423 33554432000 4194304 4196468 140735114763632 140735114746176 139850911330039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
/proc/10753/statm: 3787789 24423 3448 1 0 3748889 0
[pid=10753/tid=10754] ppid=10751 vsize=15151156 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/10753/task/10754/stat : 10754 (java) R 10751 10751 7881 0 -1 4202560 9022 0 0 0 64 4 0 0 20 0 15 0 445731110 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850915567440 139850527409824 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10755] ppid=10751 vsize=15151156 memory=33 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10755/stat : 10755 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731111 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850847566864 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10756] ppid=10751 vsize=15151156 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10756/stat : 10756 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850502691984 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10757] ppid=10751 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10757/stat : 10757 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850501638928 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10758] ppid=10751 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10758/stat : 10758 (java) S 10751 10751 7881 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 445731111 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850500586384 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10759] ppid=10751 vsize=15151156 memory=38644 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10759/stat : 10759 (java) S 10751 10751 7881 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 445731112 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850447124720 139850911341186 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10760] ppid=10751 vsize=15151156 memory=984 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10760/stat : 10760 (java) S 10751 10751 7881 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 445731113 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850446070944 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10761] ppid=10751 vsize=15151156 memory=2004 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10761/stat : 10761 (java) S 10751 10751 7881 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 445731113 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850445017840 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10762] ppid=10751 vsize=15151156 memory=1212 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10762/stat : 10762 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850376275920 139850911348635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10763] ppid=10751 vsize=15151156 memory=1060 CPUtime=0.37 cores=0,2,4,6
/proc/10753/task/10763/stat : 10763 (java) R 10751 10751 7881 0 -1 4202560 1430 0 0 0 37 0 0 0 20 0 15 0 445731116 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850375217072 139850911351386 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10764] ppid=10751 vsize=15151156 memory=740 CPUtime=0.32 cores=0,2,4,6
/proc/10753/task/10764/stat : 10764 (java) R 10751 10751 7881 0 -1 4202560 1308 0 0 0 32 0 0 0 20 0 15 0 445731116 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850374159616 139850892873344 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10765] ppid=10751 vsize=15151156 memory=1228 CPUtime=0.34 cores=0,2,4,6
/proc/10753/task/10765/stat : 10765 (java) R 10751 10751 7881 0 -1 4202560 1997 0 0 0 34 0 0 0 20 0 15 0 445731116 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850373115648 139850891297008 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10766] ppid=10751 vsize=15151156 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10766/stat : 10766 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 445731116 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850372066144 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10767] ppid=10751 vsize=15151156 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10767/stat : 10767 (java) S 10751 10751 7881 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 445731116 15514783744 24423 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 99144 KiB

[startup+1.50145 s]
/proc/loadavg: 7.73 3.61 1.89 11/233 10791
/proc/meminfo: memFree=30775060/32770624 swapFree=66988556/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0

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

/proc/10753/task/10767/stat : 10767 (java) S 10751 10751 7881 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10936] ppid=10751 vsize=15417412 memory=1984 CPUtime=7.06 cores=0,2,4,6
/proc/10753/task/10936/stat : 10936 (java) R 10751 10751 7881 0 -1 4202560 256 0 0 0 706 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850359045608 139850534562133 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10937] ppid=10751 vsize=15417412 memory=2404 CPUtime=7.05 cores=0,2,4,6
/proc/10753/task/10937/stat : 10937 (java) R 10751 10751 7881 0 -1 4202560 1004 0 0 0 705 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850360100920 139850533528361 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10938] ppid=10751 vsize=15417412 memory=1440 CPUtime=6.91 cores=0,2,4,6
/proc/10753/task/10938/stat : 10938 (java) R 10751 10751 7881 0 -1 4202560 139 0 0 0 691 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850357993992 139850535976023 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10939] ppid=10751 vsize=15417412 memory=800 CPUtime=6.99 cores=0,2,4,6
/proc/10753/task/10939/stat : 10939 (java) R 10751 10751 7881 0 -1 4202560 214 0 0 0 699 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850356940808 139850533514013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 55.67 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410164 KiB

[startup+16.0015 s]*
/proc/loadavg: 8.01 3.87 2.00 9/238 10951
/proc/meminfo: memFree=30357164/32770624 swapFree=66988564/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0
[pid=10753] ppid=10751 vsize=15417412 memory=408712 CPUtime=62.07 cores=0,2,4,6
/proc/10753/stat : 10753 (java) S 10751 10751 7881 0 -1 1077944320 49509 0 0 0 6187 20 0 0 20 0 19 0 445731110 15787429888 102178 33554432000 4194304 4196468 140735114763632 140735114746176 139850911330039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
/proc/10753/statm: 3854353 102178 3533 1 0 3815453 0
[pid=10753/tid=10754] ppid=10751 vsize=15417412 memory=1398722017469774279 CPUtime=1.28 cores=0,2,4,6
/proc/10753/task/10754/stat : 10754 (java) S 10751 10751 7881 0 -1 1077944384 11117 0 0 0 123 5 0 0 20 0 19 0 445731110 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850915570816 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10755] ppid=10751 vsize=15417412 memory=4126316290023845779 CPUtime=0.04 cores=0,2,4,6
/proc/10753/task/10755/stat : 10755 (java) S 10751 10751 7881 0 -1 1077944384 512 0 0 0 3 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850847566864 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10756] ppid=10751 vsize=15417412 memory=128 CPUtime=0.06 cores=0,2,4,6
/proc/10753/task/10756/stat : 10756 (java) S 10751 10751 7881 0 -1 1077944384 364 0 0 0 5 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850502691984 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10757] ppid=10751 vsize=15417412 memory=4 CPUtime=0.06 cores=0,2,4,6
/proc/10753/task/10757/stat : 10757 (java) S 10751 10751 7881 0 -1 1077944384 407 0 0 0 5 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850501638928 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10758] ppid=10751 vsize=15417412 memory=6 CPUtime=0.04 cores=0,2,4,6
/proc/10753/task/10758/stat : 10758 (java) S 10751 10751 7881 0 -1 1077944384 399 0 0 0 3 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850500586384 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10759] ppid=10751 vsize=15417412 memory=800 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10759/stat : 10759 (java) S 10751 10751 7881 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 19 0 445731112 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850447124720 139850911341186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10760] ppid=10751 vsize=15417412 memory=1764 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10760/stat : 10760 (java) S 10751 10751 7881 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445731113 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850446071008 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10761] ppid=10751 vsize=15417412 memory=111628 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10761/stat : 10761 (java) S 10751 10751 7881 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445731113 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850445017856 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10762] ppid=10751 vsize=15417412 memory=804 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10762/stat : 10762 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850376275920 139850911348635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10763] ppid=10751 vsize=15417412 memory=4100 CPUtime=2.63 cores=0,2,4,6
/proc/10753/task/10763/stat : 10763 (java) S 10751 10751 7881 0 -1 1077944384 11406 0 0 0 263 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850375224048 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10764] ppid=10751 vsize=15417412 memory=1808 CPUtime=2.59 cores=0,2,4,6
/proc/10753/task/10764/stat : 10764 (java) S 10751 10751 7881 0 -1 1077944384 11445 0 0 0 258 1 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850374171504 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10765] ppid=10751 vsize=15417412 memory=924 CPUtime=0.81 cores=0,2,4,6
/proc/10753/task/10765/stat : 10765 (java) S 10751 10751 7881 0 -1 1077944384 7611 0 0 0 80 1 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850373118448 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10766] ppid=10751 vsize=15417412 memory=3804 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10766/stat : 10766 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850372066144 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10767] ppid=10751 vsize=15417412 memory=2720 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10767/stat : 10767 (java) R 10751 10751 7881 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10936] ppid=10751 vsize=15417412 memory=2720 CPUtime=8.67 cores=0,2,4,6
/proc/10753/task/10936/stat : 10936 (java) R 10751 10751 7881 0 -1 4202560 257 0 0 0 867 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850359045608 139850535822572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10937] ppid=10751 vsize=15417412 memory=1412 CPUtime=8.66 cores=0,2,4,6
/proc/10753/task/10937/stat : 10937 (java) R 10751 10751 7881 0 -1 4202560 1084 0 0 0 866 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850360100920 139850533828884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10938] ppid=10751 vsize=15417412 memory=2760 CPUtime=8.48 cores=0,2,4,6
/proc/10753/task/10938/stat : 10938 (java) R 10751 10751 7881 0 -1 4202560 140 0 0 0 848 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850357993992 139850534240297 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10939] ppid=10751 vsize=15417412 memory=1452 CPUtime=8.6 cores=0,2,4,6
/proc/10753/task/10939/stat : 10939 (java) R 10751 10751 7881 0 -1 4202560 219 0 0 0 860 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850356940808 139850533829253 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 62.07 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410164 KiB

[startup+16.4015 s]
/proc/loadavg: 8.01 3.87 2.00 9/238 10951
/proc/meminfo: memFree=30357164/32770624 swapFree=66988564/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0
[pid=10753] ppid=10751 vsize=15417412 memory=408712 CPUtime=63.63 cores=0,2,4,6
/proc/10753/stat : 10753 (java) S 10751 10751 7881 0 -1 1077944320 51780 0 0 0 6343 20 0 0 20 0 19 0 445731110 15787429888 102178 33554432000 4194304 4196468 140735114763632 140735114746176 139850911330039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
/proc/10753/statm: 3854353 102178 3533 1 0 3815453 0
[pid=10753/tid=10754] ppid=10751 vsize=15417412 memory=1688 CPUtime=1.28 cores=0,2,4,6
/proc/10753/task/10754/stat : 10754 (java) S 10751 10751 7881 0 -1 1077944384 11117 0 0 0 123 5 0 0 20 0 19 0 445731110 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850915570816 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10755] ppid=10751 vsize=15417412 memory=1984 CPUtime=0.04 cores=0,2,4,6
/proc/10753/task/10755/stat : 10755 (java) S 10751 10751 7881 0 -1 1077944384 512 0 0 0 3 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850847566864 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10756] ppid=10751 vsize=15417412 memory=2404 CPUtime=0.06 cores=0,2,4,6
/proc/10753/task/10756/stat : 10756 (java) S 10751 10751 7881 0 -1 1077944384 364 0 0 0 5 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850502691984 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10757] ppid=10751 vsize=15417412 memory=1440 CPUtime=0.06 cores=0,2,4,6
/proc/10753/task/10757/stat : 10757 (java) S 10751 10751 7881 0 -1 1077944384 407 0 0 0 5 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850501638928 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10758] ppid=10751 vsize=15417412 memory=1452 CPUtime=0.04 cores=0,2,4,6
/proc/10753/task/10758/stat : 10758 (java) S 10751 10751 7881 0 -1 1077944384 399 0 0 0 3 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850500586384 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10759] ppid=10751 vsize=15417412 memory=408712 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10759/stat : 10759 (java) S 10751 10751 7881 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 19 0 445731112 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850447124720 139850911341186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10760] ppid=10751 vsize=15417412 memory=9520 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10760/stat : 10760 (java) S 10751 10751 7881 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445731113 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850446071008 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10761] ppid=10751 vsize=15417412 memory=4028 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10761/stat : 10761 (java) S 10751 10751 7881 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445731113 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850445017856 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10762] ppid=10751 vsize=15417412 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10762/stat : 10762 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850376275920 139850911348635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10763] ppid=10751 vsize=15417412 memory=1540 CPUtime=2.64 cores=0,2,4,6
/proc/10753/task/10763/stat : 10763 (java) S 10751 10751 7881 0 -1 1077944384 11468 0 0 0 264 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850375224048 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10764] ppid=10751 vsize=15417412 memory=1696 CPUtime=2.7 cores=0,2,4,6
/proc/10753/task/10764/stat : 10764 (java) R 10751 10751 7881 0 -1 4202560 13453 0 0 0 269 1 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850374171800 139850892850082 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10765] ppid=10751 vsize=15417412 memory=6032 CPUtime=0.82 cores=0,2,4,6
/proc/10753/task/10765/stat : 10765 (java) S 10751 10751 7881 0 -1 1077944384 7685 0 0 0 80 2 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850373118448 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10766] ppid=10751 vsize=15417412 memory=772 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10766/stat : 10766 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850372066144 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10767] ppid=10751 vsize=15417412 memory=952 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10767/stat : 10767 (java) S 10751 10751 7881 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10936] ppid=10751 vsize=15417412 memory=14008 CPUtime=9.05 cores=0,2,4,6
/proc/10753/task/10936/stat : 10936 (java) R 10751 10751 7881 0 -1 4202560 284 0 0 0 905 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850359046184 139850534241499 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10937] ppid=10751 vsize=15417412 memory=21004 CPUtime=9.04 cores=0,2,4,6
/proc/10753/task/10937/stat : 10937 (java) R 10751 10751 7881 0 -1 4202560 1094 0 0 0 904 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850360100920 139850535472383 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10938] ppid=10751 vsize=15417412 memory=2116 CPUtime=8.87 cores=0,2,4,6
/proc/10753/task/10938/stat : 10938 (java) R 10751 10751 7881 0 -1 4202560 164 0 0 0 887 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850357994328 139850533829492 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10939] ppid=10751 vsize=15417412 memory=12028 CPUtime=8.9 cores=0,2,4,6
/proc/10753/task/10939/stat : 10939 (java) R 10751 10751 7881 0 -1 4202560 285 0 0 0 890 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850356941512 139850533828498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 63.63 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410164 KiB

[startup+16.6085 s]
/proc/loadavg: 8.01 3.87 2.00 9/238 10951
/proc/meminfo: memFree=30357164/32770624 swapFree=66988564/67108860
[pid=10751] ppid=10748 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/10751/stat : 10751 (xcsp3-exec) S 10748 10751 7881 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 445731110 115843072 363 33554432000 4194304 5098028 140724717898144 140724717896248 139720810820220 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 10158080 140724717900666 140724717900909 140724717900909 140724717903818 0
/proc/10751/statm: 28282 363 304 221 0 87 0
[pid=10753] ppid=10751 vsize=15417412 memory=408712 CPUtime=64.46 cores=0,2,4,6
/proc/10753/stat : 10753 (java) S 10751 10751 7881 0 -1 1077944320 52114 0 0 0 6426 20 0 0 20 0 19 0 445731110 15787429888 102178 33554432000 4194304 4196468 140735114763632 140735114746176 139850911330039 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
/proc/10753/statm: 3854353 102178 3533 1 0 3815453 0
[pid=10753/tid=10754] ppid=10751 vsize=15417412 memory=0 CPUtime=1.28 cores=0,2,4,6
/proc/10753/task/10754/stat : 10754 (java) S 10751 10751 7881 0 -1 1077944384 11117 0 0 0 123 5 0 0 20 0 19 0 445731110 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850915570816 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10755] ppid=10751 vsize=15417412 memory=12945 CPUtime=0.04 cores=0,2,4,6
/proc/10753/task/10755/stat : 10755 (java) S 10751 10751 7881 0 -1 1077944384 512 0 0 0 3 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850847566864 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10756] ppid=10751 vsize=15417412 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/10753/task/10756/stat : 10756 (java) S 10751 10751 7881 0 -1 1077944384 364 0 0 0 5 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850502691984 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10757] ppid=10751 vsize=15417412 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/10753/task/10757/stat : 10757 (java) S 10751 10751 7881 0 -1 1077944384 407 0 0 0 5 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850501638928 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10758] ppid=10751 vsize=15417412 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/10753/task/10758/stat : 10758 (java) S 10751 10751 7881 0 -1 1077944384 399 0 0 0 3 1 0 0 20 0 19 0 445731111 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850500586384 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10759] ppid=10751 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10759/stat : 10759 (java) S 10751 10751 7881 0 -1 1077944384 677 0 0 0 0 0 0 0 20 0 19 0 445731112 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850447124720 139850911341186 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10760] ppid=10751 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10760/stat : 10760 (java) S 10751 10751 7881 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 445731113 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850446071008 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10761] ppid=10751 vsize=15417412 memory=0 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10761/stat : 10761 (java) S 10751 10751 7881 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 19 0 445731113 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850445017856 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10762] ppid=10751 vsize=15417412 memory=288230600312357161 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10762/stat : 10762 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850376275920 139850911348635 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10763] ppid=10751 vsize=15417412 memory=13571491887318644 CPUtime=2.64 cores=0,2,4,6
/proc/10753/task/10763/stat : 10763 (java) S 10751 10751 7881 0 -1 1077944384 11468 0 0 0 264 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850375224048 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10764] ppid=10751 vsize=15417412 memory=0 CPUtime=2.7 cores=0,2,4,6
/proc/10753/task/10764/stat : 10764 (java) S 10751 10751 7881 0 -1 1077944384 13470 0 0 0 269 1 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850374171504 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10765] ppid=10751 vsize=15417412 memory=288230600312357161 CPUtime=0.82 cores=0,2,4,6
/proc/10753/task/10765/stat : 10765 (java) S 10751 10751 7881 0 -1 1077944384 7685 0 0 0 80 2 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850373118448 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10766] ppid=10751 vsize=15417412 memory=13571491887318644 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10766/stat : 10766 (java) S 10751 10751 7881 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850372066144 139850911340245 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10767] ppid=10751 vsize=15417412 memory=7516652090502327697 CPUtime=0 cores=0,2,4,6
/proc/10753/task/10767/stat : 10767 (java) S 10751 10751 7881 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 19 0 445731116 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850371013168 139850911341186 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10936] ppid=10751 vsize=15417412 memory=7516652090502327697 CPUtime=9.25 cores=0,2,4,6
/proc/10753/task/10936/stat : 10936 (java) R 10751 10751 7881 0 -1 4202560 302 0 0 0 925 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850359046184 139850534340688 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10937] ppid=10751 vsize=15417412 memory=7516652090502327697 CPUtime=9.24 cores=0,2,4,6
/proc/10753/task/10937/stat : 10937 (java) R 10751 10751 7881 0 -1 4202560 1194 0 0 0 924 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850360100920 139850535474643 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10938] ppid=10751 vsize=15417412 memory=7516652090502327697 CPUtime=9.08 cores=0,2,4,6
/proc/10753/task/10938/stat : 10938 (java) R 10751 10751 7881 0 -1 4202560 272 0 0 0 908 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850357994328 139850533513869 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
[pid=10753/tid=10939] ppid=10751 vsize=15417412 memory=0 CPUtime=9.11 cores=0,2,4,6
/proc/10753/task/10939/stat : 10939 (java) R 10751 10751 7881 0 -1 4202560 376 0 0 0 911 0 0 0 20 0 19 0 445731835 15787429888 102178 33554432000 4194304 4196468 140735114763632 139850356941512 139850533828893 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14344192 140735114769391 140735114769562 140735114769562 140735114772431 0
Current children cumulated CPU time: 64.46 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 410164 KiB

Child status: 0
Real time (s): 16.6659
CPU time (s): 64.6695
CPU user time (s): 64.4577
CPU system time (s): 0.211777
CPU usage (%): 388.034
Max. virtual memory (cumulated for all children) (KiB): 15530540
Max. memory (cumulated for all children) (KiB): 410164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.4577
system time used= 0.211777
maximum resident set size= 408712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53897
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3029
involuntary context switches= 1738


# summary of solver processes directly reported to runsolver:
#   pid: 10751
#   total CPU time (s): 64.6695
#   total CPU user time (s): 64.4577
#   total CPU system time (s): 0.211777

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.142384 second user time and 0.209907 second system time

The end