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 (14107 MiB free)
memory of node 1: 16384 MiB (15218 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399310-1568697731/watcher-4399310-1568697731 -o /tmp/evaluation-result-4399310-1568697731/solver-4399310-1568697731 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1568691194-25965 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1937699134 HOME/instance-4399310-1568697731.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=28075, runsolver pid=28072
Current StackSize limit: 8192 KiB
[startup+0.100057 s]*
/proc/loadavg: 8.82 8.53 8.07 8/233 28091
/proc/meminfo: memFree=30013724/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
[pid=28077] ppid=28075 vsize=15144776 memory=29056 CPUtime=0.14 cores=1,3,5,7
/proc/28077/stat : 28077 (java) S 28075 28075 25933 0 -1 1077944320 5714 0 0 0 13 1 0 0 20 0 15 0 446027525 15508250624 7264 33554432000 4194304 4196468 140723668816352 140723668798896 140694615207671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
/proc/28077/statm: 3786194 7264 3158 1 0 3748377 0
[pid=28077/tid=28078] ppid=28075 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (java) R 28075 28075 25933 0 -1 4202560 3566 0 0 0 9 0 0 0 20 0 15 0 446027525 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694619441368 140694219946640 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28079] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694543247888 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28080] ppid=28075 vsize=15144776 memory=3976879705632507552 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694542195344 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28081] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28081/stat : 28081 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694541142288 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28082] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28082/stat : 28082 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694540089744 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28083] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28083/stat : 28083 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027527 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694083750640 140694615218818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28084] ppid=28075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28084/stat : 28084 (java) S 28075 28075 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446027528 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694082696864 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28085] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28085/stat : 28085 (java) S 28075 28075 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446027528 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694081643760 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28086] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28086/stat : 28086 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027530 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694080592336 140694615226267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28087] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28087/stat : 28087 (java) S 28075 28075 25933 0 -1 1077944384 416 0 0 0 0 0 0 0 20 0 15 0 446027530 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694079539440 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28088] ppid=28075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28088/stat : 28088 (java) S 28075 28075 25933 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 446027530 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694078486896 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28089] ppid=28075 vsize=15144776 memory=140533052442240 CPUtime=0.02 cores=1,3,5,7
/proc/28077/task/28089/stat : 28089 (java) R 28075 28075 25933 0 -1 4202560 383 0 0 0 2 0 0 0 20 0 15 0 446027530 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694077433840 140694599288158 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28090] ppid=28075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28090/stat : 28090 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027531 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694076381536 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28091] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28091/stat : 28091 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027531 15508250624 7264 33554432000 4194304 4196468 140723668816352 140694075329584 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30504 KiB
[startup+0.212009 s]*
/proc/loadavg: 8.82 8.53 8.07 6/233 28091
/proc/meminfo: memFree=29999304/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
[pid=28077] ppid=28075 vsize=15144776 memory=41888 CPUtime=0.35 cores=1,3,5,7
/proc/28077/stat : 28077 (java) S 28075 28075 25933 0 -1 1077944320 9221 0 0 0 33 2 0 0 20 0 15 0 446027525 15508250624 10472 33554432000 4194304 4196468 140723668816352 140723668798896 140694615207671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
/proc/28077/statm: 3786194 10472 3269 1 0 3748377 0
[pid=28077/tid=28078] ppid=28075 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (java) R 28075 28075 25933 0 -1 4202560 6362 0 0 0 19 1 0 0 20 0 15 0 446027525 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694619442656 140694599251301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28079] ppid=28075 vsize=15144776 memory=2669799 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694543247888 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28080] ppid=28075 vsize=15144776 memory=140533055605944 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694542195344 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28081] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28081/stat : 28081 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694541142288 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28082] ppid=28075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28082/stat : 28082 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694540089744 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28083] ppid=28075 vsize=15144776 memory=140533052442240 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28083/stat : 28083 (java) S 28075 28075 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446027527 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694083750640 140694615218818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28084] ppid=28075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28084/stat : 28084 (java) S 28075 28075 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446027528 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694082696864 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28085] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28085/stat : 28085 (java) S 28075 28075 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446027528 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694081643760 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28086] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28086/stat : 28086 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027530 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694080592336 140694615226267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28087] ppid=28075 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/28077/task/28087/stat : 28087 (java) S 28075 28075 25933 0 -1 1077944384 513 0 0 0 2 0 0 0 20 0 15 0 446027530 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694079539440 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28088] ppid=28075 vsize=15144776 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/28077/task/28088/stat : 28088 (java) S 28075 28075 25933 0 -1 1077944384 238 0 0 0 2 0 0 0 20 0 15 0 446027530 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694078486896 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28089] ppid=28075 vsize=15144776 memory=140533052442240 CPUtime=0.08 cores=1,3,5,7
/proc/28077/task/28089/stat : 28089 (java) S 28075 28075 25933 0 -1 1077944384 803 0 0 0 8 0 0 0 20 0 15 0 446027530 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694077433840 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28090] ppid=28075 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28090/stat : 28090 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027531 15508250624 10472 33554432000 4194304 4196468 140723668816352 140694076381536 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28091] ppid=28075 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28091/stat : 28091 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027531 15508250624 10534 33554432000 4194304 4196468 140723668816352 140694075329584 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 43336 KiB
[startup+0.314402 s]*
/proc/loadavg: 8.82 8.53 8.07 7/233 28091
/proc/meminfo: memFree=29992032/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
[pid=28077] ppid=28075 vsize=15149032 memory=51540 CPUtime=0.54 cores=1,3,5,7
/proc/28077/stat : 28077 (java) S 28075 28075 25933 0 -1 1077944320 10711 0 0 0 51 3 0 0 20 0 15 0 446027525 15512608768 12885 33554432000 4194304 4196468 140723668816352 140723668798896 140694615207671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
/proc/28077/statm: 3787258 12885 3370 1 0 3748377 0
[pid=28077/tid=28078] ppid=28075 vsize=15149032 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (java) R 28075 28075 25933 0 -1 4202560 7598 0 0 0 28 2 0 0 20 0 15 0 446027525 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694619441456 140694615229597 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28079] ppid=28075 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694543247888 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28080] ppid=28075 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694542195344 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28081] ppid=28075 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28081/stat : 28081 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694541142288 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28082] ppid=28075 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28082/stat : 28082 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694540089744 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28083] ppid=28075 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28083/stat : 28083 (java) S 28075 28075 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446027527 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694083750640 140694615218818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28084] ppid=28075 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28084/stat : 28084 (java) S 28075 28075 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446027528 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694082696864 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28085] ppid=28075 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28085/stat : 28085 (java) S 28075 28075 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446027528 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694081643760 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28086] ppid=28075 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28086/stat : 28086 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027530 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694080592336 140694615226267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28087] ppid=28075 vsize=15149032 memory=7827413994055111515 CPUtime=0.03 cores=1,3,5,7
/proc/28077/task/28087/stat : 28087 (java) S 28075 28075 25933 0 -1 1077944384 545 0 0 0 3 0 0 0 20 0 15 0 446027530 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694079539440 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28088] ppid=28075 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/28077/task/28088/stat : 28088 (java) S 28075 28075 25933 0 -1 1077944384 344 0 0 0 5 0 0 0 20 0 15 0 446027530 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694078486896 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28089] ppid=28075 vsize=15149032 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/28077/task/28089/stat : 28089 (java) S 28075 28075 25933 0 -1 1077944384 918 0 0 0 13 0 0 0 20 0 15 0 446027530 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694077433840 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28090] ppid=28075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28090/stat : 28090 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027531 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694076381536 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28091] ppid=28075 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28091/stat : 28091 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027531 15512608768 12950 33554432000 4194304 4196468 140723668816352 140694075329584 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52988 KiB
[startup+0.702418 s]
/proc/loadavg: 8.82 8.53 8.07 8/233 28091
/proc/meminfo: memFree=29963848/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
[pid=28077] ppid=28075 vsize=15151156 memory=117388 CPUtime=1.7 cores=1,3,5,7
/proc/28077/stat : 28077 (java) S 28075 28075 25933 0 -1 1077944320 14839 0 0 0 166 4 0 0 20 0 15 0 446027525 15514783744 29347 33554432000 4194304 4196468 140723668816352 140723668798896 140694615207671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
/proc/28077/statm: 3787789 29347 3445 1 0 3748889 0
[pid=28077/tid=28078] ppid=28075 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (java) R 28075 28075 25933 0 -1 4202560 8861 0 0 0 65 3 0 0 20 0 15 0 446027525 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694619443232 140694596613970 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28079] ppid=28075 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694543247888 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28080] ppid=28075 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694542195344 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28081] ppid=28075 vsize=15151156 memory=772 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28081/stat : 28081 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027526 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694541142288 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28082] ppid=28075 vsize=15151156 memory=4168 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28082/stat : 28082 (java) S 28075 28075 25933 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446027526 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694540089744 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28083] ppid=28075 vsize=15151156 memory=948 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28083/stat : 28083 (java) S 28075 28075 25933 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 446027527 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694083750640 140694615218818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28084] ppid=28075 vsize=15151156 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28084/stat : 28084 (java) S 28075 28075 25933 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446027528 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694082696864 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28085] ppid=28075 vsize=15151156 memory=9492 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28085/stat : 28085 (java) S 28075 28075 25933 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446027528 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694081643760 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28086] ppid=28075 vsize=15151156 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28086/stat : 28086 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027530 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694080592336 140694615226267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28087] ppid=28075 vsize=15151156 memory=628 CPUtime=0.33 cores=1,3,5,7
/proc/28077/task/28087/stat : 28087 (java) R 28075 28075 25933 0 -1 4202560 1644 0 0 0 33 0 0 0 20 0 15 0 446027530 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694079539440 140694598746163 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28088] ppid=28075 vsize=15151156 memory=1056 CPUtime=0.34 cores=1,3,5,7
/proc/28077/task/28088/stat : 28088 (java) R 28075 28075 25933 0 -1 4202560 1172 0 0 0 34 0 0 0 20 0 15 0 446027530 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694078486896 140694598478616 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28089] ppid=28075 vsize=15151156 memory=1724 CPUtime=0.32 cores=1,3,5,7
/proc/28077/task/28089/stat : 28089 (java) R 28075 28075 25933 0 -1 1077944384 1855 0 0 0 32 0 0 0 20 0 15 0 446027530 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694077427504 140694615217877 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28090] ppid=28075 vsize=15151156 memory=6056 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28090/stat : 28090 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446027531 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694076381536 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28091] ppid=28075 vsize=15151156 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28091/stat : 28091 (java) S 28075 28075 25933 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446027531 15514783744 29347 33554432000 4194304 4196468 140723668816352 140694075329584 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
Current children cumulated CPU time: 1.7 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 118836 KiB
[startup+1.50141 s]
/proc/loadavg: 8.82 8.53 8.07 9/233 28091
/proc/meminfo: memFree=29841284/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 376956 KiB
[startup+59.2014 s]
/proc/loadavg: 9.14 8.70 8.16 10/237 28178
/proc/meminfo: memFree=29662524/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
[pid=28077] ppid=28075 vsize=15487052 memory=375508 CPUtime=233.43 cores=1,3,5,7
/proc/28077/stat : 28077 (java) S 28075 28075 25933 0 -1 1077944320 68441 0 0 0 23318 25 0 0 20 0 19 0 446027525 15858741248 93877 33554432000 4194304 4196468 140723668816352 140723668798896 140694615207671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
/proc/28077/statm: 3871763 93877 3530 1 0 3832863 0
[pid=28077/tid=28078] ppid=28075 vsize=15487052 memory=6791534058613427641 CPUtime=1.37 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (java) S 28075 28075 25933 0 -1 1077944384 10168 0 0 0 133 4 0 0 20 0 19 0 446027525 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694619448448 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28079] ppid=28075 vsize=15487052 memory=375508 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (java) S 28075 28075 25933 0 -1 1077944384 218 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694543247888 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28080] ppid=28075 vsize=15487052 memory=3848 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (java) S 28075 28075 25933 0 -1 1077944384 1042 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694542195344 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28081] ppid=28075 vsize=15487052 memory=24452 CPUtime=0.05 cores=1,3,5,7
/proc/28077/task/28081/stat : 28081 (java) S 28075 28075 25933 0 -1 1077944384 251 0 0 0 3 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694541142288 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28082] ppid=28075 vsize=15487052 memory=35820 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28082/stat : 28082 (java) S 28075 28075 25933 0 -1 1077944384 473 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694540089744 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28083] ppid=28075 vsize=15487052 memory=984 CPUtime=0.01 cores=1,3,5,7
/proc/28077/task/28083/stat : 28083 (java) S 28075 28075 25933 0 -1 1077944384 1505 0 0 0 1 0 0 0 20 0 19 0 446027527 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694083750640 140694615218818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28084] ppid=28075 vsize=15487052 memory=2024 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28084/stat : 28084 (java) S 28075 28075 25933 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446027528 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694082696928 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28085] ppid=28075 vsize=15487052 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28085/stat : 28085 (java) S 28075 28075 25933 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446027528 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694081643776 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28086] ppid=28075 vsize=15487052 memory=1128 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28086/stat : 28086 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694080592336 140694615226267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28087] ppid=28075 vsize=15487052 memory=772 CPUtime=3.41 cores=1,3,5,7
/proc/28077/task/28087/stat : 28087 (java) S 28075 28075 25933 0 -1 1077944384 18918 0 0 0 339 2 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694079539440 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28088] ppid=28075 vsize=15487052 memory=4168 CPUtime=2.81 cores=1,3,5,7
/proc/28077/task/28088/stat : 28088 (java) S 28075 28075 25933 0 -1 1077944384 12309 0 0 0 280 1 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694078486896 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28089] ppid=28075 vsize=15487052 memory=948 CPUtime=0.89 cores=1,3,5,7
/proc/28077/task/28089/stat : 28089 (java) S 28075 28075 25933 0 -1 1077944384 8876 0 0 0 88 1 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694077433840 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28090] ppid=28075 vsize=15487052 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28090/stat : 28090 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446027531 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694076381536 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28091] ppid=28075 vsize=15487052 memory=9492 CPUtime=0.02 cores=1,3,5,7
/proc/28077/task/28091/stat : 28091 (java) S 28075 28075 25933 0 -1 1077944384 1295 0 0 0 0 2 0 0 20 0 19 0 446027531 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694075329584 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28175] ppid=28075 vsize=15487052 memory=1548 CPUtime=32.79 cores=1,3,5,7
/proc/28077/task/28175/stat : 28175 (java) R 28075 28075 25933 0 -1 4202560 359 0 0 0 3279 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693466926304 140694226571854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28176] ppid=28075 vsize=15487052 memory=628 CPUtime=32.73 cores=1,3,5,7
/proc/28077/task/28176/stat : 28176 (java) R 28075 28075 25933 0 -1 4202560 1201 0 0 0 3273 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693155422048 140694226571567 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28177] ppid=28075 vsize=15487052 memory=1056 CPUtime=32.51 cores=1,3,5,7
/proc/28077/task/28177/stat : 28177 (java) R 28075 28075 25933 0 -1 4202560 1323 0 0 0 3251 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694070399056 140694226571625 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28178] ppid=28075 vsize=15487052 memory=1724 CPUtime=32.45 cores=1,3,5,7
/proc/28077/task/28178/stat : 28178 (java) R 28075 28075 25933 0 -1 4202560 691 0 0 0 3245 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693156474712 140694226571884 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
Current children cumulated CPU time: 233.43 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 376956 KiB
[startup+59.6014 s]
/proc/loadavg: 9.14 8.70 8.16 10/237 28178
/proc/meminfo: memFree=29662524/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
[pid=28077] ppid=28075 vsize=15487052 memory=375508 CPUtime=235.03 cores=1,3,5,7
/proc/28077/stat : 28077 (java) S 28075 28075 25933 0 -1 1077944320 68441 0 0 0 23478 25 0 0 20 0 19 0 446027525 15858741248 93877 33554432000 4194304 4196468 140723668816352 140723668798896 140694615207671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
/proc/28077/statm: 3871763 93877 3530 1 0 3832863 0
[pid=28077/tid=28078] ppid=28075 vsize=15487052 memory=6791534058613427641 CPUtime=1.37 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (java) S 28075 28075 25933 0 -1 1077944384 10168 0 0 0 133 4 0 0 20 0 19 0 446027525 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694619448448 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28079] ppid=28075 vsize=15487052 memory=1412 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (java) S 28075 28075 25933 0 -1 1077944384 218 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694543247888 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28080] ppid=28075 vsize=15487052 memory=3136 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (java) S 28075 28075 25933 0 -1 1077944384 1042 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694542195344 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28081] ppid=28075 vsize=15487052 memory=1448 CPUtime=0.05 cores=1,3,5,7
/proc/28077/task/28081/stat : 28081 (java) S 28075 28075 25933 0 -1 1077944384 251 0 0 0 3 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694541142288 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28082] ppid=28075 vsize=15487052 memory=375508 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28082/stat : 28082 (java) S 28075 28075 25933 0 -1 1077944384 473 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694540089744 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28083] ppid=28075 vsize=15487052 memory=1164 CPUtime=0.01 cores=1,3,5,7
/proc/28077/task/28083/stat : 28083 (java) S 28075 28075 25933 0 -1 1077944384 1505 0 0 0 1 0 0 0 20 0 19 0 446027527 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694083750640 140694615218818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28084] ppid=28075 vsize=15487052 memory=-8253362664378451600 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28084/stat : 28084 (java) S 28075 28075 25933 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446027528 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694082696928 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28085] ppid=28075 vsize=15487052 memory=6576565900034085779 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28085/stat : 28085 (java) S 28075 28075 25933 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446027528 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694081643776 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28086] ppid=28075 vsize=15487052 memory=8317482817917895235 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28086/stat : 28086 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694080592336 140694615226267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28087] ppid=28075 vsize=15487052 memory=1448 CPUtime=3.41 cores=1,3,5,7
/proc/28077/task/28087/stat : 28087 (java) S 28075 28075 25933 0 -1 1077944384 18918 0 0 0 339 2 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694079539440 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28088] ppid=28075 vsize=15487052 memory=3436 CPUtime=2.81 cores=1,3,5,7
/proc/28077/task/28088/stat : 28088 (java) S 28075 28075 25933 0 -1 1077944384 12309 0 0 0 280 1 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694078486896 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28089] ppid=28075 vsize=15487052 memory=1448 CPUtime=0.89 cores=1,3,5,7
/proc/28077/task/28089/stat : 28089 (java) S 28075 28075 25933 0 -1 1077944384 8876 0 0 0 88 1 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694077433840 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28090] ppid=28075 vsize=15487052 memory=333852 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28090/stat : 28090 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446027531 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694076381536 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28091] ppid=28075 vsize=15487052 memory=1412 CPUtime=0.02 cores=1,3,5,7
/proc/28077/task/28091/stat : 28091 (java) S 28075 28075 25933 0 -1 1077944384 1295 0 0 0 0 2 0 0 20 0 19 0 446027531 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694075329584 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28175] ppid=28075 vsize=15487052 memory=3116 CPUtime=33.19 cores=1,3,5,7
/proc/28077/task/28175/stat : 28175 (java) R 28075 28075 25933 0 -1 4202560 359 0 0 0 3319 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693466926304 140694226572933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28176] ppid=28075 vsize=15487052 memory=1448 CPUtime=33.13 cores=1,3,5,7
/proc/28077/task/28176/stat : 28176 (java) R 28075 28075 25933 0 -1 4202560 1201 0 0 0 3313 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693155422048 140694226571615 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28177] ppid=28075 vsize=15487052 memory=375496 CPUtime=32.91 cores=1,3,5,7
/proc/28077/task/28177/stat : 28177 (java) R 28075 28075 25933 0 -1 4202560 1323 0 0 0 3291 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694070399056 140694226571774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28178] ppid=28075 vsize=15487052 memory=6791534058613427641 CPUtime=32.85 cores=1,3,5,7
/proc/28077/task/28178/stat : 28178 (java) R 28075 28075 25933 0 -1 4202560 691 0 0 0 3285 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693156474712 140694226571625 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
Current children cumulated CPU time: 235.03 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 376956 KiB
[startup+59.8014 s]
/proc/loadavg: 9.14 8.70 8.16 10/237 28178
/proc/meminfo: memFree=29662524/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
[pid=28077] ppid=28075 vsize=15487052 memory=375508 CPUtime=235.83 cores=1,3,5,7
/proc/28077/stat : 28077 (java) S 28075 28075 25933 0 -1 1077944320 68441 0 0 0 23558 25 0 0 20 0 19 0 446027525 15858741248 93877 33554432000 4194304 4196468 140723668816352 140723668798896 140694615207671 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
/proc/28077/statm: 3871763 93877 3530 1 0 3832863 0
[pid=28077/tid=28078] ppid=28075 vsize=15487052 memory=12024 CPUtime=1.37 cores=1,3,5,7
/proc/28077/task/28078/stat : 28078 (java) S 28075 28075 25933 0 -1 1077944384 10168 0 0 0 133 4 0 0 20 0 19 0 446027525 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694619448448 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28079] ppid=28075 vsize=15487052 memory=1556 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28079/stat : 28079 (java) S 28075 28075 25933 0 -1 1077944384 218 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694543247888 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28080] ppid=28075 vsize=15487052 memory=500 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28080/stat : 28080 (java) S 28075 28075 25933 0 -1 1077944384 1042 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694542195344 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28081] ppid=28075 vsize=15487052 memory=928 CPUtime=0.05 cores=1,3,5,7
/proc/28077/task/28081/stat : 28081 (java) S 28075 28075 25933 0 -1 1077944384 251 0 0 0 3 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694541142288 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28082] ppid=28075 vsize=15487052 memory=1728 CPUtime=0.04 cores=1,3,5,7
/proc/28077/task/28082/stat : 28082 (java) S 28075 28075 25933 0 -1 1077944384 473 0 0 0 2 2 0 0 20 0 19 0 446027526 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694540089744 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28083] ppid=28075 vsize=15487052 memory=1448 CPUtime=0.01 cores=1,3,5,7
/proc/28077/task/28083/stat : 28083 (java) S 28075 28075 25933 0 -1 1077944384 1505 0 0 0 1 0 0 0 20 0 19 0 446027527 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694083750640 140694615218818 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28084] ppid=28075 vsize=15487052 memory=500 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28084/stat : 28084 (java) S 28075 28075 25933 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 19 0 446027528 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694082696928 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28085] ppid=28075 vsize=15487052 memory=928 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28085/stat : 28085 (java) S 28075 28075 25933 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 446027528 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694081643776 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28086] ppid=28075 vsize=15487052 memory=1728 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28086/stat : 28086 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694080592336 140694615226267 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28087] ppid=28075 vsize=15487052 memory=1448 CPUtime=3.41 cores=1,3,5,7
/proc/28077/task/28087/stat : 28087 (java) S 28075 28075 25933 0 -1 1077944384 18918 0 0 0 339 2 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694079539440 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28088] ppid=28075 vsize=15487052 memory=876 CPUtime=2.81 cores=1,3,5,7
/proc/28077/task/28088/stat : 28088 (java) S 28075 28075 25933 0 -1 1077944384 12309 0 0 0 280 1 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694078486896 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28089] ppid=28075 vsize=15487052 memory=1980 CPUtime=0.89 cores=1,3,5,7
/proc/28077/task/28089/stat : 28089 (java) S 28075 28075 25933 0 -1 1077944384 8876 0 0 0 88 1 0 0 20 0 19 0 446027530 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694077433840 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28090] ppid=28075 vsize=15487052 memory=2552 CPUtime=0 cores=1,3,5,7
/proc/28077/task/28090/stat : 28090 (java) S 28075 28075 25933 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446027531 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694076381536 140694615217877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28091] ppid=28075 vsize=15487052 memory=1760 CPUtime=0.02 cores=1,3,5,7
/proc/28077/task/28091/stat : 28091 (java) S 28075 28075 25933 0 -1 1077944384 1295 0 0 0 0 2 0 0 20 0 19 0 446027531 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694075329584 140694615218818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28175] ppid=28075 vsize=15487052 memory=111632 CPUtime=33.39 cores=1,3,5,7
/proc/28077/task/28175/stat : 28175 (java) R 28075 28075 25933 0 -1 4202560 359 0 0 0 3339 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693466926304 140694226571854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28176] ppid=28075 vsize=15487052 memory=1448 CPUtime=33.33 cores=1,3,5,7
/proc/28077/task/28176/stat : 28176 (java) R 28075 28075 25933 0 -1 4202560 1201 0 0 0 3333 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693155422048 140694227294185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28177] ppid=28075 vsize=15487052 memory=375508 CPUtime=33.11 cores=1,3,5,7
/proc/28077/task/28177/stat : 28177 (java) R 28075 28075 25933 0 -1 4202560 1323 0 0 0 3311 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140694070399056 140694228918512 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
[pid=28077/tid=28178] ppid=28075 vsize=15487052 memory=1804 CPUtime=33.05 cores=1,3,5,7
/proc/28077/task/28178/stat : 28178 (java) R 28075 28075 25933 0 -1 4202560 691 0 0 0 3305 0 0 0 20 0 19 0 446030159 15858741248 93877 33554432000 4194304 4196468 140723668816352 140693156474712 140694226571602 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8826880 140723668825071 140723668825242 140723668825242 140723668828111 0
Current children cumulated CPU time: 235.83 s
Current children cumulated vsize: 15600180 KiB
Current children cumulated memory: 376956 KiB
[startup+59.9009 s]
/proc/loadavg: 9.14 8.70 8.16 10/237 28178
/proc/meminfo: memFree=29662524/32770624 swapFree=67000028/67108860
[pid=28075] ppid=28072 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/28075/stat : 28075 (xcsp3-exec) S 28072 28075 25933 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 446027525 115843072 362 33554432000 4194304 5098028 140728342794832 140728342792936 140467526189692 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 37613568 140728342799226 140728342799469 140728342799469 140728342802378 0
/proc/28075/statm: 28282 362 304 221 0 87 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113128 KiB
Current children cumulated memory: 1448 KiB
Child status: 0
Real time (s): 59.9061
CPU time (s): 236.231
CPU user time (s): 235.965
CPU system time (s): 0.265527
CPU usage (%): 394.335
Max. virtual memory (cumulated for all children) (KiB): 15600180
Max. memory (cumulated for all children) (KiB): 379648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.965
system time used= 0.265527
maximum resident set size= 378200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69596
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5400
involuntary context switches= 3962
# summary of solver processes directly reported to runsolver:
# pid: 28075
# total CPU time (s): 236.231
# total CPU user time (s): 235.965
# total CPU system time (s): 0.265527
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.380944 second user time and 0.755239 second system time
The end