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 (3088 MiB free)
memory of node 1: 16384 MiB (2637 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4403705-1568987959/watcher-4403705-1568987959 -o /tmp/evaluation-result-4403705-1568987959/solver-4403705-1568987959 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1568988008-30878 --watchdog 2580 xcsp3-exec -dir HOME -tl 2520 -p 4 -ml 12000 -tdir HOME -seed 489742042 HOME/instance-4403705-1568987959.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31345, runsolver pid=31342
[startup+0.100067 s]*
/proc/loadavg: 6.41 2.45 1.43 8/232 31361
/proc/meminfo: memFree=5844296/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
[pid=31347] ppid=31345 vsize=15144776 memory=29616 CPUtime=0.13 cores=1,3,5,7
/proc/31347/stat : 31347 (java) S 31345 31345 30846 0 -1 1077944320 5833 0 0 0 12 1 0 0 20 0 15 0 475065619 15508250624 7404 33554432000 4194304 4196468 140723852492976 140723852475520 139898908565239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
/proc/31347/statm: 3786194 7404 3153 1 0 3748377 0
[pid=31347/tid=31348] ppid=31345 vsize=15144776 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/31347/task/31348/stat : 31348 (java) S 31345 31345 30846 0 -1 1077944384 3732 0 0 0 8 1 0 0 20 0 15 0 475065619 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898912798368 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31349] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31349/stat : 31349 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898836605712 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31350] ppid=31345 vsize=15144776 memory=140087416436352 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31350/stat : 31350 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898835553168 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31351] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31351/stat : 31351 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898834500624 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31352] ppid=31345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31352/stat : 31352 (java) S 31345 31345 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898833448080 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31353] ppid=31345 vsize=15144776 memory=140087416436352 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31353/stat : 31353 (java) S 31345 31345 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475065621 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898377197552 139898908576386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31354] ppid=31345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31354/stat : 31354 (java) S 31345 31345 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475065621 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898376143776 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31355] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31355/stat : 31355 (java) S 31345 31345 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475065622 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898375091184 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31356] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31356/stat : 31356 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475065624 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898374039760 139898908583835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31357] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31357/stat : 31357 (java) R 31345 31345 30846 0 -1 1077944384 415 0 0 0 0 0 0 0 20 0 15 0 475065624 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898372987472 139898908575445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31358] ppid=31345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31358/stat : 31358 (java) R 31345 31345 30846 0 -1 4202560 29 0 0 0 0 0 0 0 20 0 15 0 475065624 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898371926480 139898892000977 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31359] ppid=31345 vsize=15144776 memory=140087416436352 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31359/stat : 31359 (java) S 31345 31345 30846 0 -1 1077944384 354 0 0 0 2 0 0 0 20 0 15 0 475065624 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898370882288 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31360] ppid=31345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31360/stat : 31360 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475065624 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898369829984 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31361] ppid=31345 vsize=15144776 memory=140087416436352 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065625 15508250624 7404 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31064 KiB
[startup+0.210799 s]*
/proc/loadavg: 6.41 2.45 1.43 6/232 31361
/proc/meminfo: memFree=5832704/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
[pid=31347] ppid=31345 vsize=15144776 memory=40028 CPUtime=0.34 cores=1,3,5,7
/proc/31347/stat : 31347 (java) S 31345 31345 30846 0 -1 1077944320 9297 0 0 0 31 3 0 0 20 0 15 0 475065619 15508250624 10007 33554432000 4194304 4196468 140723852492976 140723852475520 139898908565239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
/proc/31347/statm: 3786194 10007 3259 1 0 3748377 0
[pid=31347/tid=31348] ppid=31345 vsize=15144776 memory=7883960649037381690 CPUtime=0.2 cores=1,3,5,7
/proc/31347/task/31348/stat : 31348 (java) R 31345 31345 30846 0 -1 4202560 6581 0 0 0 18 2 0 0 20 0 15 0 475065619 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898912802848 139898908577174 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31349] ppid=31345 vsize=15144776 memory=12641 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31349/stat : 31349 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898836605712 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31350] ppid=31345 vsize=15144776 memory=140087419916124 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31350/stat : 31350 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898835553168 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31351] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31351/stat : 31351 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898834500624 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31352] ppid=31345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31352/stat : 31352 (java) S 31345 31345 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475065620 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898833448080 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31353] ppid=31345 vsize=15144776 memory=140087416436352 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31353/stat : 31353 (java) S 31345 31345 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475065621 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898377197552 139898908576386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31354] ppid=31345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31354/stat : 31354 (java) S 31345 31345 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475065621 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898376143776 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31355] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31355/stat : 31355 (java) S 31345 31345 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475065622 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898375091184 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31356] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31356/stat : 31356 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475065624 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898374039760 139898908583835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31357] ppid=31345 vsize=15144776 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31357/stat : 31357 (java) S 31345 31345 30846 0 -1 1077944384 452 0 0 0 2 0 0 0 20 0 15 0 475065624 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898372987376 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31358] ppid=31345 vsize=15144776 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31347/task/31358/stat : 31358 (java) S 31345 31345 30846 0 -1 1077944384 178 0 0 0 3 0 0 0 20 0 15 0 475065624 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898371934832 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31359] ppid=31345 vsize=15144776 memory=140087416436352 CPUtime=0.08 cores=1,3,5,7
/proc/31347/task/31359/stat : 31359 (java) R 31345 31345 30846 0 -1 4202560 779 0 0 0 8 0 0 0 20 0 15 0 475065624 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898370882288 139898908577174 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31360] ppid=31345 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31360/stat : 31360 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475065624 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898369829984 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31361] ppid=31345 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065625 15508250624 10007 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 41476 KiB
[startup+0.312203 s]*
/proc/loadavg: 6.41 2.45 1.43 7/232 31361
/proc/meminfo: memFree=5825172/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
[pid=31347] ppid=31345 vsize=15149032 memory=50108 CPUtime=0.53 cores=1,3,5,7
/proc/31347/stat : 31347 (java) S 31345 31345 30846 0 -1 1077944320 10829 0 0 0 49 4 0 0 20 0 15 0 475065619 15512608768 12527 33554432000 4194304 4196468 140723852492976 140723852475520 139898908565239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
/proc/31347/statm: 3787258 12527 3336 1 0 3748377 0
[pid=31347/tid=31348] ppid=31345 vsize=15149032 memory=6791534058613427641 CPUtime=0.3 cores=1,3,5,7
/proc/31347/task/31348/stat : 31348 (java) R 31345 31345 30846 0 -1 4202560 7787 0 0 0 27 3 0 0 20 0 15 0 475065619 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898912799024 139898908587165 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31349] ppid=31345 vsize=15149032 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31349/stat : 31349 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898836605712 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31350] ppid=31345 vsize=15149032 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31350/stat : 31350 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898835553168 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31351] ppid=31345 vsize=15149032 memory=6943526294502006880 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31351/stat : 31351 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065620 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898834500624 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31352] ppid=31345 vsize=15149032 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31352/stat : 31352 (java) S 31345 31345 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 475065620 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898833448080 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31353] ppid=31345 vsize=15149032 memory=4500088463514900084 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31353/stat : 31353 (java) S 31345 31345 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 475065621 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898377197552 139898908576386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31354] ppid=31345 vsize=15149032 memory=6944613755495348631 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31354/stat : 31354 (java) S 31345 31345 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 475065621 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898376143776 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31355] ppid=31345 vsize=15149032 memory=7893295687695687954 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31355/stat : 31355 (java) S 31345 31345 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 475065622 15512608768 12527 33554432000 4194304 4196468 140723852492976 139898375091184 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31356] ppid=31345 vsize=15149032 memory=-8813974798734826869 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31356/stat : 31356 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475065624 15512608768 12535 33554432000 4194304 4196468 140723852492976 139898374039760 139898908583835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31357] ppid=31345 vsize=15149032 memory=7827413994055111515 CPUtime=0.05 cores=1,3,5,7
/proc/31347/task/31357/stat : 31357 (java) R 31345 31345 30846 0 -1 4202560 597 0 0 0 5 0 0 0 20 0 15 0 475065624 15512608768 12535 33554432000 4194304 4196468 140723852492976 139898372977760 139898890087726 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31358] ppid=31345 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/31347/task/31358/stat : 31358 (java) S 31345 31345 30846 0 -1 1077944384 190 0 0 0 4 0 0 0 20 0 15 0 475065624 15512608768 12535 33554432000 4194304 4196468 140723852492976 139898371934832 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31359] ppid=31345 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31347/task/31359/stat : 31359 (java) S 31345 31345 30846 0 -1 1077944384 950 0 0 0 12 0 0 0 20 0 15 0 475065624 15512608768 12535 33554432000 4194304 4196468 140723852492976 139898370882288 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31360] ppid=31345 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31360/stat : 31360 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 475065624 15512608768 12535 33554432000 4194304 4196468 140723852492976 139898369829984 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31361] ppid=31345 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 475065625 15512608768 12535 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 51556 KiB
[startup+0.700735 s]
/proc/loadavg: 6.41 2.45 1.43 9/232 31361
/proc/meminfo: memFree=5810120/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
[pid=31347] ppid=31345 vsize=15419460 memory=89760 CPUtime=1.51 cores=1,3,5,7
/proc/31347/stat : 31347 (java) S 31345 31345 30846 0 -1 1077944320 14666 0 0 0 144 7 0 0 20 0 19 0 475065619 15789527040 22440 33554432000 4194304 4196468 140723852492976 140723852475520 139898908565239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
/proc/31347/statm: 3854865 22440 3451 1 0 3815965 0
[pid=31347/tid=31348] ppid=31345 vsize=15419460 memory=53472 CPUtime=0.67 cores=1,3,5,7
/proc/31347/task/31348/stat : 31348 (java) S 31345 31345 30846 0 -1 1077944384 9463 0 0 0 62 5 0 0 20 0 19 0 475065619 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898912806016 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31349] ppid=31345 vsize=15419460 memory=988 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31349/stat : 31349 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475065620 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898836605712 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31350] ppid=31345 vsize=15419460 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31350/stat : 31350 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475065620 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898835553168 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31351] ppid=31345 vsize=15419460 memory=1416 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31351/stat : 31351 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475065620 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898834500624 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31352] ppid=31345 vsize=15419460 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31352/stat : 31352 (java) S 31345 31345 30846 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 475065620 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898833448080 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31353] ppid=31345 vsize=15419460 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31353/stat : 31353 (java) S 31345 31345 30846 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 475065621 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898377197552 139898908576386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31354] ppid=31345 vsize=15419460 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31354/stat : 31354 (java) S 31345 31345 30846 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 475065621 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898376143776 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31355] ppid=31345 vsize=15419460 memory=2832 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31355/stat : 31355 (java) S 31345 31345 30846 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 475065622 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898375091184 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31356] ppid=31345 vsize=15419460 memory=784 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31356/stat : 31356 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898374039760 139898908583835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31357] ppid=31345 vsize=15419460 memory=1060 CPUtime=0.22 cores=1,3,5,7
/proc/31347/task/31357/stat : 31357 (java) S 31345 31345 30846 0 -1 1077944384 1074 0 0 0 22 0 0 0 20 0 19 0 475065624 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898372987376 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31358] ppid=31345 vsize=15419460 memory=1720 CPUtime=0.17 cores=1,3,5,7
/proc/31347/task/31358/stat : 31358 (java) S 31345 31345 30846 0 -1 1077944384 679 0 0 0 17 0 0 0 20 0 19 0 475065624 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898371934832 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31359] ppid=31345 vsize=15419460 memory=1096 CPUtime=0.4 cores=1,3,5,7
/proc/31347/task/31359/stat : 31359 (java) R 31345 31345 30846 0 -1 1077944384 1975 0 0 0 40 0 0 0 20 0 19 0 475065624 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898370882288 139898908576386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31360] ppid=31345 vsize=15419460 memory=1188 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31360/stat : 31360 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898369829984 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31361] ppid=31345 vsize=15419460 memory=6112 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 475065625 15789527040 22440 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 1.51 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 91208 KiB
[startup+1.50075 s]
/proc/loadavg: 6.41 2.45 1.43 10/236 31369
/proc/meminfo: memFree=5761636/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
################
# More data... #
################
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 19 0 475065625 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31462] ppid=31345 vsize=15685716 memory=1060 CPUtime=5.33 cores=1,3,5,7
/proc/31347/task/31462/stat : 31462 (java) R 31345 31345 30846 0 -1 4202560 190 0 0 0 533 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898288848824 139898520272951 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31463] ppid=31345 vsize=15685716 memory=1720 CPUtime=5.37 cores=1,3,5,7
/proc/31347/task/31463/stat : 31463 (java) R 31345 31345 30846 0 -1 4202560 428 0 0 0 537 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898292002000 139898517999879 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31464] ppid=31345 vsize=15685716 memory=1096 CPUtime=5.3 cores=1,3,5,7
/proc/31347/task/31464/stat : 31464 (java) R 31345 31345 30846 0 -1 4202560 309 0 0 0 530 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898284639464 139898514925146 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31465] ppid=31345 vsize=15685716 memory=1188 CPUtime=5.31 cores=1,3,5,7
/proc/31347/task/31465/stat : 31465 (java) R 31345 31345 30846 0 -1 4202560 437 0 0 0 531 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898282531872 139898520859763 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 65.26 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 250940 KiB
[startup+17.2094 s]
/proc/loadavg: 7.05 2.79 1.56 9/236 31467
/proc/meminfo: memFree=5628524/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
[pid=31347] ppid=31345 vsize=15685716 memory=249492 CPUtime=66.87 cores=1,3,5,7
/proc/31347/stat : 31347 (java) S 31345 31345 30846 0 -1 1077944320 66854 0 0 0 6669 18 0 0 20 0 19 0 475065619 16062173184 62373 33554432000 4194304 4196468 140723852492976 140723852475520 139898908565239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
/proc/31347/statm: 3921429 62373 3528 1 0 3882529 0
[pid=31347/tid=31348] ppid=31345 vsize=15685716 memory=1452 CPUtime=0.68 cores=1,3,5,7
/proc/31347/task/31348/stat : 31348 (java) S 31345 31345 30846 0 -1 1077944384 9705 0 0 0 63 5 0 0 20 0 19 0 475065619 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898912806016 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31349] ppid=31345 vsize=15685716 memory=205532 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31349/stat : 31349 (java) S 31345 31345 30846 0 -1 1077944384 645 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898836605712 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31350] ppid=31345 vsize=15685716 memory=1412 CPUtime=0.01 cores=1,3,5,7
/proc/31347/task/31350/stat : 31350 (java) S 31345 31345 30846 0 -1 1077944384 1079 0 0 0 1 0 0 0 20 0 19 0 475065620 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898835553168 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31351] ppid=31345 vsize=15685716 memory=2796 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31351/stat : 31351 (java) S 31345 31345 30846 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898834500624 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31352] ppid=31345 vsize=15685716 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31352/stat : 31352 (java) S 31345 31345 30846 0 -1 1077944384 1300 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898833448080 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31353] ppid=31345 vsize=15685716 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/31347/task/31353/stat : 31353 (java) S 31345 31345 30846 0 -1 1077944384 903 0 0 0 1 0 0 0 20 0 19 0 475065621 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898377197552 139898908576386 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31354] ppid=31345 vsize=15685716 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31354/stat : 31354 (java) S 31345 31345 30846 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475065621 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898376143840 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31355] ppid=31345 vsize=15685716 memory=288230596050944315 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31355/stat : 31355 (java) S 31345 31345 30846 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475065622 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898375091200 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31356] ppid=31345 vsize=15685716 memory=15823283127847325 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31356/stat : 31356 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898374039760 139898908583835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31357] ppid=31345 vsize=15685716 memory=3108 CPUtime=4.96 cores=1,3,5,7
/proc/31347/task/31357/stat : 31357 (java) S 31345 31345 30846 0 -1 1077944384 19284 0 0 0 494 2 0 0 20 0 19 0 475065624 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898372987376 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31358] ppid=31345 vsize=15685716 memory=1452 CPUtime=4.6 cores=1,3,5,7
/proc/31347/task/31358/stat : 31358 (java) S 31345 31345 30846 0 -1 1077944384 19972 0 0 0 458 2 0 0 20 0 19 0 475065624 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898371934832 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31359] ppid=31345 vsize=15685716 memory=205536 CPUtime=0.78 cores=1,3,5,7
/proc/31347/task/31359/stat : 31359 (java) S 31345 31345 30846 0 -1 1077944384 6112 0 0 0 77 1 0 0 20 0 19 0 475065624 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898370882288 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31360] ppid=31345 vsize=15685716 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31360/stat : 31360 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898369829984 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31361] ppid=31345 vsize=15685716 memory=2812 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 19 0 475065625 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31462] ppid=31345 vsize=15685716 memory=1448 CPUtime=5.74 cores=1,3,5,7
/proc/31347/task/31462/stat : 31462 (java) R 31345 31345 30846 0 -1 4202560 190 0 0 0 574 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898288848360 139898517021502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31463] ppid=31345 vsize=15685716 memory=250508 CPUtime=5.78 cores=1,3,5,7
/proc/31347/task/31463/stat : 31463 (java) R 31345 31345 30846 0 -1 4202560 436 0 0 0 578 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898291999072 139898516583078 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31464] ppid=31345 vsize=15685716 memory=6791534058613427641 CPUtime=5.69 cores=1,3,5,7
/proc/31347/task/31464/stat : 31464 (java) R 31345 31345 30846 0 -1 4202560 314 0 0 0 569 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898284639480 139898520124041 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31465] ppid=31345 vsize=15685716 memory=2300 CPUtime=5.72 cores=1,3,5,7
/proc/31347/task/31465/stat : 31465 (java) R 31345 31345 30846 0 -1 4202560 448 0 0 0 572 0 0 0 20 0 19 0 475066753 16062173184 62373 33554432000 4194304 4196468 140723852492976 139898282532000 139898518048640 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 66.87 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 250940 KiB
[startup+17.6034 s]
/proc/loadavg: 7.05 2.79 1.56 9/236 31467
/proc/meminfo: memFree=5628524/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
[pid=31347] ppid=31345 vsize=15685716 memory=248964 CPUtime=68.45 cores=1,3,5,7
/proc/31347/stat : 31347 (java) S 31345 31345 30846 0 -1 1077944320 66866 0 0 0 6827 18 0 0 20 0 19 0 475065619 16062173184 62241 33554432000 4194304 4196468 140723852492976 140723852475520 139898908565239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
/proc/31347/statm: 3921429 62241 3528 1 0 3882529 0
[pid=31347/tid=31348] ppid=31345 vsize=15685716 memory=7593184847102241379 CPUtime=0.68 cores=1,3,5,7
/proc/31347/task/31348/stat : 31348 (java) S 31345 31345 30846 0 -1 1077944384 9705 0 0 0 63 5 0 0 20 0 19 0 475065619 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898912806016 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31349] ppid=31345 vsize=15685716 memory=6791534058613427641 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31349/stat : 31349 (java) S 31345 31345 30846 0 -1 1077944384 646 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898836605712 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31350] ppid=31345 vsize=15685716 memory=53472 CPUtime=0.01 cores=1,3,5,7
/proc/31347/task/31350/stat : 31350 (java) S 31345 31345 30846 0 -1 1077944384 1079 0 0 0 1 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898835553168 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31351] ppid=31345 vsize=15685716 memory=988 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31351/stat : 31351 (java) S 31345 31345 30846 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898834500624 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31352] ppid=31345 vsize=15685716 memory=2016 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31352/stat : 31352 (java) S 31345 31345 30846 0 -1 1077944384 1300 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898833448080 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31353] ppid=31345 vsize=15685716 memory=1416 CPUtime=0.01 cores=1,3,5,7
/proc/31347/task/31353/stat : 31353 (java) S 31345 31345 30846 0 -1 1077944384 905 0 0 0 1 0 0 0 20 0 19 0 475065621 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898377197552 139898908576386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31354] ppid=31345 vsize=15685716 memory=10728 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31354/stat : 31354 (java) S 31345 31345 30846 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475065621 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898376143840 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31355] ppid=31345 vsize=15685716 memory=1552 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31355/stat : 31355 (java) S 31345 31345 30846 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475065622 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898375091200 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31356] ppid=31345 vsize=15685716 memory=3640 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31356/stat : 31356 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898374039760 139898908583835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31357] ppid=31345 vsize=15685716 memory=2832 CPUtime=4.96 cores=1,3,5,7
/proc/31347/task/31357/stat : 31357 (java) S 31345 31345 30846 0 -1 1077944384 19284 0 0 0 494 2 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898372987376 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31358] ppid=31345 vsize=15685716 memory=1448 CPUtime=4.6 cores=1,3,5,7
/proc/31347/task/31358/stat : 31358 (java) S 31345 31345 30846 0 -1 1077944384 19972 0 0 0 458 2 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898371934832 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31359] ppid=31345 vsize=15685716 memory=1448 CPUtime=0.78 cores=1,3,5,7
/proc/31347/task/31359/stat : 31359 (java) S 31345 31345 30846 0 -1 1077944384 6112 0 0 0 77 1 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898370882288 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31360] ppid=31345 vsize=15685716 memory=249492 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31360/stat : 31360 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898369829984 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31361] ppid=31345 vsize=15685716 memory=2016 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 19 0 475065625 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31462] ppid=31345 vsize=15685716 memory=1416 CPUtime=6.13 cores=1,3,5,7
/proc/31347/task/31462/stat : 31462 (java) R 31345 31345 30846 0 -1 4202560 190 0 0 0 613 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898288848608 139898518026363 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31463] ppid=31345 vsize=15685716 memory=10728 CPUtime=6.17 cores=1,3,5,7
/proc/31347/task/31463/stat : 31463 (java) R 31345 31345 30846 0 -1 4202560 439 0 0 0 617 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898292002000 139898516772341 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31464] ppid=31345 vsize=15685716 memory=1448 CPUtime=6.08 cores=1,3,5,7
/proc/31347/task/31464/stat : 31464 (java) R 31345 31345 30846 0 -1 4202560 318 0 0 0 608 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898284639448 139898520123996 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31465] ppid=31345 vsize=15685716 memory=249832 CPUtime=6.12 cores=1,3,5,7
/proc/31347/task/31465/stat : 31465 (java) R 31345 31345 30846 0 -1 4202560 450 0 0 0 612 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898282532512 139898516772341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 68.45 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 250412 KiB
[startup+17.7014 s]
/proc/loadavg: 7.05 2.79 1.56 9/236 31467
/proc/meminfo: memFree=5628524/32770624 swapFree=66938880/67108860
[pid=31345] ppid=31342 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/31345/stat : 31345 (xcsp3-exec) S 31342 31345 30846 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 475065618 115843072 362 33554432000 4194304 5098028 140728163622848 140728163620952 140227258389116 0 65536 4100 65538 18446744071579417331 0 0 17 1 0 0 0 0 0 7196144 7232144 12713984 140728163627899 140728163628141 140728163628141 140728163631050 0
/proc/31345/statm: 28282 362 304 221 0 87 0
[pid=31347] ppid=31345 vsize=15685716 memory=248964 CPUtime=68.84 cores=1,3,5,7
/proc/31347/stat : 31347 (java) S 31345 31345 30846 0 -1 1077944320 66866 0 0 0 6866 18 0 0 20 0 19 0 475065619 16062173184 62241 33554432000 4194304 4196468 140723852492976 140723852475520 139898908565239 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
/proc/31347/statm: 3921429 62241 3528 1 0 3882529 0
[pid=31347/tid=31348] ppid=31345 vsize=15685716 memory=252600 CPUtime=0.68 cores=1,3,5,7
/proc/31347/task/31348/stat : 31348 (java) S 31345 31345 30846 0 -1 1077944384 9705 0 0 0 63 5 0 0 20 0 19 0 475065619 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898912806016 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31349] ppid=31345 vsize=15685716 memory=1448 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31349/stat : 31349 (java) S 31345 31345 30846 0 -1 1077944384 646 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898836605712 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31350] ppid=31345 vsize=15685716 memory=249492 CPUtime=0.01 cores=1,3,5,7
/proc/31347/task/31350/stat : 31350 (java) S 31345 31345 30846 0 -1 1077944384 1079 0 0 0 1 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898835553168 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31351] ppid=31345 vsize=15685716 memory=3620 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31351/stat : 31351 (java) S 31345 31345 30846 0 -1 1077944384 352 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898834500624 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31352] ppid=31345 vsize=15685716 memory=53472 CPUtime=0.02 cores=1,3,5,7
/proc/31347/task/31352/stat : 31352 (java) S 31345 31345 30846 0 -1 1077944384 1300 0 0 0 2 0 0 0 20 0 19 0 475065620 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898833448080 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31353] ppid=31345 vsize=15685716 memory=249944 CPUtime=0.01 cores=1,3,5,7
/proc/31347/task/31353/stat : 31353 (java) S 31345 31345 30846 0 -1 1077944384 905 0 0 0 1 0 0 0 20 0 19 0 475065621 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898377197552 139898908576386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31354] ppid=31345 vsize=15685716 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31354/stat : 31354 (java) S 31345 31345 30846 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 19 0 475065621 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898376143840 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31355] ppid=31345 vsize=15685716 memory=249492 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31355/stat : 31355 (java) S 31345 31345 30846 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 475065622 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898375091200 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31356] ppid=31345 vsize=15685716 memory=6628 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31356/stat : 31356 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898374039760 139898908583835 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31357] ppid=31345 vsize=15685716 memory=280174541324816 CPUtime=4.96 cores=1,3,5,7
/proc/31347/task/31357/stat : 31357 (java) S 31345 31345 30846 0 -1 1077944384 19284 0 0 0 494 2 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898372987376 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31358] ppid=31345 vsize=15685716 memory=7649399397166559539 CPUtime=4.6 cores=1,3,5,7
/proc/31347/task/31358/stat : 31358 (java) S 31345 31345 30846 0 -1 1077944384 19972 0 0 0 458 2 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898371934832 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31359] ppid=31345 vsize=15685716 memory=7649399358528631091 CPUtime=0.78 cores=1,3,5,7
/proc/31347/task/31359/stat : 31359 (java) S 31345 31345 30846 0 -1 1077944384 6112 0 0 0 77 1 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898370882288 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31360] ppid=31345 vsize=15685716 memory=249492 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31360/stat : 31360 (java) S 31345 31345 30846 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 475065624 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898369829984 139898908575445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31361] ppid=31345 vsize=15685716 memory=1412 CPUtime=0 cores=1,3,5,7
/proc/31347/task/31361/stat : 31361 (java) S 31345 31345 30846 0 -1 1077944384 578 0 0 0 0 0 0 0 20 0 19 0 475065625 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898368776496 139898908576386 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31462] ppid=31345 vsize=15685716 memory=1448 CPUtime=6.23 cores=1,3,5,7
/proc/31347/task/31462/stat : 31462 (java) R 31345 31345 30846 0 -1 4202560 190 0 0 0 623 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898288848744 139898889971514 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31463] ppid=31345 vsize=15685716 memory=249492 CPUtime=6.27 cores=1,3,5,7
/proc/31347/task/31463/stat : 31463 (java) R 31345 31345 30846 0 -1 4202560 439 0 0 0 627 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898292002000 139898516056717 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31464] ppid=31345 vsize=15685716 memory=1448 CPUtime=6.18 cores=1,3,5,7
/proc/31347/task/31464/stat : 31464 (java) R 31345 31345 30846 0 -1 4202560 318 0 0 0 618 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898284639448 139898517691069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
[pid=31347/tid=31465] ppid=31345 vsize=15685716 memory=249492 CPUtime=6.21 cores=1,3,5,7
/proc/31347/task/31465/stat : 31465 (java) R 31345 31345 30846 0 -1 4202560 450 0 0 0 621 0 0 0 20 0 19 0 475066753 16062173184 62241 33554432000 4194304 4196468 140723852492976 139898282532512 139898520125036 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10039296 140723852501999 140723852502170 140723852502170 140723852505039 0
Current children cumulated CPU time: 68.84 s
Current children cumulated vsize: 15798844 KiB
Current children cumulated memory: 250412 KiB
Child status: 0
Real time (s): 17.7377
CPU time (s): 68.9679
CPU user time (s): 68.7709
CPU system time (s): 0.197056
CPU usage (%): 388.822
Max. virtual memory (cumulated for all children) (KiB): 15798844
Max. memory (cumulated for all children) (KiB): 259152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 68.7709
system time used= 0.197056
maximum resident set size= 257840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68204
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4829
involuntary context switches= 2404
# summary of solver processes directly reported to runsolver:
# pid: 31345
# total CPU time (s): 68.9679
# total CPU user time (s): 68.7709
# total CPU system time (s): 0.197056
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.147156 second user time and 0.217231 second system time
The end