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 (7053 MiB free)
memory of node 1: 16384 MiB (5215 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4404029-1568992524/watcher-4404029-1568992524 -o /tmp/evaluation-result-4404029-1568992524/solver-4404029-1568992524 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568990731-2770 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 1554853312 HOME/instance-4404029-1568992524.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=6444, runsolver pid=6441
Current StackSize limit: 8192 KiB
[startup+0.103401 s]*
/proc/loadavg: 6.84 7.81 7.20 6/234 6460
/proc/meminfo: memFree=12544508/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
[pid=6446] ppid=6444 vsize=15144776 memory=29088 CPUtime=0.14 cores=0,2,4,6
/proc/6446/stat : 6446 (java) S 6444 6444 2739 0 -1 1077944320 5732 0 0 0 13 1 0 0 20 0 15 0 475413973 15508250624 7272 33554432000 4194304 4196468 140729196079840 140729196062384 139773828865783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
/proc/6446/statm: 3786194 7272 3137 1 0 3748377 0
[pid=6446/tid=6447] ppid=6444 vsize=15144776 memory=576460756329955459 CPUtime=0.09 cores=0,2,4,6
/proc/6446/task/6447/stat : 6447 (java) R 6444 6444 2739 0 -1 4202560 3601 0 0 0 9 0 0 0 20 0 15 0 475413973 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773833095376 139773821102910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6448] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6448/stat : 6448 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773740521872 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6449] ppid=6444 vsize=15144776 memory=140370285974479 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6449/stat : 6449 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773739469072 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6450] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6450/stat : 6450 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773419186832 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6451] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6451/stat : 6451 (java) S 6444 6444 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773418134032 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6452] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6452/stat : 6452 (java) S 6444 6444 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475413975 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773297039984 139773828876930 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6453] ppid=6444 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6453/stat : 6453 (java) S 6444 6444 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475413975 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773295985952 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6454] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6454/stat : 6454 (java) S 6444 6444 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475413976 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773294933616 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6455] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6455/stat : 6455 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773293881936 139773828884379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6456] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6456/stat : 6456 (java) R 6444 6444 2739 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 475413978 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773292828784 139773828876930 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6457] ppid=6444 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6457/stat : 6457 (java) R 6444 6444 2739 0 -1 4202560 49 0 0 0 0 0 0 0 20 0 15 0 475413978 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773291776080 139773814528512 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6458] ppid=6444 vsize=15144776 memory=140370282698368 CPUtime=0.02 cores=0,2,4,6
/proc/6446/task/6458/stat : 6458 (java) S 6444 6444 2739 0 -1 1077944384 351 0 0 0 2 0 0 0 20 0 15 0 475413978 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773290723696 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6459] ppid=6444 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6459/stat : 6459 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773289671136 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6460] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413979 15508250624 7272 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 30536 KiB
[startup+0.211058 s]*
/proc/loadavg: 6.84 7.81 7.20 6/234 6460
/proc/meminfo: memFree=12531604/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
[pid=6446] ppid=6444 vsize=15144776 memory=40204 CPUtime=0.34 cores=0,2,4,6
/proc/6446/stat : 6446 (java) S 6444 6444 2739 0 -1 1077944320 9293 0 0 0 31 3 0 0 20 0 15 0 475413973 15508250624 10051 33554432000 4194304 4196468 140729196079840 140729196062384 139773828865783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
/proc/6446/statm: 3786194 10051 3293 1 0 3748377 0
[pid=6446/tid=6447] ppid=6444 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/6446/task/6447/stat : 6447 (java) R 6444 6444 2739 0 -1 4202560 6559 0 0 0 18 2 0 0 20 0 15 0 475413973 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773833099904 139773808821739 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6448] ppid=6444 vsize=15144776 memory=14645 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6448/stat : 6448 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773740521872 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6449] ppid=6444 vsize=15144776 memory=3834453196040459936 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6449/stat : 6449 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773739469072 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6450] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6450/stat : 6450 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773419186832 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6451] ppid=6444 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6451/stat : 6451 (java) S 6444 6444 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475413974 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773418134032 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6452] ppid=6444 vsize=15144776 memory=140370282698368 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6452/stat : 6452 (java) S 6444 6444 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475413975 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773297039984 139773828876930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6453] ppid=6444 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6453/stat : 6453 (java) S 6444 6444 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475413975 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773295985952 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6454] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6454/stat : 6454 (java) S 6444 6444 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475413976 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773294933616 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6455] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6455/stat : 6455 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773293881936 139773828884379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6456] ppid=6444 vsize=15144776 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/6446/task/6456/stat : 6456 (java) R 6444 6444 2739 0 -1 1077944384 501 0 0 0 1 0 0 0 20 0 15 0 475413978 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773292828784 139773828876930 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6457] ppid=6444 vsize=15144776 memory=-1 CPUtime=0.03 cores=0,2,4,6
/proc/6446/task/6457/stat : 6457 (java) S 6444 6444 2739 0 -1 1077944384 151 0 0 0 3 0 0 0 20 0 15 0 475413978 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773291775984 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6458] ppid=6444 vsize=15144776 memory=140370282698368 CPUtime=0.08 cores=0,2,4,6
/proc/6446/task/6458/stat : 6458 (java) R 6444 6444 2739 0 -1 4202560 778 0 0 0 8 0 0 0 20 0 15 0 475413978 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773290723696 139773813179297 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6459] ppid=6444 vsize=15144776 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6459/stat : 6459 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773289671136 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6460] ppid=6444 vsize=15144776 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413979 15508250624 10051 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41652 KiB
[startup+0.310951 s]*
/proc/loadavg: 6.84 7.81 7.20 6/234 6460
/proc/meminfo: memFree=12524456/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
[pid=6446] ppid=6444 vsize=15149032 memory=49140 CPUtime=0.51 cores=0,2,4,6
/proc/6446/stat : 6446 (java) S 6444 6444 2739 0 -1 1077944320 10667 0 0 0 48 3 0 0 20 0 15 0 475413973 15512608768 12285 33554432000 4194304 4196468 140729196079840 140729196062384 139773828865783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
/proc/6446/statm: 3787258 12285 3327 1 0 3748377 0
[pid=6446/tid=6447] ppid=6444 vsize=15149032 memory=1398722017469774279 CPUtime=0.3 cores=0,2,4,6
/proc/6446/task/6447/stat : 6447 (java) R 6444 6444 2739 0 -1 4202560 7718 0 0 0 27 3 0 0 20 0 15 0 475413973 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773833099568 139773812946270 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6448] ppid=6444 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6448/stat : 6448 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773740521872 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6449] ppid=6444 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6449/stat : 6449 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773739469072 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6450] ppid=6444 vsize=15149032 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6450/stat : 6450 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773419186832 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6451] ppid=6444 vsize=15149032 memory=-5587046532246807594 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6451/stat : 6451 (java) S 6444 6444 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475413974 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773418134032 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6452] ppid=6444 vsize=15149032 memory=7379517702019849078 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6452/stat : 6452 (java) S 6444 6444 2739 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 475413975 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773297039984 139773828876930 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6453] ppid=6444 vsize=15149032 memory=7016714186490735262 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6453/stat : 6453 (java) S 6444 6444 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475413975 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773295985952 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6454] ppid=6444 vsize=15149032 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6454/stat : 6454 (java) S 6444 6444 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475413976 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773294933616 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6455] ppid=6444 vsize=15149032 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6455/stat : 6455 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773293881936 139773828884379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6456] ppid=6444 vsize=15149032 memory=-8412656567168561567 CPUtime=0.03 cores=0,2,4,6
/proc/6446/task/6456/stat : 6456 (java) S 6444 6444 2739 0 -1 1077944384 522 0 0 0 3 0 0 0 20 0 15 0 475413978 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773292828784 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6457] ppid=6444 vsize=15149032 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/6446/task/6457/stat : 6457 (java) S 6444 6444 2739 0 -1 1077944384 188 0 0 0 3 0 0 0 20 0 15 0 475413978 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773291775984 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6458] ppid=6444 vsize=15149032 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6446/task/6458/stat : 6458 (java) S 6444 6444 2739 0 -1 1077944384 955 0 0 0 12 0 0 0 20 0 15 0 475413978 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773290723696 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6459] ppid=6444 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6459/stat : 6459 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773289671136 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6460] ppid=6444 vsize=15149032 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413979 15512608768 12285 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 50588 KiB
[startup+0.70719 s]
/proc/loadavg: 6.84 7.81 7.20 10/234 6460
/proc/meminfo: memFree=12499532/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
[pid=6446] ppid=6444 vsize=15151156 memory=94800 CPUtime=1.74 cores=0,2,4,6
/proc/6446/stat : 6446 (java) S 6444 6444 2739 0 -1 1077944320 15792 0 0 0 169 5 0 0 20 0 15 0 475413973 15514783744 23700 33554432000 4194304 4196468 140729196079840 140729196062384 139773828865783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
/proc/6446/statm: 3787789 23700 3446 1 0 3748889 0
[pid=6446/tid=6447] ppid=6444 vsize=15151156 memory=-3704326594973231466 CPUtime=0.68 cores=0,2,4,6
/proc/6446/task/6447/stat : 6447 (java) R 6444 6444 2739 0 -1 4202560 9153 0 0 0 65 3 0 0 20 0 15 0 475413973 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773833099536 139773828877718 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6448] ppid=6444 vsize=15151156 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6448/stat : 6448 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773740521872 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6449] ppid=6444 vsize=15151156 memory=3617 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6449/stat : 6449 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773739469072 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6450] ppid=6444 vsize=15151156 memory=740 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6450/stat : 6450 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413974 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773419186832 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6451] ppid=6444 vsize=15151156 memory=1052 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6451/stat : 6451 (java) S 6444 6444 2739 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475413974 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773418134032 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6452] ppid=6444 vsize=15151156 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6452/stat : 6452 (java) R 6444 6444 2739 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 15 0 475413975 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773297039984 139773821582935 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6453] ppid=6444 vsize=15151156 memory=3620 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6453/stat : 6453 (java) S 6444 6444 2739 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475413975 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773295985952 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6454] ppid=6444 vsize=15151156 memory=2832 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6454/stat : 6454 (java) S 6444 6444 2739 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475413976 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773294933616 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6455] ppid=6444 vsize=15151156 memory=776 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6455/stat : 6455 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773293881936 139773828884379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6456] ppid=6444 vsize=15151156 memory=1160 CPUtime=0.31 cores=0,2,4,6
/proc/6446/task/6456/stat : 6456 (java) R 6444 6444 2739 0 -1 1077944384 1764 0 0 0 31 0 0 0 20 0 15 0 475413978 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773292820032 139773828875989 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6457] ppid=6444 vsize=15151156 memory=1716 CPUtime=0.34 cores=0,2,4,6
/proc/6446/task/6457/stat : 6457 (java) R 6444 6444 2739 0 -1 4202560 1383 0 0 0 34 0 0 0 20 0 15 0 475413978 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773291775984 139773809566644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6458] ppid=6444 vsize=15151156 memory=1096 CPUtime=0.38 cores=0,2,4,6
/proc/6446/task/6458/stat : 6458 (java) S 6444 6444 2739 0 -1 1077944384 2189 0 0 0 38 0 0 0 20 0 15 0 475413978 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773290723696 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6459] ppid=6444 vsize=15151156 memory=6128 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6459/stat : 6459 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475413978 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773289671136 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6460] ppid=6444 vsize=15151156 memory=14012 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475413979 15514783744 23700 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 1.74 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 96248 KiB
[startup+1.50086 s]
/proc/loadavg: 6.69 7.77 7.19 6/234 6460
/proc/meminfo: memFree=12398632/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1331 0 0 0 2 1 0 0 20 0 19 0 475413979 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6497] ppid=6444 vsize=15620180 memory=1556 CPUtime=27.56 cores=0,2,4,6
/proc/6446/task/6497/stat : 6497 (java) R 6444 6444 2739 0 -1 4202560 981 0 0 0 2756 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773273332680 139773426944692 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6498] ppid=6444 vsize=15620180 memory=2109532 CPUtime=27.58 cores=0,2,4,6
/proc/6446/task/6498/stat : 6498 (java) R 6444 6444 2739 0 -1 4202560 3071 0 0 0 2758 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773276492216 139773427392465 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6499] ppid=6444 vsize=15620180 memory=1448 CPUtime=27.49 cores=0,2,4,6
/proc/6446/task/6499/stat : 6499 (java) R 6444 6444 2739 0 -1 4202560 1781 0 0 0 2749 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773270172072 139773422703078 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6500] ppid=6444 vsize=15620180 memory=2109532 CPUtime=27.11 cores=0,2,4,6
/proc/6446/task/6500/stat : 6500 (java) R 6444 6444 2739 0 -1 4202560 1662 0 0 0 2711 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773274387128 139773427252131 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 330.88 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 2110980 KiB
[startup+93.2013 s]
/proc/loadavg: 8.07 7.91 7.29 9/237 6506
/proc/meminfo: memFree=9938584/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
[pid=6446] ppid=6444 vsize=15620180 memory=2109532 CPUtime=332.46 cores=0,2,4,6
/proc/6446/stat : 6446 (java) S 6444 6444 2739 0 -1 1077944320 94822 0 0 0 33020 226 0 0 20 0 19 0 475413973 15995064320 527383 33554432000 4194304 4196468 140729196079840 140729196062384 139773828865783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
/proc/6446/statm: 3905045 527383 3551 1 0 3866145 0
[pid=6446/tid=6447] ppid=6444 vsize=15620180 memory=1448 CPUtime=12.65 cores=0,2,4,6
/proc/6446/task/6447/stat : 6447 (java) S 6444 6444 2739 0 -1 1077944384 12242 0 0 0 1255 10 0 0 20 0 19 0 475413973 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773833106560 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6448] ppid=6444 vsize=15620180 memory=8112282956445269571 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6448/stat : 6448 (java) S 6444 6444 2739 0 -1 1077944384 2940 0 0 0 121 52 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773740521872 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6449] ppid=6444 vsize=15620180 memory=1398722017469774279 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6449/stat : 6449 (java) S 6444 6444 2739 0 -1 1077944384 2194 0 0 0 122 51 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773739469072 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6450] ppid=6444 vsize=15620180 memory=984 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6450/stat : 6450 (java) S 6444 6444 2739 0 -1 1077944384 3801 0 0 0 121 52 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773419186832 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6451] ppid=6444 vsize=15620180 memory=1940 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6451/stat : 6451 (java) S 6444 6444 2739 0 -1 1077944384 2774 0 0 0 122 51 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773418134032 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6452] ppid=6444 vsize=15620180 memory=1416 CPUtime=0.58 cores=0,2,4,6
/proc/6446/task/6452/stat : 6452 (java) S 6444 6444 2739 0 -1 1077944384 4047 0 0 0 58 0 0 0 20 0 19 0 475413975 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773297039984 139773828876930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6453] ppid=6444 vsize=15620180 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6453/stat : 6453 (java) S 6444 6444 2739 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475413975 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773295986016 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6454] ppid=6444 vsize=15620180 memory=1560 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6454/stat : 6454 (java) S 6444 6444 2739 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475413976 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773294933632 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6455] ppid=6444 vsize=15620180 memory=924 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6455/stat : 6455 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773293881936 139773828884379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6456] ppid=6444 vsize=15620180 memory=1692 CPUtime=3.09 cores=0,2,4,6
/proc/6446/task/6456/stat : 6456 (java) S 6444 6444 2739 0 -1 1077944384 16675 0 0 0 307 2 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773292828784 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6457] ppid=6444 vsize=15620180 memory=912 CPUtime=3.12 cores=0,2,4,6
/proc/6446/task/6457/stat : 6457 (java) S 6444 6444 2739 0 -1 1077944384 17667 0 0 0 311 1 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773291775984 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6458] ppid=6444 vsize=15620180 memory=1448 CPUtime=1.03 cores=0,2,4,6
/proc/6446/task/6458/stat : 6458 (java) S 6444 6444 2739 0 -1 1077944384 9522 0 0 0 102 1 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773290723696 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6459] ppid=6444 vsize=15620180 memory=1964 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6459/stat : 6459 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773289671136 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6460] ppid=6444 vsize=15620180 memory=288230574492221466 CPUtime=0.03 cores=0,2,4,6
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1331 0 0 0 2 1 0 0 20 0 19 0 475413979 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6497] ppid=6444 vsize=15620180 memory=316659555813818682 CPUtime=27.96 cores=0,2,4,6
/proc/6446/task/6497/stat : 6497 (java) R 6444 6444 2739 0 -1 4202560 995 0 0 0 2796 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773273332680 139773427064960 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6498] ppid=6444 vsize=15620180 memory=15262527902714307 CPUtime=27.98 cores=0,2,4,6
/proc/6446/task/6498/stat : 6498 (java) R 6444 6444 2739 0 -1 4202560 3074 0 0 0 2798 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773276492216 139773423824512 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6499] ppid=6444 vsize=15620180 memory=291098109447194434 CPUtime=27.89 cores=0,2,4,6
/proc/6446/task/6499/stat : 6499 (java) R 6444 6444 2739 0 -1 4202560 1795 0 0 0 2789 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773270172072 139773426611448 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6500] ppid=6444 vsize=15620180 memory=6958453264360695866 CPUtime=27.49 cores=0,2,4,6
/proc/6446/task/6500/stat : 6500 (java) R 6444 6444 2739 0 -1 4202560 1666 0 0 0 2749 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773274387128 139773427064749 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 332.46 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 2110980 KiB
[startup+93.4013 s]
/proc/loadavg: 8.07 7.91 7.29 9/237 6506
/proc/meminfo: memFree=9938584/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
[pid=6446] ppid=6444 vsize=15620180 memory=2109532 CPUtime=333.26 cores=0,2,4,6
/proc/6446/stat : 6446 (java) S 6444 6444 2739 0 -1 1077944320 94826 0 0 0 33100 226 0 0 20 0 19 0 475413973 15995064320 527383 33554432000 4194304 4196468 140729196079840 140729196062384 139773828865783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
/proc/6446/statm: 3905045 527383 3551 1 0 3866145 0
[pid=6446/tid=6447] ppid=6444 vsize=15620180 memory=6944665225511868275 CPUtime=12.65 cores=0,2,4,6
/proc/6446/task/6447/stat : 6447 (java) S 6444 6444 2739 0 -1 1077944384 12242 0 0 0 1255 10 0 0 20 0 19 0 475413973 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773833106560 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6448] ppid=6444 vsize=15620180 memory=-6804530867367538332 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6448/stat : 6448 (java) S 6444 6444 2739 0 -1 1077944384 2940 0 0 0 121 52 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773740521872 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6449] ppid=6444 vsize=15620180 memory=6946866654921323415 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6449/stat : 6449 (java) S 6444 6444 2739 0 -1 1077944384 2194 0 0 0 122 51 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773739469072 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6450] ppid=6444 vsize=15620180 memory=-6586668835053300886 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6450/stat : 6450 (java) S 6444 6444 2739 0 -1 1077944384 3801 0 0 0 121 52 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773419186832 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6451] ppid=6444 vsize=15620180 memory=4785180571215093856 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6451/stat : 6451 (java) S 6444 6444 2739 0 -1 1077944384 2774 0 0 0 122 51 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773418134032 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6452] ppid=6444 vsize=15620180 memory=7510432583741839257 CPUtime=0.58 cores=0,2,4,6
/proc/6446/task/6452/stat : 6452 (java) S 6444 6444 2739 0 -1 1077944384 4047 0 0 0 58 0 0 0 20 0 19 0 475413975 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773297039984 139773828876930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6453] ppid=6444 vsize=15620180 memory=7234849601359276392 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6453/stat : 6453 (java) S 6444 6444 2739 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475413975 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773295986016 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6454] ppid=6444 vsize=15620180 memory=103 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6454/stat : 6454 (java) S 6444 6444 2739 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475413976 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773294933632 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6455] ppid=6444 vsize=15620180 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6455/stat : 6455 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773293881936 139773828884379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6456] ppid=6444 vsize=15620180 memory=3 CPUtime=3.09 cores=0,2,4,6
/proc/6446/task/6456/stat : 6456 (java) S 6444 6444 2739 0 -1 1077944384 16675 0 0 0 307 2 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773292828784 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6457] ppid=6444 vsize=15620180 memory=2516 CPUtime=3.12 cores=0,2,4,6
/proc/6446/task/6457/stat : 6457 (java) S 6444 6444 2739 0 -1 1077944384 17667 0 0 0 311 1 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773291775984 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6458] ppid=6444 vsize=15620180 memory=2518 CPUtime=1.03 cores=0,2,4,6
/proc/6446/task/6458/stat : 6458 (java) S 6444 6444 2739 0 -1 1077944384 9522 0 0 0 102 1 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773290723696 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6459] ppid=6444 vsize=15620180 memory=17702 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6459/stat : 6459 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773289671136 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6460] ppid=6444 vsize=15620180 memory=1483 CPUtime=0.03 cores=0,2,4,6
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1333 0 0 0 2 1 0 0 20 0 19 0 475413979 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6497] ppid=6444 vsize=15620180 memory=14 CPUtime=28.16 cores=0,2,4,6
/proc/6446/task/6497/stat : 6497 (java) R 6444 6444 2739 0 -1 4202560 995 0 0 0 2816 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773273332680 139773426944574 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6498] ppid=6444 vsize=15620180 memory=173 CPUtime=28.18 cores=0,2,4,6
/proc/6446/task/6498/stat : 6498 (java) R 6444 6444 2739 0 -1 4202560 3076 0 0 0 2818 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773276492216 139773427064141 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6499] ppid=6444 vsize=15620180 memory=0 CPUtime=28.09 cores=0,2,4,6
/proc/6446/task/6499/stat : 6499 (java) R 6444 6444 2739 0 -1 4202560 1795 0 0 0 2809 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773270172072 139773426611217 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6500] ppid=6444 vsize=15620180 memory=2651 CPUtime=27.69 cores=0,2,4,6
/proc/6446/task/6500/stat : 6500 (java) R 6444 6444 2739 0 -1 4202560 1666 0 0 0 2769 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773274387128 139773427063703 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 333.26 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 2110980 KiB
[startup+93.5013 s]
/proc/loadavg: 8.07 7.91 7.29 9/237 6506
/proc/meminfo: memFree=9938584/32770624 swapFree=67002128/67108860
[pid=6444] ppid=6441 vsize=113128 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6444/stat : 6444 (xcsp3-exec) S 6441 6444 2739 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475413972 115843072 362 33554432000 4194304 5098028 140737178499888 140737178497992 140121947370108 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 20594688 140737178502010 140737178502253 140737178502253 140737178505162 0
/proc/6444/statm: 28282 362 304 221 0 87 0
[pid=6446] ppid=6444 vsize=15620180 memory=2109532 CPUtime=333.66 cores=0,2,4,6
/proc/6446/stat : 6446 (java) S 6444 6444 2739 0 -1 1077944320 94828 0 0 0 33140 226 0 0 20 0 19 0 475413973 15995064320 527383 33554432000 4194304 4196468 140729196079840 140729196062384 139773828865783 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
/proc/6446/statm: 3905045 527383 3551 1 0 3866145 0
[pid=6446/tid=6447] ppid=6444 vsize=15620180 memory=2109532 CPUtime=12.65 cores=0,2,4,6
/proc/6446/task/6447/stat : 6447 (java) S 6444 6444 2739 0 -1 1077944384 12242 0 0 0 1255 10 0 0 20 0 19 0 475413973 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773833106560 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6448] ppid=6444 vsize=15620180 memory=2109532 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6448/stat : 6448 (java) S 6444 6444 2739 0 -1 1077944384 2940 0 0 0 121 52 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773740521872 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6449] ppid=6444 vsize=15620180 memory=1448 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6449/stat : 6449 (java) S 6444 6444 2739 0 -1 1077944384 2194 0 0 0 122 51 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773739469072 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6450] ppid=6444 vsize=15620180 memory=2109532 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6450/stat : 6450 (java) S 6444 6444 2739 0 -1 1077944384 3801 0 0 0 121 52 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773419186832 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6451] ppid=6444 vsize=15620180 memory=7595431166604307557 CPUtime=1.73 cores=0,2,4,6
/proc/6446/task/6451/stat : 6451 (java) S 6444 6444 2739 0 -1 1077944384 2774 0 0 0 122 51 0 0 20 0 19 0 475413974 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773418134032 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6452] ppid=6444 vsize=15620180 memory=2109532 CPUtime=0.58 cores=0,2,4,6
/proc/6446/task/6452/stat : 6452 (java) S 6444 6444 2739 0 -1 1077944384 4047 0 0 0 58 0 0 0 20 0 19 0 475413975 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773297039984 139773828876930 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6453] ppid=6444 vsize=15620180 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6453/stat : 6453 (java) S 6444 6444 2739 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475413975 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773295986016 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6454] ppid=6444 vsize=15620180 memory=2109532 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6454/stat : 6454 (java) S 6444 6444 2739 0 -1 1077944384 86 0 0 0 0 0 0 0 20 0 19 0 475413976 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773294933632 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6455] ppid=6444 vsize=15620180 memory=1448 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6455/stat : 6455 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773293881936 139773828884379 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6456] ppid=6444 vsize=15620180 memory=1448 CPUtime=3.09 cores=0,2,4,6
/proc/6446/task/6456/stat : 6456 (java) S 6444 6444 2739 0 -1 1077944384 16675 0 0 0 307 2 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773292828784 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6457] ppid=6444 vsize=15620180 memory=1448 CPUtime=3.12 cores=0,2,4,6
/proc/6446/task/6457/stat : 6457 (java) S 6444 6444 2739 0 -1 1077944384 17667 0 0 0 311 1 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773291775984 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6458] ppid=6444 vsize=15620180 memory=1052 CPUtime=1.03 cores=0,2,4,6
/proc/6446/task/6458/stat : 6458 (java) S 6444 6444 2739 0 -1 1077944384 9522 0 0 0 102 1 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773290723696 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6459] ppid=6444 vsize=15620180 memory=7548 CPUtime=0 cores=0,2,4,6
/proc/6446/task/6459/stat : 6459 (java) S 6444 6444 2739 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475413978 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773289671136 139773828875989 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6460] ppid=6444 vsize=15620180 memory=1448 CPUtime=0.03 cores=0,2,4,6
/proc/6446/task/6460/stat : 6460 (java) S 6444 6444 2739 0 -1 1077944384 1333 0 0 0 2 1 0 0 20 0 19 0 475413979 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773288618928 139773828876930 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 43 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6497] ppid=6444 vsize=15620180 memory=2109532 CPUtime=28.26 cores=0,2,4,6
/proc/6446/task/6497/stat : 6497 (java) R 6444 6444 2739 0 -1 4202560 995 0 0 0 2826 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773273332680 139773426276968 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6498] ppid=6444 vsize=15620180 memory=3276 CPUtime=28.28 cores=0,2,4,6
/proc/6446/task/6498/stat : 6498 (java) R 6444 6444 2739 0 -1 4202560 3078 0 0 0 2828 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773276492216 139773426751911 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6499] ppid=6444 vsize=15620180 memory=1448 CPUtime=28.19 cores=0,2,4,6
/proc/6446/task/6499/stat : 6499 (java) R 6444 6444 2739 0 -1 4202560 1795 0 0 0 2819 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773270172072 139773426611453 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
[pid=6446/tid=6500] ppid=6444 vsize=15620180 memory=1448 CPUtime=27.79 cores=0,2,4,6
/proc/6446/task/6500/stat : 6500 (java) R 6444 6444 2739 0 -1 4202560 1666 0 0 0 2779 0 0 0 20 0 19 0 475420482 15995064320 527383 33554432000 4194304 4196468 140729196079840 139773274387128 139773426490888 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 33984512 140729196082159 140729196082330 140729196082330 140729196085199 0
Current children cumulated CPU time: 333.66 s
Current children cumulated vsize: 15733308 KiB
Current children cumulated memory: 2110980 KiB
Child status: 0
Real time (s): 93.5845
CPU time (s): 333.96
CPU user time (s): 331.673
CPU system time (s): 2.2869
CPU usage (%): 356.854
Max. virtual memory (cumulated for all children) (KiB): 15733308
Max. memory (cumulated for all children) (KiB): 2110980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 331.673
system time used= 2.2869
maximum resident set size= 2109536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96428
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5670
involuntary context switches= 6586
# summary of solver processes directly reported to runsolver:
# pid: 6444
# total CPU time (s): 333.96
# total CPU user time (s): 331.673
# total CPU system time (s): 2.2869
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.660511 second user time and 1.0414 second system time
The end