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 (3584 MiB free)
memory of node 1: 16384 MiB (14774 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399195-1568699983/watcher-4399195-1568699983 -o /tmp/evaluation-result-4399195-1568699983/solver-4399195-1568699983 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1568698598-24720 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 189712765 HOME/instance-4399195-1568699983.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=27305, runsolver pid=27302
Current StackSize limit: 8192 KiB
[startup+0.100076 s]*
/proc/loadavg: 7.44 7.12 5.86 8/230 27321
/proc/meminfo: memFree=18782652/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/statm: 28282 362 304 221 0 87 0
[pid=27307] ppid=27305 vsize=15144776 memory=29648 CPUtime=0.13 cores=1,3,5,7
/proc/27307/stat : 27307 (java) S 27305 27305 24688 0 -1 1077944320 5849 0 0 0 12 1 0 0 20 0 15 0 446269730 15508250624 7412 33554432000 4194304 4196468 140725911612576 140725911595120 140123587956471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
/proc/27307/statm: 3786194 7412 3182 1 0 3748377 0
[pid=27307/tid=27308] ppid=27305 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/27307/task/27308/stat : 27308 (java) R 27305 27305 24688 0 -1 4202560 3733 0 0 0 8 1 0 0 20 0 15 0 446269730 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123592182304 140123190695833 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27309] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27309/stat : 27309 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123515996944 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27310] ppid=27305 vsize=15144776 memory=140694411032192 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27310/stat : 27310 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123514944400 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27311] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27311/stat : 27311 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123513891856 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27312] ppid=27305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27312/stat : 27312 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123512839312 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27313] ppid=27305 vsize=15144776 memory=140694411032192 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27313/stat : 27313 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269732 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123056007152 140123587967618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27314] ppid=27305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27314/stat : 27314 (java) S 27305 27305 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446269733 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123054953376 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27315] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27315/stat : 27315 (java) S 27305 27305 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446269733 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123053900784 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27316] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27316/stat : 27316 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123052849360 140123587975067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27317] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27317/stat : 27317 (java) R 27305 27305 24688 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 446269735 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123051797072 140123587966677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27318] ppid=27305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27318/stat : 27318 (java) R 27305 27305 24688 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 15 0 446269735 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123050735936 140123565789328 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27319] ppid=27305 vsize=15144776 memory=140694411032192 CPUtime=0.02 cores=1,3,5,7
/proc/27307/task/27319/stat : 27319 (java) R 27305 27305 24688 0 -1 4202560 352 0 0 0 2 0 0 0 20 0 15 0 446269735 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123049691888 140123567411958 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27320] ppid=27305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27320/stat : 27320 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123048639584 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27321] ppid=27305 vsize=15144776 memory=140694411032192 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27321/stat : 27321 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269736 15508250624 7412 33554432000 4194304 4196468 140725911612576 140123047586096 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31096 KiB
[startup+0.21094 s]*
/proc/loadavg: 7.44 7.12 5.86 9/230 27321
/proc/meminfo: memFree=18770032/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/statm: 28282 362 304 221 0 87 0
[pid=27307] ppid=27305 vsize=15144776 memory=41012 CPUtime=0.34 cores=1,3,5,7
/proc/27307/stat : 27307 (java) S 27305 27305 24688 0 -1 1077944320 9447 0 0 0 32 2 0 0 20 0 15 0 446269730 15508250624 10253 33554432000 4194304 4196468 140725911612576 140725911595120 140123587956471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
/proc/27307/statm: 3786194 10253 3313 1 0 3748377 0
[pid=27307/tid=27308] ppid=27305 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/27307/task/27308/stat : 27308 (java) R 27305 27305 24688 0 -1 4202560 6637 0 0 0 18 2 0 0 20 0 15 0 446269730 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123592193936 140123572036958 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27309] ppid=27305 vsize=15144776 memory=2964504 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27309/stat : 27309 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123515996944 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27310] ppid=27305 vsize=15144776 memory=140694411056656 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27310/stat : 27310 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123514944400 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27311] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27311/stat : 27311 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123513891856 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27312] ppid=27305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27312/stat : 27312 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123512839312 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27313] ppid=27305 vsize=15144776 memory=140694411032192 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27313/stat : 27313 (java) S 27305 27305 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446269732 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123056007152 140123587967618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27314] ppid=27305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27314/stat : 27314 (java) S 27305 27305 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446269733 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123054953376 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27315] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27315/stat : 27315 (java) S 27305 27305 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446269733 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123053900784 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27316] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27316/stat : 27316 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123052849360 140123587975067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27317] ppid=27305 vsize=15144776 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27307/task/27317/stat : 27317 (java) R 27305 27305 24688 0 -1 1077944384 332 0 0 0 1 0 0 0 20 0 15 0 446269735 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123051796976 140123587967618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27318] ppid=27305 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/27307/task/27318/stat : 27318 (java) S 27305 27305 24688 0 -1 1077944384 411 0 0 0 3 0 0 0 20 0 15 0 446269735 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123050744432 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27319] ppid=27305 vsize=15144776 memory=140694411032192 CPUtime=0.08 cores=1,3,5,7
/proc/27307/task/27319/stat : 27319 (java) R 27305 27305 24688 0 -1 4202560 759 0 0 0 8 0 0 0 20 0 15 0 446269735 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123049691888 140123587977818 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27320] ppid=27305 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27320/stat : 27320 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123048639584 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27321] ppid=27305 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27321/stat : 27321 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269736 15508250624 10253 33554432000 4194304 4196468 140725911612576 140123047586096 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42460 KiB
[startup+0.320179 s]*
/proc/loadavg: 7.44 7.12 5.86 7/230 27321
/proc/meminfo: memFree=18762376/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/statm: 28282 362 304 221 0 87 0
[pid=27307] ppid=27305 vsize=15149032 memory=50712 CPUtime=0.55 cores=1,3,5,7
/proc/27307/stat : 27307 (java) S 27305 27305 24688 0 -1 1077944320 11011 0 0 0 51 4 0 0 20 0 15 0 446269730 15512608768 12678 33554432000 4194304 4196468 140725911612576 140725911595120 140123587956471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
/proc/27307/statm: 3787258 12678 3360 1 0 3748377 0
[pid=27307/tid=27308] ppid=27305 vsize=15149032 memory=6791534058613427641 CPUtime=0.31 cores=1,3,5,7
/proc/27307/task/27308/stat : 27308 (java) R 27305 27305 24688 0 -1 4202560 7955 0 0 0 28 3 0 0 20 0 15 0 446269730 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123592190528 140123587968406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27309] ppid=27305 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27309/stat : 27309 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123515996944 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27310] ppid=27305 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27310/stat : 27310 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123514944400 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27311] ppid=27305 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27311/stat : 27311 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123513891856 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27312] ppid=27305 vsize=15149032 memory=4572146057552828020 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27312/stat : 27312 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123512839312 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27313] ppid=27305 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27313/stat : 27313 (java) S 27305 27305 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446269732 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123056007152 140123587967618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27314] ppid=27305 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27314/stat : 27314 (java) S 27305 27305 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446269733 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123054953376 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27315] ppid=27305 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27315/stat : 27315 (java) S 27305 27305 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446269733 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123053900784 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27316] ppid=27305 vsize=15149032 memory=-6664436420846796947 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27316/stat : 27316 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123052849360 140123587975067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27317] ppid=27305 vsize=15149032 memory=4426078206164241782 CPUtime=0.04 cores=1,3,5,7
/proc/27307/task/27317/stat : 27317 (java) S 27305 27305 24688 0 -1 1077944384 466 0 0 0 4 0 0 0 20 0 15 0 446269735 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123051796976 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27318] ppid=27305 vsize=15149032 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/27307/task/27318/stat : 27318 (java) S 27305 27305 24688 0 -1 1077944384 426 0 0 0 5 0 0 0 20 0 15 0 446269735 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123050744432 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27319] ppid=27305 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/27307/task/27319/stat : 27319 (java) R 27305 27305 24688 0 -1 4202560 855 0 0 0 12 0 0 0 20 0 15 0 446269735 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123049691888 140123572202907 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27320] ppid=27305 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27320/stat : 27320 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123048639584 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27321] ppid=27305 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27321/stat : 27321 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269736 15512608768 12678 33554432000 4194304 4196468 140725911612576 140123047586096 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52160 KiB
[startup+0.700785 s]
/proc/loadavg: 7.44 7.12 5.86 8/230 27321
/proc/meminfo: memFree=18750336/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/statm: 28282 362 304 221 0 87 0
[pid=27307] ppid=27305 vsize=15151156 memory=79828 CPUtime=1.5 cores=1,3,5,7
/proc/27307/stat : 27307 (java) S 27305 27305 24688 0 -1 1077944320 13515 0 0 0 145 5 0 0 20 0 15 0 446269730 15514783744 19957 33554432000 4194304 4196468 140725911612576 140725911595120 140123587956471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
/proc/27307/statm: 3787789 19957 3452 1 0 3748889 0
[pid=27307/tid=27308] ppid=27305 vsize=15151156 memory=33 CPUtime=0.67 cores=1,3,5,7
/proc/27307/task/27308/stat : 27308 (java) R 27305 27305 24688 0 -1 4202560 9115 0 0 0 64 3 0 0 20 0 15 0 446269730 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123592193456 140123587968406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27309] ppid=27305 vsize=15151156 memory=288230377044124670 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27309/stat : 27309 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123515996944 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27310] ppid=27305 vsize=15151156 memory=288291077884034143 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27310/stat : 27310 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123514944400 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27311] ppid=27305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27311/stat : 27311 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269731 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123513891856 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27312] ppid=27305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27312/stat : 27312 (java) S 27305 27305 24688 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 446269731 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123512839312 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27313] ppid=27305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27313/stat : 27313 (java) S 27305 27305 24688 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 446269732 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123056007152 140123587967618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27314] ppid=27305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27314/stat : 27314 (java) S 27305 27305 24688 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 446269733 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123054953376 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27315] ppid=27305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27315/stat : 27315 (java) S 27305 27305 24688 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 446269733 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123053900784 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27316] ppid=27305 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27316/stat : 27316 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123052849360 140123587975067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27317] ppid=27305 vsize=15151156 memory=0 CPUtime=0.18 cores=1,3,5,7
/proc/27307/task/27317/stat : 27317 (java) R 27305 27305 24688 0 -1 1077944384 753 0 0 0 18 0 0 0 20 0 15 0 446269735 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123051796976 140123587967618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27318] ppid=27305 vsize=15151156 memory=7235147594880805952 CPUtime=0.19 cores=1,3,5,7
/proc/27307/task/27318/stat : 27318 (java) R 27305 27305 24688 0 -1 4202560 685 0 0 0 19 0 0 0 20 0 15 0 446269735 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123050744432 140123580941513 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27319] ppid=27305 vsize=15151156 memory=7235984245651826277 CPUtime=0.42 cores=1,3,5,7
/proc/27307/task/27319/stat : 27319 (java) R 27305 27305 24688 0 -1 4202560 1654 0 0 0 42 0 0 0 20 0 15 0 446269735 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123049691888 140123566446368 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27320] ppid=27305 vsize=15151156 memory=7668599258894853456 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27320/stat : 27320 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 446269735 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123048639584 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27321] ppid=27305 vsize=15151156 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27321/stat : 27321 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 446269736 15514783744 19957 33554432000 4194304 4196468 140725911612576 140123047586096 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 81276 KiB
[startup+1.50083 s]
/proc/loadavg: 7.44 7.12 5.86 13/234 27325
/proc/meminfo: memFree=18661424/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/27307/stat : 27307 (java) S 27305 27305 24688 0 -1 1077944320 22542 0 0 0 1108 10 0 0 20 0 19 0 446269730 15859793920 52816 33554432000 4194304 4196468 140725911612576 140725911595120 140123587956471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
/proc/27307/statm: 3872020 52816 3514 1 0 3833120 0
[pid=27307/tid=27308] ppid=27305 vsize=15488080 memory=1548 CPUtime=0.96 cores=1,3,5,7
/proc/27307/task/27308/stat : 27308 (java) S 27305 27305 24688 0 -1 1077944384 9426 0 0 0 92 4 0 0 20 0 19 0 446269730 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123592197248 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27309] ppid=27305 vsize=15488080 memory=1056 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27309/stat : 27309 (java) S 27305 27305 24688 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123515996944 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27310] ppid=27305 vsize=15488080 memory=744 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27310/stat : 27310 (java) S 27305 27305 24688 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123514944400 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27311] ppid=27305 vsize=15488080 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27311/stat : 27311 (java) S 27305 27305 24688 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123513891856 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27312] ppid=27305 vsize=15488080 memory=12708704 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27312/stat : 27312 (java) S 27305 27305 24688 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123512839312 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27313] ppid=27305 vsize=15488080 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27313/stat : 27313 (java) S 27305 27305 24688 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 446269732 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123056007152 140123587967618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27314] ppid=27305 vsize=15488080 memory=2428 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27314/stat : 27314 (java) S 27305 27305 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446269733 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123054953376 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27315] ppid=27305 vsize=15488080 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27315/stat : 27315 (java) S 27305 27305 24688 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446269733 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123053900784 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27316] ppid=27305 vsize=15488080 memory=208056 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27316/stat : 27316 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446269735 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123052849360 140123587975067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27317] ppid=27305 vsize=15488080 memory=303430223234596890 CPUtime=2.04 cores=1,3,5,7
/proc/27307/task/27317/stat : 27317 (java) D 27305 27305 24688 0 -1 4202560 3759 0 0 0 203 1 0 0 20 0 19 0 446269735 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123051778144 140123573075757 0 4 0 16800975 18446744071582151416 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27318] ppid=27305 vsize=15488080 memory=6943526294502006880 CPUtime=1.71 cores=1,3,5,7
/proc/27307/task/27318/stat : 27318 (java) D 27305 27305 24688 0 -1 4202560 2837 0 0 0 171 0 0 0 20 0 19 0 446269735 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123050730864 140123569502073 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27319] ppid=27305 vsize=15488080 memory=6944656575208382560 CPUtime=0.87 cores=1,3,5,7
/proc/27307/task/27319/stat : 27319 (java) S 27305 27305 24688 0 -1 1077944384 3902 0 0 0 86 1 0 0 20 0 19 0 446269735 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123049691888 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27320] ppid=27305 vsize=15488080 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27320/stat : 27320 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446269735 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123048639584 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27321] ppid=27305 vsize=15488080 memory=8296 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27321/stat : 27321 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446269736 15859793920 52816 33554432000 4194304 4196468 140725911612576 140123047586096 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27366] ppid=27305 vsize=15488080 memory=5988 CPUtime=1.26 cores=1,3,5,7
/proc/27307/task/27366/stat : 27366 (java) D 27305 27305 24688 0 -1 4202560 54 0 0 0 126 0 0 0 20 0 19 0 446269856 15859793920 52816 33554432000 4194304 4196468 140725911612576 140122128198728 140123580193598 0 4 0 16800975 18446744071582151416 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27367] ppid=27305 vsize=15488080 memory=1124 CPUtime=1.33 cores=1,3,5,7
/proc/27307/task/27367/stat : 27367 (java) R 27305 27305 24688 0 -1 4202560 71 0 0 0 133 0 0 0 20 0 19 0 446269856 15859793920 52816 33554432000 4194304 4196468 140725911612576 140122439795032 140123197831582 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27368] ppid=27305 vsize=15488080 memory=14008 CPUtime=1.39 cores=1,3,5,7
/proc/27307/task/27368/stat : 27368 (java) D 27305 27305 24688 0 -1 4202560 38 0 0 0 139 0 0 0 20 0 19 0 446269856 15859793920 52816 33554432000 4194304 4196468 140725911612576 140122440843768 140123580193598 0 4 0 16800975 18446744071582151416 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27369] ppid=27305 vsize=15488080 memory=12024 CPUtime=1.15 cores=1,3,5,7
/proc/27307/task/27369/stat : 27369 (java) R 27305 27305 24688 0 -1 4202560 42 0 0 0 115 0 0 0 20 0 19 0 446269856 15859793920 52816 33554432000 4194304 4196468 140725911612576 140122438737608 140123580673623 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
Current children cumulated CPU time: 11.18 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 212712 KiB
[startup+4.00312 s]*
/proc/loadavg: 7.44 7.12 5.86 13/234 27370
/proc/meminfo: memFree=18595280/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/statm: 28282 362 304 221 0 87 0
[pid=27307] ppid=27305 vsize=15488080 memory=217248 CPUtime=14.39 cores=1,3,5,7
/proc/27307/stat : 27307 (java) S 27305 27305 24688 0 -1 1077944320 22990 0 0 0 1428 11 0 0 20 0 19 0 446269730 15859793920 54312 33554432000 4194304 4196468 140725911612576 140725911595120 140123587956471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
/proc/27307/statm: 3872020 54312 3516 1 0 3833120 0
[pid=27307/tid=27308] ppid=27305 vsize=15488080 memory=4284202253628112782 CPUtime=0.96 cores=1,3,5,7
/proc/27307/task/27308/stat : 27308 (java) S 27305 27305 24688 0 -1 1077944384 9426 0 0 0 92 4 0 0 20 0 19 0 446269730 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123592197248 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27309] ppid=27305 vsize=15488080 memory=5869125310180922532 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27309/stat : 27309 (java) S 27305 27305 24688 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123515996944 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27310] ppid=27305 vsize=15488080 memory=3762952197430405048 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27310/stat : 27310 (java) S 27305 27305 24688 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123514944400 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27311] ppid=27305 vsize=15488080 memory=-5874771483550381248 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27311/stat : 27311 (java) S 27305 27305 24688 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123513891856 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27312] ppid=27305 vsize=15488080 memory=4211820445998147667 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27312/stat : 27312 (java) S 27305 27305 24688 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123512839312 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27313] ppid=27305 vsize=15488080 memory=4857107222927533744 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27313/stat : 27313 (java) S 27305 27305 24688 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 19 0 446269732 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123056007152 140123587967618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27314] ppid=27305 vsize=15488080 memory=3472328296227670329 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27314/stat : 27314 (java) S 27305 27305 24688 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 19 0 446269733 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123054953376 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27315] ppid=27305 vsize=15488080 memory=7886128541282481457 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27315/stat : 27315 (java) S 27305 27305 24688 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 446269733 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123053900784 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27316] ppid=27305 vsize=15488080 memory=7594030298728260183 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27316/stat : 27316 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446269735 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123052849360 140123587975067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27317] ppid=27305 vsize=15488080 memory=0 CPUtime=2.6 cores=1,3,5,7
/proc/27307/task/27317/stat : 27317 (java) R 27305 27305 24688 0 -1 4202560 4002 0 0 0 259 1 0 0 20 0 19 0 446269735 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123051783072 140123572861736 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27318] ppid=27305 vsize=15488080 memory=3472328296227418159 CPUtime=2.29 cores=1,3,5,7
/proc/27307/task/27318/stat : 27318 (java) R 27305 27305 24688 0 -1 4202560 2984 0 0 0 229 0 0 0 20 0 19 0 446269735 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123050730528 140123573970780 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27319] ppid=27305 vsize=15488080 memory=281388681279224 CPUtime=0.88 cores=1,3,5,7
/proc/27307/task/27319/stat : 27319 (java) R 27305 27305 24688 0 -1 1077944384 3922 0 0 0 87 1 0 0 20 0 19 0 446269735 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123049691888 140123587967618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27320] ppid=27305 vsize=15488080 memory=140694270247031 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27320/stat : 27320 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446269735 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123048639584 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27321] ppid=27305 vsize=15488080 memory=8238361518503009001 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27321/stat : 27321 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446269736 15859793920 54312 33554432000 4194304 4196468 140725911612576 140123047586096 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27366] ppid=27305 vsize=15488080 memory=4207603844282724401 CPUtime=1.83 cores=1,3,5,7
/proc/27307/task/27366/stat : 27366 (java) R 27305 27305 24688 0 -1 4202560 60 0 0 0 183 0 0 0 20 0 19 0 446269856 15859793920 54312 33554432000 4194304 4196468 140725911612576 140122128202208 140123573166436 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27367] ppid=27305 vsize=15488080 memory=3833042841787865833 CPUtime=1.92 cores=1,3,5,7
/proc/27307/task/27367/stat : 27367 (java) R 27305 27305 24688 0 -1 4202560 76 0 0 0 192 0 0 0 20 0 19 0 446269856 15859793920 54312 33554432000 4194304 4196468 140725911612576 140122439794184 140123197831340 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27368] ppid=27305 vsize=15488080 memory=4207603844282725424 CPUtime=1.87 cores=1,3,5,7
/proc/27307/task/27368/stat : 27368 (java) R 27305 27305 24688 0 -1 4202560 53 0 0 0 187 0 0 0 20 0 19 0 446269856 15859793920 54312 33554432000 4194304 4196468 140725911612576 140122440846168 140123199833909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27369] ppid=27305 vsize=15488080 memory=-7390251449858225344 CPUtime=1.56 cores=1,3,5,7
/proc/27307/task/27369/stat : 27369 (java) R 27305 27305 24688 0 -1 4202560 54 0 0 0 156 0 0 0 20 0 19 0 446269856 15859793920 54312 33554432000 4194304 4196468 140725911612576 140122438743080 140123197026185 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
Current children cumulated CPU time: 14.39 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 218696 KiB
[startup+4.80818 s]
/proc/loadavg: 7.44 7.12 5.86 13/234 27370
/proc/meminfo: memFree=18595280/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/statm: 28282 362 304 221 0 87 0
[pid=27307] ppid=27305 vsize=15488080 memory=229160 CPUtime=17.55 cores=1,3,5,7
/proc/27307/stat : 27307 (java) S 27305 27305 24688 0 -1 1077944320 27178 0 0 0 1743 12 0 0 20 0 19 0 446269730 15859793920 57290 33554432000 4194304 4196468 140725911612576 140725911595120 140123587956471 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
/proc/27307/statm: 3872020 57290 3529 1 0 3833120 0
[pid=27307/tid=27308] ppid=27305 vsize=15488080 memory=1564 CPUtime=0.96 cores=1,3,5,7
/proc/27307/task/27308/stat : 27308 (java) S 27305 27305 24688 0 -1 1077944384 9426 0 0 0 92 4 0 0 20 0 19 0 446269730 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123592197248 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27309] ppid=27305 vsize=15488080 memory=976 CPUtime=0.01 cores=1,3,5,7
/proc/27307/task/27309/stat : 27309 (java) S 27305 27305 24688 0 -1 1077944384 143 0 0 0 1 0 0 0 20 0 19 0 446269731 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123515996944 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27310] ppid=27305 vsize=15488080 memory=772 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27310/stat : 27310 (java) S 27305 27305 24688 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 19 0 446269731 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123514944400 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27311] ppid=27305 vsize=15488080 memory=4000 CPUtime=0.01 cores=1,3,5,7
/proc/27307/task/27311/stat : 27311 (java) S 27305 27305 24688 0 -1 1077944384 41 0 0 0 1 0 0 0 20 0 19 0 446269731 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123513891856 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27312] ppid=27305 vsize=15488080 memory=2832 CPUtime=0.01 cores=1,3,5,7
/proc/27307/task/27312/stat : 27312 (java) S 27305 27305 24688 0 -1 1077944384 69 0 0 0 1 0 0 0 20 0 19 0 446269731 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123512839312 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27313] ppid=27305 vsize=15488080 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27313/stat : 27313 (java) S 27305 27305 24688 0 -1 1077944384 105 0 0 0 0 0 0 0 20 0 19 0 446269732 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123056007152 140123587967618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27314] ppid=27305 vsize=15488080 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27314/stat : 27314 (java) S 27305 27305 24688 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 19 0 446269733 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123054953440 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27315] ppid=27305 vsize=15488080 memory=204268 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27315/stat : 27315 (java) S 27305 27305 24688 0 -1 1077944384 29 0 0 0 0 0 0 0 20 0 19 0 446269733 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123053900800 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27316] ppid=27305 vsize=15488080 memory=7302451832315554200 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27316/stat : 27316 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446269735 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123052849360 140123587975067 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27317] ppid=27305 vsize=15488080 memory=7302451832315554200 CPUtime=2.92 cores=1,3,5,7
/proc/27307/task/27317/stat : 27317 (java) R 27305 27305 24688 0 -1 1077944384 5198 0 0 0 291 1 0 0 20 0 19 0 446269735 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123051796976 140123587967618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27318] ppid=27305 vsize=15488080 memory=7302451832315554200 CPUtime=2.63 cores=1,3,5,7
/proc/27307/task/27318/stat : 27318 (java) R 27305 27305 24688 0 -1 4202560 4540 0 0 0 263 0 0 0 20 0 19 0 446269735 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123050744728 140123566370406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27319] ppid=27305 vsize=15488080 memory=7302451832315554200 CPUtime=0.92 cores=1,3,5,7
/proc/27307/task/27319/stat : 27319 (java) S 27305 27305 24688 0 -1 1077944384 4664 0 0 0 91 1 0 0 20 0 19 0 446269735 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123049691888 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27320] ppid=27305 vsize=15488080 memory=7302451832315554200 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27320/stat : 27320 (java) S 27305 27305 24688 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 446269735 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123048639584 140123587966677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27321] ppid=27305 vsize=15488080 memory=281388540745600 CPUtime=0 cores=1,3,5,7
/proc/27307/task/27321/stat : 27321 (java) S 27305 27305 24688 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 446269736 15859793920 57290 33554432000 4194304 4196468 140725911612576 140123047586096 140123587967618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27366] ppid=27305 vsize=15488080 memory=-7522837415797432224 CPUtime=2.55 cores=1,3,5,7
/proc/27307/task/27366/stat : 27366 (java) R 27305 27305 24688 0 -1 4202560 169 0 0 0 255 0 0 0 20 0 19 0 446269856 15859793920 57290 33554432000 4194304 4196468 140725911612576 140122128202832 140123198094956 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27367] ppid=27305 vsize=15488080 memory=7302450732803926424 CPUtime=2.48 cores=1,3,5,7
/proc/27307/task/27367/stat : 27367 (java) R 27305 27305 24688 0 -1 4202560 152 0 0 0 248 0 0 0 20 0 19 0 446269856 15859793920 57290 33554432000 4194304 4196468 140725911612576 140122439796024 140123197781970 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27368] ppid=27305 vsize=15488080 memory=7302451832315554200 CPUtime=2.38 cores=1,3,5,7
/proc/27307/task/27368/stat : 27368 (java) R 27305 27305 24688 0 -1 4202560 206 0 0 0 238 0 0 0 20 0 19 0 446269856 15859793920 57290 33554432000 4194304 4196468 140725911612576 140122440847832 140123200529819 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
[pid=27307/tid=27369] ppid=27305 vsize=15488080 memory=1448 CPUtime=2.18 cores=1,3,5,7
/proc/27307/task/27369/stat : 27369 (java) R 27305 27305 24688 0 -1 4202560 123 0 0 0 218 0 0 0 20 0 19 0 446269856 15859793920 57290 33554432000 4194304 4196468 140725911612576 140122438742280 140123200529210 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12238848 140725911618543 140725911618714 140725911618714 140725911621583 0
Current children cumulated CPU time: 17.55 s
Current children cumulated vsize: 15601208 KiB
Current children cumulated memory: 230608 KiB
[startup+5.20044 s]
/proc/loadavg: 7.44 7.12 5.86 11/233 27370
/proc/meminfo: memFree=18583816/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/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
[startup+5.30028 s]
/proc/loadavg: 7.44 7.12 5.86 11/233 27370
/proc/meminfo: memFree=18583816/32770624 swapFree=66938240/67108860
[pid=27305] ppid=27302 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/27305/stat : 27305 (xcsp3-exec) S 27302 27305 24688 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 446269729 115843072 362 33554432000 4194304 5098028 140734011154688 140734011152792 140313617744508 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 17133568 140734011159419 140734011159661 140734011159661 140734011162570 0
/proc/27305/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): 5.35743
CPU time (s): 18.5305
CPU user time (s): 18.4032
CPU system time (s): 0.127284
CPU usage (%): 345.885
Max. virtual memory (cumulated for all children) (KiB): 15601208
Max. memory (cumulated for all children) (KiB): 230652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4032
system time used= 0.127284
maximum resident set size= 229540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27818
page faults= 0
swaps= 0
block input operations= 0
block output operations= 96
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3469
involuntary context switches= 823
# summary of solver processes directly reported to runsolver:
# pid: 27305
# total CPU time (s): 18.5305
# total CPU user time (s): 18.4032
# total CPU system time (s): 0.127284
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055535 second user time and 0.106212 second system time
The end