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 (4890 MiB free)
memory of node 1: 16384 MiB (5049 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404117-1568991320/watcher-4404117-1568991320 -o /tmp/evaluation-result-4404117-1568991320/solver-4404117-1568991320 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568991261-14402 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 394308704 HOME/instance-4404117-1568991320.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=14422, runsolver pid=14419
[startup+0.100886 s]*
/proc/loadavg: 0.77 0.79 1.09 3/230 14463
/proc/meminfo: memFree=10148296/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
[pid=14424] ppid=14422 vsize=15144776 memory=30208 CPUtime=0.11 cores=0,2,4,6
/proc/14424/stat : 14424 (java) S 14422 14422 14371 0 -1 1077944320 5480 0 0 0 10 1 0 0 20 0 15 0 475385065 15508250624 7552 33554432000 4194304 4196468 140721401496944 140721401479488 139988649783031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
/proc/14424/statm: 3786194 7552 3152 1 0 3748377 0
[pid=14424/tid=14425] ppid=14422 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/14424/task/14425/stat : 14425 (java) R 14422 14422 14371 0 -1 4202560 3364 0 0 0 8 1 0 0 20 0 15 0 475385065 15508250624 7618 33554432000 4194304 4196468 140721401496944 139988654009616 139988633863518 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14426] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14426/stat : 14426 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 7618 33554432000 4194304 4196468 140721401496944 139988621626512 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14427] ppid=14422 vsize=15144776 memory=4051465384448399008 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14427/stat : 14427 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 7618 33554432000 4194304 4196468 140721401496944 139988241583120 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14428] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14428/stat : 14428 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 7618 33554432000 4194304 4196468 140721401496944 139988240530320 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14429] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14429/stat : 14429 (java) S 14422 14422 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 7618 33554432000 4194304 4196468 140721401496944 139988239477520 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14434] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14434/stat : 14434 (java) S 14422 14422 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475385068 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987523668336 139988649794178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14437] ppid=14422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14437/stat : 14437 (java) S 14422 14422 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475385068 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987522614304 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14438] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14438/stat : 14438 (java) S 14422 14422 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475385068 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987521561456 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14449] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14449/stat : 14449 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987520509776 139988649801627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14450] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14450/stat : 14450 (java) S 14422 14422 14371 0 -1 1077944384 420 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987519458160 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14451] ppid=14422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14451/stat : 14451 (java) S 14422 14422 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987518405360 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14452] ppid=14422 vsize=15144776 memory=139745398265472 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14452/stat : 14452 (java) S 14422 14422 14371 0 -1 1077944384 397 0 0 0 1 0 0 0 20 0 15 0 475385071 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987517352560 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14454] ppid=14422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14454/stat : 14454 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987516300000 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14455] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 7618 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31656 KiB
[startup+0.210679 s]*
/proc/loadavg: 0.77 0.79 1.09 7/230 14463
/proc/meminfo: memFree=10120288/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
[pid=14424] ppid=14422 vsize=15144776 memory=41648 CPUtime=0.32 cores=0,2,4,6
/proc/14424/stat : 14424 (java) S 14422 14422 14371 0 -1 1077944320 9111 0 0 0 29 3 0 0 20 0 15 0 475385065 15508250624 10412 33554432000 4194304 4196468 140721401496944 140721401479488 139988649783031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
/proc/14424/statm: 3786194 10412 3299 1 0 3748377 0
[pid=14424/tid=14425] ppid=14422 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/14424/task/14425/stat : 14425 (java) R 14422 14422 14371 0 -1 4202560 6159 0 0 0 17 2 0 0 20 0 15 0 475385065 15508250624 10412 33554432000 4194304 4196468 140721401496944 139988654014944 139988649804957 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14426] ppid=14422 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14426/stat : 14426 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 10412 33554432000 4194304 4196468 140721401496944 139988621626512 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14427] ppid=14422 vsize=15144776 memory=139745402064518 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14427/stat : 14427 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 10412 33554432000 4194304 4196468 140721401496944 139988241583120 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14428] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14428/stat : 14428 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 10412 33554432000 4194304 4196468 140721401496944 139988240530320 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14429] ppid=14422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14429/stat : 14429 (java) S 14422 14422 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475385066 15508250624 10412 33554432000 4194304 4196468 140721401496944 139988239477520 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14434] ppid=14422 vsize=15144776 memory=139745398265472 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14434/stat : 14434 (java) S 14422 14422 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475385068 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987523668336 139988649794178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14437] ppid=14422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14437/stat : 14437 (java) S 14422 14422 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475385068 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987522614304 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14438] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14438/stat : 14438 (java) S 14422 14422 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475385068 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987521561456 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14449] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14449/stat : 14449 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987520509776 139988649801627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14450] ppid=14422 vsize=15144776 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/14424/task/14450/stat : 14450 (java) S 14422 14422 14371 0 -1 1077944384 701 0 0 0 3 0 0 0 20 0 15 0 475385071 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987519458160 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14451] ppid=14422 vsize=15144776 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14451/stat : 14451 (java) S 14422 14422 14371 0 -1 1077944384 61 0 0 0 1 0 0 0 20 0 15 0 475385071 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987518405360 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14452] ppid=14422 vsize=15144776 memory=139745398265472 CPUtime=0.07 cores=0,2,4,6
/proc/14424/task/14452/stat : 14452 (java) S 14422 14422 14371 0 -1 1077944384 892 0 0 0 7 0 0 0 20 0 15 0 475385071 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987517352560 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14454] ppid=14422 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14454/stat : 14454 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987516300000 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14455] ppid=14422 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385071 15508250624 10412 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43096 KiB
[startup+0.317865 s]*
/proc/loadavg: 0.77 0.79 1.09 4/230 14463
/proc/meminfo: memFree=10110852/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
[pid=14424] ppid=14422 vsize=15149032 memory=47980 CPUtime=0.5 cores=0,2,4,6
/proc/14424/stat : 14424 (java) S 14422 14422 14371 0 -1 1077944320 10606 0 1 0 46 4 0 0 20 0 15 0 475385065 15512608768 11995 33554432000 4194304 4196468 140721401496944 140721401479488 139988649783031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
/proc/14424/statm: 3787258 11995 3345 1 0 3748377 0
[pid=14424/tid=14425] ppid=14422 vsize=15149032 memory=8317482817917895235 CPUtime=0.29 cores=0,2,4,6
/proc/14424/task/14425/stat : 14425 (java) R 14422 14422 14371 0 -1 4202560 7409 0 1 0 26 3 0 0 20 0 15 0 475385065 15512608768 12060 33554432000 4194304 4196468 140721401496944 139988654012896 139988633826661 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14426] ppid=14422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14426/stat : 14426 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15512608768 12060 33554432000 4194304 4196468 140721401496944 139988621626512 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14427] ppid=14422 vsize=15149032 memory=35809 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14427/stat : 14427 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15512608768 12060 33554432000 4194304 4196468 140721401496944 139988241583120 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14428] ppid=14422 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14428/stat : 14428 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15512608768 12060 33554432000 4194304 4196468 140721401496944 139988240530320 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14429] ppid=14422 vsize=15149032 memory=9122745479247552727 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14429/stat : 14429 (java) S 14422 14422 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475385066 15512608768 12060 33554432000 4194304 4196468 140721401496944 139988239477520 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14434] ppid=14422 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14434/stat : 14434 (java) S 14422 14422 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475385068 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987523668336 139988649794178 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14437] ppid=14422 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14437/stat : 14437 (java) S 14422 14422 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475385068 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987522614304 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14438] ppid=14422 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14438/stat : 14438 (java) S 14422 14422 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475385068 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987521561456 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14449] ppid=14422 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14449/stat : 14449 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987520509776 139988649801627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14450] ppid=14422 vsize=15149032 memory=4500088463514900084 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14450/stat : 14450 (java) S 14422 14422 14371 0 -1 1077944384 708 0 0 0 4 0 0 0 20 0 15 0 475385071 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987519458160 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14451] ppid=14422 vsize=15149032 memory=6944613755495348631 CPUtime=0.03 cores=0,2,4,6
/proc/14424/task/14451/stat : 14451 (java) S 14422 14422 14371 0 -1 1077944384 115 0 0 0 3 0 0 0 20 0 15 0 475385071 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987518405360 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14452] ppid=14422 vsize=15149032 memory=7893295687695687954 CPUtime=0.12 cores=0,2,4,6
/proc/14424/task/14452/stat : 14452 (java) R 14422 14422 14371 0 -1 4202560 1077 0 0 0 12 0 0 0 20 0 15 0 475385071 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987517352560 139988629216146 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14454] ppid=14422 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14454/stat : 14454 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987516300000 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14455] ppid=14422 vsize=15149032 memory=7827413994055111515 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385071 15512608768 12060 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 49428 KiB
[startup+0.705855 s]
/proc/loadavg: 0.77 0.79 1.09 7/230 14463
/proc/meminfo: memFree=10063524/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
[pid=14424] ppid=14422 vsize=15151156 memory=109872 CPUtime=1.65 cores=0,2,4,6
/proc/14424/stat : 14424 (java) S 14422 14422 14371 0 -1 1077944320 14496 0 1 0 159 6 0 0 20 0 15 0 475385065 15514783744 27468 33554432000 4194304 4196468 140721401496944 140721401479488 139988649783031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
/proc/14424/statm: 3787789 27468 3439 1 0 3748889 0
[pid=14424/tid=14425] ppid=14422 vsize=15151156 memory=4427783359668915574 CPUtime=0.67 cores=0,2,4,6
/proc/14424/task/14425/stat : 14425 (java) R 14422 14422 14371 0 -1 4202560 8632 0 1 0 63 4 0 0 20 0 15 0 475385065 15514783744 27468 33554432000 4194304 4196468 140721401496944 139988654017752 139988287618644 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14426] ppid=14422 vsize=15151156 memory=7019257425709197167 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14426/stat : 14426 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15514783744 27468 33554432000 4194304 4196468 140721401496944 139988621626512 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14427] ppid=14422 vsize=15151156 memory=7519155755615801680 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14427/stat : 14427 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15514783744 27468 33554432000 4194304 4196468 140721401496944 139988241583120 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14428] ppid=14422 vsize=15151156 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14428/stat : 14428 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385066 15514783744 27468 33554432000 4194304 4196468 140721401496944 139988240530320 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14429] ppid=14422 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14429/stat : 14429 (java) S 14422 14422 14371 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475385066 15514783744 27468 33554432000 4194304 4196468 140721401496944 139988239477520 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14434] ppid=14422 vsize=15151156 memory=3604 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14434/stat : 14434 (java) S 14422 14422 14371 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475385068 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987523668336 139988649794178 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14437] ppid=14422 vsize=15151156 memory=2828 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14437/stat : 14437 (java) S 14422 14422 14371 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475385068 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987522614304 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14438] ppid=14422 vsize=15151156 memory=676 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14438/stat : 14438 (java) S 14422 14422 14371 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475385068 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987521561456 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14449] ppid=14422 vsize=15151156 memory=6064 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14449/stat : 14449 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987520509776 139988649801627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14450] ppid=14422 vsize=15151156 memory=14008 CPUtime=0.32 cores=0,2,4,6
/proc/14424/task/14450/stat : 14450 (java) R 14422 14422 14371 0 -1 4202560 1728 0 0 0 32 0 0 0 20 0 15 0 475385071 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987519447392 139988649804378 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14451] ppid=14422 vsize=15151156 memory=2124 CPUtime=0.32 cores=0,2,4,6
/proc/14424/task/14451/stat : 14451 (java) R 14422 14422 14371 0 -1 4202560 1097 0 0 0 32 0 0 0 20 0 15 0 475385071 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987518396400 139988629028879 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14452] ppid=14422 vsize=15151156 memory=30480 CPUtime=0.3 cores=0,2,4,6
/proc/14424/task/14452/stat : 14452 (java) R 14422 14422 14371 0 -1 4202560 1734 0 0 0 30 0 0 0 20 0 15 0 475385071 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987517352560 139988649794966 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14454] ppid=14422 vsize=15151156 memory=12024 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14454/stat : 14454 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475385071 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987516300000 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14455] ppid=14422 vsize=15151156 memory=500 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475385071 15514783744 27468 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 111320 KiB
[startup+1.50074 s]
/proc/loadavg: 0.77 0.79 1.09 8/230 14463
/proc/meminfo: memFree=9866128/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14564] ppid=14422 vsize=15486024 memory=3768 CPUtime=35.25 cores=0,2,4,6
/proc/14424/task/14564/stat : 14564 (java) R 14422 14422 14371 0 -1 4202560 489 0 0 0 3525 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987503114952 139988292823117 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14565] ppid=14422 vsize=15486024 memory=1980 CPUtime=35.14 cores=0,2,4,6
/proc/14424/task/14565/stat : 14565 (java) R 14422 14422 14371 0 -1 4202560 1716 0 0 0 3514 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987504171848 139988293266256 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14566] ppid=14422 vsize=15486024 memory=2512 CPUtime=34.7 cores=0,2,4,6
/proc/14424/task/14566/stat : 14566 (java) R 14422 14422 14371 0 -1 4202560 1953 0 0 0 3470 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987501010256 139988292897122 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14567] ppid=14422 vsize=15486024 memory=1436 CPUtime=35.06 cores=0,2,4,6
/proc/14424/task/14567/stat : 14567 (java) R 14422 14422 14371 0 -1 4202560 1320 0 0 0 3506 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987502064312 139988292822941 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 185.72 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 396036 KiB
[startup+47.6009 s]
/proc/loadavg: 4.58 1.81 1.42 11/237 14686
/proc/meminfo: memFree=9607940/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
[pid=14424] ppid=14422 vsize=15486024 memory=394588 CPUtime=187.31 cores=0,2,4,6
/proc/14424/stat : 14424 (java) S 14422 14422 14371 0 -1 1077944320 61722 0 1 0 18705 26 0 0 20 0 19 0 475385065 15857688576 98647 33554432000 4194304 4196468 140721401496944 140721401479488 139988649783031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
/proc/14424/statm: 3871506 98647 3528 1 0 3832606 0
[pid=14424/tid=14425] ppid=14422 vsize=15486024 memory=279490568338224 CPUtime=1.35 cores=0,2,4,6
/proc/14424/task/14425/stat : 14425 (java) S 14422 14422 14371 0 -1 1077944384 10091 0 1 0 129 6 0 0 20 0 19 0 475385065 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988654023808 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14426] ppid=14422 vsize=15486024 memory=279490568338416 CPUtime=0.03 cores=0,2,4,6
/proc/14424/task/14426/stat : 14426 (java) S 14422 14422 14371 0 -1 1077944384 150 0 0 0 2 1 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988621626512 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14427] ppid=14422 vsize=15486024 memory=279490568338608 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14427/stat : 14427 (java) S 14422 14422 14371 0 -1 1077944384 339 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988241583120 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14428] ppid=14422 vsize=15486024 memory=2231 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14428/stat : 14428 (java) S 14422 14422 14371 0 -1 1077944384 1121 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988240530320 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14429] ppid=14422 vsize=15486024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14429/stat : 14429 (java) S 14422 14422 14371 0 -1 1077944384 341 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988239477520 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14434] ppid=14422 vsize=15486024 memory=143 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14434/stat : 14434 (java) S 14422 14422 14371 0 -1 1077944384 858 0 0 0 1 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987523668336 139988649794178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14437] ppid=14422 vsize=15486024 memory=648 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14437/stat : 14437 (java) S 14422 14422 14371 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987522614368 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14438] ppid=14422 vsize=15486024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14438/stat : 14438 (java) S 14422 14422 14371 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987521561472 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14449] ppid=14422 vsize=15486024 memory=14 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14449/stat : 14449 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987520509776 139988649801627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14450] ppid=14422 vsize=15486024 memory=164 CPUtime=3.24 cores=0,2,4,6
/proc/14424/task/14450/stat : 14450 (java) S 14422 14422 14371 0 -1 1077944384 16030 0 0 0 322 2 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987519458160 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14451] ppid=14422 vsize=15486024 memory=650 CPUtime=3.15 cores=0,2,4,6
/proc/14424/task/14451/stat : 14451 (java) S 14422 14422 14371 0 -1 1077944384 13903 0 0 0 314 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987518405360 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14452] ppid=14422 vsize=15486024 memory=16902 CPUtime=0.9 cores=0,2,4,6
/proc/14424/task/14452/stat : 14452 (java) S 14422 14422 14371 0 -1 1077944384 7977 0 0 0 89 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987517352560 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14454] ppid=14422 vsize=15486024 memory=2212 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14454/stat : 14454 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987516300000 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14455] ppid=14422 vsize=15486024 memory=1402 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14564] ppid=14422 vsize=15486024 memory=4646 CPUtime=35.65 cores=0,2,4,6
/proc/14424/task/14564/stat : 14564 (java) R 14422 14422 14371 0 -1 4202560 489 0 0 0 3565 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987503114952 139988292822902 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14565] ppid=14422 vsize=15486024 memory=371336 CPUtime=35.54 cores=0,2,4,6
/proc/14424/task/14565/stat : 14565 (java) R 14422 14422 14371 0 -1 4202560 1716 0 0 0 3554 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987504171848 139988292823150 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14566] ppid=14422 vsize=15486024 memory=1408 CPUtime=35.1 cores=0,2,4,6
/proc/14424/task/14566/stat : 14566 (java) R 14422 14422 14371 0 -1 4202560 1953 0 0 0 3510 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987501010256 139988293585684 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14567] ppid=14422 vsize=15486024 memory=1984 CPUtime=35.46 cores=0,2,4,6
/proc/14424/task/14567/stat : 14567 (java) R 14422 14422 14371 0 -1 4202560 1320 0 0 0 3546 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987502064312 139988292822865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 187.31 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 396036 KiB
[startup+47.8009 s]
/proc/loadavg: 4.58 1.81 1.42 11/237 14686
/proc/meminfo: memFree=9607940/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
[pid=14424] ppid=14422 vsize=15486024 memory=394588 CPUtime=188.11 cores=0,2,4,6
/proc/14424/stat : 14424 (java) S 14422 14422 14371 0 -1 1077944320 61732 0 1 0 18785 26 0 0 20 0 19 0 475385065 15857688576 98647 33554432000 4194304 4196468 140721401496944 140721401479488 139988649783031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
/proc/14424/statm: 3871506 98647 3528 1 0 3832606 0
[pid=14424/tid=14425] ppid=14422 vsize=15486024 memory=1712 CPUtime=1.35 cores=0,2,4,6
/proc/14424/task/14425/stat : 14425 (java) S 14422 14422 14371 0 -1 1077944384 10091 0 1 0 129 6 0 0 20 0 19 0 475385065 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988654023808 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14426] ppid=14422 vsize=15486024 memory=8317482817917895235 CPUtime=0.03 cores=0,2,4,6
/proc/14424/task/14426/stat : 14426 (java) S 14422 14422 14371 0 -1 1077944384 150 0 0 0 2 1 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988621626512 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14427] ppid=14422 vsize=15486024 memory=1112 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14427/stat : 14427 (java) S 14422 14422 14371 0 -1 1077944384 339 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988241583120 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14428] ppid=14422 vsize=15486024 memory=1004 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14428/stat : 14428 (java) S 14422 14422 14371 0 -1 1077944384 1121 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988240530320 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14429] ppid=14422 vsize=15486024 memory=6064 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14429/stat : 14429 (java) S 14422 14422 14371 0 -1 1077944384 341 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988239477520 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14434] ppid=14422 vsize=15486024 memory=14008 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14434/stat : 14434 (java) S 14422 14422 14371 0 -1 1077944384 858 0 0 0 1 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987523668336 139988649794178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14437] ppid=14422 vsize=15486024 memory=2124 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14437/stat : 14437 (java) S 14422 14422 14371 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987522614368 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14438] ppid=14422 vsize=15486024 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14438/stat : 14438 (java) S 14422 14422 14371 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987521561472 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14449] ppid=14422 vsize=15486024 memory=367240 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14449/stat : 14449 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987520509776 139988649801627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14450] ppid=14422 vsize=15486024 memory=1112 CPUtime=3.24 cores=0,2,4,6
/proc/14424/task/14450/stat : 14450 (java) S 14422 14422 14371 0 -1 1077944384 16030 0 0 0 322 2 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987519458160 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14451] ppid=14422 vsize=15486024 memory=1004 CPUtime=3.15 cores=0,2,4,6
/proc/14424/task/14451/stat : 14451 (java) S 14422 14422 14371 0 -1 1077944384 13903 0 0 0 314 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987518405360 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14452] ppid=14422 vsize=15486024 memory=6064 CPUtime=0.9 cores=0,2,4,6
/proc/14424/task/14452/stat : 14452 (java) S 14422 14422 14371 0 -1 1077944384 7977 0 0 0 89 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987517352560 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14454] ppid=14422 vsize=15486024 memory=14008 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14454/stat : 14454 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987516300000 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14455] ppid=14422 vsize=15486024 memory=2124 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14564] ppid=14422 vsize=15486024 memory=30480 CPUtime=35.85 cores=0,2,4,6
/proc/14424/task/14564/stat : 14564 (java) R 14422 14422 14371 0 -1 4202560 489 0 0 0 3585 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987503114952 139988292823246 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14565] ppid=14422 vsize=15486024 memory=12024 CPUtime=35.74 cores=0,2,4,6
/proc/14424/task/14565/stat : 14565 (java) R 14422 14422 14371 0 -1 4202560 1726 0 0 0 3574 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987504171848 139988295914408 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14566] ppid=14422 vsize=15486024 memory=500 CPUtime=35.3 cores=0,2,4,6
/proc/14424/task/14566/stat : 14566 (java) R 14422 14422 14371 0 -1 4202560 1953 0 0 0 3530 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987501010256 139988292823124 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14567] ppid=14422 vsize=15486024 memory=1560 CPUtime=35.66 cores=0,2,4,6
/proc/14424/task/14567/stat : 14567 (java) R 14422 14422 14371 0 -1 4202560 1320 0 0 0 3566 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987502064312 139988292822924 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 188.11 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 396036 KiB
[startup+47.9009 s]
/proc/loadavg: 4.58 1.81 1.42 11/237 14686
/proc/meminfo: memFree=9607940/32770624 swapFree=66999216/67108860
[pid=14422] ppid=14419 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/14422/stat : 14422 (xcsp3-exec) S 14419 14422 14371 0 -1 4202496 542 0 0 0 0 0 0 0 20 0 1 0 475385065 115843072 362 33554432000 4194304 5098028 140729456647712 140729456645816 139938626347644 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 10092544 140729456649083 140729456649325 140729456649325 140729456652234 0
/proc/14422/statm: 28282 362 304 221 0 87 0
[pid=14424] ppid=14422 vsize=15486024 memory=394588 CPUtime=188.51 cores=0,2,4,6
/proc/14424/stat : 14424 (java) S 14422 14422 14371 0 -1 1077944320 61732 0 1 0 18825 26 0 0 20 0 19 0 475385065 15857688576 98647 33554432000 4194304 4196468 140721401496944 140721401479488 139988649783031 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
/proc/14424/statm: 3871506 98647 3528 1 0 3832606 0
[pid=14424/tid=14425] ppid=14422 vsize=15486024 memory=359048 CPUtime=1.35 cores=0,2,4,6
/proc/14424/task/14425/stat : 14425 (java) S 14422 14422 14371 0 -1 1077944384 10091 0 1 0 129 6 0 0 20 0 19 0 475385065 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988654023808 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14426] ppid=14422 vsize=15486024 memory=367240 CPUtime=0.03 cores=0,2,4,6
/proc/14424/task/14426/stat : 14426 (java) S 14422 14422 14371 0 -1 1077944384 150 0 0 0 2 1 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988621626512 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14427] ppid=14422 vsize=15486024 memory=394588 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14427/stat : 14427 (java) S 14422 14422 14371 0 -1 1077944384 339 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988241583120 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14428] ppid=14422 vsize=15486024 memory=394588 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14428/stat : 14428 (java) S 14422 14422 14371 0 -1 1077944384 1121 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988240530320 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14429] ppid=14422 vsize=15486024 memory=1448 CPUtime=0.04 cores=0,2,4,6
/proc/14424/task/14429/stat : 14429 (java) S 14422 14422 14371 0 -1 1077944384 341 0 0 0 2 2 0 0 20 0 19 0 475385066 15857688576 98647 33554432000 4194304 4196468 140721401496944 139988239477520 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14434] ppid=14422 vsize=15486024 memory=332424 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14434/stat : 14434 (java) S 14422 14422 14371 0 -1 1077944384 858 0 0 0 1 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987523668336 139988649794178 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14437] ppid=14422 vsize=15486024 memory=394588 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14437/stat : 14437 (java) S 14422 14422 14371 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987522614368 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14438] ppid=14422 vsize=15486024 memory=3028 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14438/stat : 14438 (java) S 14422 14422 14371 0 -1 1077944384 77 0 0 0 0 0 0 0 20 0 19 0 475385068 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987521561472 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14449] ppid=14422 vsize=15486024 memory=2012 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14449/stat : 14449 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987520509776 139988649801627 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14450] ppid=14422 vsize=15486024 memory=1448 CPUtime=3.24 cores=0,2,4,6
/proc/14424/task/14450/stat : 14450 (java) S 14422 14422 14371 0 -1 1077944384 16030 0 0 0 322 2 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987519458160 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14451] ppid=14422 vsize=15486024 memory=394588 CPUtime=3.15 cores=0,2,4,6
/proc/14424/task/14451/stat : 14451 (java) S 14422 14422 14371 0 -1 1077944384 13903 0 0 0 314 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987518405360 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14452] ppid=14422 vsize=15486024 memory=279490569301536 CPUtime=0.9 cores=0,2,4,6
/proc/14424/task/14452/stat : 14452 (java) S 14422 14422 14371 0 -1 1077944384 7977 0 0 0 89 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987517352560 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14454] ppid=14422 vsize=15486024 memory=7598811100138176585 CPUtime=0 cores=0,2,4,6
/proc/14424/task/14454/stat : 14454 (java) S 14422 14422 14371 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987516300000 139988649793237 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14455] ppid=14422 vsize=15486024 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/14424/task/14455/stat : 14455 (java) S 14422 14422 14371 0 -1 1077944384 608 0 0 0 0 1 0 0 20 0 19 0 475385071 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987515247280 139988649794178 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14564] ppid=14422 vsize=15486024 memory=16979 CPUtime=35.95 cores=0,2,4,6
/proc/14424/task/14564/stat : 14564 (java) R 14422 14422 14371 0 -1 4202560 489 0 0 0 3595 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987503114952 139988292823216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14565] ppid=14422 vsize=15486024 memory=1448 CPUtime=35.84 cores=0,2,4,6
/proc/14424/task/14565/stat : 14565 (java) R 14422 14422 14371 0 -1 4202560 1726 0 0 0 3584 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987504171848 139988292823188 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14566] ppid=14422 vsize=15486024 memory=1448 CPUtime=35.4 cores=0,2,4,6
/proc/14424/task/14566/stat : 14566 (java) R 14422 14422 14371 0 -1 4202560 1953 0 0 0 3540 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987501010256 139988288128981 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
[pid=14424/tid=14567] ppid=14422 vsize=15486024 memory=394588 CPUtime=35.76 cores=0,2,4,6
/proc/14424/task/14567/stat : 14567 (java) R 14422 14422 14371 0 -1 4202560 1320 0 0 0 3576 0 0 0 20 0 19 0 475386241 15857688576 98647 33554432000 4194304 4196468 140721401496944 139987502064312 139988292822865 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35172352 140721401504751 140721401504922 140721401504922 140721401507791 0
Current children cumulated CPU time: 188.51 s
Current children cumulated vsize: 15599152 KiB
Current children cumulated memory: 396036 KiB
Child status: 0
Real time (s): 47.9359
CPU time (s): 188.634
CPU user time (s): 188.364
CPU system time (s): 0.27027
CPU usage (%): 393.513
Max. virtual memory (cumulated for all children) (KiB): 15599152
Max. memory (cumulated for all children) (KiB): 396036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.364
system time used= 0.27027
maximum resident set size= 394720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62706
page faults= 1
swaps= 0
block input operations= 416
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4523
involuntary context switches= 4645
# summary of solver processes directly reported to runsolver:
# pid: 14422
# total CPU time (s): 188.634
# total CPU user time (s): 188.364
# total CPU system time (s): 0.27027
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.316992 second user time and 0.584892 second system time
The end