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 (10659 MiB free)
memory of node 1: 16384 MiB (13865 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4406146-1569414300/watcher-4406146-1569414300 -o /tmp/evaluation-result-4406146-1569414300/solver-4406146-1569414300 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1569409216-25183 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 1 -ml 12000 -tdir HOME -seed 532067606 HOME/instance-4406146-1569414300.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=26119, runsolver pid=26116
[startup+0.100105 s]*
/proc/loadavg: 1.89 1.87 1.88 4/230 26135
/proc/meminfo: memFree=25096792/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
[pid=26121] ppid=26119 vsize=15144776 memory=29144 CPUtime=0.13 cores=0,2,4,6
/proc/26121/stat : 26121 (java) S 26119 26119 25152 0 -1 1077944320 5696 0 0 0 11 2 0 0 20 0 15 0 517591492 15508250624 7286 33554432000 4194304 4196468 140733979181648 140733979164192 139806573973239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
/proc/26121/statm: 3786194 7286 3158 1 0 3748377 0
[pid=26121/tid=26122] ppid=26119 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/26121/task/26122/stat : 26122 (java) R 26119 26119 25152 0 -1 4202560 3583 0 0 0 8 1 0 0 20 0 15 0 517591492 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806578204560 139806553538172 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26123] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806502013968 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26124] ppid=26119 vsize=15144776 memory=4122958738726123168 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517591494 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806041068704 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517591495 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806040015600 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) R 26119 26119 25152 0 -1 1077944384 414 0 0 0 0 0 0 0 20 0 15 0 517591497 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806037912400 139806573983445 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) S 26119 26119 25152 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 517591497 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806036859760 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15144776 memory=140650302994048 CPUtime=0.02 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) R 26119 26119 25152 0 -1 4202560 360 0 0 0 2 0 0 0 20 0 15 0 517591497 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806035804240 139806558053726 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591498 15508250624 7286 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30596 KiB
[startup+0.210915 s]*
/proc/loadavg: 1.89 1.87 1.88 6/230 26135
/proc/meminfo: memFree=25085152/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
[pid=26121] ppid=26119 vsize=15144776 memory=40636 CPUtime=0.34 cores=0,2,4,6
/proc/26121/stat : 26121 (java) S 26119 26119 25152 0 -1 1077944320 9349 0 0 0 31 3 0 0 20 0 15 0 517591492 15508250624 10159 33554432000 4194304 4196468 140733979181648 140733979164192 139806573973239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
/proc/26121/statm: 3786194 10159 3306 1 0 3748377 0
[pid=26121/tid=26122] ppid=26119 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/26121/task/26122/stat : 26122 (java) R 26119 26119 25152 0 -1 4202560 6614 0 0 0 18 2 0 0 20 0 15 0 517591492 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806578210704 139806168444687 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26123] ppid=26119 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806502013968 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26124] ppid=26119 vsize=15144776 memory=140650306813435 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517591493 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15144776 memory=140650302994048 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517591494 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806041068704 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517591495 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806040015600 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) S 26119 26119 25152 0 -1 1077944384 470 0 0 0 2 0 0 0 20 0 15 0 517591497 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806037912304 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) S 26119 26119 25152 0 -1 1077944384 156 0 0 0 2 0 0 0 20 0 15 0 517591497 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806036859760 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15144776 memory=140650302994048 CPUtime=0.08 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) S 26119 26119 25152 0 -1 1077944384 804 0 0 0 8 0 0 0 20 0 15 0 517591497 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806035806704 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591498 15508250624 10159 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42088 KiB
[startup+0.317977 s]*
/proc/loadavg: 1.89 1.87 1.88 4/230 26135
/proc/meminfo: memFree=25076384/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
[pid=26121] ppid=26119 vsize=15149032 memory=50496 CPUtime=0.54 cores=0,2,4,6
/proc/26121/stat : 26121 (java) S 26119 26119 25152 0 -1 1077944320 10936 0 0 0 50 4 0 0 20 0 15 0 517591492 15512608768 12624 33554432000 4194304 4196468 140733979181648 140733979164192 139806573973239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
/proc/26121/statm: 3787258 12624 3357 1 0 3748377 0
[pid=26121/tid=26122] ppid=26119 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/26121/task/26122/stat : 26122 (java) R 26119 26119 25152 0 -1 4202560 7879 0 0 0 27 3 0 0 20 0 15 0 517591492 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806578207504 139806559666720 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26123] ppid=26119 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806502013968 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26124] ppid=26119 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517591493 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517591494 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806041068704 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517591495 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806040015600 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15149032 memory=7827413994055111515 CPUtime=0.04 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) S 26119 26119 25152 0 -1 1077944384 522 0 0 0 4 0 0 0 20 0 15 0 517591497 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806037912304 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15149032 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) S 26119 26119 25152 0 -1 1077944384 276 0 0 0 5 0 0 0 20 0 15 0 517591497 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806036859760 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) S 26119 26119 25152 0 -1 1077944384 963 0 0 0 12 0 0 0 20 0 15 0 517591497 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806035806704 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591498 15512608768 12624 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51948 KiB
[startup+0.700826 s]
/proc/loadavg: 1.89 1.87 1.88 3/230 26135
/proc/meminfo: memFree=25066880/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
[pid=26121] ppid=26119 vsize=15151156 memory=124608 CPUtime=1.33 cores=0,2,4,6
/proc/26121/stat : 26121 (java) S 26119 26119 25152 0 -1 1077944320 13045 0 0 0 127 6 0 0 20 0 15 0 517591492 15514783744 31152 33554432000 4194304 4196468 140733979181648 140733979164192 139806573973239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
/proc/26121/statm: 3787789 31152 3435 1 0 3748889 0
[pid=26121/tid=26122] ppid=26119 vsize=15151156 memory=-7533522213388100735 CPUtime=0.68 cores=0,2,4,6
/proc/26121/task/26122/stat : 26122 (java) R 26119 26119 25152 0 -1 4202560 9047 0 0 0 63 5 0 0 20 0 15 0 517591492 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806578209952 139806171726492 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26123] ppid=26119 vsize=15151156 memory=7595725831727968097 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806502013968 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26124] ppid=26119 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591493 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 517591493 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 517591494 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806041068704 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 517591495 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806040015600 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15151156 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15151156 memory=1720 CPUtime=0.14 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) S 26119 26119 25152 0 -1 1077944384 801 0 0 0 14 0 0 0 20 0 15 0 517591497 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806037912304 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15151156 memory=1096 CPUtime=0.21 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) R 26119 26119 25152 0 -1 4202560 532 0 0 0 21 0 0 0 20 0 15 0 517591497 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806036859760 139806557472108 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15151156 memory=6168 CPUtime=0.27 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) S 26119 26119 25152 0 -1 1077944384 1359 0 0 0 27 0 0 0 20 0 15 0 517591497 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806035806704 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15151156 memory=33924 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 517591498 15514783744 31152 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 126060 KiB
[startup+1.50103 s]
/proc/loadavg: 1.89 1.87 1.88 3/230 26135
/proc/meminfo: memFree=24883736/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 74613 0 0 0 2467 261 0 0 20 0 15 0 517591493 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15151156 memory=1560 CPUtime=27.1 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 36690 0 0 0 2469 241 0 0 20 0 15 0 517591493 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15151156 memory=1096 CPUtime=27.21 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 51169 0 0 0 2456 265 0 0 20 0 15 0 517591493 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15151156 memory=6168 CPUtime=18.29 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 23877 0 0 0 1827 2 0 0 20 0 15 0 517591494 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806041068768 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15151156 memory=33932 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517591495 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806040015616 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15151156 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15151156 memory=2120 CPUtime=0.76 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) S 26119 26119 25152 0 -1 1077944384 3614 0 0 0 75 1 0 0 20 0 15 0 517591497 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806037912304 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15151156 memory=504 CPUtime=0.88 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) R 26119 26119 25152 0 -1 4202560 4006 0 0 0 87 1 0 0 20 0 15 0 517591497 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806036840776 139806551990231 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15151156 memory=56 CPUtime=0.54 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) S 26119 26119 25152 0 -1 1077944384 3310 0 0 0 52 2 0 0 20 0 15 0 517591497 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806035806704 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15151156 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15151156 memory=6655300316396806240 CPUtime=0.04 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 355 0 0 0 2 2 0 0 20 0 15 0 517591498 15514783744 2871843 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 162.02 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11488824 KiB
[startup+80.0008 s]*
/proc/loadavg: 2.50 2.06 1.94 3/229 26140
/proc/meminfo: memFree=13609964/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
[pid=26121] ppid=26119 vsize=15151156 memory=11492596 CPUtime=163.96 cores=0,2,4,6
/proc/26121/stat : 26121 (java) S 26119 26119 25152 0 -1 1077944320 264913 0 0 0 15326 1070 0 0 20 0 15 0 517591492 15514783744 2873149 33554432000 4194304 4196468 140733979181648 140733979164192 139806573973239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
/proc/26121/statm: 3787789 2873149 3507 1 0 3748889 0
[pid=26121/tid=26122] ppid=26119 vsize=15151156 memory=1398722017469774279 CPUtime=34.17 cores=0,2,4,6
/proc/26121/task/26122/stat : 26122 (java) R 26119 26119 25152 0 -1 4202560 15747 0 0 0 3406 11 0 0 20 0 15 0 517591492 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806578209824 139806173276779 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26123] ppid=26119 vsize=15151156 memory=1160 CPUtime=27.27 cores=0,2,4,6
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25152 0 -1 1077944384 48987 0 0 0 2449 278 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806502013968 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26124] ppid=26119 vsize=15151156 memory=1720 CPUtime=27.28 cores=0,2,4,6
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 74613 0 0 0 2467 261 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15151156 memory=1096 CPUtime=27.1 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 36690 0 0 0 2469 241 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15151156 memory=6168 CPUtime=27.21 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 51169 0 0 0 2456 265 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15151156 memory=14012 CPUtime=18.32 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 23877 0 0 0 1828 4 0 0 20 0 15 0 517591494 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15151156 memory=33932 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806041068768 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15151156 memory=14068 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517591495 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806040015616 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15151156 memory=1760 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15151156 memory=111632 CPUtime=0.82 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) S 26119 26119 25152 0 -1 1077944384 4086 0 0 0 81 1 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806037912304 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15151156 memory=804 CPUtime=1.12 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) S 26119 26119 25152 0 -1 1077944384 4780 0 0 0 111 1 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806036859760 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15151156 memory=4104 CPUtime=0.54 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) S 26119 26119 25152 0 -1 1077944384 3311 0 0 0 52 2 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806035806704 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15151156 memory=1804 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15151156 memory=916 CPUtime=0.04 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 355 0 0 0 2 2 0 0 20 0 15 0 517591498 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 163.96 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11494048 KiB
[startup+80.4008 s]
/proc/loadavg: 2.50 2.06 1.94 3/229 26140
/proc/meminfo: memFree=13609964/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
[pid=26121] ppid=26119 vsize=15151156 memory=11492596 CPUtime=164.35 cores=0,2,4,6
/proc/26121/stat : 26121 (java) S 26119 26119 25152 0 -1 1077944320 264916 0 0 0 15365 1070 0 0 20 0 15 0 517591492 15514783744 2873149 33554432000 4194304 4196468 140733979181648 140733979164192 139806573973239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
/proc/26121/statm: 3787789 2873149 3507 1 0 3748889 0
[pid=26121/tid=26122] ppid=26119 vsize=15151156 memory=6791534058613427641 CPUtime=34.56 cores=0,2,4,6
/proc/26121/task/26122/stat : 26122 (java) R 26119 26119 25152 0 -1 4202560 15747 0 0 0 3445 11 0 0 20 0 15 0 517591492 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806578209824 139806174127518 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26123] ppid=26119 vsize=15151156 memory=22630 CPUtime=27.27 cores=0,2,4,6
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25152 0 -1 1077944384 48987 0 0 0 2449 278 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806502013968 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26124] ppid=26119 vsize=15151156 memory=0 CPUtime=27.28 cores=0,2,4,6
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 74613 0 0 0 2467 261 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15151156 memory=0 CPUtime=27.1 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 36690 0 0 0 2469 241 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15151156 memory=0 CPUtime=27.21 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 51169 0 0 0 2456 265 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15151156 memory=0 CPUtime=18.32 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 23877 0 0 0 1828 4 0 0 20 0 15 0 517591494 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806041068768 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517591495 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806040015616 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15151156 memory=0 CPUtime=0.82 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) S 26119 26119 25152 0 -1 1077944384 4086 0 0 0 81 1 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806037912304 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15151156 memory=8026935604705323607 CPUtime=1.12 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) S 26119 26119 25152 0 -1 1077944384 4780 0 0 0 111 1 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806036859760 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15151156 memory=1452 CPUtime=0.55 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) S 26119 26119 25152 0 -1 1077944384 3314 0 0 0 53 2 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806035806704 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15151156 memory=11492596 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15151156 memory=2832 CPUtime=0.04 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 355 0 0 0 2 2 0 0 20 0 15 0 517591498 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 164.35 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11494048 KiB
[startup+80.6008 s]
/proc/loadavg: 2.50 2.06 1.94 3/229 26140
/proc/meminfo: memFree=13609964/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
[pid=26121] ppid=26119 vsize=15151156 memory=11492596 CPUtime=164.55 cores=0,2,4,6
/proc/26121/stat : 26121 (java) S 26119 26119 25152 0 -1 1077944320 264916 0 0 0 15385 1070 0 0 20 0 15 0 517591492 15514783744 2873149 33554432000 4194304 4196468 140733979181648 140733979164192 139806573973239 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
/proc/26121/statm: 3787789 2873149 3507 1 0 3748889 0
[pid=26121/tid=26122] ppid=26119 vsize=15151156 memory=1720 CPUtime=34.76 cores=0,2,4,6
/proc/26121/task/26122/stat : 26122 (java) R 26119 26119 25152 0 -1 4202560 15747 0 0 0 3465 11 0 0 20 0 15 0 517591492 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806578209824 139806174059168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26123] ppid=26119 vsize=15151156 memory=1096 CPUtime=27.27 cores=0,2,4,6
/proc/26121/task/26123/stat : 26123 (java) S 26119 26119 25152 0 -1 1077944384 48987 0 0 0 2449 278 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806502013968 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26124] ppid=26119 vsize=15151156 memory=6168 CPUtime=27.28 cores=0,2,4,6
/proc/26121/task/26124/stat : 26124 (java) S 26119 26119 25152 0 -1 1077944384 74613 0 0 0 2467 261 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806500961424 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26125] ppid=26119 vsize=15151156 memory=14012 CPUtime=27.1 cores=0,2,4,6
/proc/26121/task/26125/stat : 26125 (java) S 26119 26119 25152 0 -1 1077944384 36690 0 0 0 2469 241 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806499908368 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26126] ppid=26119 vsize=15151156 memory=33932 CPUtime=27.21 cores=0,2,4,6
/proc/26121/task/26126/stat : 26126 (java) S 26119 26119 25152 0 -1 1077944384 51169 0 0 0 2456 265 0 0 20 0 15 0 517591493 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806498855824 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26127] ppid=26119 vsize=15151156 memory=14068 CPUtime=18.32 cores=0,2,4,6
/proc/26121/task/26127/stat : 26127 (java) S 26119 26119 25152 0 -1 1077944384 23877 0 0 0 1828 4 0 0 20 0 15 0 517591494 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806042122480 139806573984386 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26128] ppid=26119 vsize=15151156 memory=2120 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26128/stat : 26128 (java) S 26119 26119 25152 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 517591494 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806041068768 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26129] ppid=26119 vsize=15151156 memory=504 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26129/stat : 26129 (java) S 26119 26119 25152 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 517591495 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806040015616 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26130] ppid=26119 vsize=15151156 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26130/stat : 26130 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806038964176 139806573991835 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26131] ppid=26119 vsize=15151156 memory=1452 CPUtime=0.82 cores=0,2,4,6
/proc/26121/task/26131/stat : 26131 (java) S 26119 26119 25152 0 -1 1077944384 4086 0 0 0 81 1 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806037912304 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26132] ppid=26119 vsize=15151156 memory=11482096 CPUtime=1.12 cores=0,2,4,6
/proc/26121/task/26132/stat : 26132 (java) S 26119 26119 25152 0 -1 1077944384 4780 0 0 0 111 1 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806036859760 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26133] ppid=26119 vsize=15151156 memory=924 CPUtime=0.55 cores=0,2,4,6
/proc/26121/task/26133/stat : 26133 (java) S 26119 26119 25152 0 -1 1077944384 3314 0 0 0 53 2 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806035806704 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 11 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26134] ppid=26119 vsize=15151156 memory=1692 CPUtime=0 cores=0,2,4,6
/proc/26121/task/26134/stat : 26134 (java) S 26119 26119 25152 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 517591497 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806034754400 139806573983445 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
[pid=26121/tid=26135] ppid=26119 vsize=15151156 memory=912 CPUtime=0.04 cores=0,2,4,6
/proc/26121/task/26135/stat : 26135 (java) S 26119 26119 25152 0 -1 1077944384 355 0 0 0 2 2 0 0 20 0 15 0 517591498 15514783744 2873149 33554432000 4194304 4196468 140733979181648 139806033701424 139806573984386 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 34025472 140733979190255 140733979190426 140733979190426 140733979193295 0
Current children cumulated CPU time: 164.55 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 11494048 KiB
[startup+80.7008 s]
/proc/loadavg: 2.50 2.06 1.94 3/229 26140
/proc/meminfo: memFree=13609964/32770624 swapFree=67002656/67108860
[pid=26119] ppid=26116 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/26119/stat : 26119 (xcsp3-exec) S 26116 26119 25152 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 517591491 115843072 363 33554432000 4194304 5098028 140732616254880 140732616252984 140243790869116 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 22388736 140732616258427 140732616258669 140732616258669 140732616261578 0
/proc/26119/statm: 28282 363 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1452 KiB
Child status: 0
Real time (s): 80.7506
CPU time (s): 164.717
CPU user time (s): 153.94
CPU system time (s): 10.7774
CPU usage (%): 203.983
Max. virtual memory (cumulated for all children) (KiB): 15264284
Max. memory (cumulated for all children) (KiB): 11494048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.94
system time used= 10.7774
maximum resident set size= 11492596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265546
page faults= 0
swaps= 0
block input operations= 0
block output operations= 192
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7404
involuntary context switches= 1358
# summary of solver processes directly reported to runsolver:
# pid: 26119
# total CPU time (s): 164.717
# total CPU user time (s): 153.94
# total CPU system time (s): 10.7774
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.498093 second user time and 0.894303 second system time
The end