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 (15109 MiB free)
memory of node 1: 16384 MiB (15671 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399181-1568699267/watcher-4399181-1568699267 -o /tmp/evaluation-result-4399181-1568699267/solver-4399181-1568699267 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568693400-21538 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 557185318 HOME/instance-4399181-1568699267.xml
running on 4 cores: 1,3,5,7
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
solver pid=28157, runsolver pid=28154
Current StackSize limit: 8192 KiB
[startup+0.10239 s]*
/proc/loadavg: 8.43 8.48 8.41 6/233 28173
/proc/meminfo: memFree=31503228/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
[pid=28159] ppid=28157 vsize=15144776 memory=28948 CPUtime=0.14 cores=1,3,5,7
/proc/28159/stat : 28159 (java) S 28157 28157 21506 0 -1 1077944320 5721 0 0 0 13 1 0 0 20 0 15 0 446189390 15508250624 7237 33554432000 4194304 4196468 140726931859328 140726931841872 140531186646775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
/proc/28159/statm: 3786194 7237 3153 1 0 3748377 0
[pid=28159/tid=28160] ppid=28157 vsize=15144776 memory=8514701219881124772 CPUtime=0.1 cores=1,3,5,7
/proc/28159/task/28160/stat : 28160 (java) R 28157 28157 21506 0 -1 4202560 3586 0 0 0 9 1 0 0 20 0 15 0 446189390 15508250624 7237 33554432000 4194304 4196468 140726931859328 140531190875728 140531186658710 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28161] ppid=28157 vsize=15144776 memory=3472467912068412624 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28161/stat : 28161 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 7237 33554432000 4194304 4196468 140726931859328 140531139266832 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28162] ppid=28157 vsize=15144776 memory=139783173260928 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28162/stat : 28162 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 7237 33554432000 4194304 4196468 140726931859328 140531138214288 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28163] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28163/stat : 28163 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 7237 33554432000 4194304 4196468 140726931859328 140531137161744 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28164] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28164/stat : 28164 (java) S 28157 28157 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 7237 33554432000 4194304 4196468 140726931859328 140531136109200 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28165] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28165/stat : 28165 (java) S 28157 28157 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446189392 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530654620144 140531186657922 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28166] ppid=28157 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28166/stat : 28166 (java) S 28157 28157 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446189393 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530653566368 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28167] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28167/stat : 28167 (java) S 28157 28157 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446189393 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530652513776 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28168] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28168/stat : 28168 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530651462352 140531186665371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28169] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28169/stat : 28169 (java) R 28157 28157 21506 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 446189395 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530650408944 140531186657922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28170] ppid=28157 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28170/stat : 28170 (java) R 28157 28157 21506 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 15 0 446189395 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530649356496 140531170138487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28171] ppid=28157 vsize=15144776 memory=139783173260928 CPUtime=0.02 cores=1,3,5,7
/proc/28159/task/28171/stat : 28171 (java) R 28157 28157 21506 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 446189395 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530648303856 140531186660639 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28172] ppid=28157 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28172/stat : 28172 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530647251552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28173] ppid=28157 vsize=15144776 memory=139783173260928 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28173/stat : 28173 (java) R 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189396 15508250624 7237 33554432000 4194304 4196468 140726931859328 140530646199088 140531186657922 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30400 KiB
[startup+0.211762 s]*
/proc/loadavg: 8.43 8.48 8.41 8/233 28173
/proc/meminfo: memFree=31490000/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
[pid=28159] ppid=28157 vsize=15144776 memory=40900 CPUtime=0.34 cores=1,3,5,7
/proc/28159/stat : 28159 (java) S 28157 28157 21506 0 -1 1077944320 9452 0 0 0 32 2 0 0 20 0 15 0 446189390 15508250624 10225 33554432000 4194304 4196468 140726931859328 140726931841872 140531186646775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
/proc/28159/statm: 3786194 10225 3288 1 0 3748377 0
[pid=28159/tid=28160] ppid=28157 vsize=15144776 memory=5855082630903857826 CPUtime=0.2 cores=1,3,5,7
/proc/28159/task/28160/stat : 28160 (java) R 28157 28157 21506 0 -1 4202560 6624 0 0 0 18 2 0 0 20 0 15 0 446189390 15508250624 10225 33554432000 4194304 4196468 140726931859328 140531190881760 140531170727262 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28161] ppid=28157 vsize=15144776 memory=3472467912068412624 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28161/stat : 28161 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 10225 33554432000 4194304 4196468 140726931859328 140531139266832 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28162] ppid=28157 vsize=15144776 memory=139783173260928 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28162/stat : 28162 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 10225 33554432000 4194304 4196468 140726931859328 140531138214288 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28163] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28163/stat : 28163 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 10225 33554432000 4194304 4196468 140726931859328 140531137161744 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28164] ppid=28157 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28164/stat : 28164 (java) S 28157 28157 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446189391 15508250624 10225 33554432000 4194304 4196468 140726931859328 140531136109200 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28165] ppid=28157 vsize=15144776 memory=139783173260928 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28165/stat : 28165 (java) S 28157 28157 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446189392 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530654620144 140531186657922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28166] ppid=28157 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28166/stat : 28166 (java) S 28157 28157 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446189393 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530653566368 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28167] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28167/stat : 28167 (java) S 28157 28157 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446189393 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530652513776 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28168] ppid=28157 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28168/stat : 28168 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530651462352 140531186665371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28169] ppid=28157 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/28159/task/28169/stat : 28169 (java) S 28157 28157 21506 0 -1 1077944384 445 0 0 0 1 0 0 0 20 0 15 0 446189395 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530650408944 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28170] ppid=28157 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/28159/task/28170/stat : 28170 (java) S 28157 28157 21506 0 -1 1077944384 280 0 0 0 3 0 0 0 20 0 15 0 446189395 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530649356400 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28171] ppid=28157 vsize=15144776 memory=139783173260928 CPUtime=0.08 cores=1,3,5,7
/proc/28159/task/28171/stat : 28171 (java) S 28157 28157 21506 0 -1 1077944384 799 0 0 0 8 0 0 0 20 0 15 0 446189395 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530648303856 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28172] ppid=28157 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28172/stat : 28172 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530647251552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28173] ppid=28157 vsize=15144776 memory=139783173260928 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28173/stat : 28173 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189396 15508250624 10225 33554432000 4194304 4196468 140726931859328 140530646199088 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42352 KiB
[startup+0.319198 s]*
/proc/loadavg: 8.43 8.48 8.41 6/233 28173
/proc/meminfo: memFree=31482728/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
[pid=28159] ppid=28157 vsize=15149032 memory=50512 CPUtime=0.54 cores=1,3,5,7
/proc/28159/stat : 28159 (java) S 28157 28157 21506 0 -1 1077944320 10988 0 0 0 51 3 0 0 20 0 15 0 446189390 15512608768 12628 33554432000 4194304 4196468 140726931859328 140726931841872 140531186646775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
/proc/28159/statm: 3787258 12628 3360 1 0 3748377 0
[pid=28159/tid=28160] ppid=28157 vsize=15149032 memory=-8540663193526752614 CPUtime=0.31 cores=1,3,5,7
/proc/28159/task/28160/stat : 28160 (java) R 28157 28157 21506 0 -1 4202560 7926 0 0 0 28 3 0 0 20 0 15 0 446189390 15512608768 12628 33554432000 4194304 4196468 140726931859328 140531190878544 140531170727262 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28161] ppid=28157 vsize=15149032 memory=3472467912068412624 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28161/stat : 28161 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15512608768 12628 33554432000 4194304 4196468 140726931859328 140531139266832 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28162] ppid=28157 vsize=15149032 memory=139783173282460 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28162/stat : 28162 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15512608768 12628 33554432000 4194304 4196468 140726931859328 140531138214288 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28163] ppid=28157 vsize=15149032 memory=139783066224429 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28163/stat : 28163 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15512608768 12628 33554432000 4194304 4196468 140726931859328 140531137161744 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28164] ppid=28157 vsize=15149032 memory=139783066205135 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28164/stat : 28164 (java) S 28157 28157 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446189391 15512608768 12628 33554432000 4194304 4196468 140726931859328 140531136109200 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28165] ppid=28157 vsize=15149032 memory=139783173282466 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28165/stat : 28165 (java) S 28157 28157 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446189392 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530654620144 140531186657922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28166] ppid=28157 vsize=15149032 memory=139783066214351 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28166/stat : 28166 (java) S 28157 28157 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446189393 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530653566368 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28167] ppid=28157 vsize=15149032 memory=279566132426384 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28167/stat : 28167 (java) S 28157 28157 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446189393 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530652513776 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28168] ppid=28157 vsize=15149032 memory=279566132433264 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28168/stat : 28168 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530651462352 140531186665371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28169] ppid=28157 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/28159/task/28169/stat : 28169 (java) R 28157 28157 21506 0 -1 1077944384 558 0 0 0 4 0 0 0 20 0 15 0 446189395 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530650408944 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28170] ppid=28157 vsize=15149032 memory=2240 CPUtime=0.04 cores=1,3,5,7
/proc/28159/task/28170/stat : 28170 (java) S 28157 28157 21506 0 -1 1077944384 293 0 0 0 4 0 0 0 20 0 15 0 446189395 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530649356400 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28171] ppid=28157 vsize=15149032 memory=139783173260928 CPUtime=0.13 cores=1,3,5,7
/proc/28159/task/28171/stat : 28171 (java) S 28157 28157 21506 0 -1 1077944384 908 0 0 0 13 0 0 0 20 0 15 0 446189395 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530648303856 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28172] ppid=28157 vsize=15149032 memory=2208 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28172/stat : 28172 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530647251552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28173] ppid=28157 vsize=15149032 memory=139783173260928 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28173/stat : 28173 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189396 15512608768 12628 33554432000 4194304 4196468 140726931859328 140530646199088 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51964 KiB
[startup+0.706415 s]
/proc/loadavg: 8.43 8.48 8.41 8/233 28173
/proc/meminfo: memFree=31467636/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
[pid=28159] ppid=28157 vsize=15151156 memory=174252 CPUtime=1.74 cores=1,3,5,7
/proc/28159/stat : 28159 (java) S 28157 28157 21506 0 -1 1077944320 15297 0 0 0 168 6 0 0 20 0 15 0 446189390 15514783744 43563 33554432000 4194304 4196468 140726931859328 140726931841872 140531186646775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
/proc/28159/statm: 3787789 43563 3454 1 0 3748889 0
[pid=28159/tid=28160] ppid=28157 vsize=15151156 memory=2828 CPUtime=0.67 cores=1,3,5,7
/proc/28159/task/28160/stat : 28160 (java) R 28157 28157 21506 0 -1 4202560 9179 0 0 0 63 4 0 0 20 0 15 0 446189390 15514783744 43563 33554432000 4194304 4196468 140726931859328 140531190884080 140531186668701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28161] ppid=28157 vsize=15151156 memory=756 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28161/stat : 28161 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15514783744 43563 33554432000 4194304 4196468 140726931859328 140531139266832 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28162] ppid=28157 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28162/stat : 28162 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15514783744 43563 33554432000 4194304 4196468 140726931859328 140531138214288 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28163] ppid=28157 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28163/stat : 28163 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189391 15514783744 43563 33554432000 4194304 4196468 140726931859328 140531137161744 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28164] ppid=28157 vsize=15151156 memory=279566132507968 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28164/stat : 28164 (java) S 28157 28157 21506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446189391 15514783744 43563 33554432000 4194304 4196468 140726931859328 140531136109200 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28165] ppid=28157 vsize=15151156 memory=11268 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28165/stat : 28165 (java) S 28157 28157 21506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446189392 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530654620144 140531186657922 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28166] ppid=28157 vsize=15151156 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28166/stat : 28166 (java) S 28157 28157 21506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446189393 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530653566368 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28167] ppid=28157 vsize=15151156 memory=2320955074869185193 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28167/stat : 28167 (java) S 28157 28157 21506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446189393 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530652513776 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28168] ppid=28157 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28168/stat : 28168 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530651462352 140531186665371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28169] ppid=28157 vsize=15151156 memory=1425 CPUtime=0.29 cores=1,3,5,7
/proc/28159/task/28169/stat : 28169 (java) R 28157 28157 21506 0 -1 4202560 1384 0 0 0 29 0 0 0 20 0 15 0 446189395 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530650402136 140531164241552 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28170] ppid=28157 vsize=15151156 memory=11 CPUtime=0.32 cores=1,3,5,7
/proc/28159/task/28170/stat : 28170 (java) R 28157 28157 21506 0 -1 4202560 1294 0 0 0 32 0 0 0 20 0 15 0 446189395 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530649336672 140531170178295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28171] ppid=28157 vsize=15151156 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/28159/task/28171/stat : 28171 (java) R 28157 28157 21506 0 -1 4202560 2141 0 0 0 42 0 0 0 20 0 15 0 446189395 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530648303856 140531179745086 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28172] ppid=28157 vsize=15151156 memory=30745 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28172/stat : 28172 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446189395 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530647251552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28173] ppid=28157 vsize=15151156 memory=1477 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28173/stat : 28173 (java) S 28157 28157 21506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446189396 15514783744 43563 33554432000 4194304 4196468 140726931859328 140530646199088 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 175704 KiB
[startup+1.50442 s]
/proc/loadavg: 8.43 8.48 8.41 10/237 28177
/proc/meminfo: memFree=31243656/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 549728 KiB
[startup+17.6014 s]
/proc/loadavg: 8.54 8.50 8.42 9/237 28315
/proc/meminfo: memFree=30944376/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
[pid=28159] ppid=28157 vsize=15486024 memory=548536 CPUtime=67.52 cores=1,3,5,7
/proc/28159/stat : 28159 (java) S 28157 28157 21506 0 -1 1077944320 63128 0 0 0 6708 44 0 0 20 0 19 0 446189390 15857688576 137134 33554432000 4194304 4196468 140726931859328 140726931841872 140531186646775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
/proc/28159/statm: 3871506 137134 3528 1 0 3832606 0
[pid=28159/tid=28160] ppid=28157 vsize=15486024 memory=6791534058613427641 CPUtime=0.8 cores=1,3,5,7
/proc/28159/task/28160/stat : 28160 (java) S 28157 28157 21506 0 -1 1077944384 9669 0 0 0 76 4 0 0 20 0 19 0 446189390 15857688576 137134 33554432000 4194304 4196468 140726931859328 140531190887552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28161] ppid=28157 vsize=15486024 memory=2824 CPUtime=0.16 cores=1,3,5,7
/proc/28159/task/28161/stat : 28161 (java) S 28157 28157 21506 0 -1 1077944384 539 0 0 0 9 7 0 0 20 0 19 0 446189391 15857688576 137134 33554432000 4194304 4196468 140726931859328 140531139266832 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28162] ppid=28157 vsize=15486024 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/28159/task/28162/stat : 28162 (java) S 28157 28157 21506 0 -1 1077944384 137 0 0 0 7 7 0 0 20 0 19 0 446189391 15857688576 137134 33554432000 4194304 4196468 140726931859328 140531138214288 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28163] ppid=28157 vsize=15486024 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/28159/task/28163/stat : 28163 (java) S 28157 28157 21506 0 -1 1077944384 423 0 0 0 7 7 0 0 20 0 19 0 446189391 15857688576 137134 33554432000 4194304 4196468 140726931859328 140531137161744 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28164] ppid=28157 vsize=15486024 memory=3072 CPUtime=0.15 cores=1,3,5,7
/proc/28159/task/28164/stat : 28164 (java) S 28157 28157 21506 0 -1 1077944384 1245 0 0 0 8 7 0 0 20 0 19 0 446189391 15857688576 137134 33554432000 4194304 4196468 140726931859328 140531136109200 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28165] ppid=28157 vsize=15486024 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/28159/task/28165/stat : 28165 (java) S 28157 28157 21506 0 -1 1077944384 793 0 0 0 1 0 0 0 20 0 19 0 446189392 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530654620144 140531186657922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28166] ppid=28157 vsize=15486024 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28166/stat : 28166 (java) S 28157 28157 21506 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446189393 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530653566432 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28167] ppid=28157 vsize=15486024 memory=548252 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28167/stat : 28167 (java) S 28157 28157 21506 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446189393 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530652513792 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28168] ppid=28157 vsize=15486024 memory=2824 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28168/stat : 28168 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446189395 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530651462352 140531186665371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28169] ppid=28157 vsize=15486024 memory=279566133199536 CPUtime=2.86 cores=1,3,5,7
/proc/28159/task/28169/stat : 28169 (java) S 28157 28157 21506 0 -1 1077944384 17324 0 0 0 284 2 0 0 20 0 19 0 446189395 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530650408944 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28170] ppid=28157 vsize=15486024 memory=297237799583875378 CPUtime=2.98 cores=1,3,5,7
/proc/28159/task/28170/stat : 28170 (java) S 28157 28157 21506 0 -1 1077944384 15085 0 0 0 297 1 0 0 20 0 19 0 446189395 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530649356400 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28171] ppid=28157 vsize=15486024 memory=15535211081370037 CPUtime=0.85 cores=1,3,5,7
/proc/28159/task/28171/stat : 28171 (java) S 28157 28157 21506 0 -1 1077944384 7116 0 0 0 84 1 0 0 20 0 19 0 446189395 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530648303856 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28172] ppid=28157 vsize=15486024 memory=139783066727648 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28172/stat : 28172 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446189395 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530647251552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28173] ppid=28157 vsize=15486024 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28173/stat : 28173 (java) R 28157 28157 21506 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 19 0 446189396 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530646199088 140531186657922 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28312] ppid=28157 vsize=15486024 memory=0 CPUtime=3.7 cores=1,3,5,7
/proc/28159/task/28312/stat : 28312 (java) R 28157 28157 21506 0 -1 4202560 275 0 0 0 370 0 0 0 20 0 19 0 446190768 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530635111264 140530817074309 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28313] ppid=28157 vsize=15486024 memory=0 CPUtime=3.71 cores=1,3,5,7
/proc/28159/task/28313/stat : 28313 (java) R 28157 28157 21506 0 -1 4202560 189 0 0 0 371 0 0 0 20 0 19 0 446190768 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530633007320 140530815390714 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28314] ppid=28157 vsize=15486024 memory=0 CPUtime=3.81 cores=1,3,5,7
/proc/28159/task/28314/stat : 28314 (java) R 28157 28157 21506 0 -1 4202560 419 0 0 0 381 0 0 0 20 0 19 0 446190768 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530634061992 140530815390355 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28315] ppid=28157 vsize=15486024 memory=0 CPUtime=3.75 cores=1,3,5,7
/proc/28159/task/28315/stat : 28315 (java) R 28157 28157 21506 0 -1 4202560 158 0 0 0 375 0 0 0 20 0 19 0 446190768 15857688576 137134 33554432000 4194304 4196468 140726931859328 140530637217400 140530817074228 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
Current children cumulated CPU time: 67.52 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 549988 KiB
[startup+18.4014 s]
/proc/loadavg: 8.54 8.50 8.42 10/237 28315
/proc/meminfo: memFree=30943208/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
[pid=28159] ppid=28157 vsize=15486024 memory=548564 CPUtime=70.72 cores=1,3,5,7
/proc/28159/stat : 28159 (java) S 28157 28157 21506 0 -1 1077944320 64634 0 0 0 7027 45 0 0 20 0 19 0 446189390 15857688576 137141 33554432000 4194304 4196468 140726931859328 140726931841872 140531186646775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
/proc/28159/statm: 3871506 137141 3528 1 0 3832606 0
[pid=28159/tid=28160] ppid=28157 vsize=15486024 memory=30692 CPUtime=0.8 cores=1,3,5,7
/proc/28159/task/28160/stat : 28160 (java) S 28157 28157 21506 0 -1 1077944384 9669 0 0 0 76 4 0 0 20 0 19 0 446189390 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531190887552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28161] ppid=28157 vsize=15486024 memory=2004 CPUtime=0.16 cores=1,3,5,7
/proc/28159/task/28161/stat : 28161 (java) S 28157 28157 21506 0 -1 1077944384 539 0 0 0 9 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531139266832 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28162] ppid=28157 vsize=15486024 memory=984 CPUtime=0.14 cores=1,3,5,7
/proc/28159/task/28162/stat : 28162 (java) S 28157 28157 21506 0 -1 1077944384 137 0 0 0 7 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531138214288 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28163] ppid=28157 vsize=15486024 memory=1452 CPUtime=0.14 cores=1,3,5,7
/proc/28159/task/28163/stat : 28163 (java) S 28157 28157 21506 0 -1 1077944384 423 0 0 0 7 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531137161744 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28164] ppid=28157 vsize=15486024 memory=548536 CPUtime=0.15 cores=1,3,5,7
/proc/28159/task/28164/stat : 28164 (java) S 28157 28157 21506 0 -1 1077944384 1245 0 0 0 8 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531136109200 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28165] ppid=28157 vsize=15486024 memory=6791534058613427641 CPUtime=0.01 cores=1,3,5,7
/proc/28159/task/28165/stat : 28165 (java) S 28157 28157 21506 0 -1 1077944384 793 0 0 0 1 0 0 0 20 0 19 0 446189392 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530654620144 140531186657922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28166] ppid=28157 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28166/stat : 28166 (java) S 28157 28157 21506 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446189393 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530653566432 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28167] ppid=28157 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28167/stat : 28167 (java) S 28157 28157 21506 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446189393 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530652513792 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28168] ppid=28157 vsize=15486024 memory=1628 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28168/stat : 28168 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530651462352 140531186665371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28169] ppid=28157 vsize=15486024 memory=68 CPUtime=2.87 cores=1,3,5,7
/proc/28159/task/28169/stat : 28169 (java) S 28157 28157 21506 0 -1 1077944384 17715 0 0 0 285 2 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530650408944 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28170] ppid=28157 vsize=15486024 memory=548536 CPUtime=2.98 cores=1,3,5,7
/proc/28159/task/28170/stat : 28170 (java) S 28157 28157 21506 0 -1 1077944384 15221 0 0 0 297 1 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530649356400 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28171] ppid=28157 vsize=15486024 memory=548276 CPUtime=0.85 cores=1,3,5,7
/proc/28159/task/28171/stat : 28171 (java) S 28157 28157 21506 0 -1 1077944384 7298 0 0 0 84 1 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530648303856 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28172] ppid=28157 vsize=15486024 memory=6946866654921323415 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28172/stat : 28172 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530647251552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28173] ppid=28157 vsize=15486024 memory=8401352418782109792 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28173/stat : 28173 (java) S 28157 28157 21506 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 19 0 446189396 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530646199088 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28312] ppid=28157 vsize=15486024 memory=6944656592455362618 CPUtime=4.5 cores=1,3,5,7
/proc/28159/task/28312/stat : 28312 (java) R 28157 28157 21506 0 -1 4202560 337 0 0 0 450 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530635111264 140530817074064 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28313] ppid=28157 vsize=15486024 memory=6293050847276651881 CPUtime=4.48 cores=1,3,5,7
/proc/28159/task/28313/stat : 28313 (java) R 28157 28157 21506 0 -1 4202560 379 0 0 0 448 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530633007784 140530816812164 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28314] ppid=28157 vsize=15486024 memory=5787213827130549604 CPUtime=4.6 cores=1,3,5,7
/proc/28159/task/28314/stat : 28314 (java) R 28157 28157 21506 0 -1 4202560 722 0 0 0 460 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530634059960 140530815390287 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28315] ppid=28157 vsize=15486024 memory=1060 CPUtime=4.55 cores=1,3,5,7
/proc/28159/task/28315/stat : 28315 (java) R 28157 28157 21506 0 -1 4202560 388 0 0 0 455 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530637217400 140530818694731 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
Current children cumulated CPU time: 70.72 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 550016 KiB
[startup+18.8014 s]
/proc/loadavg: 8.54 8.50 8.42 10/237 28315
/proc/meminfo: memFree=30943208/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/statm: 28282 363 304 221 0 87 0
[pid=28159] ppid=28157 vsize=15486024 memory=548564 CPUtime=72.31 cores=1,3,5,7
/proc/28159/stat : 28159 (java) S 28157 28157 21506 0 -1 1077944320 64818 0 0 0 7186 45 0 0 20 0 19 0 446189390 15857688576 137141 33554432000 4194304 4196468 140726931859328 140726931841872 140531186646775 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
/proc/28159/statm: 3871506 137141 3528 1 0 3832606 0
[pid=28159/tid=28160] ppid=28157 vsize=15486024 memory=15252640887999028 CPUtime=0.8 cores=1,3,5,7
/proc/28159/task/28160/stat : 28160 (java) S 28157 28157 21506 0 -1 1077944384 9669 0 0 0 76 4 0 0 20 0 19 0 446189390 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531190887552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28161] ppid=28157 vsize=15486024 memory=928 CPUtime=0.16 cores=1,3,5,7
/proc/28159/task/28161/stat : 28161 (java) S 28157 28157 21506 0 -1 1077944384 539 0 0 0 9 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531139266832 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28162] ppid=28157 vsize=15486024 memory=3784 CPUtime=0.14 cores=1,3,5,7
/proc/28159/task/28162/stat : 28162 (java) S 28157 28157 21506 0 -1 1077944384 137 0 0 0 7 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531138214288 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28163] ppid=28157 vsize=15486024 memory=1440 CPUtime=0.14 cores=1,3,5,7
/proc/28159/task/28163/stat : 28163 (java) S 28157 28157 21506 0 -1 1077944384 423 0 0 0 7 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531137161744 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28164] ppid=28157 vsize=15486024 memory=904 CPUtime=0.15 cores=1,3,5,7
/proc/28159/task/28164/stat : 28164 (java) S 28157 28157 21506 0 -1 1077944384 1245 0 0 0 8 7 0 0 20 0 19 0 446189391 15857688576 137141 33554432000 4194304 4196468 140726931859328 140531136109200 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28165] ppid=28157 vsize=15486024 memory=1984 CPUtime=0.01 cores=1,3,5,7
/proc/28159/task/28165/stat : 28165 (java) S 28157 28157 21506 0 -1 1077944384 865 0 0 0 1 0 0 0 20 0 19 0 446189392 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530654620144 140531186657922 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28166] ppid=28157 vsize=15486024 memory=2528 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28166/stat : 28166 (java) S 28157 28157 21506 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446189393 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530653566432 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28167] ppid=28157 vsize=15486024 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28167/stat : 28167 (java) S 28157 28157 21506 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 19 0 446189393 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530652513792 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28168] ppid=28157 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28168/stat : 28168 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530651462352 140531186665371 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28169] ppid=28157 vsize=15486024 memory=0 CPUtime=2.87 cores=1,3,5,7
/proc/28159/task/28169/stat : 28169 (java) S 28157 28157 21506 0 -1 1077944384 17715 0 0 0 285 2 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530650408944 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28170] ppid=28157 vsize=15486024 memory=139783066454920 CPUtime=2.98 cores=1,3,5,7
/proc/28159/task/28170/stat : 28170 (java) S 28157 28157 21506 0 -1 1077944384 15221 0 0 0 297 1 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530649356400 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28171] ppid=28157 vsize=15486024 memory=3848 CPUtime=0.85 cores=1,3,5,7
/proc/28159/task/28171/stat : 28171 (java) S 28157 28157 21506 0 -1 1077944384 7298 0 0 0 84 1 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530648303856 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 37 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28172] ppid=28157 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28172/stat : 28172 (java) S 28157 28157 21506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446189395 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530647251552 140531186656981 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28173] ppid=28157 vsize=15486024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28159/task/28173/stat : 28173 (java) S 28157 28157 21506 0 -1 1077944384 194 0 0 0 0 0 0 0 20 0 19 0 446189396 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530646199088 140531186657922 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28312] ppid=28157 vsize=15486024 memory=6655300316396806240 CPUtime=4.9 cores=1,3,5,7
/proc/28159/task/28312/stat : 28312 (java) R 28157 28157 21506 0 -1 4202560 383 0 0 0 490 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530635111216 140530815826286 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28313] ppid=28157 vsize=15486024 memory=0 CPUtime=4.88 cores=1,3,5,7
/proc/28159/task/28313/stat : 28313 (java) R 28157 28157 21506 0 -1 4202560 405 0 0 0 488 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530633007448 140530815826824 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28314] ppid=28157 vsize=15486024 memory=0 CPUtime=5 cores=1,3,5,7
/proc/28159/task/28314/stat : 28314 (java) R 28157 28157 21506 0 -1 4202560 734 0 0 0 500 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530634059488 140530818694771 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
[pid=28159/tid=28315] ppid=28157 vsize=15486024 memory=0 CPUtime=4.95 cores=1,3,5,7
/proc/28159/task/28315/stat : 28315 (java) R 28157 28157 21506 0 -1 4202560 416 0 0 0 495 0 0 0 20 0 19 0 446190768 15857688576 137141 33554432000 4194304 4196468 140726931859328 140530637217024 140530815390858 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38408192 140726931866607 140726931866778 140726931866778 140726931869647 0
Current children cumulated CPU time: 72.31 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 550016 KiB
[startup+18.9008 s]
/proc/loadavg: 8.54 8.50 8.42 10/237 28315
/proc/meminfo: memFree=30943208/32770624 swapFree=66977068/67108860
[pid=28157] ppid=28154 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/28157/stat : 28157 (xcsp3-exec) S 28154 28157 21506 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446189390 115843072 363 33554432000 4194304 5098028 140727847914096 140727847912200 139630244655740 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 16068608 140727847916411 140727847916653 140727847916653 140727847919562 0
/proc/28157/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): 18.9051
CPU time (s): 72.6271
CPU user time (s): 72.1674
CPU system time (s): 0.459715
CPU usage (%): 384.167
Max. virtual memory (cumulated for all children) (KiB): 15599200
Max. memory (cumulated for all children) (KiB): 550016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.1674
system time used= 0.459715
maximum resident set size= 548564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66383
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= 4142
involuntary context switches= 2005
# summary of solver processes directly reported to runsolver:
# pid: 28157
# total CPU time (s): 72.6271
# total CPU user time (s): 72.1674
# total CPU system time (s): 0.459715
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.124708 second user time and 0.262428 second system time
The end