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 (14946 MiB free)
memory of node 1: 16384 MiB (15432 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4393081-1568320179/watcher-4393081-1568320179 -o /tmp/evaluation-result-4393081-1568320179/solver-4393081-1568320179 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1568308867-14286 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 1538465368 HOME/instance-4393081-1568320179.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=24164, runsolver pid=24161
Current StackSize limit: 8192 KiB
[startup+0.100081 s]*
/proc/loadavg: 7.85 8.26 8.34 8/232 24180
/proc/meminfo: memFree=31091088/32770624 swapFree=66920748/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
[pid=24166] ppid=24164 vsize=15144768 memory=28924 CPUtime=0.13 cores=1,3,5,7
/proc/24166/stat : 24166 (java) S 24164 24164 14254 0 -1 1077944320 5709 0 0 0 12 1 0 0 20 0 15 0 408273974 15508242432 7231 33554432000 4194304 4196468 140723752233888 140723752216432 140631849033463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
/proc/24166/statm: 3786192 7231 3141 1 0 3748377 0
[pid=24166/tid=24167] ppid=24164 vsize=15144768 memory=576460756329955459 CPUtime=0.08 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (java) R 24164 24164 14254 0 -1 4202560 3575 0 0 0 8 0 0 0 20 0 15 0 408273974 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631853263840 140631841270590 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24168] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631801653648 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24169] ppid=24164 vsize=15144768 memory=3472749816014333600 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631800600848 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24170] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24170/stat : 24170 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631799548560 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24171] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24171/stat : 24171 (java) S 24164 24164 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631798495760 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24172] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24172/stat : 24172 (java) S 24164 24164 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273977 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631316863600 140631849044610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24173] ppid=24164 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24173/stat : 24173 (java) S 24164 24164 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408273977 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631315809568 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24174] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24174/stat : 24174 (java) S 24164 24164 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408273977 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631314757232 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24175] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24175/stat : 24175 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631313705552 140631849052059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24176] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24176/stat : 24176 (java) S 24164 24164 14254 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631312652400 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24177] ppid=24164 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24177/stat : 24177 (java) S 24164 24164 14254 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631311599600 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24178] ppid=24164 vsize=15144768 memory=140019026257536 CPUtime=0.02 cores=1,3,5,7
/proc/24166/task/24178/stat : 24178 (java) R 24164 24164 14254 0 -1 4202560 363 0 0 0 2 0 0 0 20 0 15 0 408273980 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631310547312 140631849047327 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24179] ppid=24164 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24179/stat : 24179 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631309494752 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24180] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 7231 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30372 KiB
[startup+0.211739 s]*
/proc/loadavg: 7.85 8.26 8.34 7/232 24180
/proc/meminfo: memFree=31078344/32770624 swapFree=66920748/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
[pid=24166] ppid=24164 vsize=15144768 memory=40412 CPUtime=0.34 cores=1,3,5,7
/proc/24166/stat : 24166 (java) S 24164 24164 14254 0 -1 1077944320 9336 0 0 0 32 2 0 0 20 0 15 0 408273974 15508242432 10103 33554432000 4194304 4196468 140723752233888 140723752216432 140631849033463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
/proc/24166/statm: 3786192 10103 3270 1 0 3748377 0
[pid=24166/tid=24167] ppid=24164 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (java) R 24164 24164 14254 0 -1 4202560 6586 0 0 0 18 2 0 0 20 0 15 0 408273974 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631853268448 140631833113950 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24168] ppid=24164 vsize=15144768 memory=10592 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631801653648 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24169] ppid=24164 vsize=15144768 memory=140019029110723 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631800600848 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24170] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24170/stat : 24170 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631799548560 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24171] ppid=24164 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24171/stat : 24171 (java) S 24164 24164 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273975 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631798495760 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24172] ppid=24164 vsize=15144768 memory=140019026257536 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24172/stat : 24172 (java) S 24164 24164 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408273977 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631316863600 140631849044610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24173] ppid=24164 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24173/stat : 24173 (java) S 24164 24164 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408273977 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631315809568 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24174] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24174/stat : 24174 (java) S 24164 24164 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408273977 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631314757232 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24175] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24175/stat : 24175 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631313705552 140631849052059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24176] ppid=24164 vsize=15144768 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/24166/task/24176/stat : 24176 (java) S 24164 24164 14254 0 -1 1077944384 454 0 0 0 3 0 0 0 20 0 15 0 408273980 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631312652400 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24177] ppid=24164 vsize=15144768 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/24166/task/24177/stat : 24177 (java) S 24164 24164 14254 0 -1 1077944384 179 0 0 0 1 0 0 0 20 0 15 0 408273980 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631311599600 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24178] ppid=24164 vsize=15144768 memory=140019026257536 CPUtime=0.08 cores=1,3,5,7
/proc/24166/task/24178/stat : 24178 (java) S 24164 24164 14254 0 -1 1077944384 815 0 0 0 8 0 0 0 20 0 15 0 408273980 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631310547312 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24179] ppid=24164 vsize=15144768 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24179/stat : 24179 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631309494752 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24180] ppid=24164 vsize=15144768 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273980 15508242432 10103 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 41860 KiB
[startup+0.310552 s]*
/proc/loadavg: 7.85 8.26 8.34 7/232 24180
/proc/meminfo: memFree=31071064/32770624 swapFree=66920748/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
[pid=24166] ppid=24164 vsize=15149024 memory=49964 CPUtime=0.53 cores=1,3,5,7
/proc/24166/stat : 24166 (java) S 24164 24164 14254 0 -1 1077944320 10865 0 0 0 50 3 0 0 20 0 15 0 408273974 15512600576 12491 33554432000 4194304 4196468 140723752233888 140723752216432 140631849033463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
/proc/24166/statm: 3787256 12491 3370 1 0 3748377 0
[pid=24166/tid=24167] ppid=24164 vsize=15149024 memory=8317482817917895235 CPUtime=0.3 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (java) R 24164 24164 14254 0 -1 4202560 7793 0 0 0 28 2 0 0 20 0 15 0 408273974 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631853264576 140631833113950 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24168] ppid=24164 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631801653648 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24169] ppid=24164 vsize=15149024 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631800600848 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24170] ppid=24164 vsize=15149024 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24170/stat : 24170 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273975 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631799548560 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24171] ppid=24164 vsize=15149024 memory=-4190076264842474805 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24171/stat : 24171 (java) S 24164 24164 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 408273975 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631798495760 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24172] ppid=24164 vsize=15149024 memory=-7233513673208676511 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24172/stat : 24172 (java) S 24164 24164 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 408273977 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631316863600 140631849044610 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24173] ppid=24164 vsize=15149024 memory=6944656425123485561 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24173/stat : 24173 (java) S 24164 24164 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 408273977 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631315809568 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24174] ppid=24164 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24174/stat : 24174 (java) S 24164 24164 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 408273977 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631314757232 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24175] ppid=24164 vsize=15149024 memory=4627853888499060086 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24175/stat : 24175 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273980 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631313705552 140631849052059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24176] ppid=24164 vsize=15149024 memory=7827413994055111515 CPUtime=0.04 cores=1,3,5,7
/proc/24166/task/24176/stat : 24176 (java) S 24164 24164 14254 0 -1 1077944384 482 0 0 0 4 0 0 0 20 0 15 0 408273980 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631312652400 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24177] ppid=24164 vsize=15149024 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/24166/task/24177/stat : 24177 (java) S 24164 24164 14254 0 -1 1077944384 306 0 0 0 4 0 0 0 20 0 15 0 408273980 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631311599600 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24178] ppid=24164 vsize=15149024 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/24166/task/24178/stat : 24178 (java) S 24164 24164 14254 0 -1 1077944384 981 0 0 0 12 0 0 0 20 0 15 0 408273980 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631310547312 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24179] ppid=24164 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24179/stat : 24179 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 408273980 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631309494752 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24180] ppid=24164 vsize=15149024 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 408273980 15512600576 12491 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51412 KiB
[startup+0.700746 s]
/proc/loadavg: 7.85 8.26 8.34 8/232 24180
/proc/meminfo: memFree=31054616/32770624 swapFree=66920748/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
[pid=24166] ppid=24164 vsize=15417404 memory=82484 CPUtime=1.65 cores=1,3,5,7
/proc/24166/stat : 24166 (java) S 24164 24164 14254 0 -1 1077944320 15436 0 0 0 159 6 0 0 20 0 19 0 408273974 15787421696 20621 33554432000 4194304 4196468 140723752233888 140723752216432 140631849033463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
/proc/24166/statm: 3854351 20621 3456 1 0 3815453 0
[pid=24166/tid=24167] ppid=24164 vsize=15417404 memory=-3704326594973231466 CPUtime=0.54 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (java) S 24164 24164 14254 0 -1 1077944384 9106 0 0 0 50 4 0 0 20 0 19 0 408273974 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631853274240 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24168] ppid=24164 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408273975 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631801653648 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24169] ppid=24164 vsize=15417404 memory=0 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408273975 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631800600848 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24170] ppid=24164 vsize=15417404 memory=708 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24170/stat : 24170 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408273975 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631799548560 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24171] ppid=24164 vsize=15417404 memory=9364 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24171/stat : 24171 (java) S 24164 24164 14254 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 408273975 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631798495760 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24172] ppid=24164 vsize=15417404 memory=1120 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24172/stat : 24172 (java) S 24164 24164 14254 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631316863600 140631849044610 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24173] ppid=24164 vsize=15417404 memory=776 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24173/stat : 24173 (java) S 24164 24164 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631315809568 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24174] ppid=24164 vsize=15417404 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24174/stat : 24174 (java) S 24164 24164 14254 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631314757232 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24175] ppid=24164 vsize=15417404 memory=7956 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24175/stat : 24175 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631313705552 140631849052059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24176] ppid=24164 vsize=15417404 memory=3444 CPUtime=0.26 cores=1,3,5,7
/proc/24166/task/24176/stat : 24176 (java) R 24164 24164 14254 0 -1 4202560 1878 0 0 0 26 0 0 0 20 0 19 0 408273980 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631312632872 140631828888058 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24177] ppid=24164 vsize=15417404 memory=1556 CPUtime=0.19 cores=1,3,5,7
/proc/24166/task/24177/stat : 24177 (java) R 24164 24164 14254 0 -1 4202560 803 0 0 0 19 0 0 0 20 0 19 0 408273980 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631311592792 140631842130299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24178] ppid=24164 vsize=15417404 memory=2832 CPUtime=0.37 cores=1,3,5,7
/proc/24166/task/24178/stat : 24178 (java) S 24164 24164 14254 0 -1 1077944384 2136 0 0 0 37 0 0 0 20 0 19 0 408273980 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631310547312 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24179] ppid=24164 vsize=15417404 memory=984 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24179/stat : 24179 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631309494752 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24180] ppid=24164 vsize=15417404 memory=14012 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 20621 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 83932 KiB
[startup+1.50133 s]
/proc/loadavg: 7.85 8.26 8.34 11/236 24184
/proc/meminfo: memFree=30999024/32770624 swapFree=66920748/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 197 0 0 0 0 8 0 0 20 0 19 0 408273980 15787421696 220110 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24181] ppid=24164 vsize=15417404 memory=1760 CPUtime=176.26 cores=1,3,5,7
/proc/24166/task/24181/stat : 24181 (java) R 24164 24164 14254 0 -1 4202560 997 0 0 0 17626 0 0 0 20 0 19 0 408274031 15787421696 220110 33554432000 4194304 4196468 140723752233888 140631299469080 140631478091093 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24182] ppid=24164 vsize=15417404 memory=111632 CPUtime=176.05 cores=1,3,5,7
/proc/24166/task/24182/stat : 24182 (java) R 24164 24164 14254 0 -1 4202560 2340 0 0 0 17601 4 0 0 20 0 19 0 408274031 15787421696 220110 33554432000 4194304 4196468 140723752233888 140631298416896 140631478959546 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24183] ppid=24164 vsize=15417404 memory=804 CPUtime=175.99 cores=1,3,5,7
/proc/24166/task/24183/stat : 24183 (java) R 24164 24164 14254 0 -1 4202560 1028 0 0 0 17598 1 0 0 20 0 19 0 408274031 15787421696 220110 33554432000 4194304 4196468 140723752233888 140631297365112 140631478096402 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24184] ppid=24164 vsize=15417404 memory=1808 CPUtime=176.02 cores=1,3,5,7
/proc/24166/task/24184/stat : 24184 (java) R 24164 24164 14254 0 -1 4202560 6884 0 0 0 17594 8 0 0 20 0 19 0 408274031 15787421696 220110 33554432000 4194304 4196468 140723752233888 140631296313840 140631835101568 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 713.25 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 881888 KiB
[startup+180.401 s]
/proc/loadavg: 8.07 8.15 8.29 9/237 26522
/proc/meminfo: memFree=30056060/32770624 swapFree=66920764/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
[pid=24166] ppid=24164 vsize=15417404 memory=876848 CPUtime=714.8 cores=1,3,5,7
/proc/24166/stat : 24166 (java) S 24164 24164 14254 0 -1 1077944320 54469 0 0 0 71392 88 0 0 20 0 19 0 408273974 15787421696 219212 33554432000 4194304 4196468 140723752233888 140723752216432 140631849033463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
/proc/24166/statm: 3854351 219212 3540 1 0 3815453 0
[pid=24166/tid=24167] ppid=24164 vsize=15417404 memory=111632 CPUtime=0.54 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (java) S 24164 24164 14254 0 -1 1077944384 9106 0 0 0 50 4 0 0 20 0 19 0 408273974 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631853274240 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24168] ppid=24164 vsize=15417404 memory=804 CPUtime=1 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (java) S 24164 24164 14254 0 -1 1077944384 1869 0 0 0 86 14 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631801653648 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24169] ppid=24164 vsize=15417404 memory=1808 CPUtime=1 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (java) S 24164 24164 14254 0 -1 1077944384 2835 0 0 0 87 13 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631800600848 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24170] ppid=24164 vsize=15417404 memory=924 CPUtime=1.02 cores=1,3,5,7
/proc/24166/task/24170/stat : 24170 (java) S 24164 24164 14254 0 -1 1077944384 1956 0 0 0 87 15 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631799548560 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24171] ppid=24164 vsize=15417404 memory=8317482817917895235 CPUtime=1.02 cores=1,3,5,7
/proc/24166/task/24171/stat : 24171 (java) S 24164 24164 14254 0 -1 1077944384 1150 0 0 0 88 14 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631798495760 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24172] ppid=24164 vsize=15417404 memory=3848 CPUtime=0.4 cores=1,3,5,7
/proc/24166/task/24172/stat : 24172 (java) S 24164 24164 14254 0 -1 1077944384 9008 0 0 0 30 10 0 0 20 0 19 0 408273977 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631316863600 140631849044610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24173] ppid=24164 vsize=15417404 memory=3012 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24173/stat : 24173 (java) S 24164 24164 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631315809632 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24174] ppid=24164 vsize=15417404 memory=2676 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24174/stat : 24174 (java) S 24164 24164 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631314757248 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24175] ppid=24164 vsize=15417404 memory=4096 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24175/stat : 24175 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631313705552 140631849052059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24176] ppid=24164 vsize=15417404 memory=1412 CPUtime=1.69 cores=1,3,5,7
/proc/24166/task/24176/stat : 24176 (java) S 24164 24164 14254 0 -1 1077944384 7194 0 0 0 168 1 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631312652400 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24177] ppid=24164 vsize=15417404 memory=3244 CPUtime=1.48 cores=1,3,5,7
/proc/24166/task/24177/stat : 24177 (java) S 24164 24164 14254 0 -1 1077944384 4342 0 0 0 147 1 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631311599600 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24178] ppid=24164 vsize=15417404 memory=6791534058613427641 CPUtime=0.56 cores=1,3,5,7
/proc/24166/task/24178/stat : 24178 (java) S 24164 24164 14254 0 -1 1077944384 4263 0 0 0 55 1 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631310547312 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24179] ppid=24164 vsize=15417404 memory=780048 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24179/stat : 24179 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631309494752 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24180] ppid=24164 vsize=15417404 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 197 0 0 0 0 8 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24181] ppid=24164 vsize=15417404 memory=825208 CPUtime=176.65 cores=1,3,5,7
/proc/24166/task/24181/stat : 24181 (java) R 24164 24164 14254 0 -1 4202560 998 0 0 0 17665 0 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631299469080 140631478088527 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24182] ppid=24164 vsize=15417404 memory=1680 CPUtime=176.43 cores=1,3,5,7
/proc/24166/task/24182/stat : 24182 (java) R 24164 24164 14254 0 -1 4202560 2340 0 0 0 17639 4 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631298420656 140631478089120 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24183] ppid=24164 vsize=15417404 memory=1444 CPUtime=176.38 cores=1,3,5,7
/proc/24166/task/24183/stat : 24183 (java) R 24164 24164 14254 0 -1 4202560 1029 0 0 0 17637 1 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631297364864 140631478091128 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24184] ppid=24164 vsize=15417404 memory=884032 CPUtime=176.4 cores=1,3,5,7
/proc/24166/task/24184/stat : 24184 (java) R 24164 24164 14254 0 -1 4202560 6885 0 0 0 17632 8 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631296314120 140631478713941 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 714.8 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 878296 KiB
[startup+180.801 s]
/proc/loadavg: 8.07 8.15 8.29 9/237 26522
/proc/meminfo: memFree=30056060/32770624 swapFree=66920764/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
[pid=24166] ppid=24164 vsize=15417404 memory=876848 CPUtime=716.39 cores=1,3,5,7
/proc/24166/stat : 24166 (java) S 24164 24164 14254 0 -1 1077944320 54472 0 0 0 71551 88 0 0 20 0 19 0 408273974 15787421696 219212 33554432000 4194304 4196468 140723752233888 140723752216432 140631849033463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
/proc/24166/statm: 3854351 219212 3540 1 0 3815453 0
[pid=24166/tid=24167] ppid=24164 vsize=15417404 memory=68 CPUtime=0.54 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (java) S 24164 24164 14254 0 -1 1077944384 9106 0 0 0 50 4 0 0 20 0 19 0 408273974 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631853274240 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24168] ppid=24164 vsize=15417404 memory=496 CPUtime=1 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (java) S 24164 24164 14254 0 -1 1077944384 1869 0 0 0 86 14 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631801653648 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24169] ppid=24164 vsize=15417404 memory=1120 CPUtime=1 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (java) S 24164 24164 14254 0 -1 1077944384 2835 0 0 0 87 13 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631800600848 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24170] ppid=24164 vsize=15417404 memory=776 CPUtime=1.02 cores=1,3,5,7
/proc/24166/task/24170/stat : 24170 (java) S 24164 24164 14254 0 -1 1077944384 1958 0 0 0 87 15 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631799548560 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24171] ppid=24164 vsize=15417404 memory=1444 CPUtime=1.02 cores=1,3,5,7
/proc/24166/task/24171/stat : 24171 (java) S 24164 24164 14254 0 -1 1077944384 1150 0 0 0 88 14 0 0 20 0 19 0 408273975 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631798495760 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24172] ppid=24164 vsize=15417404 memory=888 CPUtime=0.4 cores=1,3,5,7
/proc/24166/task/24172/stat : 24172 (java) S 24164 24164 14254 0 -1 1077944384 9008 0 0 0 30 10 0 0 20 0 19 0 408273977 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631316863600 140631849044610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24173] ppid=24164 vsize=15417404 memory=1984 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24173/stat : 24173 (java) S 24164 24164 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631315809632 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24174] ppid=24164 vsize=15417404 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24174/stat : 24174 (java) S 24164 24164 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631314757248 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24175] ppid=24164 vsize=15417404 memory=881464 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24175/stat : 24175 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631313705552 140631849052059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24176] ppid=24164 vsize=15417404 memory=708 CPUtime=1.69 cores=1,3,5,7
/proc/24166/task/24176/stat : 24176 (java) S 24164 24164 14254 0 -1 1077944384 7194 0 0 0 168 1 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631312652400 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24177] ppid=24164 vsize=15417404 memory=9364 CPUtime=1.48 cores=1,3,5,7
/proc/24166/task/24177/stat : 24177 (java) S 24164 24164 14254 0 -1 1077944384 4342 0 0 0 147 1 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631311599600 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24178] ppid=24164 vsize=15417404 memory=1120 CPUtime=0.56 cores=1,3,5,7
/proc/24166/task/24178/stat : 24178 (java) S 24164 24164 14254 0 -1 1077944384 4263 0 0 0 55 1 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631310547312 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24179] ppid=24164 vsize=15417404 memory=11323 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24179/stat : 24179 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631309494752 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24180] ppid=24164 vsize=15417404 memory=4351193298335453529 CPUtime=0.09 cores=1,3,5,7
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 197 0 0 0 0 9 0 0 20 0 19 0 408273980 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24181] ppid=24164 vsize=15417404 memory=-6237260532469557610 CPUtime=177.05 cores=1,3,5,7
/proc/24166/task/24181/stat : 24181 (java) R 24164 24164 14254 0 -1 4202560 999 0 0 0 17705 0 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631299468952 140631477631808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24182] ppid=24164 vsize=15417404 memory=7956005031678667109 CPUtime=176.83 cores=1,3,5,7
/proc/24166/task/24182/stat : 24182 (java) R 24164 24164 14254 0 -1 4202560 2340 0 0 0 17679 4 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631298417136 140631479582499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24183] ppid=24164 vsize=15417404 memory=7595440001688102255 CPUtime=176.78 cores=1,3,5,7
/proc/24166/task/24183/stat : 24183 (java) R 24164 24164 14254 0 -1 4202560 1029 0 0 0 17677 1 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631297365112 140631478095259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24184] ppid=24164 vsize=15417404 memory=924 CPUtime=176.79 cores=1,3,5,7
/proc/24166/task/24184/stat : 24184 (java) R 24164 24164 14254 0 -1 4202560 6885 0 0 0 17671 8 0 0 20 0 19 0 408274031 15787421696 219212 33554432000 4194304 4196468 140723752233888 140631296313712 140631478792407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 716.39 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 878296 KiB
[startup+180.901 s]
/proc/loadavg: 8.07 8.15 8.29 9/237 26522
/proc/meminfo: memFree=30056060/32770624 swapFree=66920764/67108860
[pid=24164] ppid=24161 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/24164/stat : 24164 (xcsp3-exec) S 24161 24164 14254 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 408273974 115843072 362 33554432000 4194304 5098028 140733151640832 140733151638936 140380944806524 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 37367808 140733151642490 140733151642733 140733151642733 140733151645642 0
/proc/24164/statm: 28282 362 304 221 0 87 0
[pid=24166] ppid=24164 vsize=15417404 memory=874284 CPUtime=716.76 cores=1,3,5,7
/proc/24166/stat : 24166 (java) S 24164 24164 14254 0 -1 1077944320 54475 0 0 0 71588 88 0 0 20 0 19 0 408273974 15787421696 218571 33554432000 4194304 4196468 140723752233888 140723752216432 140631849033463 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
/proc/24166/statm: 3854351 218571 3540 1 0 3815453 0
[pid=24166/tid=24167] ppid=24164 vsize=15417404 memory=881464 CPUtime=0.54 cores=1,3,5,7
/proc/24166/task/24167/stat : 24167 (java) S 24164 24164 14254 0 -1 1077944384 9106 0 0 0 50 4 0 0 20 0 19 0 408273974 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631853274240 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24168] ppid=24164 vsize=15417404 memory=876848 CPUtime=1 cores=1,3,5,7
/proc/24166/task/24168/stat : 24168 (java) S 24164 24164 14254 0 -1 1077944384 1869 0 0 0 86 14 0 0 20 0 19 0 408273975 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631801653648 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24169] ppid=24164 vsize=15417404 memory=1448 CPUtime=1 cores=1,3,5,7
/proc/24166/task/24169/stat : 24169 (java) S 24164 24164 14254 0 -1 1077944384 2835 0 0 0 87 13 0 0 20 0 19 0 408273975 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631800600848 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24170] ppid=24164 vsize=15417404 memory=1448 CPUtime=1.02 cores=1,3,5,7
/proc/24166/task/24170/stat : 24170 (java) S 24164 24164 14254 0 -1 1077944384 1958 0 0 0 87 15 0 0 20 0 19 0 408273975 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631799548560 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24171] ppid=24164 vsize=15417404 memory=876848 CPUtime=1.02 cores=1,3,5,7
/proc/24166/task/24171/stat : 24171 (java) S 24164 24164 14254 0 -1 1077944384 1152 0 0 0 88 14 0 0 20 0 19 0 408273975 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631798495760 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24172] ppid=24164 vsize=15417404 memory=288230596050944315 CPUtime=0.4 cores=1,3,5,7
/proc/24166/task/24172/stat : 24172 (java) S 24164 24164 14254 0 -1 1077944384 9008 0 0 0 30 10 0 0 20 0 19 0 408273977 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631316863600 140631849044610 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24173] ppid=24164 vsize=15417404 memory=14981065810905736 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24173/stat : 24173 (java) S 24164 24164 14254 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631315809632 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24174] ppid=24164 vsize=15417404 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24174/stat : 24174 (java) S 24164 24164 14254 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 408273977 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631314757248 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24175] ppid=24164 vsize=15417404 memory=3580 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24175/stat : 24175 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631313705552 140631849052059 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24176] ppid=24164 vsize=15417404 memory=3580 CPUtime=1.69 cores=1,3,5,7
/proc/24166/task/24176/stat : 24176 (java) S 24164 24164 14254 0 -1 1077944384 7194 0 0 0 168 1 0 0 20 0 19 0 408273980 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631312652400 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24177] ppid=24164 vsize=15417404 memory=16988 CPUtime=1.48 cores=1,3,5,7
/proc/24166/task/24177/stat : 24177 (java) S 24164 24164 14254 0 -1 1077944384 4342 0 0 0 147 1 0 0 20 0 19 0 408273980 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631311599600 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24178] ppid=24164 vsize=15417404 memory=1448 CPUtime=0.56 cores=1,3,5,7
/proc/24166/task/24178/stat : 24178 (java) S 24164 24164 14254 0 -1 1077944384 4263 0 0 0 55 1 0 0 20 0 19 0 408273980 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631310547312 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24179] ppid=24164 vsize=15417404 memory=897880 CPUtime=0 cores=1,3,5,7
/proc/24166/task/24179/stat : 24179 (java) S 24164 24164 14254 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 408273980 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631309494752 140631849043669 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24180] ppid=24164 vsize=15417404 memory=1448 CPUtime=0.09 cores=1,3,5,7
/proc/24166/task/24180/stat : 24180 (java) S 24164 24164 14254 0 -1 1077944384 197 0 0 0 0 9 0 0 20 0 19 0 408273980 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631308442544 140631849044610 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24181] ppid=24164 vsize=15417404 memory=897880 CPUtime=177.15 cores=1,3,5,7
/proc/24166/task/24181/stat : 24181 (java) R 24164 24164 14254 0 -1 4202560 999 0 0 0 17715 0 0 0 20 0 19 0 408274031 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631299468944 140631477632483 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24182] ppid=24164 vsize=15417404 memory=1448 CPUtime=176.92 cores=1,3,5,7
/proc/24166/task/24182/stat : 24182 (java) R 24164 24164 14254 0 -1 4202560 2340 0 0 0 17688 4 0 0 20 0 19 0 408274031 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631298417912 140631479716011 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24183] ppid=24164 vsize=15417404 memory=1448 CPUtime=176.86 cores=1,3,5,7
/proc/24166/task/24183/stat : 24183 (java) R 24164 24164 14254 0 -1 4202560 1029 0 0 0 17685 1 0 0 20 0 19 0 408274031 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631297364336 140631478089041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
[pid=24166/tid=24184] ppid=24164 vsize=15417404 memory=880440 CPUtime=176.88 cores=1,3,5,7
/proc/24166/task/24184/stat : 24184 (java) R 24164 24164 14254 0 -1 4202560 6886 0 0 0 17680 8 0 0 20 0 19 0 408274031 15787421696 218571 33554432000 4194304 4196468 140723752233888 140631296313712 140631479582133 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21344256 140723752240111 140723752240282 140723752240282 140723752243151 0
Current children cumulated CPU time: 716.76 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 875732 KiB
Child status: 0
Real time (s): 180.937
CPU time (s): 716.862
CPU user time (s): 715.968
CPU system time (s): 0.893202
CPU usage (%): 396.195
Max. virtual memory (cumulated for all children) (KiB): 15530532
Max. memory (cumulated for all children) (KiB): 903460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 715.968
system time used= 0.893202
maximum resident set size= 903524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 55278
page faults= 0
swaps= 0
block input operations= 0
block output operations= 320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14673
involuntary context switches= 12515
# summary of solver processes directly reported to runsolver:
# pid: 24164
# total CPU time (s): 716.862
# total CPU user time (s): 715.968
# total CPU system time (s): 0.893202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.19613 second user time and 2.12193 second system time
The end