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 (15247 MiB free)
memory of node 1: 16384 MiB (14637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399284-1568684618/watcher-4399284-1568684618 -o /tmp/evaluation-result-4399284-1568684618/solver-4399284-1568684618 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568682260-15014 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 624452535 HOME/instance-4399284-1568684618.xml
running on 4 cores: 0,2,4,6
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
Current StackSize limit: 8192 KiB
solver pid=19201, runsolver pid=19198
[startup+0.100161 s]*
/proc/loadavg: 8.95 8.80 8.69 6/234 19217
/proc/meminfo: memFree=30586892/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
[pid=19203] ppid=19201 vsize=15144776 memory=28912 CPUtime=0.11 cores=0,2,4,6
/proc/19203/stat : 19203 (java) S 19201 19201 14983 0 -1 1077944320 5683 0 0 0 10 1 0 0 20 0 15 0 444714856 15508250624 7228 33554432000 4194304 4196468 140721983123040 140721983105584 139690665631479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
/proc/19203/statm: 3786194 7228 3116 1 0 3748377 0
[pid=19203/tid=19204] ppid=19201 vsize=15144776 memory=7100839870104831090 CPUtime=0.08 cores=0,2,4,6
/proc/19203/task/19204/stat : 19204 (java) R 19201 19201 14983 0 -1 4202560 3615 0 0 0 7 1 0 0 20 0 15 0 444714856 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690669864752 139690665652826 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19205] ppid=19201 vsize=15144776 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19205/stat : 19205 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690593671952 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19206] ppid=19201 vsize=15144776 memory=140380260640384 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19206/stat : 19206 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690592619408 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19207] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19207/stat : 19207 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690591566864 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19208] ppid=19201 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19208/stat : 19208 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690254920848 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19209] ppid=19201 vsize=15144776 memory=140380260640384 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19209/stat : 19209 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444714858 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690201458672 139690665642626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19210] ppid=19201 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19210/stat : 19210 (java) S 19201 19201 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444714859 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690200404896 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19211] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19211/stat : 19211 (java) S 19201 19201 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444714859 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690199352304 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19212] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19212/stat : 19212 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444714861 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690198300880 139690665650075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19213] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19213/stat : 19213 (java) S 19201 19201 14983 0 -1 1077944384 294 0 0 0 0 0 0 0 20 0 15 0 444714861 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690197248496 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19214] ppid=19201 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19214/stat : 19214 (java) S 19201 19201 14983 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 15 0 444714861 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690196195952 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19215] ppid=19201 vsize=15144776 memory=140380260640384 CPUtime=0.01 cores=0,2,4,6
/proc/19203/task/19215/stat : 19215 (java) R 19201 19201 14983 0 -1 4202560 346 0 0 0 1 0 0 0 20 0 15 0 444714861 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690195143408 139690644289017 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19216] ppid=19201 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19216/stat : 19216 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444714861 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690194091104 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19217] ppid=19201 vsize=15144776 memory=140380260640384 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19217/stat : 19217 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714863 15508250624 7228 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30364 KiB
[startup+0.212305 s]*
/proc/loadavg: 8.95 8.80 8.69 7/234 19217
/proc/meminfo: memFree=30571372/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
[pid=19203] ppid=19201 vsize=15144776 memory=40748 CPUtime=0.33 cores=0,2,4,6
/proc/19203/stat : 19203 (java) S 19201 19201 14983 0 -1 1077944320 9424 0 0 0 30 3 0 0 20 0 15 0 444714856 15508250624 10187 33554432000 4194304 4196468 140721983123040 140721983105584 139690665631479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
/proc/19203/statm: 3786194 10187 3279 1 0 3748377 0
[pid=19203/tid=19204] ppid=19201 vsize=15144776 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/19203/task/19204/stat : 19204 (java) R 19201 19201 14983 0 -1 4202560 6611 0 0 0 17 2 0 0 20 0 15 0 444714856 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690669863376 139690649711966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19205] ppid=19201 vsize=15144776 memory=9100 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19205/stat : 19205 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690593671952 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19206] ppid=19201 vsize=15144776 memory=140380264191627 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19206/stat : 19206 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690592619408 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19207] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19207/stat : 19207 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690591566864 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19208] ppid=19201 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19208/stat : 19208 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714857 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690254920848 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19209] ppid=19201 vsize=15144776 memory=140380260640384 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19209/stat : 19209 (java) S 19201 19201 14983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 444714858 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690201458672 139690665642626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19210] ppid=19201 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19210/stat : 19210 (java) S 19201 19201 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444714859 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690200404896 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19211] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19211/stat : 19211 (java) S 19201 19201 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444714859 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690199352304 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19212] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19212/stat : 19212 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444714861 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690198300880 139690665650075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19213] ppid=19201 vsize=15144776 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19203/task/19213/stat : 19213 (java) R 19201 19201 14983 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 444714861 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690197248496 139690650028162 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19214] ppid=19201 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/19203/task/19214/stat : 19214 (java) R 19201 19201 14983 0 -1 1077944384 430 0 0 0 3 0 0 0 20 0 15 0 444714861 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690196195952 139690665642626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19215] ppid=19201 vsize=15144776 memory=140380260640384 CPUtime=0.07 cores=0,2,4,6
/proc/19203/task/19215/stat : 19215 (java) R 19201 19201 14983 0 -1 4202560 750 0 0 0 7 0 0 0 20 0 15 0 444714861 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690195138176 139690644640016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19216] ppid=19201 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19216/stat : 19216 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444714861 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690194091104 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19217] ppid=19201 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19217/stat : 19217 (java) R 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714863 15508250624 10187 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42200 KiB
[startup+0.310591 s]*
/proc/loadavg: 8.95 8.80 8.69 8/234 19217
/proc/meminfo: memFree=30565148/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
[pid=19203] ppid=19201 vsize=15149032 memory=49248 CPUtime=0.51 cores=0,2,4,6
/proc/19203/stat : 19203 (java) S 19201 19201 14983 0 -1 1077944320 10662 0 0 0 47 4 0 0 20 0 15 0 444714856 15512608768 12312 33554432000 4194304 4196468 140721983123040 140721983105584 139690665631479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
/proc/19203/statm: 3787258 12312 3327 1 0 3748377 0
[pid=19203/tid=19204] ppid=19201 vsize=15149032 memory=7883960649037381690 CPUtime=0.29 cores=0,2,4,6
/proc/19203/task/19204/stat : 19204 (java) R 19201 19201 14983 0 -1 4202560 7675 0 0 0 26 3 0 0 20 0 15 0 444714856 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690669862592 139690649711966 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19205] ppid=19201 vsize=15149032 memory=9461 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19205/stat : 19205 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444714857 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690593671952 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19206] ppid=19201 vsize=15149032 memory=3276335 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19206/stat : 19206 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 444714857 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690592619408 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19207] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19207/stat : 19207 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714857 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690591566864 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19208] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19208/stat : 19208 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714857 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690254920848 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19209] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19209/stat : 19209 (java) S 19201 19201 14983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 444714858 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690201458672 139690665642626 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19210] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19210/stat : 19210 (java) S 19201 19201 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 444714859 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690200404896 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19211] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19211/stat : 19211 (java) S 19201 19201 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 444714859 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690199352304 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19212] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19212/stat : 19212 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444714861 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690198300880 139690665650075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19213] ppid=19201 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19203/task/19213/stat : 19213 (java) R 19201 19201 14983 0 -1 1077944384 370 0 0 0 3 0 0 0 20 0 15 0 444714861 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690197248496 139690665642626 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19214] ppid=19201 vsize=15149032 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/19203/task/19214/stat : 19214 (java) R 19201 19201 14983 0 -1 4202560 450 0 0 0 4 0 0 0 20 0 15 0 444714861 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690196186336 139690646331776 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19215] ppid=19201 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19203/task/19215/stat : 19215 (java) R 19201 19201 14983 0 -1 4202560 866 0 0 0 12 0 0 0 20 0 15 0 444714861 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690195143408 139690645851504 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19216] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19216/stat : 19216 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 444714861 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690194091104 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19217] ppid=19201 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19217/stat : 19217 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 444714863 15512608768 12312 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50700 KiB
[startup+0.701373 s]
/proc/loadavg: 8.95 8.80 8.69 7/234 19217
/proc/meminfo: memFree=30554156/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
[pid=19203] ppid=19201 vsize=15417412 memory=83400 CPUtime=1.55 cores=0,2,4,6
/proc/19203/stat : 19203 (java) S 19201 19201 14983 0 -1 1077944320 14572 0 0 0 149 6 0 0 20 0 19 0 444714856 15787429888 20850 33554432000 4194304 4196468 140721983123040 140721983105584 139690665631479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
/proc/19203/statm: 3854353 20850 3450 1 0 3815453 0
[pid=19203/tid=19204] ppid=19201 vsize=15417412 memory=0 CPUtime=0.64 cores=0,2,4,6
/proc/19203/task/19204/stat : 19204 (java) S 19201 19201 14983 0 -1 1077944384 9338 0 0 0 60 4 0 0 20 0 19 0 444714856 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690669872256 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19205] ppid=19201 vsize=15417412 memory=500 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19205/stat : 19205 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444714857 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690593671952 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19206] ppid=19201 vsize=15417412 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19206/stat : 19206 (java) S 19201 19201 14983 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 444714857 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690592619408 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19207] ppid=19201 vsize=15417412 memory=932 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19207/stat : 19207 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444714857 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690591566864 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19208] ppid=19201 vsize=15417412 memory=3768 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19208/stat : 19208 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444714857 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690254920848 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19209] ppid=19201 vsize=15417412 memory=1980 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19209/stat : 19209 (java) S 19201 19201 14983 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 444714858 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690201458672 139690665642626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19210] ppid=19201 vsize=15417412 memory=2512 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19210/stat : 19210 (java) S 19201 19201 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444714859 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690200404896 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19211] ppid=19201 vsize=15417412 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19211/stat : 19211 (java) S 19201 19201 14983 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 444714859 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690199352304 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19212] ppid=19201 vsize=15417412 memory=812 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19212/stat : 19212 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690198300880 139690665650075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19213] ppid=19201 vsize=15417412 memory=1764 CPUtime=0.19 cores=0,2,4,6
/proc/19203/task/19213/stat : 19213 (java) R 19201 19201 14983 0 -1 4202560 913 0 0 0 19 0 0 0 20 0 19 0 444714861 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690197248496 139690650426654 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19214] ppid=19201 vsize=15417412 memory=111628 CPUtime=0.23 cores=0,2,4,6
/proc/19203/task/19214/stat : 19214 (java) S 19201 19201 14983 0 -1 1077944384 1008 0 0 0 23 0 0 0 20 0 19 0 444714861 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690196195952 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19215] ppid=19201 vsize=15417412 memory=796 CPUtime=0.41 cores=0,2,4,6
/proc/19203/task/19215/stat : 19215 (java) R 19201 19201 14983 0 -1 4202560 1811 0 0 0 41 0 0 0 20 0 19 0 444714861 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690195140664 139690644556332 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19216] ppid=19201 vsize=15417412 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19216/stat : 19216 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690194091104 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19217] ppid=19201 vsize=15417412 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19217/stat : 19217 (java) S 19201 19201 14983 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 444714863 15787429888 20850 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 1.55 s
Current children cumulated vsize: 15530540 KiB
Current children cumulated memory: 84852 KiB
[startup+1.5013 s]
/proc/loadavg: 8.95 8.81 8.69 11/238 19273
/proc/meminfo: memFree=30437284/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/19203/task/19217/stat : 19217 (java) S 19201 19201 14983 0 -1 1077944384 924 0 0 0 0 4 0 0 20 0 19 0 444714863 15926902784 231239 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19318] ppid=19201 vsize=15553616 memory=-3622645143214314312 CPUtime=87.11 cores=0,2,4,6
/proc/19203/task/19318/stat : 19318 (java) R 19201 19201 14983 0 -1 4202560 1226 0 0 0 8710 1 0 0 20 0 19 0 444721391 15926902784 231239 33554432000 4194304 4196468 140721983123040 139690114963232 139690277030937 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19319] ppid=19201 vsize=15553616 memory=925460 CPUtime=86.97 cores=0,2,4,6
/proc/19203/task/19319/stat : 19319 (java) R 19201 19201 14983 0 -1 4202560 8429 0 0 0 8694 3 0 0 20 0 19 0 444721391 15926902784 231239 33554432000 4194304 4196468 140721983123040 139690111804056 139690277834085 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19320] ppid=19201 vsize=15553616 memory=1452 CPUtime=86.99 cores=0,2,4,6
/proc/19203/task/19320/stat : 19320 (java) R 19201 19201 14983 0 -1 4202560 4334 0 0 0 8698 1 0 0 20 0 19 0 444721391 15926902784 231239 33554432000 4194304 4196468 140721983123040 139690110751024 139690276072287 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19321] ppid=19201 vsize=15553616 memory=925460 CPUtime=86.91 cores=0,2,4,6
/proc/19203/task/19321/stat : 19321 (java) R 19201 19201 14983 0 -1 4202560 18165 0 0 0 8687 4 0 0 20 0 19 0 444721391 15926902784 231239 33554432000 4194304 4196468 140721983123040 139690109697800 139690276575012 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 607.37 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 926408 KiB
[startup+155.201 s]
/proc/loadavg: 9.05 8.83 8.71 8/237 19328
/proc/meminfo: memFree=28478036/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
[pid=19203] ppid=19201 vsize=15553616 memory=924568 CPUtime=613.68 cores=0,2,4,6
/proc/19203/stat : 19203 (java) S 19201 19201 14983 0 -1 1077944320 106515 0 0 0 61318 50 0 0 20 0 19 0 444714856 15926902784 231142 33554432000 4194304 4196468 140721983123040 140721983105584 139690665631479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
/proc/19203/statm: 3888404 231142 3543 1 0 3849504 0
[pid=19203/tid=19204] ppid=19201 vsize=15553616 memory=2828 CPUtime=0.66 cores=0,2,4,6
/proc/19203/task/19204/stat : 19204 (java) S 19201 19201 14983 0 -1 1077944384 9663 0 0 0 61 5 0 0 20 0 19 0 444714856 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690669872256 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19205] ppid=19201 vsize=15553616 memory=676 CPUtime=0.6 cores=0,2,4,6
/proc/19203/task/19205/stat : 19205 (java) S 19201 19201 14983 0 -1 1077944384 3567 0 0 0 54 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690593671952 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19206] ppid=19201 vsize=15553616 memory=1060 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19206/stat : 19206 (java) S 19201 19201 14983 0 -1 1077944384 4545 0 0 0 55 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690592619408 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19207] ppid=19201 vsize=15553616 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/19203/task/19207/stat : 19207 (java) S 19201 19201 14983 0 -1 1077944384 2388 0 0 0 55 5 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690591566864 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19208] ppid=19201 vsize=15553616 memory=924568 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19208/stat : 19208 (java) S 19201 19201 14983 0 -1 1077944384 1846 0 0 0 55 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690254920848 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19209] ppid=19201 vsize=15553616 memory=52 CPUtime=0.3 cores=0,2,4,6
/proc/19203/task/19209/stat : 19209 (java) S 19201 19201 14983 0 -1 1077944384 7627 0 0 0 26 4 0 0 20 0 19 0 444714858 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690201458672 139690665642626 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19210] ppid=19201 vsize=15553616 memory=924956 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19210/stat : 19210 (java) S 19201 19201 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444714859 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690200404960 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19211] ppid=19201 vsize=15553616 memory=8560 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19211/stat : 19211 (java) S 19201 19201 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444714859 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690199352320 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19212] ppid=19201 vsize=15553616 memory=1668 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19212/stat : 19212 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690198300880 139690665650075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19213] ppid=19201 vsize=15553616 memory=1112 CPUtime=2.14 cores=0,2,4,6
/proc/19203/task/19213/stat : 19213 (java) S 19201 19201 14983 0 -1 1077944384 13238 0 0 0 213 1 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690197248496 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19214] ppid=19201 vsize=15553616 memory=1004 CPUtime=2.04 cores=0,2,4,6
/proc/19203/task/19214/stat : 19214 (java) S 19201 19201 14983 0 -1 1077944384 10983 0 0 0 203 1 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690196195952 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19215] ppid=19201 vsize=15553616 memory=6036 CPUtime=0.7 cores=0,2,4,6
/proc/19203/task/19215/stat : 19215 (java) S 19201 19201 14983 0 -1 1077944384 6109 0 0 0 70 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690195143408 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19216] ppid=19201 vsize=15553616 memory=48028 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19216/stat : 19216 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690194091104 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19217] ppid=19201 vsize=15553616 memory=3028 CPUtime=0.04 cores=0,2,4,6
/proc/19203/task/19217/stat : 19217 (java) S 19201 19201 14983 0 -1 1077944384 924 0 0 0 0 4 0 0 20 0 19 0 444714863 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19318] ppid=19201 vsize=15553616 memory=2012 CPUtime=88.69 cores=0,2,4,6
/proc/19203/task/19318/stat : 19318 (java) R 19201 19201 14983 0 -1 4202560 1229 0 0 0 8868 1 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690114961080 139690276577890 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19319] ppid=19201 vsize=15553616 memory=1388 CPUtime=88.53 cores=0,2,4,6
/proc/19203/task/19319/stat : 19319 (java) R 19201 19201 14983 0 -1 4202560 8429 0 0 0 8850 3 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690111803792 139690278708016 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19320] ppid=19201 vsize=15553616 memory=776 CPUtime=88.56 cores=0,2,4,6
/proc/19203/task/19320/stat : 19320 (java) R 19201 19201 14983 0 -1 4202560 4335 0 0 0 8855 1 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690110753344 139690279659689 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19321] ppid=19201 vsize=15553616 memory=1452 CPUtime=88.48 cores=0,2,4,6
/proc/19203/task/19321/stat : 19321 (java) R 19201 19201 14983 0 -1 4202560 18166 0 0 0 8844 4 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690109697800 139690277030298 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 613.68 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 926020 KiB
[startup+155.601 s]
/proc/loadavg: 9.05 8.83 8.71 8/237 19328
/proc/meminfo: memFree=28478036/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
[pid=19203] ppid=19201 vsize=15553616 memory=924568 CPUtime=615.28 cores=0,2,4,6
/proc/19203/stat : 19203 (java) S 19201 19201 14983 0 -1 1077944320 106517 0 0 0 61478 50 0 0 20 0 19 0 444714856 15926902784 231142 33554432000 4194304 4196468 140721983123040 140721983105584 139690665631479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
/proc/19203/statm: 3888404 231142 3543 1 0 3849504 0
[pid=19203/tid=19204] ppid=19201 vsize=15553616 memory=812 CPUtime=0.66 cores=0,2,4,6
/proc/19203/task/19204/stat : 19204 (java) S 19201 19201 14983 0 -1 1077944384 9663 0 0 0 61 5 0 0 20 0 19 0 444714856 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690669872256 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19205] ppid=19201 vsize=15553616 memory=6791534058613427641 CPUtime=0.6 cores=0,2,4,6
/proc/19203/task/19205/stat : 19205 (java) S 19201 19201 14983 0 -1 1077944384 3567 0 0 0 54 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690593671952 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19206] ppid=19201 vsize=15553616 memory=48028 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19206/stat : 19206 (java) S 19201 19201 14983 0 -1 1077944384 4546 0 0 0 55 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690592619408 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19207] ppid=19201 vsize=15553616 memory=3028 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19207/stat : 19207 (java) S 19201 19201 14983 0 -1 1077944384 2388 0 0 0 56 5 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690591566864 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19208] ppid=19201 vsize=15553616 memory=2012 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19208/stat : 19208 (java) S 19201 19201 14983 0 -1 1077944384 1846 0 0 0 55 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690254920848 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19209] ppid=19201 vsize=15553616 memory=1388 CPUtime=0.3 cores=0,2,4,6
/proc/19203/task/19209/stat : 19209 (java) S 19201 19201 14983 0 -1 1077944384 7627 0 0 0 26 4 0 0 20 0 19 0 444714858 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690201458672 139690665642626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19210] ppid=19201 vsize=15553616 memory=924956 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19210/stat : 19210 (java) S 19201 19201 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444714859 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690200404960 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19211] ppid=19201 vsize=15553616 memory=1756 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19211/stat : 19211 (java) S 19201 19201 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444714859 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690199352320 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19212] ppid=19201 vsize=15553616 memory=8317482817917895235 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19212/stat : 19212 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690198300880 139690665650075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19213] ppid=19201 vsize=15553616 memory=4126316290023845779 CPUtime=2.14 cores=0,2,4,6
/proc/19203/task/19213/stat : 19213 (java) S 19201 19201 14983 0 -1 1077944384 13238 0 0 0 213 1 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690197248496 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19214] ppid=19201 vsize=15553616 memory=562316 CPUtime=2.04 cores=0,2,4,6
/proc/19203/task/19214/stat : 19214 (java) S 19201 19201 14983 0 -1 1077944384 10983 0 0 0 203 1 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690196195952 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19215] ppid=19201 vsize=15553616 memory=776 CPUtime=0.7 cores=0,2,4,6
/proc/19203/task/19215/stat : 19215 (java) S 19201 19201 14983 0 -1 1077944384 6109 0 0 0 70 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690195143408 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19216] ppid=19201 vsize=15553616 memory=3992 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19216/stat : 19216 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690194091104 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19217] ppid=19201 vsize=15553616 memory=2828 CPUtime=0.04 cores=0,2,4,6
/proc/19203/task/19217/stat : 19217 (java) S 19201 19201 14983 0 -1 1077944384 924 0 0 0 0 4 0 0 20 0 19 0 444714863 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19318] ppid=19201 vsize=15553616 memory=-3622645143214314312 CPUtime=89.09 cores=0,2,4,6
/proc/19203/task/19318/stat : 19318 (java) R 19201 19201 14983 0 -1 4202560 1230 0 0 0 8908 1 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690114961080 139690276576067 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19319] ppid=19201 vsize=15553616 memory=1412 CPUtime=88.93 cores=0,2,4,6
/proc/19203/task/19319/stat : 19319 (java) R 19201 19201 14983 0 -1 4202560 8429 0 0 0 8890 3 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690111803592 139690278458632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19320] ppid=19201 vsize=15553616 memory=3388 CPUtime=88.95 cores=0,2,4,6
/proc/19203/task/19320/stat : 19320 (java) R 19201 19201 14983 0 -1 4202560 4335 0 0 0 8894 1 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690110750304 139690272460703 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19321] ppid=19201 vsize=15553616 memory=1452 CPUtime=88.88 cores=0,2,4,6
/proc/19203/task/19321/stat : 19321 (java) R 19201 19201 14983 0 -1 4202560 18166 0 0 0 8884 4 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690109700512 139690276863472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 615.28 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 926020 KiB
[startup+155.801 s]
/proc/loadavg: 9.05 8.83 8.71 8/237 19328
/proc/meminfo: memFree=28478036/32770624 swapFree=66997372/67108860
[pid=19201] ppid=19198 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/19201/stat : 19201 (xcsp3-exec) S 19198 19201 14983 0 -1 4202496 544 0 0 0 0 0 0 0 20 0 1 0 444714855 115843072 363 33554432000 4194304 5098028 140720557648048 140720557646152 140211617866364 0 65536 4100 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 37400576 140720557650811 140720557651053 140720557651053 140720557653962 0
/proc/19201/statm: 28282 363 304 221 0 87 0
[pid=19203] ppid=19201 vsize=15553616 memory=924568 CPUtime=616.08 cores=0,2,4,6
/proc/19203/stat : 19203 (java) S 19201 19201 14983 0 -1 1077944320 106517 0 0 0 61558 50 0 0 20 0 19 0 444714856 15926902784 231142 33554432000 4194304 4196468 140721983123040 140721983105584 139690665631479 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
/proc/19203/statm: 3888404 231142 3543 1 0 3849504 0
[pid=19203/tid=19204] ppid=19201 vsize=15553616 memory=3272 CPUtime=0.66 cores=0,2,4,6
/proc/19203/task/19204/stat : 19204 (java) S 19201 19201 14983 0 -1 1077944384 9663 0 0 0 61 5 0 0 20 0 19 0 444714856 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690669872256 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19205] ppid=19201 vsize=15553616 memory=1452 CPUtime=0.6 cores=0,2,4,6
/proc/19203/task/19205/stat : 19205 (java) S 19201 19201 14983 0 -1 1077944384 3567 0 0 0 54 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690593671952 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19206] ppid=19201 vsize=15553616 memory=1764 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19206/stat : 19206 (java) S 19201 19201 14983 0 -1 1077944384 4546 0 0 0 55 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690592619408 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19207] ppid=19201 vsize=15553616 memory=111628 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19207/stat : 19207 (java) S 19201 19201 14983 0 -1 1077944384 2388 0 0 0 56 5 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690591566864 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19208] ppid=19201 vsize=15553616 memory=796 CPUtime=0.61 cores=0,2,4,6
/proc/19203/task/19208/stat : 19208 (java) S 19201 19201 14983 0 -1 1077944384 1846 0 0 0 55 6 0 0 20 0 19 0 444714857 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690254920848 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19209] ppid=19201 vsize=15553616 memory=4096 CPUtime=0.3 cores=0,2,4,6
/proc/19203/task/19209/stat : 19209 (java) S 19201 19201 14983 0 -1 1077944384 7627 0 0 0 26 4 0 0 20 0 19 0 444714858 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690201458672 139690665642626 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19210] ppid=19201 vsize=15553616 memory=1808 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19210/stat : 19210 (java) S 19201 19201 14983 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 444714859 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690200404960 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19211] ppid=19201 vsize=15553616 memory=920 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19211/stat : 19211 (java) S 19201 19201 14983 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 444714859 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690199352320 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19212] ppid=19201 vsize=15553616 memory=3844 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19212/stat : 19212 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690198300880 139690665650075 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19213] ppid=19201 vsize=15553616 memory=2680 CPUtime=2.14 cores=0,2,4,6
/proc/19203/task/19213/stat : 19213 (java) S 19201 19201 14983 0 -1 1077944384 13238 0 0 0 213 1 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690197248496 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19214] ppid=19201 vsize=15553616 memory=33 CPUtime=2.04 cores=0,2,4,6
/proc/19203/task/19214/stat : 19214 (java) S 19201 19201 14983 0 -1 1077944384 10983 0 0 0 203 1 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690196195952 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 10 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19215] ppid=19201 vsize=15553616 memory=6944652177228980320 CPUtime=0.7 cores=0,2,4,6
/proc/19203/task/19215/stat : 19215 (java) S 19201 19201 14983 0 -1 1077944384 6109 0 0 0 70 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690195143408 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19216] ppid=19201 vsize=15553616 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19203/task/19216/stat : 19216 (java) S 19201 19201 14983 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 444714861 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690194091104 139690665641685 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19217] ppid=19201 vsize=15553616 memory=6944652177228980320 CPUtime=0.04 cores=0,2,4,6
/proc/19203/task/19217/stat : 19217 (java) S 19201 19201 14983 0 -1 1077944384 924 0 0 0 0 4 0 0 20 0 19 0 444714863 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690193037616 139690665642626 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 23 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19318] ppid=19201 vsize=15553616 memory=280760267309296 CPUtime=89.29 cores=0,2,4,6
/proc/19203/task/19318/stat : 19318 (java) R 19201 19201 14983 0 -1 4202560 1230 0 0 0 8928 1 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690114961080 139690276576455 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19319] ppid=19201 vsize=15553616 memory=280760267309296 CPUtime=89.13 cores=0,2,4,6
/proc/19203/task/19319/stat : 19319 (java) R 19201 19201 14983 0 -1 4202560 8429 0 0 0 8910 3 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690111803592 139690277652864 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19320] ppid=19201 vsize=15553616 memory=280760267309296 CPUtime=89.15 cores=0,2,4,6
/proc/19203/task/19320/stat : 19320 (java) R 19201 19201 14983 0 -1 4202560 4335 0 0 0 8914 1 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690110750304 139690276939486 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
[pid=19203/tid=19321] ppid=19201 vsize=15553616 memory=280760267309296 CPUtime=89.08 cores=0,2,4,6
/proc/19203/task/19321/stat : 19321 (java) R 19201 19201 14983 0 -1 4202560 18166 0 0 0 8904 4 0 0 20 0 19 0 444721391 15926902784 231142 33554432000 4194304 4196468 140721983123040 139690109700512 139690277279214 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15101952 140721983124463 140721983124634 140721983124634 140721983127503 0
Current children cumulated CPU time: 616.08 s
Current children cumulated vsize: 15666744 KiB
Current children cumulated memory: 926020 KiB
Child status: 0
Real time (s): 155.896
CPU time (s): 616.378
CPU user time (s): 615.857
CPU system time (s): 0.521474
CPU usage (%): 395.378
Max. virtual memory (cumulated for all children) (KiB): 15666744
Max. memory (cumulated for all children) (KiB): 1022128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 615.857
system time used= 0.521474
maximum resident set size= 1059216
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107343
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17214
involuntary context switches= 13229
# summary of solver processes directly reported to runsolver:
# pid: 19201
# total CPU time (s): 616.378
# total CPU user time (s): 615.857
# total CPU system time (s): 0.521474
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.995377 second user time and 1.79267 second system time
The end