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 (3677 MiB free)
memory of node 1: 16384 MiB (1985 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404103-1568991550/watcher-4404103-1568991550 -o /tmp/evaluation-result-4404103-1568991550/solver-4404103-1568991550 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 500571185 HOME/instance-4404103-1568991550.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5261, runsolver pid=5258
[startup+0.100058 s]*
/proc/loadavg: 9.60 8.34 5.44 7/233 5277
/proc/meminfo: memFree=5783812/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
[pid=5263] ppid=5261 vsize=15144776 memory=29012 CPUtime=0.12 cores=0,2,4,6
/proc/5263/stat : 5263 (java) S 5261 5261 2739 0 -1 1077944320 5669 0 0 0 11 1 0 0 20 0 15 0 475316571 15508250624 7253 33554432000 4194304 4196468 140732465905584 140732465888128 139701978218231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
/proc/5263/statm: 3786194 7253 3157 1 0 3748377 0
[pid=5263/tid=5264] ppid=5261 vsize=15144776 memory=576460756329955459 CPUtime=0.08 cores=0,2,4,6
/proc/5263/task/5264/stat : 5264 (java) S 5261 5261 2739 0 -1 1077944384 3556 0 0 0 8 0 0 0 20 0 15 0 475316572 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701982451360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5265] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5265/stat : 5265 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701934770448 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5266] ppid=5261 vsize=15144776 memory=288370762279609984 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5266/stat : 5266 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701933717904 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5267] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5267/stat : 5267 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701932665360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5268] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5268/stat : 5268 (java) S 5261 5261 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701567806096 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5269] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5269/stat : 5269 (java) S 5261 5261 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475316574 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701446834672 139701978229378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5270] ppid=5261 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5270/stat : 5270 (java) S 5261 5261 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475316574 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701445780896 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5271] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5271/stat : 5271 (java) S 5261 5261 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475316574 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701444728304 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5272] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5272/stat : 5272 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701443676880 139701978236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5273] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5273/stat : 5273 (java) R 5261 5261 2739 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701442623568 139701978228437 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5274] ppid=5261 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5274/stat : 5274 (java) R 5261 5261 2739 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701441562432 139701956051088 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5275] ppid=5261 vsize=15144776 memory=140386127898240 CPUtime=0.02 cores=0,2,4,6
/proc/5263/task/5275/stat : 5275 (java) S 5261 5261 2739 0 -1 1077944384 384 0 0 0 2 0 0 0 20 0 15 0 475316577 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701440518384 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5276] ppid=5261 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5276/stat : 5276 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701439466080 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5277] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 7253 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30464 KiB
[startup+0.210614 s]*
/proc/loadavg: 9.60 8.34 5.44 7/233 5277
/proc/meminfo: memFree=5771044/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
[pid=5263] ppid=5261 vsize=15144776 memory=40380 CPUtime=0.33 cores=0,2,4,6
/proc/5263/stat : 5263 (java) S 5261 5261 2739 0 -1 1077944320 9301 0 0 0 30 3 0 0 20 0 15 0 475316571 15508250624 10095 33554432000 4194304 4196468 140732465905584 140732465888128 139701978218231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
/proc/5263/statm: 3786194 10095 3288 1 0 3748377 0
[pid=5263/tid=5264] ppid=5261 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5263/task/5264/stat : 5264 (java) R 5261 5261 2739 0 -1 4202560 6534 0 0 0 17 2 0 0 20 0 15 0 475316572 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701982452928 139701962298718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5265] ppid=5261 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5265/stat : 5265 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701934770448 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5266] ppid=5261 vsize=15144776 memory=140386127915737 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5266/stat : 5266 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701933717904 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5267] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5267/stat : 5267 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701932665360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5268] ppid=5261 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5268/stat : 5268 (java) S 5261 5261 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475316572 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701567806096 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5269] ppid=5261 vsize=15144776 memory=140386127898240 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5269/stat : 5269 (java) S 5261 5261 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475316574 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701446834672 139701978229378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5270] ppid=5261 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5270/stat : 5270 (java) S 5261 5261 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475316574 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701445780896 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5271] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5271/stat : 5271 (java) S 5261 5261 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475316574 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701444728304 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5272] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5272/stat : 5272 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701443676880 139701978236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5273] ppid=5261 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/5263/task/5273/stat : 5273 (java) S 5261 5261 2739 0 -1 1077944384 475 0 0 0 2 0 0 0 20 0 15 0 475316577 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701442623472 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5274] ppid=5261 vsize=15144776 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5263/task/5274/stat : 5274 (java) S 5261 5261 2739 0 -1 1077944384 169 0 0 0 2 0 0 0 20 0 15 0 475316577 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701441570928 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5275] ppid=5261 vsize=15144776 memory=140386127898240 CPUtime=0.08 cores=0,2,4,6
/proc/5263/task/5275/stat : 5275 (java) R 5261 5261 2739 0 -1 4202560 819 0 0 0 8 0 0 0 20 0 15 0 475316577 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701440518384 139701970455358 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5276] ppid=5261 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5276/stat : 5276 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701439466080 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5277] ppid=5261 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316577 15508250624 10095 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41832 KiB
[startup+0.311604 s]*
/proc/loadavg: 9.60 8.34 5.44 6/233 5277
/proc/meminfo: memFree=5763400/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
[pid=5263] ppid=5261 vsize=15149032 memory=49180 CPUtime=0.51 cores=0,2,4,6
/proc/5263/stat : 5263 (java) S 5261 5261 2739 0 -1 1077944320 10706 0 0 0 47 4 0 0 20 0 15 0 475316571 15512608768 12295 33554432000 4194304 4196468 140732465905584 140732465888128 139701978218231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
/proc/5263/statm: 3787258 12295 3321 1 0 3748377 0
[pid=5263/tid=5264] ppid=5261 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/5263/task/5264/stat : 5264 (java) R 5261 5261 2739 0 -1 4202560 7730 0 0 0 27 3 0 0 20 0 15 0 475316572 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701982449344 139701978240157 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5265] ppid=5261 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5265/stat : 5265 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701934770448 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5266] ppid=5261 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5266/stat : 5266 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701933717904 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5267] ppid=5261 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5267/stat : 5267 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316572 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701932665360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5268] ppid=5261 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5268/stat : 5268 (java) S 5261 5261 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475316572 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701567806096 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5269] ppid=5261 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5269/stat : 5269 (java) S 5261 5261 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475316574 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701446834672 139701978229378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5270] ppid=5261 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5270/stat : 5270 (java) S 5261 5261 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475316574 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701445780896 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5271] ppid=5261 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5271/stat : 5271 (java) S 5261 5261 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475316574 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701444728304 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5272] ppid=5261 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5272/stat : 5272 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475316577 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701443676880 139701978236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5273] ppid=5261 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/5263/task/5273/stat : 5273 (java) S 5261 5261 2739 0 -1 1077944384 519 0 0 0 3 0 0 0 20 0 15 0 475316577 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701442623472 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5274] ppid=5261 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5263/task/5274/stat : 5274 (java) S 5261 5261 2739 0 -1 1077944384 179 0 0 0 3 0 0 0 20 0 15 0 475316577 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701441570928 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5275] ppid=5261 vsize=15149032 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/5263/task/5275/stat : 5275 (java) S 5261 5261 2739 0 -1 1077944384 991 0 0 0 13 0 0 0 20 0 15 0 475316577 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701440518384 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5276] ppid=5261 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5276/stat : 5276 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475316577 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701439466080 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5277] ppid=5261 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475316577 15512608768 12365 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50632 KiB
[startup+0.700907 s]
/proc/loadavg: 9.60 8.34 5.44 10/237 5281
/proc/meminfo: memFree=5738988/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
[pid=5263] ppid=5261 vsize=15418440 memory=137216 CPUtime=1.72 cores=0,2,4,6
/proc/5263/stat : 5263 (java) S 5261 5261 2739 0 -1 1077944320 14748 0 0 0 165 7 0 0 20 0 20 0 475316571 15788482560 34304 33554432000 4194304 4196468 140732465905584 140732465888128 139701978218231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
/proc/5263/statm: 3854610 34304 3461 1 0 3815710 0
[pid=5263/tid=5264] ppid=5261 vsize=15418440 memory=6225217594528853089 CPUtime=0.49 cores=0,2,4,6
/proc/5263/task/5264/stat : 5264 (java) S 5261 5261 2739 0 -1 1077944384 9025 0 0 0 45 4 0 0 20 0 20 0 475316572 15788482560 34304 33554432000 4194304 4196468 140732465905584 139701982459008 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5265] ppid=5261 vsize=15418440 memory=6948322321474545517 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5265/stat : 5265 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475316572 15788482560 34304 33554432000 4194304 4196468 140732465905584 139701934770448 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5266] ppid=5261 vsize=15418440 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5266/stat : 5266 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475316572 15788482560 34304 33554432000 4194304 4196468 140732465905584 139701933717904 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5267] ppid=5261 vsize=15418440 memory=228 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5267/stat : 5267 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 475316572 15788482560 34321 33554432000 4194304 4196468 140732465905584 139701932665360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5268] ppid=5261 vsize=15483976 memory=6944656425123485561 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5268/stat : 5268 (java) S 5261 5261 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 475316572 15855591424 34339 33554432000 4194304 4196468 140732465905584 139701567806096 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5269] ppid=5261 vsize=15483976 memory=280771944327424 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5269/stat : 5269 (java) S 5261 5261 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 475316574 15855591424 34322 33554432000 4194304 4196468 140732465905584 139701446834672 139701978229378 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5270] ppid=5261 vsize=15483976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5270/stat : 5270 (java) S 5261 5261 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 475316574 15855591424 34305 33554432000 4194304 4196468 140732465905584 139701445780896 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5271] ppid=5261 vsize=15483976 memory=740 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5271/stat : 5271 (java) S 5261 5261 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 475316574 15855591424 34306 33554432000 4194304 4196468 140732465905584 139701444728304 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5272] ppid=5261 vsize=15483976 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5272/stat : 5272 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 475316577 15855591424 34306 33554432000 4194304 4196468 140732465905584 139701443676880 139701978236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5273] ppid=5261 vsize=15483976 memory=7548 CPUtime=0.23 cores=0,2,4,6
/proc/5263/task/5273/stat : 5273 (java) S 5261 5261 2739 0 -1 1077944384 1082 0 0 0 23 0 0 0 20 0 17 0 475316577 15855591424 34306 33554432000 4194304 4196468 140732465905584 139701442610320 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5274] ppid=5261 vsize=15483976 memory=3620 CPUtime=0.27 cores=0,2,4,6
/proc/5263/task/5274/stat : 5274 (java) S 5261 5261 2739 0 -1 1077944384 852 0 0 0 27 0 0 0 20 0 17 0 475316577 15855591424 34306 33554432000 4194304 4196468 140732465905584 139701441556800 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5275] ppid=5261 vsize=15483976 memory=2832 CPUtime=0.31 cores=0,2,4,6
/proc/5263/task/5275/stat : 5275 (java) D 5261 5261 2739 0 -1 4202560 1728 0 0 0 31 0 0 0 20 0 17 0 475316577 15855591424 34306 33554432000 4194304 4196468 140732465905584 139701440515320 139701970935383 0 4 0 16800975 18446744071582151463 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5276] ppid=5261 vsize=15483976 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5276/stat : 5276 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 475316577 15855591424 34306 33554432000 4194304 4196468 140732465905584 139701439466080 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5277] ppid=5261 vsize=15483976 memory=1160 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 475316577 15855591424 34306 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 1.72 s
Current children cumulated vsize: 15531568 KiB
Current children cumulated memory: 138668 KiB
[startup+1.50086 s]
/proc/loadavg: 9.60 8.34 5.44 14/237 5401
/proc/meminfo: memFree=5627736/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5434] ppid=5261 vsize=15485004 memory=7019467088023729205 CPUtime=16.58 cores=0,2,4,6
/proc/5263/task/5434/stat : 5434 (java) R 5261 5261 2739 0 -1 4202560 303 0 0 0 1658 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701427088792 139701963428637 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5435] ppid=5261 vsize=15485004 memory=7019467088040506421 CPUtime=16.51 cores=0,2,4,6
/proc/5263/task/5435/stat : 5435 (java) R 5261 5261 2739 0 -1 4202560 434 0 0 0 1651 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701429197296 139701616834602 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5436] ppid=5261 vsize=15485004 memory=3588 CPUtime=16.5 cores=0,2,4,6
/proc/5263/task/5436/stat : 5436 (java) R 5261 5261 2739 0 -1 4202560 309 0 0 0 1650 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701424984576 139701616378276 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5437] ppid=5261 vsize=15485004 memory=54132 CPUtime=16.54 cores=0,2,4,6
/proc/5263/task/5437/stat : 5437 (java) R 5261 5261 2739 0 -1 4202560 646 0 0 0 1654 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701423932280 139701616535579 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 86.77 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 164948 KiB
[startup+23.2009 s]
/proc/loadavg: 9.24 8.34 5.50 9/237 5439
/proc/meminfo: memFree=5646264/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
[pid=5263] ppid=5261 vsize=15485004 memory=163496 CPUtime=89.92 cores=0,2,4,6
/proc/5263/stat : 5263 (java) S 5261 5261 2739 0 -1 1077944320 31741 0 0 0 8978 14 0 0 20 0 19 0 475316571 15856644096 40874 33554432000 4194304 4196468 140732465905584 140732465888128 139701978218231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
/proc/5263/statm: 3871251 40874 3510 1 0 3832351 0
[pid=5263/tid=5264] ppid=5261 vsize=15485004 memory=7548 CPUtime=0.49 cores=0,2,4,6
/proc/5263/task/5264/stat : 5264 (java) S 5261 5261 2739 0 -1 1077944384 9157 0 0 0 45 4 0 0 20 0 19 0 475316572 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701982459008 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5265] ppid=5261 vsize=15485004 memory=8112282956445269571 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5265/stat : 5265 (java) S 5261 5261 2739 0 -1 1077944384 415 0 0 0 5 1 0 0 20 0 19 0 475316572 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701934770448 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5266] ppid=5261 vsize=15485004 memory=3620 CPUtime=0.05 cores=0,2,4,6
/proc/5263/task/5266/stat : 5266 (java) S 5261 5261 2739 0 -1 1077944384 742 0 0 0 5 0 0 0 20 0 19 0 475316572 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701933717904 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5267] ppid=5261 vsize=15485004 memory=2832 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5267/stat : 5267 (java) S 5261 5261 2739 0 -1 1077944384 370 0 0 0 5 1 0 0 20 0 19 0 475316572 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701932665360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5268] ppid=5261 vsize=15485004 memory=776 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5268/stat : 5268 (java) S 5261 5261 2739 0 -1 1077944384 1508 0 0 0 5 1 0 0 20 0 19 0 475316572 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701567806096 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5269] ppid=5261 vsize=15485004 memory=1160 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5269/stat : 5269 (java) S 5261 5261 2739 0 -1 1077944384 1084 0 0 0 6 0 0 0 20 0 19 0 475316574 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701446834672 139701978229378 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5270] ppid=5261 vsize=15485004 memory=984 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5270/stat : 5270 (java) S 5261 5261 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475316574 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701445780960 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5271] ppid=5261 vsize=15485004 memory=1940 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5271/stat : 5271 (java) S 5261 5261 2739 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475316574 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701444728320 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5272] ppid=5261 vsize=15485004 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5272/stat : 5272 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701443676880 139701978236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5273] ppid=5261 vsize=15485004 memory=0 CPUtime=1.04 cores=0,2,4,6
/proc/5263/task/5273/stat : 5273 (java) S 5261 5261 2739 0 -1 1077944384 4333 0 0 0 104 0 0 0 20 0 19 0 475316577 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701442623472 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5274] ppid=5261 vsize=15485004 memory=4420 CPUtime=1.04 cores=0,2,4,6
/proc/5263/task/5274/stat : 5274 (java) S 5261 5261 2739 0 -1 1077944384 5088 0 0 0 103 1 0 0 20 0 19 0 475316577 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701441570928 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5275] ppid=5261 vsize=15485004 memory=1452 CPUtime=0.41 cores=0,2,4,6
/proc/5263/task/5275/stat : 5275 (java) S 5261 5261 2739 0 -1 1077944384 2207 0 0 0 41 0 0 0 20 0 19 0 475316577 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701440518384 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5276] ppid=5261 vsize=15485004 memory=163496 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5276/stat : 5276 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701439466080 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5277] ppid=5261 vsize=15485004 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5434] ppid=5261 vsize=15485004 memory=1556 CPUtime=17.36 cores=0,2,4,6
/proc/5263/task/5434/stat : 5434 (java) R 5261 5261 2739 0 -1 4202560 306 0 0 0 1736 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701427088792 139701616535632 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5435] ppid=5261 vsize=15485004 memory=740 CPUtime=17.29 cores=0,2,4,6
/proc/5263/task/5435/stat : 5435 (java) R 5261 5261 2739 0 -1 4202560 437 0 0 0 1729 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701429195136 139701617559198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5436] ppid=5261 vsize=15485004 memory=1052 CPUtime=17.29 cores=0,2,4,6
/proc/5263/task/5436/stat : 5436 (java) R 5261 5261 2739 0 -1 4202560 309 0 0 0 1729 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701424984688 139701616535568 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5437] ppid=5261 vsize=15485004 memory=1452 CPUtime=17.32 cores=0,2,4,6
/proc/5263/task/5437/stat : 5437 (java) R 5261 5261 2739 0 -1 4202560 647 0 0 0 1732 0 0 0 20 0 19 0 475317125 15856644096 40874 33554432000 4194304 4196468 140732465905584 139701423934192 139701617380915 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 89.92 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 164948 KiB
[startup+23.6009 s]
/proc/loadavg: 9.24 8.34 5.50 9/237 5439
/proc/meminfo: memFree=5646264/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
[pid=5263] ppid=5261 vsize=15485004 memory=163508 CPUtime=91.5 cores=0,2,4,6
/proc/5263/stat : 5263 (java) S 5261 5261 2739 0 -1 1077944320 31945 0 0 0 9136 14 0 0 20 0 19 0 475316571 15856644096 40877 33554432000 4194304 4196468 140732465905584 140732465888128 139701978218231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
/proc/5263/statm: 3871251 40877 3510 1 0 3832351 0
[pid=5263/tid=5264] ppid=5261 vsize=15485004 memory=1940 CPUtime=0.49 cores=0,2,4,6
/proc/5263/task/5264/stat : 5264 (java) S 5261 5261 2739 0 -1 1077944384 9157 0 0 0 45 4 0 0 20 0 19 0 475316572 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701982459008 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5265] ppid=5261 vsize=15485004 memory=1416 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5265/stat : 5265 (java) S 5261 5261 2739 0 -1 1077944384 415 0 0 0 5 1 0 0 20 0 19 0 475316572 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701934770448 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5266] ppid=5261 vsize=15485004 memory=1556 CPUtime=0.05 cores=0,2,4,6
/proc/5263/task/5266/stat : 5266 (java) S 5261 5261 2739 0 -1 1077944384 742 0 0 0 5 0 0 0 20 0 19 0 475316572 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701933717904 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5267] ppid=5261 vsize=15485004 memory=740 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5267/stat : 5267 (java) S 5261 5261 2739 0 -1 1077944384 371 0 0 0 5 1 0 0 20 0 19 0 475316572 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701932665360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5268] ppid=5261 vsize=15485004 memory=1052 CPUtime=0.07 cores=0,2,4,6
/proc/5263/task/5268/stat : 5268 (java) S 5261 5261 2739 0 -1 1077944384 1508 0 0 0 6 1 0 0 20 0 19 0 475316572 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701567806096 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5269] ppid=5261 vsize=15485004 memory=7548 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5269/stat : 5269 (java) S 5261 5261 2739 0 -1 1077944384 1084 0 0 0 6 0 0 0 20 0 19 0 475316574 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701446834672 139701978229378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5270] ppid=5261 vsize=15485004 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5270/stat : 5270 (java) S 5261 5261 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475316574 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701445780960 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5271] ppid=5261 vsize=15485004 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5271/stat : 5271 (java) S 5261 5261 2739 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475316574 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701444728320 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5272] ppid=5261 vsize=15485004 memory=776 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5272/stat : 5272 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701443676880 139701978236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5273] ppid=5261 vsize=15485004 memory=1160 CPUtime=1.04 cores=0,2,4,6
/proc/5263/task/5273/stat : 5273 (java) S 5261 5261 2739 0 -1 1077944384 4333 0 0 0 104 0 0 0 20 0 19 0 475316577 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701442623472 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5274] ppid=5261 vsize=15485004 memory=1716 CPUtime=1.04 cores=0,2,4,6
/proc/5263/task/5274/stat : 5274 (java) S 5261 5261 2739 0 -1 1077944384 5088 0 0 0 103 1 0 0 20 0 19 0 475316577 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701441570928 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5275] ppid=5261 vsize=15485004 memory=1096 CPUtime=0.41 cores=0,2,4,6
/proc/5263/task/5275/stat : 5275 (java) S 5261 5261 2739 0 -1 1077944384 2360 0 0 0 41 0 0 0 20 0 19 0 475316577 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701440518384 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5276] ppid=5261 vsize=15485004 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5276/stat : 5276 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701439466080 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5277] ppid=5261 vsize=15485004 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5434] ppid=5261 vsize=15485004 memory=0 CPUtime=17.76 cores=0,2,4,6
/proc/5263/task/5434/stat : 5434 (java) R 5261 5261 2739 0 -1 4202560 307 0 0 0 1776 0 0 0 20 0 19 0 475317125 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701427091008 139701963428846 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5435] ppid=5261 vsize=15485004 memory=27572 CPUtime=17.69 cores=0,2,4,6
/proc/5263/task/5435/stat : 5435 (java) R 5261 5261 2739 0 -1 4202560 468 0 0 0 1769 0 0 0 20 0 19 0 475317125 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701429195248 139701616535512 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5436] ppid=5261 vsize=15485004 memory=14068 CPUtime=17.68 cores=0,2,4,6
/proc/5263/task/5436/stat : 5436 (java) R 5261 5261 2739 0 -1 4202560 309 0 0 0 1768 0 0 0 20 0 19 0 475317125 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701424984824 139701617582320 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5437] ppid=5261 vsize=15485004 memory=2120 CPUtime=17.71 cores=0,2,4,6
/proc/5263/task/5437/stat : 5437 (java) R 5261 5261 2739 0 -1 4202560 665 0 0 0 1771 0 0 0 20 0 19 0 475317125 15856644096 40877 33554432000 4194304 4196468 140732465905584 139701423930992 139701617287144 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 91.5 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 164960 KiB
[startup+23.8009 s]
/proc/loadavg: 9.24 8.34 5.50 9/237 5439
/proc/meminfo: memFree=5646264/32770624 swapFree=67002128/67108860
[pid=5261] ppid=5258 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/5261/stat : 5261 (xcsp3-exec) S 5258 5261 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475316571 115843072 363 33554432000 4194304 5098028 140732330517728 140732330515832 139719857083004 0 65536 4100 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 30855168 140732330521467 140732330521709 140732330521709 140732330524618 0
/proc/5261/statm: 28282 363 304 221 0 87 0
[pid=5263] ppid=5261 vsize=15485004 memory=163516 CPUtime=92.29 cores=0,2,4,6
/proc/5263/stat : 5263 (java) S 5261 5261 2739 0 -1 1077944320 32097 0 0 0 9215 14 0 0 20 0 19 0 475316571 15856644096 40879 33554432000 4194304 4196468 140732465905584 140732465888128 139701978218231 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
/proc/5263/statm: 3871251 40879 3510 1 0 3832351 0
[pid=5263/tid=5264] ppid=5261 vsize=15485004 memory=924 CPUtime=0.49 cores=0,2,4,6
/proc/5263/task/5264/stat : 5264 (java) S 5261 5261 2739 0 -1 1077944384 9157 0 0 0 45 4 0 0 20 0 19 0 475316572 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701982459008 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5265] ppid=5261 vsize=15485004 memory=1692 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5265/stat : 5265 (java) S 5261 5261 2739 0 -1 1077944384 415 0 0 0 5 1 0 0 20 0 19 0 475316572 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701934770448 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5266] ppid=5261 vsize=15485004 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/5263/task/5266/stat : 5266 (java) S 5261 5261 2739 0 -1 1077944384 742 0 0 0 5 0 0 0 20 0 19 0 475316572 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701933717904 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5267] ppid=5261 vsize=15485004 memory=17828 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5267/stat : 5267 (java) S 5261 5261 2739 0 -1 1077944384 373 0 0 0 5 1 0 0 20 0 19 0 475316572 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701932665360 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5268] ppid=5261 vsize=15485004 memory=-7233780906022726806 CPUtime=0.07 cores=0,2,4,6
/proc/5263/task/5268/stat : 5268 (java) S 5261 5261 2739 0 -1 1077944384 1508 0 0 0 6 1 0 0 20 0 19 0 475316572 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701567806096 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5269] ppid=5261 vsize=15485004 memory=7588935153038157652 CPUtime=0.06 cores=0,2,4,6
/proc/5263/task/5269/stat : 5269 (java) S 5261 5261 2739 0 -1 1077944384 1084 0 0 0 6 0 0 0 20 0 19 0 475316574 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701446834672 139701978229378 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 16 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5270] ppid=5261 vsize=15485004 memory=6656426216303648864 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5270/stat : 5270 (java) S 5261 5261 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475316574 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701445780960 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5271] ppid=5261 vsize=15485004 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5271/stat : 5271 (java) S 5261 5261 2739 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 475316574 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701444728320 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5272] ppid=5261 vsize=15485004 memory=288230583166042426 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5272/stat : 5272 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701443676880 139701978236827 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5273] ppid=5261 vsize=15485004 memory=14981091563931951 CPUtime=1.04 cores=0,2,4,6
/proc/5263/task/5273/stat : 5273 (java) S 5261 5261 2739 0 -1 1077944384 4333 0 0 0 104 0 0 0 20 0 19 0 475316577 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701442623472 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5274] ppid=5261 vsize=15485004 memory=-2023959437020729679 CPUtime=1.04 cores=0,2,4,6
/proc/5263/task/5274/stat : 5274 (java) S 5261 5261 2739 0 -1 1077944384 5228 0 0 0 103 1 0 0 20 0 19 0 475316577 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701441570928 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5275] ppid=5261 vsize=15485004 memory=-7880843606118635149 CPUtime=0.41 cores=0,2,4,6
/proc/5263/task/5275/stat : 5275 (java) S 5261 5261 2739 0 -1 1077944384 2360 0 0 0 41 0 0 0 20 0 19 0 475316577 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701440518384 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5276] ppid=5261 vsize=15485004 memory=-3472574944341025154 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5276/stat : 5276 (java) S 5261 5261 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701439466080 139701978228437 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5277] ppid=5261 vsize=15485004 memory=-3535470213243961690 CPUtime=0 cores=0,2,4,6
/proc/5263/task/5277/stat : 5277 (java) S 5261 5261 2739 0 -1 1077944384 385 0 0 0 0 0 0 0 20 0 19 0 475316577 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701438413616 139701978229378 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 20 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5434] ppid=5261 vsize=15485004 memory=-2023959437020729679 CPUtime=17.95 cores=0,2,4,6
/proc/5263/task/5434/stat : 5434 (java) R 5261 5261 2739 0 -1 4202560 308 0 0 0 1795 0 0 0 20 0 19 0 475317125 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701427088792 139701616535568 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5435] ppid=5261 vsize=15485004 memory=-7880843606118635149 CPUtime=17.89 cores=0,2,4,6
/proc/5263/task/5435/stat : 5435 (java) R 5261 5261 2739 0 -1 4202560 476 0 0 0 1789 0 0 0 20 0 19 0 475317125 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701429195384 139701616535561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5436] ppid=5261 vsize=15485004 memory=-2746958450906831424 CPUtime=17.88 cores=0,2,4,6
/proc/5263/task/5436/stat : 5436 (java) R 5261 5261 2739 0 -1 4202560 309 0 0 0 1788 0 0 0 20 0 19 0 475317125 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701424984576 139701617557947 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
[pid=5263/tid=5437] ppid=5261 vsize=15485004 memory=162981123991846 CPUtime=17.9 cores=0,2,4,6
/proc/5263/task/5437/stat : 5437 (java) R 5261 5261 2739 0 -1 4202560 666 0 0 0 1790 0 0 0 20 0 19 0 475317125 15856644096 40879 33554432000 4194304 4196468 140732465905584 139701423934192 139701617287311 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10874880 140732465910767 140732465910938 140732465910938 140732465913807 0
Current children cumulated CPU time: 92.29 s
Current children cumulated vsize: 15598132 KiB
Current children cumulated memory: 164968 KiB
Child status: 0
Real time (s): 23.8255
CPU time (s): 92.3863
CPU user time (s): 92.2271
CPU system time (s): 0.159146
CPU usage (%): 387.762
Max. virtual memory (cumulated for all children) (KiB): 15598132
Max. memory (cumulated for all children) (KiB): 204192
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 92.2271
system time used= 0.159146
maximum resident set size= 204788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33301
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= 5621
involuntary context switches= 2366
# summary of solver processes directly reported to runsolver:
# pid: 5261
# total CPU time (s): 92.3863
# total CPU user time (s): 92.2271
# total CPU system time (s): 0.159146
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.178985 second user time and 0.300331 second system time
The end